Related papers: Lepage Equivalents and the Variational Bicomplex
We construct, for a homogeneous Lagrangian of arbitrary order in two independent variables, a differential 2-form with the property that it is closed precisely when the Lagrangian is null. This is similar to the property of the `fundamental…
Lepage equivalents of Lagrangians are a higher order, field-theoretical generalization of the notion of Poincare-Cartan form from mechanics and play a similar role: they give rise to a geometric formulation (and to a geometric…
We construct, for a second-order homogeneous Lagrangian in two independent variables, a differential 2-form with the property that it is closed precisely when the Lagrangian is null. This is similar to the property of the 'fundamental…
The exactness equation for Lepage 2-forms, associated with variational systems of ordinary differential equations on smooth manifolds, is analyzed with the aim to construct a concrete global variational principle. It is shown that locally…
Locally variational systems of differential equations on smooth manifolds, having certain de Rham cohomology group trivial, automatically possess a global Lagrangian. This important result due to Takens is, how-ever, of sheaf-theoretic…
A second-order generalization of the fundamental Lepage form of geometric calculus of variations over fibered manifolds with 2-dimensional base is described by means of insisting on (i) equivalence relation "Lepage differential 2-form is…
A setting for global variational geometry on Grassmann fibrations is presented. The integral variational functionals for finite dimensional immersed submanifolds are studied by means of the fundamental Lepage equivalent of a homogeneous…
We investigate the global hypoellipticity and global solvability of systems of left-invariant differential operators on compact Lie groups. Focusing on diagonal systems, we establish necessary and sufficient conditions for these global…
Lagrangian contact supersymmetries (depending on derivatives of arbitrary order) are treated in very general setting. The cohomology of the variational bicomplex on an arbitrary graded manifold and the iterated cohomology of a generic…
Consider the variational bicomplex for $\mathcal{E}$ the space of sections of a graded, affine bundle. Local functionals $\mathcal{F}$ are defined as an equivalence class of density-valued functionals, which represent Lagrangian densities.…
In the frame of the Lagrangian formalism on $r$-order prolongations of fibered manifolds and related structures such as (prolongation of) projectable vector fields, (sheaves of) differential forms and contact structures, we propose a…
This paper lays the groundwork for the theory of categorical diagonalization. Given a diagonalizable operator, tools in linear algebra (such as Lagrange interpolation) allow one to construct a collection of idempotents which project to each…
We use homotopy operators for the $L_\infty$-algebra associated with an equivariant deformation problem in order to describe a smooth parametrization of the space of structures around a given one. Along the way we give new algebraic and…
We give, as $L$ grows to infinity, an explicit lower bound of order $L^{n/m}$ for the expected Betti numbers of the vanishing locus of a random linear combination of eigenvectors of $P$ with eigenvalues below $L$. Here, $P$ denotes an…
Using the notion of a Lagrangian covering, W. Graham and D. Vogan proposed a method of constructing representations from the coadjoint orbits for a complex semisimple Lie group $G$. When the coadjoint orbit $\calO$ is nilpotent, a…
Double forms are sections of the vector bundles $\Lambda^{k}T^*\mathcal{M}\otimes \Lambda^{m}T^*\mathcal{M}$, where in this work $(\mathcal{M},\mathfrak{g})$ is a compact Riemannian manifold with boundary. We study graded second-order…
For any L-infinity algebra L, we construct an A-infinity structure on the space of symmetric tensors Sym*(L), which generalizes the classical universal enveloping for Lie algebras. Our construction is based on an invariant homotopy on a…
It is shown that if T is a connected nontrivial graph and X is an arbitrary finite simplicial complex, then there is a graph G such that the complex Hom(T,G) is homotopy equivalent to X. The proof is constructive, and uses a nerve lemma.…
We consider homotopy actions of a Lie algebroid on a graded manifold, defined as suitable $L_{\infty}$-algebra morphisms. On the "semi-direct product" we construct a homological vector field that projects to the Lie algebroid. Our main…
We show how the homogeneous variational bicomplex provides a useful formalism for describing a number of properties of single-integral variational problems, and we introduce a subsequence of one of the rows of the bicomplex which is locally…