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
Chern-Weil theory, ∞-Chern-Weil theory
Cartan geometry (super, higher)
algebraic quantum field theory (perturbative, on curved spacetimes, homotopical)
quantum mechanical system, quantum probability
interacting field quantization
Throughout, let
$\Sigma$ be a smooth manifold of dimension $p+1$, thought of as spacetime;
$E \overset{fb}{\longrightarrow} \Sigma$ a fiber bundle thought of as a field bundle
$\mathbf{L} \in \Omega^{p+1,0}_\Sigma(E)$ a Lagrangian density.
Let $E \overset{fb}{\to} \Sigma$ be a field bundle (def. ). Then an evolutionary vector field $v$ on $E$ is “variational vertical vector field” on $E$, hence a smooth bundle homomorphism out of the jet bundle (def. )
to the vertical tangent bundle $T_\Sigma E \overset{}{\to} \Sigma$ (def. ) of $E \overset{fb}{\to} \Sigma$.
In the special case that the field bundle is a trivial vector bundle over Minkowski spacetime as in example , this means that an evolutionary vector field is a tangent vector field (example ) on $J^\infty_\Sigma(E)$ of the special form
where the coefficients $v^a \in C^\infty(J^\infty_\Sigma(E))$ are general smooth functions on the jet bundle (while the cmponents are tangent vectors along the field coordinates $(\phi^a)$, but not along the spacetime coordinates $(x^\mu)$ and not along the jet coordinates $\phi^a_{,\mu_1 \cdots \mu_k}$).
We write
for the space of evolutionary vector fields, regarded as a module over the $\mathbb{R}$-algebra
of smooth functions on the jet bundle.
An evolutionary vector field (def. ) describes an infinitesimal change of field values depending on, possibly, the point in spacetime and the values of the field and all its derivatives (locally to finite order, by prop. ).
This induces a corresponding infinitesimal change of the derivatives of the fields, called the prolongation of the evolutionary vector field:
(prolongation of evolutionary vector field)
Let $E \overset{fb}{\to} \Sigma$ be a fiber bundle.
Given an evolutionary vector field $v$ on $E$ (def. ) there is a unique tangent vector field $\hat v$ (example ) on the jet bundle $J^\infty_\Sigma(E)$ (def. ) such that
$\hat v$ agrees on field coordinates (as opposed to jet coordinates) with $v$:
which means in the special case that $E \overset{fb}{\to} \Sigma$ is a trivial vector bundle over Minkowski spacetime (example ) that $\hat v$ is of the form
contraction with $\hat v$ (def. ) anti-commutes with the total spacetime derivative (def. ):
In particular Cartan's homotopy formula (prop. ) for the Lie derivative $\mathcal{L}_{\hat v}$ holds with respect to the variational derivative $\delta$:
Explicitly, in the special case that the field bundle is a trivial vector bundle over Minkowski spacetime (example ) $\hat v$ is given by
It is sufficient to prove the coordinate version of the statement. We prove this by induction over the maximal jet order $k$. Notice that the coefficient of $\partial_{\phi^a_{\mu_1 \cdots \mu_k}}$ in $\hat v$ is given by the contraction $\iota_{\hat v} \delta \phi^a_{\mu_1 \cdots \mu_k}$ (def. ).
Similarly (at “$k = -1$”) the component of $\partial_{\mu_1}$ is given by $\iota_{\hat v} d x^{\mu}$. But by the second condition above this vanishes:
Moreover, the coefficient of $\partial_{\phi^a}$ in $\hat v$ is fixed by the first condition above to be
This shows the statement for $k = 0$. Now assume that the statement is true up to some $k \in \mathbb{N}$. Observe that the coefficients of all $\partial_{\phi^a_{\mu_1 \cdots \mu_{k+1}}}$ are fixed by the contractions with $\delta \phi^a_{\mu_1 \cdots \mu_{k} \mu_{k+1}} \wedge d x^{\mu_{k+1}}$. For this we find again from the second condition and using $\delta \circ d + d \circ \delta = 0$ as well as the induction assumption that
This shows that $\hat v$ satisfying the two conditions given exists uniquely.
Finally formula (3) for the Lie derivative follows from the second of the two conditions with Cartan's homotopy formula $\mathcal{L}_{\hat v} = \mathbf{d} \circ \iota_{\hat v} + \iota_{\hat v} \circ \mathbf{d}$ (prop. ) together with $\mathbf{d} = \delta + d$ (?).
(evolutionary vector fields form a Lie algebra)
Let $E \overset{fb}{\to} \Sigma$ be a fiber bundle. For any two evolutionary vector fields $v_1$, $v_2$ on $E$ (def. ) the Lie bracket of tangent vector fields of their prolongations $\hat v_1$, $\hat v_2$ (def. ) is itself the prolongation $\widehat{[v_1, v_2]}$ of a unique evolutionary vector field $[v_1,v_2]$.
This defines the structure of a Lie algebra on evolutionary vector fields.
It is clear that $[\hat v_1, \hat v_2]$ is still vertical, therefore, by prop. , it is sufficient to show that contraction $\iota_{[v_1, v_2]}$ with this vector field (def. ) anti-commutes with the horizontal derivative $d$, hence that $[d, \iota_{[\hat v_1, \hat v_2]}] = 0$.
Now $[d, \iota_{[\hat v_1, \hat v_2]}]$ is an operator that sends vertical 1-forms to horizontal 1-forms and vanishes on horizontal 1-forms. Therefore it is sufficient to see that this operator in fact also vanishes on all vertical 1-forms. But for this it is sufficient that it commutes with the vertical derivative. This we check by Cartan calculus, using $[d,\delta] = 0$ and $[d, \iota_{\hat v_i}]$, by assumption:
Now given an evolutionary vector field, we want to consider the flow that it induces on the space of field histories:
(flow of field histories along evolutionary vector field)
Let $E \overset{fb}{\to} \Sigma$ be a field bundle (def. ) and let $v$ be an evolutionary vector field (def. ) such that the ordinary flow of its prolongation $\hat v$ (prop. )
exists on the jet bundle (e.g. if the order of derivatives of field coordinates that it depends on is bounded).
For $\Phi_{(-)} \colon U_1 \to \Gamma_\Sigma(E)$ a collection of field histories (hence a plot of the space of field histories (def. ) ) the flow of $v$ through $\Phi_{(-)}$ is the smooth function
whose unique factorization $\widehat{\exp(v)}(\Phi_{(-)})$ through the space of jets of field histories (i.e. the image $im(j^\infty_\Sigma)$ of jet prolongation, def. )
takes a plot $t_{(-)} \;\colon\; U_2 \to \mathbb{R}^1$ of the real line (regarded as a super smooth set via example ), to the plot
of the smooth space of sections of the jet bundle.
(That $\exp(t(-) \hat v)$ indeed flows jet prolongations $j^\infty_\Sigma(\Phi(-))$ again to jet prolongations is due to its defining relation to the evolutionary vector field $v$ from prop. .)
(infinitesimal symmetries of the Lagrangian and conserved currents)
Let $(E,\mathbf{L})$ be a Lagrangian field theory (def. ).
Then
an infinitesimal symmetry of the Lagrangian is a variation $v$ (def. ) which arises as the prolongation $\hat v$ (prop. ) of an evolutionary vector field $v$ (def. ) such that the Lie derivative $\mathcal{L}_v$ of the Lagrangian density along $\hat v$ is a total spacetime derivative
an on-shell conserved current is a horizontal $p$-form $J \in \Omega^{p,0}_\Sigma(E)$ whose total spacetime derivative vanishes on the prolonged shell (?)
Let $(E,\mathbf{L})$ be a Lagrangian field theory (def. ).
If $v$ is an infinitesimal symmetry of the Lagrangian (def. ) with $\mathcal{L}_v \mathbf{L} = d \tilde J_v$, then
is an on-shell conserved current (def. ), for $\Theta_{BFV}$ a presymplectic potential (?) from def. .
By Cartan's homotopy formula for the Lie derivative (prop. ) and the decomposition of the variational derivative $\delta \mathbf{L}$ (?) and the fact that contraction $\iota_{\hat v}$ with the prolongtion of an evolutionary vector field vanishes on horizontal differential forms (1) and anti-commutes with the horizontal differential (2), by def. , we may re-express the defining equation for the symmetry as follows:
which is equivalent to
Since, by definition of the shell $\mathcal{E}$, the form $\frac{\delta_{EL} \mathbf{L}}{\delta v}$ vanishes on $\mathcal{E}$ this yields the claim.
(flow along infinitesimal symmetry of the Lagrangian preserves on-shell space of field histories)
Let $(E,\mathbf{L})$ be a Lagrangian field theory (def. ).
For $v$ an infinitesimal symmetry of the Lagrangian (def. ) the flow on the space of field histories (example ) that it induces by def. preserves the space of on-shell field histories (from prop. ):
By def. a field history $\Phi \in \Gamma_\Sigma(E)$ is on-shell precisely if its jet prolongation $j^\infty_\Sigma(E)$ (def. ) factors through the shell $\mathcal{E} \hookrightarrow J^\infty_\Sigma(E)$ (?). Hence by def. the statement is equivalently that the ordinary flow (prop. ) of $\hat v$ (def. ) on the jet bundle $J^\infty_\Sigma(E)$ preserves the shell. This in turn means that it preserves the vanishing locus of the Euler-Lagrange form $\delta_{EL} \mathbf{L}$.
For this it is sufficient to show that the derivative of the components of the Euler-Lagrange form along $\hat v$ vanish on the prolonged shell
This is the statement of Olver 95, theorem 5.53.
Last revised on August 1, 2018 at 14:11:45. See the history of this page for a list of all contributions to it.