higher geometry / derived geometry
Ingredients
Concepts
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
Constructions
Examples
derived smooth geometry
Theorems
synthetic differential geometry
Introductions
from point-set topology to differentiable manifolds
geometry of physics: coordinate systems, smooth spaces, manifolds, smooth homotopy types, supergeometry
Differentials
Tangency
The magic algebraic facts
Theorems
Axiomatics
(shape modality $\dashv$ flat modality $\dashv$ sharp modality)
$(\esh \dashv \flat \dashv \sharp )$
dR-shape modality$\dashv$ dR-flat modality
$\esh_{dR} \dashv \flat_{dR}$
(reduction modality $\dashv$ infinitesimal shape modality $\dashv$ infinitesimal flat modality)
$(\Re \dashv \Im \dashv \&)$
fermionic modality$\dashv$ bosonic modality $\dashv$ rheonomy modality
$(\rightrightarrows \dashv \rightsquigarrow \dashv Rh)$
Models
Models for Smooth Infinitesimal Analysis
smooth algebra ($C^\infty$-ring)
differential equations, variational calculus
Euler-Lagrange equation, de Donder-Weyl formalism?,
Chern-Weil theory, ∞-Chern-Weil theory
Cartan geometry (super, higher)
The notion of Klein geometry is essentially that of homogeneous space (coset space) $G/H$ in the context of differential geometry. This is named “Klein geometry” due to its central role in Felix Klein‘s Erlangen program, see below at History.
Klein geometries form the local models for Cartan geometries.
For the generalization of Klein geometry to higher category theory see higher Klein geometry.
A Klein geometry is a pair $(G, H)$ where $G$ is a Lie group and $H$ is a closed Lie subgroup of $G$ such that the (left) coset space
is connected. $G$ acts transitively on the homogeneous space $X$. We may think of $H\hookrightarrow G$ as the stabilizer subgroup of a point in $X$.
See there at Examples – Stabilizers of shapes / Klein geometry.
In (Klein 1872) (the “Erlangen program”) is first of all, in section 1, considered the general idea of (what in modern language one would call) the action of a Lie group “of transformations” on a smooth manifold. The group of all such transformations
by which the geometric properties of configurations in space remain entirely unchanged
is called the Hauptgruppe, principal group.
Then in (Klein 1872, end of section 5) it says:
Suppose in space some group or other, the principal group for instance, be given. Let us then select a single configuration, say a point, or a straight line, or even an ellipsoid, etc., and apply to it all the transformations of the principal group. We thus obtain an infinite manifoldness with a number of dimensions in general equal to the number of arbitrary parameters contained in the group, but reducing in special cases, namely, when the configuration originally selected has the property of being transformed into itself by an infinite number of the transformations of the group. Every manifoldness generated in this way may be called, with reference to the generating group, a body.
This means in modern language, that if $G$ is the given group acting on a given space $X$, and if $S \hookrightarrow X$ is a given subspace (a configuration), then the “body” generated by this is the coset $G/Stab_G(S)$ of $G$ by the stabilizer subgroup $Stab_G(X)$ of that configuration. See also there at Stabilizer of shapes – Klein geometry.
The text goes on to argue that spaces of this form $G/Stab_G(S)$ are of fundamental importance:
If now we desire to base our investigations upon the group, selecting at the same time certain definite configurations as space-elements, and if we wish to represent uniformly things which are of like characteristics, we must evidently choose our space-elements in such a way that their manifoldness either is itself a body or can be decomposed into bodies.
For $G = E(n)$, the Euclidean group in $n$-dimensions; $H = O(n)$, the orthogonal group; then, $X$ is $n$-dimensional Cartesian space.
Analogously, for $G = Iso(d,1)$ the Poincare group of $(d+1)$-dimensional Minkowski space, and $H = O(d,1)$ the Lorentz group, then $X = \mathbb{R}^{d+1}$ is Minkowski space itself.
Passing to the corresponding Cartan geometry – by what physicists call gauging – yields the first order formulation of gravity.
(crystallography)
The study of crystallographic groups in crystallography is much in the spirit of Klein geometry/the Erlanger program (see for instance Weyl 1938; Grünbaum & Shephard 2010; Engel 1986).
Concretely, the quotient space/quotient orbifold of the space of wave vectors/momenta in a crystal lattice by the (dual) crystallographic group is the Brillouin torus(-orbifold), in terms of which much of condensed matter theory is formulated (see for instance the electron energy bands, the valence bundle, and the K-theory classification of topological phases).
The notion of Klein geometry goes back to
Felix Klein, Vergleichende Betrachtungen über neuere geometrische Forschungen (1872) Mathematische Annalen volume 43, pages 63–100 1893 (doi:10.1007/BF01446615)
English translation by M. W. Haskell:
A comparative review of recent researches in geometry, Bull. New York Math. Soc. 2, (1892-1893), 215-249. (euclid:1183407629, LaTeX version retyped by Nitin C. Rughoonauth: arXiv:0807.3161)
in the context of what came to be known as the Erlangen program.
A review is for instance in
Last revised on June 14, 2022 at 16:07:06. See the history of this page for a list of all contributions to it.