manifold of one complex dimension, which makes it a connected real manifold of two dimensions. It is compact if it is compact as a topological space. There is a triple equivalence of categories between the category of smooth irreducible projective algebraic curves over C (with non-constant regular maps as morphisms), the category of compact Riemann surfaces (with non-constant holomorphic maps as morphisms), and the opposite of the category of algebraic function fields in one variable over C (with field homomorphisms that fix C as morphisms). This means that in studying these three subjects we are in a sense studying one and the same thing. It allows complex analytic methods to be used in algebraic geometry, and algebraic-geometric methods in complex analysis and field-theoretic methods to be used in both. This is characteristic of a much wider class of problems in algebraic geometry. See also algebraic geometry and analytic geometry for a more general theory. Singularities Using the intrinsic concept of tangent space, points P on an algebraic curve C are classified as smooth (synonymous: non-singular), or else singular. Given n − 1 homogeneous polynomials in n + 1 variables, we may find the Jacobian matrix as the (n − 1)×(n + 1) matrix of the partial derivatives. If the rank of this matrix is n − 1, then the polynomials define an algebraic curve (otherwise they define an algebraic variety of higher dimension). If the rank remains n − 1 when the Jacobian matrix is evaluated at a point P on the curve, then the point is a smooth or regular point; otherwise it is a singular point. In particular, if the curve is a plane projective algebraic curve, defined by a single homogeneous polynomial equation f(x,y,z) = 0, then the singular points are precisely the points P where the rank of the 1×(n + 1) matrix is zero, that is, where Since f is a polynomial, this definition is purely algebraic and makes no assumption about the nature of the field F, which in particular need not be the real or complex numbers. It should, of course, be recalled that (0,0,0) is not a point of the curve and hence not a singular point. Similarly, for an affine algebraic curve defined by a single polynomial equation f(x,y) = 0, then the singular points are precisely the points P of the curve where the rank of the 1×n Jacobian matrix