mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...

, spaces of non-positive curvature occur in many contexts and form a generalization of

hyperbolic geometry In mathematics, hyperbolic geometry (also called Lobachevskian geometry or Bolyai– Lobachevskian geometry) is a non-Euclidean geometry. The parallel postulate of Euclidean geometry is replaced with: :For any given line ''R'' and point ''P'' ...

. In the

category Category, plural categories, may refer to: Philosophy and general uses * Categorization, categories in cognitive science, information science and generally *Category of being * ''Categories'' (Aristotle) *Category (Kant) *Categories (Peirce) * ...

Riemannian manifold In differential geometry, a Riemannian manifold or Riemannian space , so called after the German mathematician Bernhard Riemann, is a real manifold, real, smooth manifold ''M'' equipped with a positive-definite Inner product space, inner product ...

s, one can consider the

sectional curvature In Riemannian geometry, the sectional curvature is one of the ways to describe the curvature of Riemannian manifolds. The sectional curvature ''K''(σ''p'') depends on a two-dimensional linear subspace σ''p'' of the tangent space at a poi ...

of the manifold and require that this curvature be everywhere less than or equal to zero. The notion of curvature extends to the category of

geodesic metric space In the mathematical study of metric spaces, one can consider the arclength of paths in the space. If two points are at a given distance from each other, it is natural to expect that one should be able to get from the first point to the second alon ...

s, where one can use

comparison triangle Define M_^ as the 2-dimensional metric space of constant curvature k. So, for example, M_^ is the Euclidean plane, M_^ is the surface of the unit sphere, and M_^ is the hyperbolic plane. Let X be a metric space. Let T be a triangle in X, with vert ...

s to quantify the curvature of a space; in this context, non-positively curved spaces are known as (locally)

CAT(0) space In mathematics, a \mathbf(k) space, where k is a real number, is a specific type of metric space. Intuitively, triangles in a \operatorname(k) space are "slimmer" than corresponding "model triangles" in a standard space of constant curvature k. I ...

Riemann Surfaces

S

is a closed, orientable

Riemann surface In mathematics, particularly in complex analysis, a Riemann surface is a connected one-dimensional complex manifold. These surfaces were first studied by and are named after Bernhard Riemann. Riemann surfaces can be thought of as deformed vers ...

then it follows from the

Uniformization theorem In mathematics, the uniformization theorem says that every simply connected Riemann surface is conformally equivalent to one of three Riemann surfaces: the open unit disk, the complex plane, or the Riemann sphere. The theorem is a generalization o ...

that

S

may be endowed with a complete

Riemannian metric In differential geometry, a Riemannian manifold or Riemannian space , so called after the German mathematician Bernhard Riemann, is a real, smooth manifold ''M'' equipped with a positive-definite inner product ''g'p'' on the tangent space ''T ...

with constant Gaussian curvature of either

0

1

-1

. As a result of the

Gauss–Bonnet theorem In the mathematical field of differential geometry, the Gauss–Bonnet theorem (or Gauss–Bonnet formula) is a fundamental formula which links the curvature of a surface to its underlying topology. In the simplest application, the case of a ...

one can determine that the surfaces which have a Riemannian metric of constant curvature

0

-1

i.e. Riemann surfaces with a complete, Riemannian metric of non-positive constant curvature, are exactly those whose

genus Genus ( plural genera ) is a taxonomic rank used in the biological classification of extant taxon, living and fossil organisms as well as Virus classification#ICTV classification, viruses. In the hierarchy of biological classification, genus com ...

is at least

1

. The Uniformization theorem and the Gauss–Bonnet theorem can both be applied to orientable Riemann surfaces with boundary to show that those surfaces which have a non-positive

Euler characteristic In mathematics, and more specifically in algebraic topology and polyhedral combinatorics, the Euler characteristic (or Euler number, or Euler–Poincaré characteristic) is a topological invariant, a number that describes a topological space ...

are exactly those which admit a Riemannian metric of non-positive curvature. There is therefore an infinite family of

homeomorphism In the mathematical field of topology, a homeomorphism, topological isomorphism, or bicontinuous function is a bijective and continuous function between topological spaces that has a continuous inverse function. Homeomorphisms are the isomorphi ...

types of such surfaces whereas the Riemann sphere is the only closed, orientable

of constant Gaussian curvature

1

. The definition of curvature above depends upon the existence of a

and therefore lies in the field of geometry. However the Gauss–Bonnet theorem ensures that the topology of a surface places constraints on the complete Riemannian metrics which may be imposed on a surface so the study of metric spaces of non-positive curvature is of vital interest in both the mathematical fields of

geometry Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is c ...

and

topology In mathematics, topology (from the Greek language, Greek words , and ) is concerned with the properties of a mathematical object, geometric object that are preserved under Continuous function, continuous Deformation theory, deformations, such ...

. Classical examples of surfaces of non-positive curvature are the

Euclidean plane In mathematics, the Euclidean plane is a Euclidean space of dimension two. That is, a geometric setting in which two real quantities are required to determine the position of each point ( element of the plane), which includes affine notions of ...

and

flat torus In geometry, a torus (plural tori, colloquially donut or doughnut) is a surface of revolution generated by revolving a circle in three-dimensional space about an axis that is coplanar with the circle. If the axis of revolution does not tou ...

(for curvature

0

) and the

hyperbolic plane In mathematics, hyperbolic geometry (also called Lobachevskian geometry or Bolyai– Lobachevskian geometry) is a non-Euclidean geometry. The parallel postulate of Euclidean geometry is replaced with: :For any given line ''R'' and point ''P'' ...

and

pseudosphere In geometry, a pseudosphere is a surface with constant negative Gaussian curvature. A pseudosphere of radius is a surface in \mathbb^3 having curvature in each point. Its name comes from the analogy with the sphere of radius , which is a surface ...

(for curvature

-1

). For this reason these metrics as well as the Riemann surfaces which on which they lie as complete metrics are referred to as Euclidean and hyperbolic respectively.

Generalizations

The characteristic features of the geometry of non-positively curved Riemann surfaces are used to generalize the notion of non-positive beyond the study of Riemann surfaces. In the study of

manifold In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or ''n-manifold'' for short, is a topological space with the property that each point has a n ...

s or

orbifold In the mathematical disciplines of topology and geometry, an orbifold (for "orbit-manifold") is a generalization of a manifold. Roughly speaking, an orbifold is a topological space which is locally a finite group quotient of a Euclidean space. D ...

s of higher dimension, the notion of

is used wherein one restricts one's attention to two-dimensional subspaces of the tangent space at a given point. In dimensions greater than

2

the Mostow–Prasad rigidity theorem ensures that a

hyperbolic manifold In mathematics, a hyperbolic manifold is a space where every point looks locally like hyperbolic space of some dimension. They are especially studied in dimensions 2 and 3, where they are called hyperbolic surfaces and hyperbolic 3-manifolds, res ...

of finite area has a unique complete

hyperbolic metric In mathematics, a hyperbolic manifold is a space where every point looks locally like hyperbolic space of some dimension. They are especially studied in dimensions 2 and 3, where they are called Riemann surface#Hyperbolic Riemann surfaces, hyperbol ...

so the study of hyperbolic geometry in this setting is integral to the study of

. In an arbitrary

the notions of being Gromov hyperbolic or of being a

generalise the notion that on a Riemann surface of non-positive curvature, triangles whose sides are geodesics appear ''thin'' whereas in settings of positive curvature they appear ''fat''. This notion of non-positive curvature allows the notion of non-positive curvature is most commonly applied to

graphs Graph may refer to: Mathematics *Graph (discrete mathematics), a structure made of vertices and edges **Graph theory, the study of such graphs and their properties *Graph (topology), a topological space resembling a graph in the sense of discre ...

and is therefore of great use in the fields of

combinatorics Combinatorics is an area of mathematics primarily concerned with counting, both as a means and an end in obtaining results, and certain properties of finite structures. It is closely related to many other areas of mathematics and has many appl ...

and

geometric group theory Geometric group theory is an area in mathematics devoted to the study of finitely generated groups via exploring the connections between algebraic properties of such group (mathematics), groups and topology, topological and geometry, geometric pro ...

References

* * * {{geometry-stub Curvature (mathematics) Hyperbolic geometry Metric geometry

Riemann Surfaces

Generalizations

See also

References