In mathematics, the differential geometry of surfaces deals with smooth surfaces with various additional structures, most often, a Riemannian metric. Surfaces have been extensively studied from various perspectives: extrinsically, relating to their embedding in Euclidean space and intrinsically, reflecting their properties determined solely by the distance within the surface as measured along curves on the surface. One of the fundamental concepts investigated is the Gaussian curvature, first studied in depth by Carl Friedrich Gauss (18251827), who showed that curvature was an intrinsic property of a surface, independent of its isometric embedding in Euclidean space.
Surfaces naturally arise as graphs of functions of a pair of variables, and sometimes appear in parametric form or as loci associated to space curves. An important role in their study has been played by Lie groups (in the spirit of the Erlangen program), namely the symmetry groups of the Euclidean plane, the sphere and the hyperbolic plane. These Lie groups can be used to describe surfaces of constant Gaussian curvature; they also provide an essential ingredient in the modern approach to intrinsic differential geometry through connections. On the other hand extrinsic properties relying on an embedding of a surface in Euclidean space have also been extensively studied. This is well illustrated by the nonlinear EulerLagrange equations in the calculus of variations: although Euler developed the one variable equations to understand geodesics, defined independently of an embedding, one of Lagrange's main applications of the two variable equations was to minimal surfaces, a concept that can only be defined in terms of an embedding.
Polyhedra in the Euclidean space, such as the boundary of a cube, are among the first surfaces encountered in geometry. It is also possible to define smooth surfaces, in which each point has a neighborhood diffeomorphic to some open set in E², the Euclidean plane. This elaboration allows calculus to be applied to surfaces to prove many results.
Two smooth surfaces are diffeomorphic if and only if they are homeomorphic. (The analogous result does not hold for higherdimensional manifolds.) It follows that closed surfaces are classified up to diffeomorphism by their Euler characteristic and orientability.
Smooth surfaces equipped with Riemannian metrics are of foundational importance in differential geometry. A Riemannian metric endows a surface with notions of geodesic, distance, angle, and area. An important class of such surfaces are the developable surfaces: surfaces that can be flattened to a plane An without stretching; examples include the cylinder and the cone.
In addition, there are properties of surfaces which depend on an embedding of the surface into Euclidean space. These surfaces are the subject of extrinsic geometry. They include
Any ndimensional complex manifold is, at the same time, a real (2n)dimensional real manifold. Thus any complex onemanifold (also called a Riemann surface) is a smooth oriented surface with an associated complex structure. Every closed surface admits complex structures. Any complex algebraic curve or real algebraic surface is also a smooth surface, possibly with singularities.
Complex structures on a closed oriented surface correspond to conformal equivalence classes of Riemannian metrics on the surface. One version of the uniformization theorem (due to Poincaré) states that any Riemannian metric on an oriented, closed surface is conformally equivalent to an essentially unique metric of constant curvature. This provides a starting point for one of the approaches to Teichmüller theory, which provides a finer classification of Riemann surfaces than the topological one by Euler characteristic alone.
The uniformization theorem states that every smooth Riemannian surface S is conformally equivalent to a surface having constant curvature, and the constant may be taken to be 1, 0, or 1. A surface of constant curvature 1 is locally isometric to the sphere, which means that every point on the surface has an open neighborhood that is isometric to an open set on the unit sphere in E^{3} with its intrinsic Riemannian metric. Likewise, a surface of constant curvature 0 is locally isometric to the Euclidean plane, and a surface of constant curvature 1 is locally isometric to the hyperbolic plane.
Constant curvature surfaces are the twodimensional realization of what are known as space forms. These are often studied from the point of view of Felix Klein's Erlangen programme, by means of smooth transformation groups. Any connected surface with a threedimensional group of isometries is a surface of constant curvature.
A complex surface is a complex twomanifold and thus a real fourmanifold; it is not a surface in the sense of this article. Neither are algebraic curves or surfaces defined over fields other than the complex numbers.
Isolated properties of surfaces of revolution were known already to Archimedes. The development of calculus in the seventeenth century provided a more systematic way of proving them. Curvature of general surfaces was first studied by Euler. In 1760^{[1]} he proved a formula for the curvature of a plane section of a surface and in 1771^{[2]} he considered surfaces represented in a parametric form. Monge laid down the foundations of their theory in his classical memoir L'application de l'analyse à la géometrie which appeared in 1795. The defining contribution to the theory of surfaces was made by Gauss in two remarkable papers written in 1825 and 1827.^{[3]} This marked a new departure from tradition because for the first time Gauss considered the intrinsic geometry of a surface, the properties which are determined only by the geodesic distances between points on the surface independently of the particular way in which the surface is located in the ambient Euclidean space. The crowning result, the Theorema Egregium of Gauss, established that the Gaussian curvature is an intrinsic invariant, i.e. invariant under local isometries. This point of view was extended to higherdimensional spaces by Riemann and led to what is known today as Riemannian geometry. The nineteenth century was the golden age for the theory of surfaces, from both the topological and the differentialgeometric point of view, with most leading geometers devoting themselves to their study. Darboux collected many results in his fourvolume treatise Théorie des surfaces (1887–1896).
The presentation below largely follows Gauss, but with important later contributions from other geometers. For a time Gauss was Cartographer to George III of Great Britain and Hannover; this royal patronage could explain why these papers contain practical calculations of the curvature of the earth based purely on measurements on the surface of the planet.
Informally Gauss defined the curvature of a surface in terms of the curvatures of certain plane curves connected with the surface. He later found a series of equivalent definitions. One of the first was in terms of the areaexpanding properties of the Gauss map, a map from the surface to a 2dimensional sphere. However, before obtaining a more intrinsic definition in terms of the area and angles of small triangles, Gauss needed to make an indepth investigation of the properties of geodesics on the surface, i.e. paths of shortest length between two fixed points on the surface^{[4]} (see below).
The Gaussian curvature at a point on an embedded smooth surface given locally by the equation
in E^{3}, is defined to be the product of the principal curvatures at the point;^{[5]} the mean curvature is defined to be their sum. The principal curvatures are the maximum and minimum curvatures of the plane curves obtained by intersecting the surface with planes normal to the tangent plane at the point. If the point is (0, 0, 0) with tangent plane z = 0, then, after a rotation about the zaxis setting the coefficient on xy to zero, F will have the Taylor series expansion
The principal curvatures are k_{1} and k_{2} in this case, the Gaussian curvature is given by
and the mean curvature by
K_{m} = k_{1} + k_{2}. 
Since K and K_{m} are invariant under isometries of E^{3}, in general
K = (RT − S^{2})/(1 + P^{2} + Q^{2})^{2} 
and
K_{m} =(ET + GR – 2FS)/(1 + P^{2} + Q^{2})^{2} 
where the derivatives at the point are given by P = F_{x}, Q = F_{y}, R = F_{x x}, S = F_{x y}, and T = F_{y y}.^{[6]}
For every oriented embedded surface the Gauss map is the map into the unit sphere sending each point to the (outward pointing) unit normal vector to the oriented tangent plane at the point. In coordinates the map sends (x,y,z) to
Direct computation shows that^{[7]}
A surface of revolution can be obtained by rotating a curve in the xz plane about the zaxis, assuming the curve does not intersect the zaxis. Suppose that the curve is given by
with t lies in (a, b), and is parametrized by arclength, so that
Then the surface of revolution is the point set
The Gaussian curvature and mean curvature are given by^{[8]}
Geodesics on a surface of revolution are governed by Clairaut's relation.
Consider the quadric surface defined by^{[9]}
This surface admits a parametrization
The Gaussian curvature and mean curvature are given by
A ruled surface is one which can be generated by the motion of a straight line in E^{3}.^{[10]} Choosing a directrix on the surface, i.e. a smooth unit speed curve c(t) orthogonal to the straight lines, and then choosing u(t) to be unit vectors along the curve in the direction of the lines, the velocity vector v=c_{t} and u satisfy
The surface consists of points
as s and t vary.
Then, if
the Gaussian and mean curvature are given by
The Gaussian curvature of the ruled surface vanishes if and only if u_{t} and v are proportional,^{[11]} This condition is equivalent to the surface being the envelope of the planes along the curve containing the tangent vector v and the orthogonal vector u, i.e. to the surface being developable along the curve.^{[12]} More generally a surface in E^{3} has vanishing Gaussian curvature near a point if and only if it is developable near that point.^{[13]} (An equivalent condition is given below in terms of the metric.)
In 1760 Lagrange extended Euler's results on the calculus of variations involving integrals in one variable to two variables.^{[14]} He had in mind the following problem:
Given a closed curve in E^{3}, find a surface having the curve as boundary with minimal area.
Such a surface is called a minimal surface. In 1776 Jean Baptiste Meusnier showed that the differential equation derived by Lagrange was equivalent to the vanishing of the mean curvature of the surface:
A surface is minimal if and only if its mean curvature vanishes.
Minimal surfaces have a simple interpretation in real life: they are the shape a soap film will assume if a wire frame shaped like the curve is dipped into a soap solution and then carefully lifted out. The question as to whether a minimal surface with given boundary exists is called Plateau's problem after the Belgian physicist Joseph Plateau who carried out experiments on soap films in the midnineteenth century. In 1930 Jesse Douglas and Tibor Radó gave an affirmative answer to Plateau's problem (Douglas was awarded one of the first Fields medals for this work in 1936).^{[15]}
Many explicit examples of minimal surface are known explicitly, such as the catenoid, the helicoid, the Scherk surface and the Enneper surface. There has been extensive research in this area, summarised in Osserman (2002). In particular a result of Osserman shows that if a minimal surface is nonplanar, then its image under the Gauss map is dense in S^{2}.
If a surface has constant Gaussian curvature, it is called a surface of constant curvature.^{[16]}
Each of these surfaces of constant curvature has a transitive Lie group of symmetries. This group theoretic fact has farreaching consequences, all the more remarkable because of the central role these special surfaces play in the geometry of surfaces, due to Poincaré's uniformization theorem (see below).
Other examples of surfaces with Gaussian curvature 0 include cones, tangent developables, and more generally any developable surface.
For any surface embedded in Euclidean space of dimension 3 or higher, it is possible to measure the length of a curve on the surface, the angle between two curves and the area of a region on the surface. This structure is encoded infinitesimally in a Riemannian metric on the surface through line elements and area elements. Classically in the nineteenth and early twentieth centuries only surfaces embedded in R^{3} were considered and the metric was given as a 2 x 2 positive definite matrix varying smoothly from point to point in a local parametrization of the surface. The idea of local parametrization and change of coordinate was later formalized through the current abstract notion of a manifold, a topological space where the smooth structure is given by local charts on the manifold, exactly as the planet Earth is mapped by atlases today. Changes of coordinates between different charts of the same region are required to be smooth. Just as contour lines on reallife maps encode changes in elevation, taking into account local distortions of the Earth's surface to calculate true distances, so the Riemannian metric describes distances and areas "in the small" in each local chart. In each local chart a Riemannian metric is given by smoothly assigning a 2 x 2 positive definite matrix to each point; when a different chart is taken, the matrix is transformed according to the Jacobian matrix of the coordinate change. The manifold then has the structure of a 2dimensional Riemannian manifold.
Taking a local chart, for example by projecting onto the xy plane (z = 0), the line element ds and the area element dA can be written in terms of local coordinates as
and
The expression E dx^{2} + 2F dx dy + G dy^{2} is called the first fundamental form.^{[20]}
The matrix
is required to be positivedefinite and to depend smoothly on x and y.
In a similar way line and area elements can be associated to any abstract Riemannian 2manifold in a local chart.
The extrinsic geometry of surfaces studies the properties of surfaces embedded into a Euclidean space, typically E^{3}. In intrinsic geometry, two surfaces are "the same" if it is possible to unfold one surface onto the other without stretching it, i.e. a map of one surface onto the other preserving distance. Thus a cylinder is locally "the same" as the plane. In extrinsic geometry, two surfaces are "the same" if they are congruent in the ambient Euclidean space, i.e. there is an isometry of E^{3} carrying one surface onto the otherr. With this more rigid definition of similitude, the cylinder and the plane are obviously no longer the same.
Although the primary invariant in the study of the intrinsic geometry of surfaces is the metric (the first fundamental form) and the Gaussian curvature, certain properties of surfaces also depend on an embedding into E^{3} (or a higher dimensional Euclidean space). The most important example is the second fundamental form, defined classically as follows.^{[21]}
Take a point (x,y) on the surface in a local chart. The square of the Euclidean distance from a nearby point (x + dx, y + dy) to the tangent plane at (x, y), i.e. the square of the length of the perpendicular dropped from the nearby point to the tangent plane, has the form
plus third and higher order corrections. The above expression, a symmetric bilinear form at each point, is the second fundamental form. It is described by a 2 x 2 symmetric matrix
which depends smoothly on x and y. The Gaussian curvature can be calculated as the ratio of the determinants of the second and first fundamental forms:
Remarkably Gauss proved that it is an intrinsic invariant (see his Theorema Egregium below).
One of the other extrinisic numerical invariants of a surface is the mean curvature K_{m}, defined as the sum of the principal curvatures. It is given by the formula^{[22]}
The coefficients of the first and second fundamental forms satisfy certain compatibility conditions known as the GaussCodazzi equations; they involve the Christoffel symbols associated with the first fundamental form:^{[23]}
These equations can also be succinctly expressed and derived in the language of connection forms due to Élie Cartan.^{[24]} Pierre Bonnet proved that two quadratic forms satisfying the GaussCodazzi equations always uniquely determine an embedded surface locally.^{[25]} For this reason the GaussCodazzi equations are often called the fundamental equations for embedded surfaces, precisely identifying where the intrinsic and extrinsic curvatures come from. They admit generalizations to surfaces embedded in more general Riemannian manifolds.
The differential df of the Gauss map f can be used to define a type of extrinsic curvature, known as the shape operator.^{[26]} This operator first appeared implicitly in the work of Wilhelm Blaschke and later explicitly in a treatise by BuraliForti and Burgati.^{[27]} Since at each point x of the surface, the tangent space is an inner product space, the shape operator S_{x} can be defined as a linear operator on this space by the formula
for tangent vectors v, w (the inner product makes sense because df(v) and w both lie in E^{3}).^{[28]} The right hand side is symmetric in v and w, so the shape operator is selfadjoint on the tangent space. The eigenvalues of S_{x} are just the principal curvatures k_{1} and k_{2} at x. In particular the determinant of the shape operator at a point is the Gaussian curvature, but it also contains other information, since the mean curvature is half the trace of the shape operator. The mean curvature is an extrinsic invariant. In intrinsic geometry, a cylinder is developable, meaning that every piece of it is intrinsically indistinguishable from a piece of a plane since its Gauss curvature vanishes identically. Its mean curvature is not zero, though; hence extrinsically it is different from a plane.
In general, the eigenvectors and eigenvalues of the shape operator at each point determine the directions in which the surface bends at each point. The eigenvalues correspond to the principal curvatures of the surface and the eigenvectors are the corresponding principal directions. The principal directions specify the directions that a curve embedded in the surface must travel to have maximum and minimum curvature, these being given by the principal curvatures.
The shape operator is given in terms of the components of the first and second fundamental forms by the Weingarten equations:^{[29]}
Curves on a surface which minimize length between the endpoints are called geodesics; they are the shape that an elastic band stretched between the two points would take. Mathematically they are described using partial differential equations from the calculus of variations. The differential geometry of surfaces revolves around the study of geodesics. It is still an open question whether every Riemannian metric on a 2dimensional local chart arises from an embedding in 3dimensional Euclidean space: the theory of geodesics has been used to show this is true in the important case when the components of the metric are analytic.
Given a piecewise smooth path c(t) = (x(t), y(t)) in the chart for t in [a, b], its length is defined by
and energy by
The length is independent of the parametrisation of a path. By the EulerLagrange equations, if c(t) is a path minimising length, parametrised by arclength, it must satisfy the Euler equations
where the Christoffel symbols Γ^{k}_{ij} are given by
where g_{11} = E, g_{12}=F, g_{22} =G and (g^{ij}) is the inverse matrix to (g_{ij}). A path satisfying the Euler equations is called a geodesic. By the CauchySchwarz inequality a path minimising energy is just a geodesic parametrised by arc length; and, for any geodesic, the parameter t is proportional to arclength.^{[30]}
The geodesic curvature k_{g} at a point of a curve c(t), parametrised by arc length, on an oriented surface is defined to be^{[31]}
where n(t) is the "principal" unit normal to the curve in the surface, constructed by rotating the unit tangent vector through an angle of + 90°.
The geodesic curvature measures in a precise way how far a curve on the surface is from being a geodesic.
A result of Jacobowitz (1972) and Poznjak (1973) shows that every metric structure on a surface arises from a local embedding in E^{4}. Apart from some special cases, whether this is possible in E^{3} remains an open question, the socalled "Weyl problem".^{[32]} In 1926 Maurice Janet proved that it is always possible locally if E, F and G are analytic; soon afterwards Élie Cartan generalised this to local embeddings of Riemannian nmanifolds in E^{m} where m = ½(n² +n). To prove Janet's theorem near (0,0), the CauchyKowalevski theorem is used twice to produce analytic geodesics orthogonal to the yaxis and then the xaxis to make an analytic change of coordinate so that E=1 and F=0. An isometric embedding u must satisfy
Differentiating gives the three additional equations
with u(0,y) and u_{x}(0,y) prescribed. These equations can be solved near (0,0) using the CauchyKowalevski theorem and yield a solution of the original embedding equations.
When F=0 in the metric, lines parallel to the x and yaxes are orthogonal and provide orthogonal coordinates. If H=(EG)^{½}, then the Gaussian curvature is given by^{[33]}
If in addition E=1, so that H=G^{½}, then the angle at the intersection between geodesic (x(t),y(t)) and the line y = constant is given by the equation
The derivative of is given by a classical derivative formula of Gauss:^{[34]}
Once a metric is given on a surface and a base point is fixed, there is a unique geodesic connecting the base point to each sufficiently nearby point. The direction of the geodesic at the base point and the distance uniquely determine the other endpoint. These two bits of data, a direction and a magnitude, thus determine a tangent vector at the base point. The map from tangent vectors to endpoints smoothly sweeps out a neighbourhood of the base point and defines what is called the "exponential map", defining a local coordinate chart at that base point. The neighbourhood swept out has similar properties to balls in Euclidean space, namely any two points in it are joined by a unique geodesic. This property is called "geodesic convexity" and the coordinates are called "normal coordinates". The explicit calculation of normal coordinates can be accomplished by considering the differential equation satisfied by geodesics. The convexity properties are consequences of Gauss's lemma and its generalisations. Roughly speaking this lemma states that geodesics starting at the base point must cut the spheres of fixed radius centred on the base point at right angles. Geodesic polar coordinates are obtained by combining the exponential map with polar coordinates on tangent vectors at the base point. The Gaussian curvature of the surface is then given by the second order deviation of the metric at the point from the Euclidean metric. In particular the Gaussian curvature is an invariant of the metric, Gauss's celebrated Theorema Egregium. A convenient way to understand the curvature comes from an ordinary differential equation, first considered by Gauss and later generalized by Jacobi, arising from the change of normal coordinates about two different points. The GaussJacobi equation provides another way of computing the Gaussian curvature. Geometrically it explains what happens to geodesics from a fixed base point as the endpoint varies along a small curve segment through data recorded in the Jacobi field, a vector field along the geodesic.^{[35]} One and a quarter centuries after Gauss and Jacobi, Marston Morse gave a more conceptual interpretation of the Jacobi field in terms of second derivatives of the energy function on the infinitedimensional Hilbert manifold of paths.^{[36]}
The theory of ordinary differential equations shows that if f(t, v) is smooth then the differential equation dv/dt = f(t,v) with initial condition v(0) = v_{0} has a unique solution for t sufficiently small and the solution depends smoothly on t and v_{0}. This implies that for sufficiently small tangent vectors v at a given point p = (x_{0},y_{0}), there is a geodesic c_{v}(t) defined on (2,2) with c_{v}(0) = (x_{0},y_{0}) and _{ v}(0) = v. Moreover if s ≤ 1, then c_{sv} = c_{v}(st). The exponential map is defined by
and gives a diffeomorphism between a disc v < δ and a neighbourhood of p; more generally the map sending (p,v) to exp_{p}(v) gives a local diffeomorphism onto a neighbourhood of (p,p). The exponential map gives geodesic normal coordinates near p.^{[37]}
There is a standard technique (see for example Berger (2004)) for computing the change of variables to normal coordinates u, v at a point as a formal Taylor series expansion. If the coordinates x, y at (0,0) are locally orthogonal, write
where L, M are quadratic and λ, μ cubic homogeneous polynomials in u and v. If u and v are fixed, x(t) = x(tu,tv) and y(t) = y(tu, tv) can be considered as formal power series solutions of the Euler equations: this uniquely determines α, β, L, M, λ and μ.
In these coordinates the matrix g(x) satisfies g(0) = I and the lines t ↦ tv are geodesics through 0. Euler's equations imply the matrix equation
a key result, usually called the Gauss lemma. Geometrically it states that
the geodesics through 0 cut the circles centred at 0 orthogonally. 
Taking polar coordinates (r,θ), it follows that the metric has the form
In geodesic coordinates, it is easy to check that the geodesics through zero minimize length. The topology on the Riemannian manifold is then given by a distance function d(p,q), namely the infimum of the lengths of piecewise smooth paths between p and q. This distance is realised locally by geodesics, so that in normal coordinates d(0,v) = v. If the radius δ is taken small enough, a slight sharpening of the Gauss lemma shows that the image U of the disc v < δ under the exponential map is geodesically convex, i.e. any two points in U are joined by a unique geodesic lying entirely inside U.^{[5]}
Taking x and y coordinates of a surface in E^{3} corresponding to F(x,y) = k_{1} x^{2} + k_{2} y^{2} + ···, the power series expansion of the metric is given in normal coordinates (u, v) as
This extraordinary result — Gauss' Theorema Egregium — shows that the Gaussian curvature of a surface can be computed solely in terms of the metric and is thus an intrinsic invariant of the surface, independent of any embedding in E³ and unchanged under coordinate transformations. In particular isometries of surfaces preserve Gaussian curvature.^{[5]}
Taking a coordinate change from normal coordinates at p to normal coordinates at a nearby point q, yields the SturmLiouville equation satisfied by H(r,θ) = G(r,θ)^{½}, discovered by Gauss and later generalised by Jacobi,
H_{rr} = – K H 
The Jacobian of this coordinate change at q is equal to H_{r}. This gives another way of establishing the intrinsic nature of Gaussian curvature. Because H(r,θ) can be interpreted as the length of the line element in the θ direction, the GaussJacobi equation shows that the Gaussian curvature measures the spreading of geodesics on a geometric surface as they move away from a point.^{[38]}
On a surface with local metric
where H^{2} = EG – F ^{2}, the Gaussian curvature at a point is given by the formula^{[39]}
where r is the denotes the geodesic distance from the point.
Since Δ is manifestly an intrinsic invariant, this gives yet another proof that the Gaussian curvature is an intrinsic invariant.
In isothermal coordinates, first considered by Gauss, the metric is required to be of the special form
In this case the LaplaceBeltrami operator is given by
and φ satisfies Liouville's equation^{[40]}
Isothermal coordinates are known to exist in a neighbourhood of any point on the surface, although all proofs to date rely on nontrivial results on partial differential equations.^{[41]} There is an elementary proof for minimal surfaces.^{[42]}
On a sphere or a hyperboloid, the area of a geodesic triangle, i.e. a triangle all the sides of which are geodesics, is proportional to the difference of the sum of the interior angles and π. The constant of proportionality is just the Gaussian curvature, a constant for these surfaces. For the torus, the difference is zero, reflecting the fact that its Gaussian curvature is zero. These are standard results in spherical, hyperbolic and high school trigonometry (see below). Gauss generalised these results to an arbitrary surface by showing that the integral of the Gaussian curvature over the interior of a geodesic triangle is also equal to this angle difference or excess. His formula showed that the Gaussian curvature could be calculated near a point as the limit of area over angle excess for geodesic triangles shrinking to the point. Since any closed surface can be decomposed up into geodesic triangles, the formula could also be used to compute the integral of the curvature over the whole surface. As a special case of what is now called the GaussBonnet theorem, Gauss proved that this integral was remarkably always 2π times an integer, a topological invariant of the surface called the Euler characteristic. This invariant is easy to compute combinatorially in terms of the number of vertices, edges, and faces of the triangles in the decomposition, also called a triangulation. This interaction between analysis and topology was the forerunner of many later results in geometry, culminating in the AtiyahSinger index theorem. In particular properties of the curvature impose restrictions on the topology of the surface.
Gauss proved that, if Δ is a geodesic triangle on a surface with angles α, β and γ at vertices A, B and C, then
_{ Δ} K dA = α + β + γ  π. 
In fact taking geodesic polar coordinates with origin A and AB, AC the radii at polar angles 0 and α
where the second equality follows from the GaussJacobi equation and the fourth from Gauss' derivative formula in the orthogonal coordinates (r,θ).
Gauss' formula shows that the curvature at a point can be calculated as the limit of angle excess α + β + γ  π over area for successively smaller geodesic triangles near the point. Qualitatively a surface is positively or negatively curved according to the sign of the angle excess for arbitrarily small geodesic triangles.^{[43]}
Since every compact oriented 2manifold M can be triangulated by small geodesic triangles, it follows that
_{ M} K dA = 2π·χ(M) 
where χ(M) denotes the Euler characteristic of the surface.
In fact if there are F faces, E edges and V vertices, then 3F = 2E and the left hand side equals 2π·V – π·F = 2π·(V – E + F) = 2π·χ(M).
This is the celebrated GaussBonnet theorem: it shows that the integral of the Gaussian curvature is a topological invariant of the manifold, namely the Euler characteristic. This theorem can be interpreted in many ways; perhaps one of the most farreaching has been as the index theorem for an elliptic differential operator on M, one of the simplest cases of the AtiyahSinger index theorem. Another related result, which can be proved using the GaussBonnet theorem, is the PoincaréHopf index theorem for vector fields on M which vanish at only a finite number of points: the sum of the indices at these points equals the Euler characteristic. (On a small circle round each isolated zero, the vector field defines a map into the unit circle; the index is just the winding number of this map.)^{[44]}
If the Gaussian curvature of a surface M is everywhere positive, then the Euler characteristic is positive so M is homeomorphic (and therefore diffeomorphic) to S^{2}. If in addition the surface is isometrically embedded in E^{3}, the Gauss map provides an explicit diffeomorphism. As Hadamard observed, in this case the surface is convex; this criterion for convexity can be viewed as a 2dimensional generalisation of the wellknown second derivative criterion for convexity of plane curves. Hilbert proved that every isometrically embedded closed surface must have a point of positive curvature. Thus a closed Riemannian 2manifold of nonpositive curvature can never be embedded isometrically in E^{3}; however, as Adriano Garsia showed using the Beltrami equation for quasiconformal mappings, this is always possible for some conformally equivalent metric.^{[45]}
The simply connected surfaces of constant curvature 0, +1 and –1 are the Euclidean plane, the unit sphere in E^{3}, and the hyperbolic plane. Each of these has a transitive threedimensional Lie group of orientation preserving isometries G, which can be used to study their geometry. Each of the two noncompact surfaces can be identified with the quotient G / K where K is a maximal compact subgroup of G. Here K is isomorphic to SO(2). Any other closed Riemannian 2manifold M of constant Gaussian curvature, after scaling the metric by a constant factor if necessary, will have one of these three surfaces as its universal covering space. In the orientable case, the fundamental group Γ of M can be identified with a torsionfree uniform subgroup of G and M can then be identified with the double coset space Γ \ G / K. In the case of the sphere and the Euclidean plane, the only possible examples are the sphere itself and tori obtained as quotients of R^{2} by discrete rank 2 subgroups. For closed surfaces of genus , the moduli space of Riemann surfaces obtained as Γ varies over all such subgroups, has real dimension 6g  6 .^{[46]} By Poincaré's uniformization theorem, any orientable closed 2manifold is conformally equivalent to a surface of constant curvature 0, +1 or –1. In other words, by multiplying the metric by a positive scaling factor, the Gaussian curvature can be made to take exactly one of these values (the sign of the Euler characteristic of M).^{[47]}
In the case of the Euclidean plane, the symmetry group is the Euclidean motion group, the semidirect product of the two dimensional group of translations by the group of rotations.^{[48]} Geodesics are straight lines and the geometry is encoded in the elementary formulas of trigonometry, such as the cosine rule for a triangle with sides a, b, c and angles α, β, γ:
Flat tori can be obtained by taking the quotient of R^{2} by a lattice, i.e. a free Abelian subgroup of rank 2. These closed surfaces have no isometric embeddings in E^{3}. They do nevertheless admit isometric embeddings in E^{4}; in the easiest case this follows from the fact that the torus is a product of two circles and each circle can be isometrically embedded in E^{2}.^{[49]}
The isometry group of the unit sphere S^{2} in E^{3} is the orthogonal group O(3), with the rotation group SO(3) as the subgroup of isometries preserving orientation. It is the direct product of SO(3) with the antipodal map, sending x to –x.^{[50]} The group SO(3) acts transitively on S^{2}. The stabilizer subgroup of the unit vector (0,0,1) can be identified with SO(2), so that S^{2} = SO(3)/SO(2).
The geodesics between two points on the sphere are the great circle arcs with these given endpoints. If the points are not antipodal, there is a unique shortest geodesic between the points. The geodesics can also be described group theoretically: each geodesic through the North pole (0,0,1) is the orbit of the subgroup of rotations about an axis through antipodal points on the equator.
A spherical triangle is a geodesic triangle on the sphere. It is defined by points A, B, C on the sphere with sides BC, CA, AB formed from great circle arcs of length less than π. If the lengths of the sides are a, b, c and the angles between the sides α, β, γ, then the spherical cosine law states that
The area of the triangle is given by
Using stereographic projection from the North pole, the sphere can be identified with the extended complex plane C {∞}. The explicit map is given by
Under this correspondence every rotation of S^{2} corresponds to a Möbius transformation in SU(2), unique up to sign.^{[51]} With respect to the coordinates (u, v) in the complex plane, the spherical metric becomes^{[52]}
The unit sphere is the unique closed orientable surface with constant curvature +1. The quotient SO(3)/O(2) can be identified with the real projective plane. It is nonorientable and can be described as the quotient of S^{2} by the antipodal map (multiplication by –1). The sphere is simply connected, while the real projective plane has fundamental group Z_{2}. The finite subgroups of SO(3), corresponding to the finite subgroups of O(2) and the symmetry groups of the platonic solids, do not act freely on S^{2}, so the corresponding quotients are not 2manifolds, just orbifolds.
NonEuclidean geometry^{[53]} was first discussed in letters of Gauss, who made extensive computations at the turn of the nineteenth century which, although privately circulated, he decided not to put into print. In 1830 Lobachevsky and independently in 1832 Bolyai, the son of one Gauss' correspondents, published synthetic versions of this new geometry, for which they were severely criticized. However it was not until 1868 that Beltrami, followed by Klein in 1871 and Poincaré in 1882, gave concrete analytic models for what Klein dubbed hyperbolic geometry. The four models of 2dimensional hyperbolic geometry that emerged were:
The first model, based on a disk, has the advantage that geodesics are actually line segments (that is, intersections of Euclidean lines with the open unit disk).The last model has the advantage that it gives a construction which is completely parallel to that of the unit sphere in 3dimensional Euclidean space. Because of their application in complex analysis and geometry, however, the models of Poincaré are the most widely used: they are interchangeable thanks to the Möbius transformations between the disk and the upper halfplane.
Let
be the Poincaré disk in the complex plane with Poincaré metric
In polar coordinates (r, θ) the metric is given by
The length of a curve γ:[a,b] D is given by the formula
The group G = SU(1,1) given by
acts transitively by Möbius transformations on D and the stabilizer subgroup of 0 is the rotation group
The quotient group SU(1,1)/±I is the group of orientationpreserving isometries of D. Any two points z, w in D are joined by a unique geodesic, given by the portion of the circle or straight line passing through z and w and orthogonal to the boundary circle. The distance between z and w is given by
In particular d(0,r) = 2 tanh^{−1} r and c(t) = tanh t/2 is the geodesic through 0 along the real axis, parametrized by arclength.
The topology defined by this metric is equivalent to the usual Euclidean topology, although as a metric space (D,d) is complete.
A hyperbolic triangle is a geodesic triangle for this metric: any three points in D are vertices of a hyperbolic triangle. If the sides have length a, b, c with corresponding angles α, β, γ, then the hyperbolic cosine rule states that
The area of the hyperbolic triangle is given by^{[54]}
The unit disk and the upper halfplane
are conformally equivalent by the Möbius transformations
Under this correspondence the action of SL(2,R) by Möbius transformations on H corresponds to that of SU(1,1) on D. The metric on H becomes
Since lines or circles are preserved under Möbius transformations, geodesics are again described by lines or circles orthogonal to the real axis.
The unit disk with the Poincaré metric is the unique simply connected oriented 2dimensional Riemannian manifold with constant curvature 1. Any oriented closed surface M with this property has D as its universal covering space. Its fundamental group can be identified with a torsionfree concompact subgroup Γ of SU(1,1), in such a way that
In this case Γ is a finitely presented group. The generators and relations are encoded in a geodesically convex fundamental geodesic polygon in D (or H) corresponding geometrically to closed geodesics on M.
Examples.
Given an oriented closed surface M with Gaussian curvature K, the metric on M can be changed conformally by scaling it by a factor e^{2u}. The new Gaussian curvature K' is then given by
where Δ is the Laplacian for the original metric. Thus to show that a given surface is conformally equivalent to a metric with constant curvature K' it suffices to solve the following variant of Liouville's equation:
When M has Euler characteristic 0, so is diffeomorphic to a torus, K' = 0, so this amounts to solving
By standard elliptic theory, this is possible because the integral of K over M is zero, by the GaussBonnet theorem.^{[55]}
When M has negative Euler characteristic, K' = 1, so the equation to be solved is:
Using the continuity of the exponential map on Sobolev space due to Neil Trudinger, this nonlinear equation can always be solved.^{[56]}
Finally in the case of the 2sphere, K' = 1 and the equation becomes:
So far this nonlinear equation has not been analysed directly, although classical results such as the RiemannRoch theorem imply that it always has a solution. The method of Ricci flow, developed by Richard Hamilton, gives another proof of existence based on nonlinear partial differential equations to prove existence.^{[57]} In fact the Ricci flow on conformal metrics on S^{2} is defined on functions u(x, t) by
After finite time, Chow showed that K' becomes positive; previous results of Hamilton could then be used to show that K' converges to +1.^{[58]}
A simple proof using only elliptic operators discovered in 1988 can be found in Ding (2001). Let G be the Green's function on S^{2} satisfying ΔG = 1 + 4πδ_{P}, where δ_{P} is the point measure at a fixed point P of S^{2}. The equation Δv = 2K – 2, has a smooth solution v, because the right hand side has integral 0 by the GaussBonnet theorem. Thus φ = 2G + v satisfies Δφ = 2K away from P. It follows that g_{1} = e^{φ}g is a complete metric of constant curvature 0 on the complement of P, which is therefore isometric to the plane. Composing with stereographic projection, it follows that there is a smooth function u such that e^{2u}g has Gaussian curvature +1 on the complement of P. The function u automatically extends to a smooth function on the whole of S^{2}.^{[59]}
In a region where the curvature of the surface satisfies K≤0, geodesic triangles satisfy the CAT(0) inequalities of comparison geometry, studied by Cartan, Alexandrov and Toponogov, and considered later from a different point of view by Bruhat and Tits; thanks to the vision of Gromov, this characterisation of nonpositive curvature in terms of the underlying metric space has had a profound impact on modern geometry and in particular geometric group theory. Many results known for smooth surfaces and their geodesics, such as Birkhoff's method of constructing geodesics by his curveshortening process or van Mangoldt and Hadamard's theorem that a simply connected surface of nonnegative curvature is homeomorphic to the plane, are equally valid in this more general setting.
The simplest form of the comparison inequality, first proved for surfaces by Alexandrov around 1940, states that
The distance between a vertex of a geodesic triangle and the midpoint of the opposite side is always less than the corresponding distance in the comparison triangle in the plane with the same sidelengths.
The inequality follows from the fact that if c(t) describes a geodesic parametrised by arclength and a is a fixed point, then
is a convex function, i.e.
Taking geodesic polar coordinates with origin at a so that c(t) = r(t), convexity is equivalent to
Changing to normal coordinates u, v at c(t), this inequality becomes
where (u,v) corresponds to the unit vector . This follows from the inequality H_{r} ≥ H, a consequence of the nonnegativity of the derivative of the Wronskian of H and r from SturmLiouville theory.^{[60]}
On a nonpositively curved surface any two points can be joined by a unique geodesic. Although there are classical treatments of this,^{[61]} there is an argument which applies more generally to any negatively curved metric space due to George Birkhoff. It relies on his curve shortening process, published in 1917, that eventually won him the prestigious Bôcher memorial prize and was to have a profound influence on Marston Morse's development of Morse theory in infinite dimensions and also on the theory of dynamical systems.
Birkhoff's process replaces a loop or a path, with a given subdivision into segments, by geodesics between the points of subdivision, and then repeats this process for the midpoints of the subdivision. The process diminishes the energy. Since the resulting curves are equicontinuous and therefore by the generalised ArzelaAscoli theorem form a compact subset in the space of continuous loops or paths, iteration of the process produces a geodesic in each homotopy class of loop or path. If the surface is negatively curved, this geodesic is unique. In fact on a negatively curved surface, the distance between corresponding points on two geodesics is a convex function of arclength; thus, if two geodesics have the same endpoints, they must coincide everywhere. The method of Birkhoff allows the study of the energy flow on the infinitedimensional loop space to be reduced to a discrete dynamical system on a finitedimensional space.^{[62]}
For closed surfaces of nonpositive curvature, von Mangoldt (1881) and Hadamard (1898) proved that the exponential map at a point is a covering map, so that the universal covering space of the manifold is E². This result was generalised to higher dimensions by Cartan and is usually referred to in this form as the Cartan–Hadamard theorem. For surfaces, this result follows from three important facts:^{[63]}
The classical approach of Gauss to the differential geometry of surfaces was the standard elementary approach^{[64]} which predated the emergence of the concepts of Riemannian manifold initiated by Bernhard Riemann in the midnineteenth century and of connection developed by Tullio LeviCivita, Élie Cartan and Hermann Weyl in the early twentieth century. The notion of connection, covariant derivative and parallel transport gave a more conceptual and uniform way of understanding curvature, which not only allowed generalisations to higher dimensional manifolds but also provided an important tool for defining new geometric invariants, called characteristic classes.^{[65]} The approach using covariant derivatives and connections is nowadays the one adopted in more advanced textbooks.^{[66]}
Connections on a surface can be defined from various equivalent but equally important points of view. The Riemannian connection or LeviCivita connection^{[67]} is perhaps most easily understood in terms of lifting vector fields, considered as first order differential operators acting on functions on the manifold, to differential operators on the tangent bundle or frame bundle. In the case of an embedded surface, the lift to an operator on vector fields, called the covariant derivative, is very simply described in terms of orthogonal projection. Indeed a vector field on an embedded surface can be regarded as a function from the surface into R^{2}. Another vector field act as a differential operator componentwise. The resulting vector field will not be tangent to the surface, but this can be corrected taking its orthogonal projection onto the tangent space at each point of the surface. As Ricci and LeviCivita realised at the turn of the twentieth century, this process depends only on the metric and can be locally expressed in terms of the Christoffel symbols.
Parallel transport of tangent vectors along a curve in the surface was the next major advance in the subject, due to LeviCivita.^{[68]} It is related to the earlier notion of covariant derivative, because it is the monodromy of the ordinary differential equation on the curve defined by the covariant derivative with respect to the velocity vector of the curve. Parallel transport along geodesics, the "straight lines" of the surface, can also easily be described directly. A vector in the tangent plane is transported along a geodesic as the unique vector field with constant length and making a constant angle with the velocity vector of the geodesic. For a general curve, this process has to be modified using the geodesic curvature, which measures how far the curve departs from being a geodesic.^{[5]}
A vector field v(t) along a unit speed curve c(t), with geodesic curvature k_{g}(t), is said to be parallel along the curve if
This recaptures the rule for parallel transport along a geodesic or piecewise geodesic curve, because in that case k_{g} = 0, so that the angle θ(t) should remain constant on any geodesic segment. The existence of parallel transport follows because θ(t) can be computed as the integral of the geodesic curvature. Since it therefore depends continuously on the L^{2} norm of k_{g}, it follows that parallel transport for an arbitrary curve can be obtained as the limit of the parallel transport on approximating piecewise geodesic curves.^{[69]}
The connection can thus be described in terms of lifting paths in the manifold to paths in the tangent or orthonormal frame bundle, thus formalising the classical theory of the "moving frame", favoured by French authors.^{[70]} Lifts of loops about a point give rise to the holonomy group at that point. The Gaussian curvature at a point can be recovered from parallel transport around increasingly small loops at the point. Equivalently curvature can be calculated directly at an infinitesimal level in terms of Lie brackets of lifted vector fields.
The approach of Cartan and Weyl, using connection 1forms on the frame bundle of M, gives a third way to understand the Riemannian connection. They noticed that parallel transport dictates that a path in the surface be lifted to a path in the frame bundle so that its tangent vectors lie in a special subspace of codimension one in the threedimensional tangent space of the frame bundle. The projection onto this subspace is defined by a differential 1form on the orthonormal frame bundle, the connection form. This enabled the curvature properties of the surface to be encoded in differential forms on the frame bundle and formulas involving their exterior derivatives.
This approach is particularly simple for an embedded surface. Thanks to a result of Kobayashi (1956), the connection 1form on a surface embedded in Euclidean space E^{3} is just the pullback under the Gauss map of the connection 1form on S^{2}.^{[71]} Using the identification of S^{2} with the homogeneous space SO(3)/SO(2), the connection 1form is just a component of the MaurerCartan 1form on SO(3).^{[72]}
Although the characterisation of curvature involves only the local geometry of a surface, there are important global aspects such as the GaussBonnet theorem, the uniformization theorem, the von MangoldtHadamard theorem, and the embeddability theorem. There are other important aspects of the global geometry of surfaces.^{[73]} These include:
One of the most comprehensive introductory surveys of the subject, charting the historical development from before Gauss to modern times, is by Berger (2004). Accounts of the classical theory are given in Eisenhart (2004), Kreyszig (1991) and Struik (1988); the more modern copiously illustrated undergraduate textbooks by Gray, Abbena & Salamon (2006), Pressley (2001) and Wilson (2008) might be found more accessible. An accessible account of the classical theory can be found in Hilbert & CohnVossen (1952). More sophisticated graduatelevel treatments using the Riemannian connection on a surface can be found in Singer & Thorpe (1967), do Carmo (1976) and O'Neill (1997).

