nLab Klein 2-geometry

Contents

Context

Geometry

Differential geometry

synthetic differential geometry

Introductions

from point-set topology to differentiable manifolds

geometry of physics: coordinate systems, smooth spaces, manifolds, smooth homotopy types, supergeometry

Differentials

V-manifolds

smooth space

Tangency

The magic algebraic facts

Theorems

Axiomatics

cohesion

infinitesimal cohesion

tangent cohesion

differential cohesion

graded differential cohesion

singular cohesion

id id fermionic bosonic bosonic Rh rheonomic reduced infinitesimal infinitesimal & étale cohesive ʃ discrete discrete continuous * \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}{}& \esh &\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

Klein 2-geometry is an attempt to categorify Klein’s Erlangen program by replacing groups with 2-groups, which are like groups but categories instead of sets.

The idea of Klein’s original Erlangen program is to study geometries that have some group of symmetries, GG. If this group acts transitively on some kind of geometrical figure - e.g. points, lines, etc. - the space of figures of this kind is G/HG/H, where HGH \subseteq G is the stabilizer of such a figure: that is, the subgroup of symmetries that preserve it.

To categorify this we’d like to replace GG with a 2-group, and replace HH with a “sub-2-group”. We then need to define the suitable analogue of the quotient G/HG/H, and see in what sense GG acts transitively on this.

A suitable notion of sub-2-group is a faithful, but not necessarily full, functor into GG. Quotients may be thought of as homogeneous orbifolds.

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

Discussion

Blog entries: I, II, III, IV, V, VI, VII, VIII, VIIIS, IX, X, XI, XII, and stabilizer.

Last revised on February 21, 2023 at 07:40:49. See the history of this page for a list of all contributions to it.