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.

On the Hodge-type Decomposition and Cohomology Groups of K-Cauchy–fueter Complexes over Domains in the Quaternionic Space

On the Boundary Complex of the K-Cauchy-fueter Complex

The tangential Cauchy–Fueter complex on the quaternionic Heisenberg group

Geometry of Complex Bounded Domains with Finite-Volume Quotients

Hodge Theory and Deformations of K\"ahler Manifolds

The Tangential K-Cauchy–fueter Complexes and Hartogs’ Phenomenon over the Right Quaternionic Heisenberg Group

Solving equations with Hodge theory

Quaternionic projective invariance of the k-Cauchy-Fueter complex and applications I

The K-Cauchy–fueter Complex, Penrose Transformation and Hartogs Phenomenon for Quaternionic K-Regular Functions

J ul 2 01 2 HODGE THEORY AND DEFORMATIONS OF KÄHLER MANIFOLDS

Quasi-isometry and Deformations of Calabi–Yau Manifolds

The Neumann Problem for the K-Cauchy–fueter Complex over K-Pseudoconvex Domains in $$\mathbb {R}^4$$R4 and the $$L^2$$L2 Estimate

On Radon-Penrose Transformation and K-Cauchy-Fueter Operator

The Neumann Problem for the k -Cauchy–Fueter Complex over k -Pseudoconvex Domains in ℝ^4 and the L^2 Estimate

On non-homogeneous Cauchy–Fueter equations and Hartogs’ phenomenon in several quaternionic variables

Hodge decomposition theorem on compact $d$-Kähler manifolds

k-CF FUNCTIONS AND b ON THE QUATERNIONIC HEISENBERG GROUP

The Tangential $$\Varvec{k}$$-Cauchy–fueter Operator and $$\Varvec{k}$$-Cf Functions over the Heisenberg Group

On quaternionic complexes over unimodular quaternionic manifolds

The Szegö Kernel for K-Cf Functions on the Quaternionic Heisenberg Group

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