Newlander–Nirenberg

Newlander–Nirenberg
Name	Newlander–Nirenberg theorem
Field	Complex manifold, Differential geometry
Statement	Integrability of almost complex structures
Proved	1957
Authors	Athanase Nirenberg, Laurence Fox Newlander

Newlander–Nirenberg.

The Newlander–Nirenberg theorem is a foundational result in Complex manifold theory asserting that an almost complex structure with vanishing Nijenhuis tensor is locally equivalent to a complex coordinate structure. Originating in mid‑20th century analysis, it links techniques from Partial differential equation theory, Elliptic operators, and differential topology to provide an analytic integrability criterion used across Several complex variables, Kähler manifold theory, and deformation theory. The theorem has influenced work by figures such as Henri Cartan, Kunihiko Kodaira, Jean-Pierre Serre, André Weil, and Shing-Tung Yau.

Introduction

The theorem addresses when a smooth almost complex structure J on a real 2n‑dimensional manifold M arises from a genuine complex structure, i.e., from local coordinate charts modeled on Complex Euclidean space C^n with holomorphic transition maps. Prior notions involved the Nijenhuis tensor as defined by Albert Nijenhuis and earlier investigations by Élie Cartan and Charles Ehresmann. The statement provides an equivalence between vanishing of the Nijenhuis tensor and local existence of holomorphic coordinate systems, connecting to work by analysts such as Lars Hörmander, Louis Nirenberg, and geometers like Kunihiko Kodaira and Donald Spencer.

Statement of the Theorem

Let M be a smooth manifold of real dimension 2n equipped with an almost complex structure J, i.e., an endomorphism of the tangent bundle with J^2 = −Id. The Newlander–Nirenberg theorem states that if the Nijenhuis tensor N_J vanishes identically, then around every point of M there exist local coordinates (z^1,...,z^n) making J the standard complex structure on Complex Euclidean space C^n; equivalently the decomposition of the complexified tangent bundle into T^{1,0} and T^{0,1} subbundles is involutive and defines a complex structure. The result sits alongside integrability criteria in the spirit of Frobenius theorem and interacts with formal integrability studied by Maurice Frölicher, Jean Leray, and Sergei Petrovich Novikov.

Proof Outline and Methods

Newlander and Nirenberg proved the theorem using analytic methods rooted in linear and nonlinear Partial differential equation techniques, in particular solving certain ∂̄‑equations by reduction to elliptic regularity problems. The approach constructs local complex coordinates by finding local frames of (1,0) forms annihilating the ∂̄ operator; this uses a priori estimates from Calderón–Zygmund theory, parametrix constructions related to the Cauchy–Riemann operator, and regularity theorems from Elliptic operator theory developed by Sergei Sobolev, Lars Hörmander, and Michael Taylor (mathematician). Alternative proofs and refinements employ tools from Kohn–Rossi cohomology, the Koszul complex, and later functional analytic frameworks influenced by Jean Leray and Alexander Grothendieck; connections to the theory of Pseudodifferential operators and the Boutet de Monvel calculus appear in subsequent treatments by Louis Boutet de Monvel and Richard S. Hamilton.

Consequences and Applications

The theorem underpins the equivalence of analytic and geometric notions of complex structures used in studies of Kähler manifolds, Calabi–Yau manifolds, and moduli problems like those in Kodaira–Spencer theory. It validates coordinate constructions in proofs by Kunihiko Kodaira and Kyoji Saito, and it is instrumental in deformation theory as developed by Phillip Griffiths, Joe Harris, and Michael Artin (mathematician). In Symplectic topology, the result interfaces with existence questions for almost complex structures taming symplectic forms as in work by Mikhail Gromov. In Several complex variables, the theorem ensures that CR‑integrability conditions studied by C. Fefferman and Charles K. McMullen correspond to complex embeddings used in the Bishop (1965) theory and boundary regularity problems addressed by Joseph J. Kohn. It also plays a role in analytic index theorems like the Atiyah–Singer index theorem via complex structure constructions used in elliptic complex formation by Michael Atiyah and Isadore Singer.

Examples and Counterexamples

Integrable examples include complex projective varieties such as Complex projective space CP^n, complex tori like Complex torus T^n, and complex submanifolds appearing in Algebraic variety theory by authors like David Mumford and Oscar Zariski. Nonintegrable almost complex structures arise on certain (6‑dimensional) manifolds studied by Bernard Malgrange and in exotic examples used by Shing-Tung Yau and Simon Donaldson in symplectic contexts; notable explicit counterexamples include the nearly Kähler structure on S^6 related to Octonion algebra and the G2 manifold constructions explored by Dominic Joyce. Results of Newlander and Nirenberg imply that the vanishing condition is sharp: there exist smooth almost complex structures with nonzero Nijenhuis tensor that admit no compatible complex atlas, as exhibited in examples by John W. Gray and later by Dennis Sullivan.

Historical Context and Attribution

The theorem was published in 1957 by Laurence Fox Newlander and Athanase Nirenberg and marked a milestone linking analysis and differential geometry, building on prior contributions by Élie Cartan, Albert Nijenhuis, and Shoshichi Kobayashi. Its reception influenced subsequent developments by Kunihiko Kodaira, Jean-Pierre Serre, André Weil, and analysts such as Lars Hörmander and Egon Schulte. Later expository and refinement work appeared in texts by Phillip Griffiths, Joseph J. Kohn, Michael Taylor (mathematician), and Daniel Quillen, cementing the theorem’s centrality in modern Complex manifold theory.

Category:Theorems in differential geometry