# nLab Riemannian geometry

Contents

### Context

#### Riemannian geometry

Riemannian geometry

## Applications

#### Differential geometry

synthetic differential geometry

Introductions

from point-set topology to differentiable manifolds

Differentials

V-manifolds

smooth space

Tangency

The magic algebraic facts

Theorems

Axiomatics

cohesion

tangent cohesion

differential cohesion

$\array{ && id &\dashv& id \\ && \vee && \vee \\ &\stackrel{fermionic}{}& \rightrightarrows &\dashv& \rightsquigarrow & \stackrel{bosonic}{} \\ && \bot && \bot \\ &\stackrel{bosonic}{} & \rightsquigarrow &\dashv& \mathrm{R}\!\!\mathrm{h} & \stackrel{rheonomic}{} \\ && \vee && \vee \\ &\stackrel{reduced}{} & \Re &\dashv& \Im & \stackrel{infinitesimal}{} \\ && \bot && \bot \\ &\stackrel{infinitesimal}{}& \Im &\dashv& \& & \stackrel{\text{étale}}{} \\ && \vee && \vee \\ &\stackrel{cohesive}{}& ʃ &\dashv& \flat & \stackrel{discrete}{} \\ && \bot && \bot \\ &\stackrel{discrete}{}& \flat &\dashv& \sharp & \stackrel{continuous}{} \\ && \vee && \vee \\ && \emptyset &\dashv& \ast }$

Models

Lie theory, ∞-Lie theory

differential equations, variational calculus

Chern-Weil theory, ∞-Chern-Weil theory

Cartan geometry (super, higher)

# Contents

## Idea

Riemannian geometry studies smooth manifolds that are equipped with a Riemannian metric: Riemannian manifolds.

Riemannian geometry is hence equivalently the Cartan geometry for inclusions o the orthogonal group into the Euclidean group.

$\,$

geometric contextgauge groupstabilizer subgrouplocal model spacelocal geometryglobal geometrydifferential cohomologyfirst order formulation of gravity
differential geometryLie group/algebraic group $G$subgroup (monomorphism) $H \hookrightarrow G$quotient (“coset space”) $G/H$Klein geometryCartan geometryCartan connection
examplesEuclidean group $Iso(d)$rotation group $O(d)$Cartesian space $\mathbb{R}^d$Euclidean geometryRiemannian geometryaffine connectionEuclidean gravity
Poincaré group $Iso(d-1,1)$Lorentz group $O(d-1,1)$Minkowski spacetime $\mathbb{R}^{d-1,1}$Lorentzian geometrypseudo-Riemannian geometryspin connectionEinstein gravity
anti de Sitter group $O(d-1,2)$$O(d-1,1)$anti de Sitter spacetime $AdS^d$AdS gravity
de Sitter group $O(d,1)$$O(d-1,1)$de Sitter spacetime $dS^d$deSitter gravity
linear algebraic groupparabolic subgroup/Borel subgroupflag varietyparabolic geometry
conformal group $O(d,t+1)$conformal parabolic subgroupMöbius space $S^{d,t}$conformal geometryconformal connectionconformal gravity
supergeometrysuper Lie group $G$subgroup (monomorphism) $H \hookrightarrow G$quotient (“coset space”) $G/H$super Klein geometrysuper Cartan geometryCartan superconnection
examplessuper Poincaré groupspin groupsuper Minkowski spacetime $\mathbb{R}^{d-1,1\vert N}$Lorentzian supergeometrysupergeometrysuperconnectionsupergravity
super anti de Sitter groupsuper anti de Sitter spacetime
higher differential geometrysmooth 2-group $G$2-monomorphism $H \to G$homotopy quotient $G//H$Klein 2-geometryCartan 2-geometry
cohesive ∞-group∞-monomorphism (i.e. any homomorphism) $H \to G$homotopy quotient $G//H$ of ∞-actionhigher Klein geometryhigher Cartan geometryhigher Cartan connection
examplesextended super Minkowski spacetimeextended supergeometryhigher supergravity: type II, heterotic, 11d

In index theory:

## References

• Isaac Chavel, Riemannian geometry – A modern introduction Cambridge University Press (1993)

• Marcel Berger, A panoramic view of Riemannian geometry

Last revised on April 25, 2018 at 03:15:59. See the history of this page for a list of all contributions to it.