In mathematics, particularly differential geometry and complex geometry, a complex analytic variety or complex analytic space is a generalization of a complex manifold that allows the presence of singularities. Complex analytic varieties are locally ringed spaces that are locally isomorphic to local model spaces, where a local model space is an open subset of the vanishing locus of a finite set of holomorphic functions.

Definition

Denote the constant sheaf on a topological space with value C {\displaystyle \mathbb {C} } by C _ {\displaystyle {\underline {\mathbb {C} }}}. A C {\displaystyle \mathbb {C} }-space is a locally ringed space ( X , O X ) {\displaystyle (X,{\mathcal {O}}_{X})}, whose structure sheaf is an algebra over C _ {\displaystyle {\underline {\mathbb {C} }}}.

Choose an open subset U {\displaystyle U} of some complex affine space C n {\displaystyle \mathbb {C} ^{n}}, and fix finitely many holomorphic functions f 1 , … , f k {\displaystyle f_{1},\dots ,f_{k}} in U {\displaystyle U}. Let X = V ( f 1 , … , f k ) {\displaystyle X=V(f_{1},\dots ,f_{k})} be the common vanishing locus of these holomorphic functions, that is, X = { x ∣ f 1 ( x ) = ⋯ = f k ( x ) = 0 } {\displaystyle X=\{x\mid f_{1}(x)=\cdots =f_{k}(x)=0\}}. Define a sheaf of rings on X {\displaystyle X} by letting O X {\displaystyle {\mathcal {O}}_{X}} be the restriction to X {\displaystyle X} of O U / ( f 1 , … , f k ) {\displaystyle {\mathcal {O}}_{U}/(f_{1},\ldots ,f_{k})}, where O U {\displaystyle {\mathcal {O}}_{U}} is the sheaf of holomorphic functions on U {\displaystyle U}. Then the locally ringed C {\displaystyle \mathbb {C} }-space ( X , O X ) {\displaystyle (X,{\mathcal {O}}_{X})} is a local model space.

A complex analytic variety is a locally ringed C {\displaystyle \mathbb {C} }-space ( X , O X ) {\displaystyle (X,{\mathcal {O}}_{X})} that is locally isomorphic to a local model space.

Morphisms of complex analytic varieties are defined to be morphisms of the underlying locally ringed spaces, they are also called holomorphic maps. A structure sheaf may have nilpotent elements; if the structure sheaf is reduced, then the complex analytic space is called reduced.

An associated complex analytic space (variety) X h {\displaystyle X_{h}} is such that:

Let X be a scheme of finite type over C {\displaystyle \mathbb {C} }, and cover X with open affine subsets Y i = Spec ⁡ A i {\displaystyle Y_{i}=\operatorname {Spec} A_{i}} (X = ∪ Y i {\displaystyle X=\cup Y_{i}}) (Spectrum of a ring). Then each A i {\displaystyle A_{i}} is an algebra of finite type over C {\displaystyle \mathbb {C} }, and A i ≃ C [ z 1 , … , z n ] / ( f 1 , … , f m ) {\displaystyle A_{i}\simeq \mathbb {C} [z_{1},\dots ,z_{n}]/(f_{1},\dots ,f_{m})}, where f 1 , … , f m {\displaystyle f_{1},\dots ,f_{m}} are polynomials in z 1 , … , z n {\displaystyle z_{1},\dots ,z_{n}}, which can be regarded as a holomorphic functions on C {\displaystyle \mathbb {C} }. Therefore, their set of common zeros is the complex analytic subspace ( Y i ) h ⊆ C {\displaystyle (Y_{i})_{h}\subseteq \mathbb {C} }. Here, the scheme X is obtained by glueing the data of the sets Y i {\displaystyle Y_{i}}, and then the same data can be used for glueing the complex analytic spaces ( Y i ) h {\displaystyle (Y_{i})_{h}} into a complex analytic space X h {\displaystyle X_{h}}, so we call X h {\displaystyle X_{h}} an associated complex analytic space with X. The complex analytic space X is reduced if and only if the associated complex analytic space X h {\displaystyle X_{h}} is reduced.

See also

  • Algebraic variety - Roughly speaking, an (complex) analytic variety is a zero locus of a set of an (complex) analytic function, while an algebraic variety is a zero locus of a set of a polynomial function and allowing singular point.
  • Analytic space
  • Complex algebraic variety
  • GAGA – Two closely related mathematical subjectsPages displaying short descriptions of redirect targets
  • Rigid analytic space – Analogue of a complex analytic space over a nonarchimedean field

Note

Annotation

  • Aroca, José Manuel; Hironaka, Heisuke; Vicente, José Luis (3 November 2018). . doi:. ISBN 978-4-431-49822-3.
  • Bloom, Thomas; Herrera, Miguel (1969). . Inventiones Mathematicae. 7 (4): 275–296. Bibcode:. doi:. S2CID .
  • Cartan, H.; Bruhat, F.; Cerf, Jean.; Dolbeault, P.; Frenkel, Jean.; Hervé, Michel; Malatian.; Serre, J-P. . (no.10-13)
  • Fischer, G. (14 November 2006). . Springer. ISBN 978-3-540-38121-1.
  • Gunning, Robert Clifford; Rossi, Hugo (2009). . Analytic Functions of Several Complex Variables. American Mathematical Soc. ISBN 9780821821657.
  • Gunning, Robert Clifford; Rossi, Hugo (2009). . Analytic Functions of Several Complex Variables. American Mathematical Soc. ISBN 9780821821657.
  • Grauert, Hans; Remmert, Reinhold (1958). . Mathematische Annalen. 136 (3): 245–318. doi:. S2CID .
  • Grauert, H.; Remmert, R. (6 December 2012). . Springer. ISBN 978-3-642-69582-7.
  • Grauert, H.; Peternell, Thomas; Remmert, R. (9 March 2013). Several Complex Variables VII: Sheaf-Theoretical Methods in Complex Analysis. Springer. ISBN 978-3-662-09873-8.
  • Grothendieck, Alexander; Raynaud, Michèle (2002). . Revêtements étales et groupe fondamental (SGA 1) (in French). arXiv:. doi:. ISBN 978-2-85629-141-2.
  • Hartshorne, Robin (1970). . Lecture Notes in Mathematics. Vol. 156. doi:. ISBN 978-3-540-05184-8.
  • Hartshorne, Robin (1977). . Graduate Texts in Mathematics. Vol. 52. Berlin, New York: Springer-Verlag. doi:. ISBN 978-0-387-90244-9. MR . S2CID . Zbl .
  • Huckleberry, Alan (2013). "Hans Grauert (1930–2011)". Jahresbericht der Deutschen Mathematiker-Vereinigung. 115: 21–45. arXiv:. doi:. S2CID .
  • Remmert, Reinhold (1998). "From Riemann Surfaces to Complex Spaces". Séminaires et Congrès. Zbl .
  • Serre, Jean-Pierre (1956). . Annales de l'Institut Fourier. 6: 1–42. doi:. ISSN . MR .
  • Tognoli, A. (2 June 2011). Tognoli, A (ed.). . doi:. ISBN 978-3-642-10944-7.
  • "Chapter II. Preliminaries". . Mathematical Society of Japan Memoirs. Vol. 14. Mathematical Society of Japan. 2004. pp. 13–78. doi:. ISBN 978-4-931469-31-0.
  • Flores, Arturo Giles; Teissier, Bernard (2018). "Local polar varieties in the geometric study of singularities". Annales de la Faculté des Sciences de Toulouse: Mathématiques. 27 (4): 679–775. arXiv:. doi:. S2CID .

Future reading

  • Huckleberry, Alan (2013). "Hans Grauert (1930–2011)". Jahresbericht der Deutschen Mathematiker-Vereinigung. 115: 21–45. arXiv:. doi:. S2CID .

External links