Local solvability for a class of differential complexes

DOI10.1007/BF02392616MaRDI QIDQ5960877zbMATH OpenFDO

Authors Paulo D. Cordaro, Jorge Hounie

Publication date 6 February 2003

Published in Acta Mathematica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF02392616

zbMATH Keywords

differential complexeslocal solvabilityTrèves conjecture

Mathematics Subject Classification ID

Microlocal methods and methods of sheaf theory and homological algebra applied to PDEs (35A27) Overdetermined systems of PDEs with variable coefficients (35N10) Differential complexes (58J10)

Review text

The paper provides a complete proof of a Trèves conjecture (already proved in some special cases) on local solvability of certain differential complexes. NEWLINENEWLINEThe most concise, thus the most convenient for the purposes of this note, is the following formulation of the Trèves conjecture and the main result of the paper. Assume that a complex line subbundle \(T'\subset CT^*X\) of the complexified cotangent bundle \(CT^*X\) of a smooth manifold \(X\) defines a locally integrable structure, i.e. by definition it is locally spanned by the differential of a function. To such a subbundle there corresponds a differential complex \((\Lambda^* (CT^*X/T'),d)\) (where \(d\) is induced by the exterior differential on \(X)\). The complex is said to be solvable in degree \(q\) (at a point \(x)\) if it is locally (i.e. on the level of the sheaves of germs of (classes of) differential forms) exact in dimension \(q\) at the point \(x\). In dimension \(q=1\) this is equivalent to solvability of some overdetermined system of PDE, while in dimension \(q=\dim X-1\) -- to solvability of some underdetermined system of PDE.NEWLINENEWLINELet \(Z\) be a function, the differential of which generates \(T'\) in a neighborhood \(Y\) of \(x\), and for a complex number \(z\) let \(F(z,Y)\) be the fibre over \(z\) of \(Z\) restricted to \(Y\). Then the Trèves conjecture, and now a theorem of the authors, states that the above-defined complex is solvable in degree \(q\) at the point \(x\) if and only if for any open neighborhood \(Y\) of \(x\) there exists another open neighborhood \(Y'\subseteq Y\) such that, for any regular value \(z\) of \(Z\) the fiber \(F(z,Y')\) is either vacuous or the homomorphism of reduced homology groups \(\widetilde H_{q-1} (F(z,Y'),C) \to\widetilde H_{q-1} (F(z,Y),C)\) is trivial.

Recommendations

• On local solvability of certain differential complexes
• Local exactness in a class of differential complexes
• Real-analytic solvability for differential complexes associated to locally integrable structures
• scientific article; zbMATH DE number 4204876
• Local solvability of analytic pseudodifferential complexes in top degree
• scientific article; zbMATH DE number 895643
• scientific article; zbMATH DE number 1046157
• scientific article; zbMATH DE number 436608
• Local solvability of degenerate differential equations
• scientific article; zbMATH DE number 4101672

Cites work

• A property of the functions and distributions annihilated by a locally integrable system of complex vector fields
• Homology and cohomology in hypo-analytic structures of the hypersurfaces type
• scientific article; zbMATH DE number 3989863 (Why is no real title available?)
• scientific article; zbMATH DE number 52969 (Why is no real title available?)
• scientific article; zbMATH DE number 3329342 (Why is no real title available?)
• Hyperfunctions on Hypo-Analytic Manifolds (AM-136)
• Local exactness in a class of differential complexes
• Local solvability for top degree forms in a class of systems of vector fields
• Local solvability in a class of overdetermined systems of linear PDE
• Necessary and sufficient conditions for the local solvability in hyperfunctions of a class of systems of complex vector fields
• On Local Solvability of Underdetermined Systems of Vector Fields
• On the local solvability and the local integrability of systems of vector fields
• Solvability of a first order linear partial differential equation

Cited in

(21)

• On the local solvability of certain overdetermined systems of first-order linear PDE
• Localization of differential operators and of higher order de Rham complexes
• Real-analytic solvability for differential complexes associated to locally integrable structures
• Global solvability of real analytic involutive systems on compact manifolds
• Top-degree global solvability in CR and locally integrable hypocomplex structures
• Cauchy integral operator in complex structures with degeneracies
• Everywhere local solubility for hypersurfaces in products of projective spaces
• On some systems of real or complex vector fields and their related Laplacians
• On the hypoellipticity of differential forms with isolated singularities
• Local solvability for top degree forms in a class of systems of vector fields
• scientific article; zbMATH DE number 1048052 (Why is no real title available?)
• Gevrey local solvability in locally integrable structures
• scientific article; zbMATH DE number 882031 (Why is no real title available?)
• Topological Implications of Global Hypoellipticity
• On local solvability of certain differential complexes
• On the absence of the one-sided Poincaré lemma in Cauchy-Riemann manifolds
• On the range of unsolvable systems induced by complex vector fields
• Local solvability for real-analytic involutive structures of tube type of corank one in Besov and Triebel-Lizorkin spaces
• On the research of J. Hounie: a personal statement
• Formally integrable structures. I: Resolution of solution sheaves
• Complex symplectic geometry and solvability of systems of analytic vector fields

This page was built for publication: Local solvability for a class of differential complexes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5960877)