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)
Given a G-structure, it is integrable or locally flat if over germs it restricts to the canonical (trivial) $G$-structure. If it restricts to the canonical structure only over order-$k$ infinitesimal disks, then it is called order $k$ integrable. The obstruction to first-order integrability is the torsion of a G-structure, and hence first-order integrable $G$-structures are also called torsion-free $G$-structures.
Beware that some authors use the term “integrable” for “torsion-free”. This originates in concentration on the case of almost symplectic structure, i.e. $G$-structure for $G = Sp(2n)$ the symplectic group, in which case the Darboux theorem gives that first order integrability (to symplectic structure) already implies full integrability. However, in general this is not the case. For instance for orthogonal structure, i.e. $G$-structure for $G = O(n)$ the orthogonal group, then the fundamental theorem of Riemannian geometry gives that the torsion obstruction to first-order integrability vanishes, exhibited by the Levi-Civita connection, but full integrability here is equivalent to this being a flat connection, which is a strong additional constraint. This is the case from which the terminology “locally flat” for “integrable” derives from.
Let $V$ be a linear local model space, e.g. a vector space in plain differential geometry or super vector space in supergeometry, etc.. Write $GL(V)$ for its general linear group. Consider a group homomorphism $G \longrightarrow GL(V)$.
Write $\mathbf{c}_0$ for the standard flat $G$-structure on $V$ (see at G-Structure – Examples – Standard flat G-structure).
A G-structure $\mathbf{c}$ on a manifold $X$ modeled on $V$ (e.g. a smooth manifold or supermanifold) is called integrable if
there exists cover $\{U_i \hookrightarrow X\}$ by open subsets $U_i \hookrightarrow V$;
such that the $G$-structure $\mathbf{c}$ on $X$ restricts on each patch to the default $G$-structure $\mathbf{c}_0$ on $V$:
This is due to (Sternberg 64, section VII, def. 2.4, Guillemin 65, section 3). For review see also (Alekseevskii, Lott 90, page 4 of the exposition).
More concretely, if $G$-structure is modeled by $G$-subbundles $P$ of the frame bundle (as discussed at G-structure – In terms of subbundles of the frame bundle ), then it is integrable if each $P \hookrightarrow Fr(X)$ restricts on each patch to $P_0 \hookrightarrow Fr(V)$
For $k \in \mathbb{N}$, a G-structure $\mathbf{c}$ on a manifold $X$ modeled on $V$ (e.g. a smooth manifold or supermanifold) is called order-$k$ infinitesimally integrable if at each point $x \in X$ its restriction to the order-$k$ infinitesimal neighbourhood $\mathbb{D}^V_0 \simeq \mathbb{D}_x^X \hookrightarrow X$ is equal to the default $G$-structure $\mathbf{c}_0$.
One may formalize the concept of integrable $G$-structure in the generality of higher differential geometry, formalized in differential cohesion. See also there at differential cohesion – G-Structure.
Let $V$ be framed, def. , let $G$ be an ∞-group and $G \to GL(V)$ a homomorphism, hence
a morphism between the deloopings.
For $X$ a $V$-manifold, def. , a G-structure on $X$ is a lift of the structure group of its frame bundle, def. , to $G$, hence a diagram
hence a morphism
is the slice (∞,1)-topos.
In fact $G\mathbf{Struc}\in \mathbf{H}_{/\mathbf{B}GL(n)}$ is the moduli ∞-stack of such $G$-structures.
The double slice $(\mathbf{H}_{/\mathbf{B}GL(n)})_{/G\mathbf{Struc}}$ is the (∞,1)-category of such $G$-structures.
If $V$ is framed, def. , then it carries the trivial $G$-structure, which we denote by
For $V$ framed, def. , and $X$ a $V$-manifold, def. , then $G$-structure $\mathbf{c}$ on $X$ is integrable (or locally flat) if there exists a $V$-cover
such that the correspondence of frame bundles induced via remark
(a diagram in $\mathbf{H}_{/\mathbf{B}GL(V)}$) extends to a sliced correspondence between $\mathbf{c}$ and the trivial $G$-structure $\mathbf{c}_0$ on $V$, example , hence to a diagram in $\mathbf{H}_{/\mathbf{B}GL(V)}$ of the form
On the other hand, $\mathbf{c}$ is called infinitesimally integrable (or torsion-free) if such an extension exists (only) after restriction to all infinitesimal disks in $X$ and $U$, hence after composition with the counit
of the relative flat modality, def. :
As before, if the given reduction modality encodes order-$k$ infinitesimals, then the infinitesimal integrability in def. is order-$k$ integrability. For $k = 1$ this is torsion-freeness.
The obstruction for a $G$-structure to be integrable to first order is its torsion of a G-structure.
A $G$-structure on $X$ is integrable previsely if there exists an atlas of $X$ by coordinate charts with the property that their canonical frame fields are $G$-frames.
(Sternberg 64, section VII, exercise 2.1)
A $GL(n,\mathbb{C}) \to GL(2n,\mathbb{R})$-structure is an almost complex structure. Its torsion of a G-structure vanishes precisely if its Nijenhuis tensor vanishes, hence, by the Newlander-Nirenberg theorem, precisely if it is a complex structure. Since a complex manifold admits holomorphic coordinate charts, this first-order integrability already implies full integrability.
An $Sp(n) \hookrightarrow GL(2n)$-structure is an almost symplectic structure. Its torsion of a G-structure is the de Rham differential $\mathbf{d}\omega$ of the corresponding 2-form $\omega$ (recalled e.g. in Albuquerque-Picken 11). Hence first-order integrability here amounts precisely to symplectic structure. The Darboux theorem asserts that this is already a fully integrable structure.
An $O(n)\to GL(n)$-structure is an orthogonal structure, hence a vielbein, hence a Riemannian metric. The fundamental theorem of Riemannian geometry says that in this case the torsion of a G-structure vanishes, exhibited by the existence of the Levi-Civita connection. The corresponding first-order integrability is the existence of Riemann normal coordinates (since these identify the given vielbein at any point to first order with the trivial (identity) vielbein). The higher order obstructions to integrability turn out to all be proportional to combinations of the Riemann curvature. Full integrability is equivalent to the vanishing of Riemann tensor, hence to the LC-connection being a flat connection.
The case of unitary structure is precisely the combination of the above three cases.
By the fact (see at unitary group – relation to orthogonal, symplectic and general linear group) that the unitary group is the intersection
a $U(n) \hookrightarrow GL(2n,\mathbb{R})$-structure – called an almost Hermitian structure – is precisely a joint orthogonal structure, almost symplectic structure and almost complex structure. Hence if first order integrable – called a Kähler manifold structure – this is precisely a joint orthogonal structure/Riemannian manifold structure, symplectic manifold structure, complex manifold structure.
A An $G_2 \to GL(7)$-structure is a G2-structure. Its torsion of a G-structure vanishes if the corresponding definite 3-form $\omega$ is covariantly constant with respect to the induced Riemannian metric, in which case the structure is a G2-manifold. Beware that some authors refer to first-order integrable $G_2$-structure (or even weaker conditions) as “integrable $G_2$-structure” (see Bryant 05, remark 2 for critical discussion of the terminology). The higher-order torsion invariants of $G_2$-structures do not in general vanish (e.g Bryant 05, (4.7)) and so, contrary to the above cases of symplectic and complex structure, $G_2$-manifold structure does not imply integrable $G_2$-structure.
Shlomo Sternberg, chapter VII of Lectures on differential geometry, Prentice-Hall (1964)
Victor Guillemin, The integrability problem for $G$-structures, Trans. Amer. Math. Soc. 116 (1965), 544–560. (jstor:1994134)
D. V: Alekseevskii, $G$-structure on a manifold in M. Hazewinkel (ed.) Encyclopedia of Mathematics, Volume 4 (eom:G-structure)
Lecture notes include
Marius Crainic, Differential geometry course, 2015 (pdf, pdf)
Federica Pasquotto, Linear $G$-structures by examples (pdf, pdf)
Discussion with an eye towards torsion constraints in supergravity is in
Discussion with an eye towards special holonomy is in
Discussion in modal homotopy type theory:
Felix Wellen, Formalizing Cartan Geometry in Modal Homotopy Type Theory, 2017
Felix Cherubini (née Wellen), Cartan Geometry in Modal Homotopy Type Theory (arXiv:1806.05966)
See also the references at torsion of a Cartan connection and at torsion constraints in supergravity.
Last revised on October 15, 2021 at 01:50:44. See the history of this page for a list of all contributions to it.