Cartan's theorem B

Cartan's theorem B
Name	Cartan's theorem B
Field	Complex analysis, Algebraic geometry, Sheaf theory
Introduced	1950s
Introduced by	Henri Cartan
Status	Proved

Cartan's theorem B is a foundational result in the theory of Stein manifolds and coherent sheafs linking analytic geometry with topological and algebraic methods. The theorem asserts global vanishing of higher cohomology for coherent analytic sheaves on Stein spaces, an outcome that underpins major developments in Serre duality, Grauert's theorem, and the proof of the Oka–Grauert principle. Cartan's work influenced research in André Weil's school, impacted the development of Sheaf cohomology in the 1950s, and played a central role in the synthesis of ideas from André Weil, Jean-Pierre Serre, and Kurt Gödel-era formalism in algebraic and analytic contexts.

History and motivation

Henri Cartan formulated the theorem within the milieu of postwar Institut des Hautes Études Scientifiques and the École Normale Supérieure circle, interacting with figures such as Jean Leray, André Weil, Jean-Pierre Serre, and Alexander Grothendieck. The statement arose from attempts to globalize local analytic methods used by Kiyoshi Oka and Hiroshi Oka in work on the Levi problem, the Hartogs phenomenon, and the characterization of domains of holomorphy in Complex manifolds. Motivations included resolving extension problems studied by Élie Cartan's contemporaries and providing analytic counterparts to algebraic vanishing theorems pursued by Serre and Grothendieck in the context of Évariste Galois-inspired cohomological methods. The theorem enabled translation of techniques between Complex analysis, Algebraic geometry, and Differential topology communities.

Statement of the theorem

Cartan's theorem B states: for any Stein space X, and any coherent analytic sheaf F on X, the higher sheaf cohomology groups H^q(X,F) vanish for all q > 0. The hypotheses invoke the notion of Stein manifold or Stein space—concepts refined by Kiyoshi Oka, Henri Cartan, and Grauert—and the coherence condition for analytic sheaves introduced in the work of Serre and Remmert. The conclusion is analogous to vanishing results such as Serre's criterion in Algebraic geometry and complements theorems like Cartan's theorem A and the Oka–Grauert principle developed with contributions from Hans Grauert and Kurt Oka.

Proofs and techniques

Proofs of Cartan's theorem B traditionally exploit partition of unity techniques refined by Henri Cartan together with the use of fine and soft sheaves as in the work of Jean Leray and Grauert. Analytic proofs use integral kernel methods tracing to Henri Poincaré and Sergiu Klainerman-style estimates, while cohomological proofs rely on spectral sequences and Čech cohomology developed by Jean Leray and formalized by Alexander Grothendieck. Functional-analytic approaches use Fréchet space topologies on sections and the Hahn–Banach theorem linked to work by Stefan Banach and Hermann Weyl. Alternative proofs employ resolution of coherent sheaves through locally free sheaves, drawing on techniques from Serre's work on coherent cohomology and Grauert–Remmert complex-analytic methods.

Applications and consequences

Cartan's theorem B yields existence theorems for global holomorphic sections and underlies embedding theorems for complex spaces such as results by Remmert and Bishop on proper holomorphic embeddings. It is a keystone in proofs of the Oka principle and informs classification problems studied by Kodaira and Spencer in deformation theory. Consequences include sheaf-theoretic formulation of the Levi problem solutions, coherence results used by Henri Cartan and Grauert in the direct image theorem, and links to algebraic counterparts such as Serre's duality and Grothendieck duality. The theorem facilitates explicit constructions in complex analytic vector bundle theory as in work by Raoul Bott and Shoshichi Kobayashi.

Examples and counterexamples

Classic examples satisfying the hypotheses include open subsets of C^n and domains of holomorphy studied by Kiyoshi Oka and Grauert, where coherent analytic sheaves such as the structure sheaf or ideal sheaves have vanishing higher cohomology. Non-Stein complex manifolds like compact Riemann surfaces of genus g > 0 or projective varieties studied by Alexander Grothendieck and Jean-Pierre Serre fail the hypotheses, and coherent sheaves on these spaces exhibit nonvanishing H^q as in classical examples from Algebraic geometry by Oscar Zariski and Hermann Weyl. Counterexamples highlight the necessity of Stein conditions exploited in the works of Remmert and Grauert–Remmert.

Generalizations and related results

Generalizations include versions for complex spaces with singularities addressed by Remmert and Grauert, L^2 methods inspired by Lars Hörmander that yield effective vanishing theorems, and coherent-analytic analogues of algebraic results by Jean-Pierre Serre and Alexander Grothendieck. Related results encompass Cartan's theorem A, the Oka–Grauert principle, Serre duality, and vanishing theorems in Hodge theory developed by Phillip Griffiths and Pierre Deligne. Further connections run to modern advances in Noncommutative geometry by Alain Connes and categorical approaches promoted by Maxim Kontsevich and Jacob Lurie.

Category:Complex analysis Category:Sheaf theory Category:Algebraic geometry