Related papers: Lepage Equivalents and the Variational Bicomplex

We study the de Rham complex of relative differential forms on compact manifolds with boundary. Chain homotopies for this complex are highly non-unique, and different homotopies can have different analytic properties, particularly near the…

Let $M$ be an odd-dimensional Euclidean space endowed with a contact 1-form $\alpha$. We investigate the space of symmetric contravariant tensor fields on $M$ as a module over the Lie algebra of contact vector fields, i.e. over the Lie…

We build free, bigraded bidifferential algebra models for the forms on a complex manifold, with respect to a strong notion of quasi-isomorphism and compatible with the conjugation symmetry. This answers a question of Sullivan. The resulting…

The equivalence problem for linear differential operators of the second order, acting in vector bundles, is discussed. The field of rational invariants of symbols is described and connections, naturally accosiated with differential…

The homotopy category of $N_\infty$ operads is equivalent to a finite lattice, and as the ambient group varies, there are various image constructions between these lattices. In this paper, we explain how to lift this algebraic structure…

We examine the heap of linear connections on anchored vector bundles and Lie algebroids. Naturally, this covers the example of affine connections on a manifold. We present some new interpretations of classical results via this ternary…

Geometric decomposition is a widely used tool for constructing local bases for finite element spaces. For finite element spaces of differential forms on simplicial meshes, Arnold, Falk, and Winther showed that geometric decompositions can…

Divergence-free symmetric tensors seem ubiquitous in Mathematical Physics. We show that this structure occurs in models that are described by the so-called "second" variational principle, where the argument of the Lagrangian is a closed…

The variation operator associated with an isolated hypersurface singularity is a classical topological invariant that relates relative and absolute homologies of the Milnor fiber via a non trivial isomorphism. Here we work with a…

We propose a data-driven approach to identifying the functionally independent invariants that can be constructed from a tensor with a given symmetry structure. Our algorithm proceeds by first enumerating graphs, or tensor networks, that…

The variation procedure on a teleparallel manifold is studied. The main problem is the non-commutativity of the variation with the Hodge dual map. We establish certain useful formulas for variations and restate the master formula due to…

Associated to any manifold equipped with a closed form of degree >1 is an `L-infinity algebra of observables' which acts as a higher/homotopy analog of the Poisson algebra of functions on a symplectic manifold. In order to study Lie group…

We provide a construction of equivariant Lagrangian Floer homology $HF_G(L_0, L_1)$, for a compact Lie group $G$ acting on a symplectic manifold $M$ in a Hamiltonian fashion, and a pair of $G$-Lagrangian submanifolds $L_0, L_1 \subset M$.…

Eigenvalue problems for semidefinite operators with infinite dimensional kernels appear for instance in electromagnetics. Variational discretizations with edge elements have long been analyzed in terms of a discrete compactness property. As…

We construct two algebraic versions of homotopy theory of rational disconnected topological spaces, one based on differential graded commutative associative algebras and the other one on complete differential graded Lie algebras. As an…

In a previous paper ([1]), we associated a holonomy groupoid and a C*-algebra to any singular foliation (M,F). Using these, we construct the associated pseudodifferential calculus. This calculus gives meaning to a Laplace operator of any…

We present a family of complexes playing the same role, for homogeneous variational problems, that the horizontal parts of the variational bicomplex play for variational problems on a fibred manifold. We show that, modulo certain pullbacks,…

Using standard calculus, explicit formulas for the one-dimensional continuous and discrete homotopy operators are derived. It is shown that these formulas are equivalent to those in terms of Euler operators obtained from the variational…

We give a construction of the Floer homology of the pair of {\it non-compact} Lagrangian submanifolds, which satisfies natural continuity property under the Hamiltonian isotopy which moves the infinity but leaves the intersection set of the…

The linear homotopy theory for codifferential operator on Riemannian manifolds is developed in analogy to a similar idea for exterior derivative. The main object is the cohomotopy operator, which singles out a module of anticoexact forms…