For a (spacetime) manifold and a bundle (in physics called the field bundle) with jet bundle , the variational bicomplex is essentially the de Rham complex of with differential forms bigraded by horizontal degree (with respect to ) and vertical degree (along the fibers of )). Accordingly the differential decomposes as
where is the de Rham differential on , is called the horizontal differential and is called the vertical differential.
With thought of as a field bundle over spacetime/worldvolume, then is a measure for how quantities change over spacetime, while is the variational differential that measures how quantities change as the field configurations are varied.
Accordingly, much of classical mechanics and classical field theory on is formalized in terms of the variational bicomplex. For instance
a field configuration is a section of ;
a Lagrangian is an element ;
a local action functional is a map
of the form
the Euler-Lagrange equation is
the covariant phase space is the locus
a conserved current is an element that is horizontally closed on the covariant phase space
a symmetry is an evolutionary vector field such that
Noether's theorem asserts that every symmetry induces a conserved current.
Let be a smooth manifold and some smooth bundle over . Write for the corresponding jet bundle.
The spaces of sections and canonically inherit a generalized smooth structure that makes them diffeological spaces: we have a pullback diagram of diffeological spaces
This induces the evaluation map
and composed with the jet prolongation
it yields a smooth map (homomorphism of diffeological spaces)
for the cochain complex of smooth differential forms on the product , bigraded with respect to the differentials on the two factors
where the , and , are the de Rham differentials of , and , respectively.
The variational bicomplex of is the sub–bi-complex of that is the image of the pullback of forms along the map (1):
and speak of the bicomplex of local forms on sections on .
The bicomplex structure on is attributed in (Olver 86) to (Takens). The above formulation as the image of the evident bicomplex of forms on is due to (Zuckerman, p. 5).
More on the horizontal differential complex
More abstractly, the horizontal differential is characterized as follows:
The horzontal differential takes horizontal forms to horizontal forms, and for all sections it respects pullback of differential forms along the jet prolongation
(where on the right we have the ordinary de Rham differential on the base space).
More abstractly, the horizontal complex may be understood in terms of differential operators and the jet comonad as follows.
(e.g. Krasil’shchik-Verbovertsky 98, around def. 3.27, Krasil’shchik-Vinogradov 99, ch 4, around def. 1.8)
Evolutionary vector fields
Vector fields on also split into a direct sum of vertical and horizontal ones, respectively being annihilated by contraction with any horizontal -forms or with any vertical -forms, . A special kind of vertical vector field is called an evolutionary vector field provided it satisfies and , we denote the subspace of evolutionary vector fields as .
Horizontal, vertical, and total cohomology
Let be a smooth fiber bundle over a base smooth manifold of dimension Write for the jet bundle of .
for the projection of -forms to the image of the “interior Euler operator” (Anderson 89, p. 21 (50/318)).
The cochain cohomology of the Euler-Lagrange complex
is isomorphic to the de Rham cohomology of the total space of the given fiber bundle.
(Anderson 89, theorem 5.9).
The fundamental variational formula
A source form is an element in such that
depends only on the 0-jet of .
Then there is a unique source form such that
This is (Zuckerman, theorem 3).
Here is the Euler-Lagrange operator .
vanishes when restricted to vertical tangent vectors based in covariant phase space (but not necessarily tangential to it).
This is ([Zuckerman, lemma 8]).
Presymplectic covariant phase space
By remark 3 and prop. 4.
The 2-form is indeed closed
and in fact exact:
is its presymplectic potential .
An evolutionary vertical vector field is a symmetry if
The presymplectic form from def. 4 is annihilated by the Lie derivative of the vector field on induced by a symmetry.
This appears as (Zuckerman, theorem 13).0
Elementary formalization in differential cohesion
We discuss aspects of an elementary formalization in differential cohesion of the concept of the variational bicomplex .
Let be a context of cohesion and differential cohesion, with
an object , the base space (or spacetime or worldvolume);
an object , the field bundle,
an object , the differential coefficients.
for the base change adjoint triple over , the étale geometric morphism of the slice (infinity,1)-topos ;
for the external space of sections functor;
for the -component of the unit of ;
for the induced jet comonad;
for the Eilenberg-Moore category of -coalgebras (the objects are differential equations with variables in , the morphisms are differential operators between these, preserving solution spaces), manifested as a topos of coalgebras over ;
the (non-full) direct image of this geometric morphism is the co-Kleisli category of the jet comonad and so for a morphism in , we write for the corresponding co-Kleisli morphism in ;
We record the following simple fact, which holds generally since the jet comonad is a right adjoint (to the infinitesimal disk bundle functor), hence preserves terminal objects, and is the terminal object:
The essentially unique morphism
in in an equivalence.
The jet prolongation map
is the the Jet functor itself, regarded, in view of prop. 7, as taking sections to sections via
For a bundle over , then a horizontal -form on the jet bundle is a morphism in of the form
For a morphism in , then the induced horizontal differential is the operation of horizontal forms sending to the composite
The horizontal differential of def. 7 commutes with pullback of horizontal differential forms along the jet prolongation, def. 6, of any field section .
In detail: for
a horizontal -form on , def. 7;
a field section,
then there is a natural equivalence
Since all objects are in the direct image , this is an equivalence of morphisms in the co-Kleisli category of the jet comonad, hence is equivalently an equivalence of co-Kleisli composites of morphisms in .
As such, the left hand side of the equality is given in by the composite morphism
thought of as bracketed to the right. By naturality of the Jet-counit this is equivalently
By functorality of this is equivalent to
which is the right hand side of the equivalence to be proven.
The variational bicomplex was introduced independently in
W.M. Tulczyjew, The Euler-Lagrange resolution , in Lecture Notes in Mathematics 836 22–48 (Springer-Verlag, New York 1980).
A.M. Vinogradov, A spectral sequence associated with a non-linear differential equation, and the algebro-geometric foundations of Lagrangian field theory with constraints , Sov. Math. Dokl. 19 (1978) 144–148.
A.M. Vinogradov, The -spectral sequence, Lagrangian formalism and conservation laws I, II, J. Math. Anal. Appl. 100 (1984) 1–129.
- F. Takens, A global version of the inverse problem of the calculus of variations J. Diff. Geom. 14 (1979) 543-562
An introduction is in
- Ian Anderson, Introduction to the variational bicomplex in Mathematical aspects of classical field theory, Contemp. Math. 132 (1992) 51–73, gBooks
Textbook accounts and surveys include
An early discussion with application to covariant phase spaces and their presymplectic structure is in
- G. J. Zuckerman, Action principles and global geometry , in Mathematical Aspects of String Theory, S. T. Yau (Ed.), World Scientific, Singapore, 1987, pp. 259284. (pdf)
An invariant version (under group action) is in
- Irina A. Kogan, Peter J. Olver, The invariant variational bicomplex, pdf
- Victor Kac, An explicit construction of the complex of variational calculus and Lie conformal algebra cohomology, talk at Algebraic Lie Theory, Newton Institute 2009, video
An application to multisymplectic geometry is discussed in
- Thomas Bridges, Peter Hydon, Jeffrey Lawson, Multisymplectic structures and the variational bicomplex (pdf)