In mathematics, spaces of non-positive curvature occur in many contexts and form a generalization of hyperbolic geometry. In the category of Riemannian manifolds, one can consider the sectional curvature 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 spaces, where one can use comparison triangles to quantify the curvature of a space; in this context, non-positively curved spaces are known as (locally) CAT(0) spaces.
If is a closed, orientable Riemann surface then it follows from the Uniformization theorem that may be endowed with a complete Riemannian metric with constant Gaussian curvature of either , or . As a result of the Gauss–Bonnet theorem one can determine that the surfaces which have a Riemannian metric of constant curvature i.e. Riemann surfaces with a complete, Riemannian metric of non-positive constant curvature, are exactly those whose genus is at least . 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 are exactly those which admit a Riemannian metric of non-positive curvature. There is therefore an infinite family of homeomorphism types of such surfaces whereas the Riemann sphere is the only closed, orientable Riemann surface of constant Gaussian curvature .
The definition of curvature above depends upon the existence of a Riemannian metric 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 and topology. Classical examples of surfaces of non-positive curvature are the Euclidean plane and flat torus (for curvature ) and the hyperbolic plane and pseudosphere (for curvature ). 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.
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 manifolds or orbifolds of higher dimension, the notion of sectional curvature is used wherein one restricts one's attention to two-dimensional subspaces of the tangent space at a given point. In dimensions greater than the Mostow–Prasad rigidity theorem ensures that a hyperbolic manifold of finite area has a unique complete hyperbolic metric so the study of hyperbolic geometry in this setting is integral to the study of topology.
In an arbitrary geodesic metric space the notions of being Gromov hyperbolic or of being a CAT(0) space 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 and is therefore of great use in the fields of combinatorics and geometric group theory.
Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of differential calculus, integral calculus, linear algebra and multilinear algebra. The field has its origins in the study of spherical geometry as far back as antiquity. It also relates to astronomy, the geodesy of the Earth, and later the study of hyperbolic geometry by Lobachevsky. The simplest examples of smooth spaces are the plane and space curves and surfaces in the three-dimensional Euclidean space, and the study of these shapes formed the basis for development of modern differential geometry during the 18th and 19th centuries.
In mathematics, curvature is any of several strongly related concepts in geometry. Intuitively, the curvature is the amount by which a curve deviates from being a straight line, or a surface deviates from being a plane.
In the mathematical field of differential geometry, the Gauss–Bonnet theorem is a fundamental formula which links the curvature of a surface to its underlying topology.
Riemannian geometry is the branch of differential geometry that studies Riemannian manifolds, defined as smooth manifolds with a Riemannian metric. This gives, in particular, local notions of angle, length of curves, surface area and volume. From those, some other global quantities can be derived by integrating local contributions.
In Riemannian geometry, an exponential map is a map from a subset of a tangent space TpM of a Riemannian manifold M to M itself. The (pseudo) Riemannian metric determines a canonical affine connection, and the exponential map of the (pseudo) Riemannian manifold is given by the exponential map of this connection.
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 point p of the manifold. It can be defined geometrically as the Gaussian curvature of the surface which has the plane σp as a tangent plane at p, obtained from geodesics which start at p in the directions of σp. The sectional curvature is a real-valued function on the 2-Grassmannian bundle over the manifold.
In the mathematical field of Riemannian geometry, the scalar curvature is a measure of the curvature of a Riemannian manifold. To each point on a Riemannian manifold, it assigns a single real number determined by the geometry of the metric near that point. It is defined by a complicated explicit formula in terms of partial derivatives of the metric components, although it is also characterized by the volume of infinitesimally small geodesic balls. In the context of the differential geometry of surfaces, the scalar curvature is twice the Gaussian curvature, and completely characterizes the curvature of a surface. In higher dimensions, however, the scalar curvature only represents one particular part of the Riemann curvature tensor.
In differential geometry, the Gaussian curvature or Gauss curvatureΚ of a smooth surface in three-dimensional space at a point is the product of the principal curvatures, κ1 and κ2, at the given point:
In mathematics, hyperbolic space of dimension n is the unique simply connected, n-dimensional Riemannian manifold of constant sectional curvature equal to -1. It is homogeneous, and satisfies the stronger property of being a symmetric space. There are many ways to construct it as an open subset of with an explicitly written Riemannian metric; such constructions are referred to as models. Hyperbolic 2-space, H2, which was the first instance studied, is also called the hyperbolic plane.
In mathematics, the Chern theorem states that the Euler–Poincaré characteristic of a closed even-dimensional Riemannian manifold is equal to the integral of a certain polynomial of its curvature form.
This is a glossary of some terms used in Riemannian geometry and metric geometry — it doesn't cover the terminology of differential topology.
Myers's theorem, also known as the Bonnet–Myers theorem, is a celebrated, fundamental theorem in the mathematical field of Riemannian geometry. It was discovered by Sumner Byron Myers in 1941. It asserts the following:
In mathematics, Hopf conjecture may refer to one of several conjectural statements from differential geometry and topology attributed to Heinz Hopf.
In mathematics, the Cartan–Hadamard theorem is a statement in Riemannian geometry concerning the structure of complete Riemannian manifolds of non-positive sectional curvature. The theorem states that the universal cover of such a manifold is diffeomorphic to a Euclidean space via the exponential map at any point. It was first proved by Hans Carl Friedrich von Mangoldt for surfaces in 1881, and independently by Jacques Hadamard in 1898. Élie Cartan generalized the theorem to Riemannian manifolds in 1928. The theorem was further generalized to a wide class of metric spaces by Mikhail Gromov in 1987; detailed proofs were published by Ballmann (1990) for metric spaces of non-positive curvature and by Alexander & Bishop (1990) for general locally convex metric spaces.
In mathematics, a Hadamard manifold, named after Jacques Hadamard — more often called a Cartan–Hadamard manifold, after Élie Cartan — is a Riemannian manifold that is complete and simply connected and has everywhere non-positive sectional curvature. By Cartan–Hadamard theorem all Cartan–Hadamard manifolds are diffeomorphic to the Euclidean space Furthermore it follows from the Hopf–Rinow theorem that every pairs of points in a Cartan–Hadamard manifold may be connected by a unique geodesic segment. Thus Cartan–Hadamard manifolds are some of the closest relatives of
In mathematics, the differential geometry of surfaces deals with the differential geometry of 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, who showed that curvature was an intrinsic property of a surface, independent of its isometric embedding in Euclidean space.
Polyhedral space is a certain metric space. A (Euclidean) polyhedral space is a simplicial complex in which every simplex has a flat metric.. In the sequel all polyhedral spaces are taken to be Euclidean polyhedral spaces.
The Geometry Festival is an annual mathematics conference held in the United States.
In differential geometry, Cohn-Vossen's inequality, named after Stefan Cohn-Vossen, relates the integral of Gaussian curvature of a non-compact surface to the Euler characteristic. It is akin to the Gauss–Bonnet theorem for a compact surface.