Menu
Home Explore People Places Arts History Plants & Animals Science Life & Culture Technology
On this page
Complex analytic variety
Object much like an algebraic variety but defined as the zero set of finitely many (real- or complex-)analytic functions

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.

We don't have any images related to Complex analytic variety yet.
We don't have any YouTube videos related to Complex analytic variety yet.
We don't have any PDF documents related to Complex analytic variety yet.
We don't have any Books related to Complex analytic variety yet.
We don't have any archived web articles related to Complex analytic variety yet.

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 element,2 and also, when the complex analytic space whose structure sheaf is reduced, then the complex analytic space is reduced, that is, the complex analytic space may not be reduced.

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

Let X be schemes finite type over C {\displaystyle \mathbb {C} } , and cover X with open affine subset 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 polynomial in z 1 , … , z n {\displaystyle z_{1},\dots ,z_{n}} , which can be regarded as a holomorphic function on C {\displaystyle \mathbb {C} } . Therefore, their common zero of the set is the complex analytic subspace ( Y i ) h ⊆ C {\displaystyle (Y_{i})_{h}\subseteq \mathbb {C} } . Here, scheme X obtained by glueing the data of the set Y i {\displaystyle Y_{i}} , and then the same data can be used to glueing the complex analytic space ( Y i ) h {\displaystyle (Y_{i})_{h}} into an complex analytic space X h {\displaystyle X_{h}} , so we call X h {\displaystyle X_{h}} a 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}} reduced.4

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 – locally ringed space glued together from analytic varietiesPages displaying wikidata descriptions as a fallback
  • 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

Future reading

References

  1. Complex analytic variety (or just variety) is sometimes required to be irreducible and (or) reduced /wiki/Reduced_ring ↩

  2. Hartshorne 1977, p. 439. - Hartshorne, Robin (1977). Algebraic Geometry. Graduate Texts in Mathematics. Vol. 52. Berlin, New York: Springer-Verlag. doi:10.1007/978-1-4757-3849-0. ISBN 978-0-387-90244-9. MR 0463157. S2CID 197660097. Zbl 0367.14001. https://books.google.com/books?id=7z4mBQAAQBAJ&pg=PA438 ↩

  3. Hartshorne 1977, p. 439. - Hartshorne, Robin (1977). Algebraic Geometry. Graduate Texts in Mathematics. Vol. 52. Berlin, New York: Springer-Verlag. doi:10.1007/978-1-4757-3849-0. ISBN 978-0-387-90244-9. MR 0463157. S2CID 197660097. Zbl 0367.14001. https://books.google.com/books?id=7z4mBQAAQBAJ&pg=PA438 ↩

  4. Grothendieck & Raynaud (2002) (SGA 1 §XII. Proposition 2.1.) - Grothendieck, Alexander; Raynaud, Michèle (2002). "Revêtements étales et groupe fondamental§XII. Géométrie algébrique et géométrie analytique". Revêtements étales et groupe fondamental (SGA 1) (in French). arXiv:math/0206203. doi:10.1007/BFb0058656. ISBN 978-2-85629-141-2. https://link.springer.com/chapter/10.1007%2FBFb0058667 ↩