Homological Solution of the Riemann-Lanczos and Weyl-Lanczos Problems in Arbitrary Dimension

Abstract

When $\mathcal{D}$ is a linear partial differential operator of any order, a direct problem is to look for an operator ${\mathcal{D}}_1$ generating the compatibility conditions (CC) ${\mathcal{D}}_1\eta =0$ of $\mathcal{D}\xi =\eta$. We may thus construct a differential sequence with successive operators $\mathcal{D},{\mathcal{D}}_1,{\mathcal{D}}_2,...$, where each operator is generating the CC of the previous one. Introducing the formal adjoint $ad()$, we have ${\mathcal{D}}_i\circ {\mathcal{D}}_{i-1}=0\Rightarrow ad({\mathcal{D}}_{i-1})\circ ad({\mathcal{D}}_i)=0$ but $ad({\mathcal{D}}_{i-1})$ may not generate all the CC of $ad({\mathcal{D}}_i)$. When $D=K[d_1,...,d_n]=K[d]$ is the (non-commutative) ring of differential operators with coefficients in a differential field $K$, it gives rise by residue to a differential module $M$ over $D$. The homological extension modules $ex{t}^i(M)=ex{t}_D^i(M,D)$ with $ex{t}^0(M)=ho{m}_D(M,D)$ only depend on $M$ and are measuring the above gaps, independently of the previous differential sequence.The purpose of this rather technical paper is to compute them for certain Lie operators involved in the formal theory of Lie pseudogroups in arbitrary dimension $n$. In particular, we prove that the extension modules highly depend on the Vessiot structure constants $c$. When one is dealing with a Lie group of transformations or, equivalently, when $\mathcal{D}$ is a Lie operator of finite type, then we shall prove that $ex{t}^i(M)=0,\forall 0\le i\le n-1$. It will follow that the Riemann-Lanczos and Weyl-Lanczos problems just amount to prove such a result for $i=2$ and arbitrary $n$ when $\mathcal{D}$ is the Killing or conformal Killing operator. We finally prove that ${ext}^i(M)=0,\forall i\ge 1$ for the Lie operator of infinitesimal contact transformations with arbitrary $n=2p+1$. Most of these new results have been checked by means of computer algebra.

This paper is largely improving the former arXiv:1512.05982 now published in Journal of Modern Physics, 7 (2016) 699-728

References in corpus (5)

• Homological Solution of the Riemann-Lanczos and Weyl-Lanczos Problems in Arbitrary Dimension
• Airy, Beltrami, Maxwell, Morera, Einstein and Lanczos potentials revisited
• Deformation cohomology of algebraic and geometric structures
• From Elasticity to Electromagnetism: Beyond the Mirror
• Macaulay inverse systems and Cartan-Kahler theorem

Cited by in corpus (9)

• Homological Solution of the Riemann-Lanczos and Weyl-Lanczos Problems in Arbitrary Dimension
• Airy, Beltrami, Maxwell, Morera, Einstein and Lanczos potentials revisited
• The Conformal Group Revisited
• Minimum Parametrization of the Cauchy Stress Operator
• Differential Homological Algebra and General Relativity
• A Mathematical Comparison of the Schwarzschild and Kerr Metrics
• $T\bar{T}$ deformation of correlation functions
• Minimum Resolution of the Minkowski, Schwarzschild and Kerr Differential Modules
• Elliptic Pre-Complexes, Hodge-like Decompositions and Overdetermined Boundary-Value Problems