Abstract:We solve a problem posed by Calabi more than 60 years ago, known as the Saint-Venant compatibility problem: Given a compact Riemannian manifold, generally with boundary, find a compatibility operator for Lie derivatives of the metric tensor. This problem is related to other compatibility problems in mathematical physics, and to their inherent gauge freedom. To this end, we develop a framework generalizing the theory of elliptic complexes for sequences of linear differential operators $(A_{\bullet})$ between sections of vector bundles. We call such a sequence an elliptic pre-complex if the operators satisfy overdetermined ellipticity conditions, and the order of $A_{k+1}A_k$ does not exceed the order of $A_k$. We show that every elliptic pre-complex $(A_{\bullet})$ can be "corrected" into a complex $(\mathcal{A}_{\bullet})$ of pseudodifferential operators, where $\mathcal{A}_k - A_k$ is a zero-order correction within this class. The induced complex $(\mathcal{A}_{\bullet})$ yields Hodge-like decompositions, which in turn lead to explicit integrability conditions for overdetermined boundary-value problems, with uniqueness and gauge freedom clauses. We apply the theory on elliptic pre-complexes of exterior covariant derivatives of vector-valued forms and double forms satisfying generalized algebraic Bianchi identities, thus resolving a set of compatibility and gauge problems, among which one is the Saint-Venant problem.

Formally Integrable Structures II. Division Problem

Formally Integrable Structures I. Resolution of Solution Sheaves

A Formula of Two-Partition Hodge Integrals

Division Theorems for Exact Sequences

Classical and quantum integrable systems in 263-1263-1263-1and separation of variables

An Integrability Theorem for Almost-Kähler Structures using J-anti-invariant Two-Forms on Four-Manifolds

Infinite Number of Integrals of Motion in Classically Integrable System with Boundary (Ii)

$\mathcal{C}^{\infty}$-symmetries of distributions and integrability

Superintegrable systems on conformal surfaces

2+1 Dimensional Integrable Hierarchies, Lax Operators and Relevant Algebraic Structures

Frölicher-Nijenhuis geometry and integrable matrix PDE systems

Finite Dimensional Integrable Systems Related to Two Dimensional A(2l)((2)), C-L((1)) and D-L+1((2)) Toda Equations

Hierarchies of Nonlinear Integrable Equations and Their Symmetries in 2 + 1 Dimensions

Elliptic Pre-Complexes, Hodge-like Decompositions and Overdetermined Boundary-Value Problems

On a Theorem of Halphen and its Application to Integrable Systems

Partially integrable systems in multidimensions by a variant of the dressing method. 1

On the Integrability of Persistent Quadratic Three-Dimensional Systems

Manifolds with a commutative and associative product structure that encodes superintegrable Hamiltonian systems

Finite-dimensional integrable systems associated with the Davey-Stewartson I equation

Integrable Decomposition of a Hierarchy of Soliton Equations and Integrable Coupling System by Semidirect Sums of Lie Algebras

Symmetry, singularities and integrability in complex dynamics I: the reduction problem