Complex analytic variety

Last updated November 17, 2024

In mathematics, particular differential geometry and complex geometry, a complex analytic variety^{[note 1]} 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 $\mathbb {C}$ by ${\underline {\mathbb {C} }}$ . A $\mathbb {C}$ -space is a locally ringed space $(X,{\mathcal {O}}_{X})$ , whose structure sheaf is an algebra over ${\underline {\mathbb {C} }}$ .

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

A complex analytic variety is a locally ringed $\mathbb {C}$ -space $(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,^[1] 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}$ is such that;^[1]

Let X be schemes finite type over

\mathbb {C}

, and cover X with open affine subset

Y_{i}=\operatorname {Spec} A_{i}

(

X=\cup Y_{i}

) (Spectrum of a ring). Then each

A_{i}

is an algebra of finite type over

\mathbb {C}

, and

A_{i}\simeq \mathbb {C} [z_{1},\dots ,z_{n}]/(f_{1},\dots ,f_{m})

. Where

f_{1},\dots ,f_{m}

are polynomial in

z_{1},\dots ,z_{n}

, which can be regarded as a holomorphic function on

\mathbb {C}

. Therefore, their common zero of the set is the complex analytic subspace

(Y_{i})_{h}\subseteq \mathbb {C}

. Here, scheme X obtained by glueing the data of the set

Y_{i}

, and then the same data can be used to glueing the complex analytic space

(Y_{i})_{h}

into an complex analytic space

X_{h}

, so we call

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}

reduced.^[2]

Note

1 2 Hartshorne 1977, p. 439.
↑ Grothendieck & Raynaud (2002) (SGA 1 §XII. Proposition 2.1.)

Annotation

↑ Complex analytic variety (or just variety) is sometimes required to be irreducible and (or) reduced

Related Research Articles

In mathematics, complex geometry is the study of geometric structures and constructions arising out of, or described by, the complex numbers. In particular, complex geometry is concerned with the study of spaces such as complex manifolds and complex algebraic varieties, functions of several complex variables, and holomorphic constructions such as holomorphic vector bundles and coherent sheaves. Application of transcendental methods to algebraic geometry falls in this category, together with more geometric aspects of complex analysis.

In mathematics, a sheaf is a tool for systematically tracking data attached to the open sets of a topological space and defined locally with regard to them. For example, for each open set, the data could be the ring of continuous functions defined on that open set. Such data are well behaved in that they can be restricted to smaller open sets, and also the data assigned to an open set are equivalent to all collections of compatible data assigned to collections of smaller open sets covering the original open set.

The Riemann–Roch theorem is an important theorem in mathematics, specifically in complex analysis and algebraic geometry, for the computation of the dimension of the space of meromorphic functions with prescribed zeros and allowed poles. It relates the complex analysis of a connected compact Riemann surface with the surface's purely topological genus g, in a way that can be carried over into purely algebraic settings.

In algebraic geometry, a projective variety is an algebraic variety that is a closed subvariety of a projective space. That is, it is the zero-locus in $of some finite family of homogeneous polynomials that generate a prime ideal, the defining ideal of the variety.$

In mathematics, the notion of a germ of an object in/on a topological space is an equivalence class of that object and others of the same kind that captures their shared local properties. In particular, the objects in question are mostly functions and subsets. In specific implementations of this idea, the functions or subsets in question will have some property, such as being analytic or smooth, but in general this is not needed ; it is however necessary that the space on/in which the object is defined is a topological space, in order that the word local has some meaning.

The theory of functions of several complex variables is the branch of mathematics dealing with functions defined on the complex coordinate space $, that is, n -tuples of complex numbers. The name of the field dealing with the properties of these functions is called several complex variables, which the Mathematics Subject Classification has as a top-level heading.$

In mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaves are a class of sheaves closely linked to the geometric properties of the underlying space. The definition of coherent sheaves is made with reference to a sheaf of rings that codifies this geometric information.

In algebraic geometry, a proper morphism between schemes is an analog of a proper map between complex analytic spaces.

In mathematics, algebraic geometry and analytic geometry are two closely related subjects. While algebraic geometry studies algebraic varieties, analytic geometry deals with complex manifolds and the more general analytic spaces defined locally by the vanishing of analytic functions of several complex variables. The deep relation between these subjects has numerous applications in which algebraic techniques are applied to analytic spaces and analytic techniques to algebraic varieties.

In mathematics, in the theory of several complex variables and complex manifolds, a Stein manifold is a complex submanifold of the vector space of n complex dimensions. They were introduced by and named after Karl Stein. A Stein space is similar to a Stein manifold but is allowed to have singularities. Stein spaces are the analogues of affine varieties or affine schemes in algebraic geometry.

In mathematics, hyperfunctions are generalizations of functions, as a 'jump' from one holomorphic function to another at a boundary, and can be thought of informally as distributions of infinite order. Hyperfunctions were introduced by Mikio Sato in 1958 in Japanese,, building upon earlier work by Laurent Schwartz, Grothendieck and others.

In mathematics in complex analysis, the concept of holomorphic separability is a measure of the richness of the set of holomorphic functions on a complex manifold or complex-analytic space.

In mathematics, a holomorphic vector bundle is a complex vector bundle over a complex manifold $X$ such that the total space $E$ is a complex manifold and the projection map $π : E \to X$ is holomorphic. Fundamental examples are the holomorphic tangent bundle of a complex manifold, and its dual, the holomorphic cotangent bundle. A holomorphic line bundle is a rank one holomorphic vector bundle.

Affine geometry, broadly speaking, is the study of the geometrical properties of lines, planes, and their higher dimensional analogs, in which a notion of "parallel" is retained, but no metrical notions of distance or angle are. Affine spaces differ from linear spaces in that they do not have a distinguished choice of origin. So, in the words of Marcel Berger, "An affine space is nothing more than a vector space whose origin we try to forget about, by adding translations to the linear maps." Accordingly, a complex affine space, that is an affine space over the complex numbers, is like a complex vector space, but without a distinguished point to serve as the origin.

In mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaf cohomology is a technique for producing functions with specified properties. Many geometric questions can be formulated as questions about the existence of sections of line bundles or of more general coherent sheaves; such sections can be viewed as generalized functions. Cohomology provides computable tools for producing sections, or explaining why they do not exist. It also provides invariants to distinguish one algebraic variety from another.

In mathematics, the Oka coherence theorem, proved by Kiyoshi Oka, states that the sheaf $of holomorphic functions on is coherent.$

In mathematics, a Berkovich space, introduced by Berkovich, is a version of an analytic space over a non-Archimedean field, refining Tate's notion of a rigid analytic space.

In mathematics, the Andreotti–Grauert theorem, introduced by Andreotti and Grauert, gives conditions for cohomology groups of coherent sheaves over complex manifolds to vanish or to be finite-dimensional.

This is a glossary of algebraic geometry.

This is a glossary of concepts and results in real analysis and complex analysis in mathematics.

References

Aroca, José Manuel; Hironaka, Heisuke; Vicente, José Luis (3 November 2018). Complex Analytic Desingularization. doi:10.1007/978-4-431-49822-3. ISBN 978-4-431-49822-3.
Bloom, Thomas; Herrera, Miguel (1969). "De Rham cohomology of an analytic space". Inventiones Mathematicae . 7 (4): 275–296. Bibcode:1969InMat...7..275B. doi:10.1007/BF01425536. S2CID 122113902.
Cartan, H.; Bruhat, F.; Cerf, Jean.; Dolbeault, P.; Frenkel, Jean.; Hervé, Michel; Malatian.; Serre, J-P. "Séminaire Henri Cartan, Tome 4 (1951-1952)". (no.10-13)
Fischer, G. (14 November 2006). Complex Analytic Geometry. Springer. ISBN 978-3-540-38121-1.
Gunning, Robert Clifford; Rossi, Hugo (2009). "Chapter III. Variety (Sec. B. Anlytic cover)". Analytic Functions of Several Complex Variables. American Mathematical Soc. ISBN 9780821821657.
Gunning, Robert Clifford; Rossi, Hugo (2009). "Chapter V. Anlytic space". Analytic Functions of Several Complex Variables. American Mathematical Soc. ISBN 9780821821657.
Grauert, Hans; Remmert, Reinhold (1958). "Komplexe Räume". Mathematische Annalen . 136 (3): 245–318. doi:10.1007/BF01362011. S2CID 121348794.
Grauert, H.; Remmert, R. (6 December 2012). Coherent Analytic Sheaves. 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§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.
Hartshorne, Robin (1970). Ample Subvarieties of Algebraic Varieties. Lecture Notes in Mathematics. Vol. 156. doi:10.1007/BFb0067839. ISBN 978-3-540-05184-8.
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.
Huckleberry, Alan (2013). "Hans Grauert (1930–2011)". Jahresbericht der Deutschen Mathematiker-Vereinigung. 115: 21–45. arXiv: 1303.6933 . doi:10.1365/s13291-013-0061-7. S2CID 119685542.
Remmert, Reinhold (1998). "From Riemann Surfaces to Complex Spaces". Séminaires et Congrès. Zbl 1044.01520.
Serre, Jean-Pierre (1956). "Géométrie algébrique et géométrie analytique". Annales de l'Institut Fourier . 6: 1–42. doi: 10.5802/aif.59 . ISSN 0373-0956. MR 0082175.
Tognoli, A. (2 June 2011). Tognoli, A (ed.). Singularities of Analytic Spaces: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 16-25, 1974. doi:10.1007/978-3-642-10944-7. ISBN 978-3-642-10944-7.
"Chapter II. Preliminaries". Zariski-decomposition and Abundance. Mathematical Society of Japan Memoirs. Vol. 14. Mathematical Society of Japan. 2004. pp. 13–78. doi:10.2969/msjmemoirs/01401C020. 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: 1607.07979 . doi:10.5802/afst.1582. S2CID 119150240.

Future reading

Huckleberry, Alan (2013). "Hans Grauert (1930–2011)". Jahresbericht der Deutschen Mathematiker-Vereinigung. 115: 21–45. doi:10.1365/s13291-013-0061-7. S2CID 256084531.

External links

Kiran Kedlaya. 18.726 Algebraic Geometry (LEC # 30 - 33 GAGA)Spring 2009. Massachusetts Institute of Technology: MIT OpenCourseWare Creative Commons BY-NC-SA.
Tasty Bits of Several Complex Variables (p. 137) open source book by Jiří Lebl BY-NC-SA.
Onishchik, A.L. (2001) [1994], "Analytic space", Encyclopedia of Mathematics , EMS Press
El'kin, A.G. (2001) [1994], "Analytic set", Encyclopedia of Mathematics , EMS Press

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[FOOTNOTEHartshorne1977439-2] 1 2 Hartshorne 1977, p. 439.

[3] Grothendieck & Raynaud (2002) (SGA 1 §XII. Proposition 2.1.)

[1] Complex analytic variety (or just variety) is sometimes required to be irreducible and (or) reduced

[note 1]

[1]

[2]