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)
A differential form $\omega \in \Omega_{dR}^p(G)$ on a Lie group $G$ is called left invariant if for every $g \in G$ it is invariant under the pullback of differential forms
along the left multiplication action
Analogously a form is right invariant if it is invariant under the pullback by right translations $R_g$.
More generally, given a differentiable (e.g. smooth) group action of $G$ on a differentiable (e.g. smooth) manifold $M$
then a differential form $\omega \in \Omega^p_{dR}(M)$ is called invariant if for all $g \in G$
This reduces to the left invariance (1) for $M = G$ and $\rho$ being the left multiplication action of $G$ on itself.
For a vector field $X$ one instead typically defines the invariance via the pushforward $(T L_g) X = (L_g)_* X$. Regarding that $L_g$ and $T_g$ are diffeomorphisms, both pullbacks and pushfowards (hence invariance as well) are defined for every tensor field; and the two requirements are equivalent.
Last revised on April 8, 2021 at 09:16:29. See the history of this page for a list of all contributions to it.