complex analytic space

complex analytic space
Name	Complex analytic space
Dimension	complex dimension
Introduced	1950s
Founders	Hermann Weyl, Kiyoshi Oka, Henri Cartan

complex analytic space

A complex analytic space is a local model for spaces defined by holomorphic equations in domains of C^n, generalizing complex manifolds and encoding singularities via coherent sheaves of holomorphic functions. It provides a framework for several branches of modern mathematics, linking ideas from Élie Cartan-era function theory, the methods of Jean-Pierre Serre, and the geometric approaches used by Oscar Zariski and Heisuke Hironaka. The theory interacts with work of Alexander Grothendieck, Kunihiko Kodaira, and Frédéric Pham in both local and global settings.

Introduction

The subject emerged from attempts by Hermann Weyl and Kiyoshi Oka to systematize solutions of holomorphic systems and was shaped by contributions from Henri Cartan, Jean-Pierre Serre, and Oscar Zariski. It unites techniques from the study of Riemann surfaces, Stein manifolds, and complex projective spaces, while addressing singular phenomena studied by Federigo Enriques and later resolved through methods by Heisuke Hironaka. Applications stretch across problems considered by André Weil, John Nash, and Shing-Tung Yau.

Definitions and basic properties

A complex analytic space is locally isomorphic to the zero locus of a finite collection of holomorphic functions on an open subset of C^n, equipped with the quotient topology and a structure sheaf given by local holomorphic functions modulo the ideal generated by those functions. Foundational properties were clarified in the work of Henri Cartan and Kiyoshi Oka and later axiomatized using coherent sheaves by Jean-Pierre Serre and developed further in the milieu of Alexander Grothendieck. Key invariants include complex dimension, defined at smooth points via tangent spaces, and local rings whose properties echo results of Oscar Zariski and André Weil. Important local results mirror theorems of Kiyoshi Oka such as finiteness properties and coherence, while global results involve comparisons with Stein conditions and criteria studied by Kiyoshi Oka and Hans Grauert.

Examples and constructions

Basic examples include zero sets in C^n given by holomorphic functions, analytic subvarieties of projective space, and analytic spaces obtained by gluing charts of manifolds with singular identifications as in degenerations studied by Felix Klein and Bernhard Riemann. Constructions parallel to algebraic geometry include analytic spectra of coherent sheaves and analytic fiber products used in deformation problems studied by Michael Artin and John Milnor. Quotients by properly discontinuous actions of discrete groups as in works of Henri Poincaré produce analytic orbifolds related to moduli problems investigated by David Mumford and Pierre Deligne. Resolutions and normalizations connect to techniques developed by Heisuke Hironaka and inform explicit examples examined by Oscar Zariski.

Sheaf-theoretic and local analytic structure

The structure sheaf is a coherent sheaf of local rings; coherence results due to Henri Cartan and Kiyoshi Oka underpin Cartan's theorems A and B. Local analytic structure is governed by Noetherian properties and Artinian local analyses reminiscent of studies by Emmy Noether and Claude Chevalley. The use of analytic spectra and analytic continuation reflects concepts used by Riemann and later formalized by André Weil. Techniques involving Dolbeault cohomology and operators introduced by Kunihiko Kodaira and Jean-Louis Koszul appear in local calculations, while complex analytic singularity theory connects to the work of John Milnor and Bernard Teissier.

Cohomology and resolution of singularities

Cohomological tools, including coherent sheaf cohomology and Dolbeault cohomology, play central roles; foundational theorems by Henri Cartan and Jean-Pierre Serre give finiteness and vanishing results on Stein spaces. Resolution of singularities in the analytic category leverages methods developed by Heisuke Hironaka and relates to complex analytic desingularization studied by Shigeru Iitaka and Michel Raynaud. Comparison theorems linking analytic and algebraic cohomology were advanced by Alexander Grothendieck, Pierre Deligne, and Jean-Pierre Serre, while vanishing theorems analogous to the Kodaira vanishing theorem involve contributions from Kunihiko Kodaira and Shing-Tung Yau.

Morphisms and categories of complex analytic spaces

Morphisms are holomorphic maps induced locally by morphisms between model zero loci; categorical perspectives echo formulations in the work of Alexander Grothendieck and the language used by Jean-Pierre Serre for functorial properties. Fibered products, base change, and deformation functors appear in studies by Michael Artin and David Mumford. Properness criteria and mapping theorems reflect results by Hans Grauert and Andreotti Frankel; notions of flatness and smoothness in the analytic category parallel algebraic counterparts examined by Oscar Zariski and Alexander Grothendieck.

Comparison with complex algebraic varieties and complex manifolds

Analytic spaces generalize manifolds and share many local properties with algebraic varieties over C, yet differ globally: GAGA theorems by Jean-Pierre Serre and comparisons by Alexander Grothendieck connect coherent sheaves and morphisms between projective analytic spaces and projective algebraic varieties studied by David Mumford and Pierre Deligne. Analytic moduli problems link to moduli spaces analyzed by David Mumford and Pierre Deligne, while geometric analysis approaches by Shing-Tung Yau and Kunihiko Kodaira exploit differential methods available on manifolds but adapted to singular analytic settings.

Category:Complex geometry