In
differential geometry
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 multili ...
and the study of
Lie group
In mathematics, a Lie group (pronounced ) is a group that is also a differentiable manifold. A manifold is a space that locally resembles Euclidean space, whereas groups define the abstract concept of a binary operation along with the additio ...
s, a parabolic geometry is a
homogeneous space
In mathematics, particularly in the theories of Lie groups, algebraic groups and topological groups, a homogeneous space for a group ''G'' is a non-empty manifold or topological space ''X'' on which ''G'' acts transitively. The elements of ' ...
''G''/''P'' which is the quotient of a
semisimple Lie group
In mathematics, a Lie algebra is semisimple if it is a direct sum of modules, direct sum of simple Lie algebras. (A simple Lie algebra is a non-abelian Lie algebra without any non-zero proper Lie algebra#Subalgebras.2C ideals and homomorphisms, i ...
''G'' by a
parabolic subgroup
In the theory of algebraic groups, a Borel subgroup of an algebraic group ''G'' is a maximal Zariski closed and connected solvable algebraic subgroup. For example, in the general linear group ''GLn'' (''n x n'' invertible matrices), the subgroup ...
''P''. More generally, the curved analogs of a parabolic geometry in this sense is also called a parabolic geometry: any geometry that is modeled on such a space by means of a
Cartan connection
In the mathematical field of differential geometry, a Cartan connection is a flexible generalization of the notion of an affine connection. It may also be regarded as a specialization of the general concept of a principal connection, in which the ...
.
Examples
The
projective space
In mathematics, the concept of a projective space originated from the visual effect of perspective, where parallel lines seem to meet ''at infinity''. A projective space may thus be viewed as the extension of a Euclidean space, or, more generally ...
''P''
''n'' is an example. It is the homogeneous space PGL(''n''+1)/''H'' where ''H'' is the isotropy group of a line. In this geometrical space, the notion of a straight line is meaningful, but there is no preferred ("affine") parameter along the lines. The curved analog of projective space is a manifold in which the notion of a
geodesic
In geometry, a geodesic () is a curve representing in some sense the shortest path ( arc) between two points in a surface, or more generally in a Riemannian manifold. The term also has meaning in any differentiable manifold with a connection. ...
makes sense, but for which there are no preferred parametrizations on those geodesics. A
projective connection In differential geometry, a projective connection is a type of Cartan connection on a differentiable manifold.
The structure of a projective connection is modeled on the geometry of projective space, rather than the affine space corresponding to a ...
is the relevant Cartan connection that gives a means for describing a projective geometry by gluing copies of the projective space to the tangent spaces of the base manifold. Broadly speaking,
projective geometry
In mathematics, projective geometry is the study of geometric properties that are invariant with respect to projective transformations. This means that, compared to elementary Euclidean geometry, projective geometry has a different setting, pro ...
refers to the study of manifolds with this kind of connection.
Another example is the
conformal sphere. Topologically, it is the ''n''-sphere, but there is no notion of length defined on it, just of angle between curves. Equivalently, this geometry is described as an equivalence class of
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 ...
s on the sphere (called a conformal class). The group of transformations that preserve angles on the sphere is the
Lorentz group
In physics and mathematics, the Lorentz group is the group of all Lorentz transformations of Minkowski spacetime, the classical and quantum setting for all (non-gravitational) physical phenomena. The Lorentz group is named for the Dutch physicis ...
O(''n''+1,1), and so ''S''
''n'' = O(''n''+1,1)/''P''.
Conformal geometry
In mathematics, conformal geometry is the study of the set of angle-preserving ( conformal) transformations on a space.
In a real two dimensional space, conformal geometry is precisely the geometry of Riemann surfaces. In space higher than two d ...
is, more broadly, the study of manifolds with a conformal equivalence class of Riemannian metrics, i.e., manifolds modeled on the conformal sphere. Here the associated Cartan connection is the
conformal connection In conformal differential geometry, a conformal connection is a Cartan connection on an ''n''-dimensional manifold ''M'' arising as a deformation of the Klein geometry given by the celestial ''n''-sphere, viewed as the homogeneous space
:O+(n+1, ...
.
Other examples include:
*
CR geometry In mathematics, a CR manifold, or Cauchy–Riemann manifold, is a differentiable manifold together with a geometric structure modeled on that of a real hypersurface in a complex vector space, or more generally modeled on an edge of a wedge.
Form ...
, the study of manifolds modeled on a real hyperquadric
, where
is the stabilizer of an isotropic line (see
CR manifold In mathematics, a CR manifold, or Cauchy–Riemann manifold, is a differentiable manifold together with a geometric structure modeled on that of a real hypersurface in a complex vector space, or more generally modeled on an edge of a wedge.
Formal ...
)
* contact projective geometry, the study of manifolds modeled on
where
is that subgroup of the
symplectic group
In mathematics, the name symplectic group can refer to two different, but closely related, collections of mathematical groups, denoted and for positive integer ''n'' and field F (usually C or R). The latter is called the compact symplectic grou ...
stabilizing the line generated by the first standard basis vector in
References
* {{Citation , last1=Čap , first1=Andreas , authorlink=Andreas Čap , last2=Slovák , first2=Jan ,
title=Parabolic Geometries: Background and general theory , publisher=AMS , year=2009 , url=https://books.google.com/books/about/Parabolic_Geometries_Background_and_gene.html?id=G4Ot397nWsQC , isbn=978-0-8218-2681-2
* Slovak, J
Parabolic Geometries Research Lecture Notes, Part of DrSc-dissertation, Masaryk University, 1997, 70pp, IGA Preprint 97/11 (University of Adelaide)
Differential geometry
Homogeneous spaces