Arithmetic genus

Last updated

In mathematics, the arithmetic genus of an algebraic variety is one of a few possible generalizations of the genus of an algebraic curve or Riemann surface.

Contents

Projective varieties

Let X be a projective scheme of dimension r over a field k, the arithmetic genus of X is defined asHere is the Euler characteristic of the structure sheaf . [1]

Complex projective manifolds

The arithmetic genus of a complex projective manifold of dimension n can be defined as a combination of Hodge numbers, namely

When n=1, the formula becomes . According to the Hodge theorem, . Consequently , where g is the usual (topological) meaning of genus of a surface, so the definitions are compatible.

When X is a compact Kähler manifold, applying hp,q = hq,p recovers the earlier definition for projective varieties.

Kähler manifolds

By using hp,q = hq,p for compact Kähler manifolds this can be reformulated as the Euler characteristic in coherent cohomology for the structure sheaf :

This definition therefore can be applied to some other locally ringed spaces.

See also

Related Research Articles

<span class="mw-page-title-main">Genus (mathematics)</span> Number of "holes" of a surface

In mathematics, genus has a few different, but closely related, meanings. Intuitively, the genus is the number of "holes" of a surface. A sphere has genus 0, while a torus has genus 1.

In mathematics, and more specifically in algebraic topology and polyhedral combinatorics, the Euler characteristic is a topological invariant, a number that describes a topological space's shape or structure regardless of the way it is bent. It is commonly denoted by .

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.

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.

<span class="mw-page-title-main">Projective variety</span> Algebraic variety in a projective space

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.

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.

<span class="mw-page-title-main">K3 surface</span> Type of smooth complex surface of kodaira dimension 0

In mathematics, a complex analytic K3 surface is a compact connected complex manifold of dimension 2 with а trivial canonical bundle and irregularity zero. An (algebraic) K3 surface over any field means a smooth proper geometrically connected algebraic surface that satisfies the same conditions. In the Enriques–Kodaira classification of surfaces, K3 surfaces form one of the four classes of minimal surfaces of Kodaira dimension zero. A simple example is the Fermat quartic surface

<span class="mw-page-title-main">Grothendieck–Riemann–Roch theorem</span> Result in algebraic geometry

In mathematics, specifically in algebraic geometry, the Grothendieck–Riemann–Roch theorem is a far-reaching result on coherent cohomology. It is a generalisation of the Hirzebruch–Riemann–Roch theorem, about complex manifolds, which is itself a generalisation of the classical Riemann–Roch theorem for line bundles on compact Riemann surfaces.

In mathematics, the Todd class is a certain construction now considered a part of the theory in algebraic topology of characteristic classes. The Todd class of a vector bundle can be defined by means of the theory of Chern classes, and is encountered where Chern classes exist — most notably in differential topology, the theory of complex manifolds and algebraic geometry. In rough terms, a Todd class acts like a reciprocal of a Chern class, or stands in relation to it as a conormal bundle does to a normal bundle.

<span class="mw-page-title-main">Manifold</span> Topological space that locally resembles Euclidean space

In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an -dimensional manifold, or -manifold for short, is a topological space with the property that each point has a neighborhood that is homeomorphic to an open subset of -dimensional Euclidean space.

In mathematics, the Hirzebruch–Riemann–Roch theorem, named after Friedrich Hirzebruch, Bernhard Riemann, and Gustav Roch, is Hirzebruch's 1954 result generalizing the classical Riemann–Roch theorem on Riemann surfaces to all complex algebraic varieties of higher dimensions. The result paved the way for the Grothendieck–Hirzebruch–Riemann–Roch theorem proved about three years later.

In mathematics, the Enriques–Kodaira classification groups compact complex surfaces into ten classes, each parametrized by a moduli space. For most of the classes the moduli spaces are well understood, but for the class of surfaces of general type the moduli spaces seem too complicated to describe explicitly, though some components are known.

In algebraic geometry, a Fano variety, introduced by Gino Fano, is an algebraic variety that generalizes certain aspects of complete intersections of algebraic hypersurfaces whose sum of degrees is at most the total dimension of the ambient projective space. Such complete intersections have important applications in geometry and number theory, because they typically admit rational points, an elementary case of which is the Chevalley–Warning theorem. Fano varieties provide an abstract generalization of these basic examples for which rationality questions are often still tractable.

In algebraic geometry, the geometric genus is a basic birational invariant pg of algebraic varieties and complex manifolds.

In mathematics, the Riemann–Roch theorem for surfaces describes the dimension of linear systems on an algebraic surface. The classical form of it was first given by Castelnuovo, after preliminary versions of it were found by Max Noether and Enriques. The sheaf-theoretic version is due to Hirzebruch.

In mathematics, the irregularity of a complex surface X is the Hodge number , usually denoted by q. The irregularity of an algebraic surface is sometimes defined to be this Hodge number, and sometimes defined to be the dimension of the Picard variety, which is the same in characteristic 0 but can be smaller in positive characteristic.

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.

This is a glossary of algebraic geometry.

In algebraic geometry and differential geometry, the nonabelian Hodge correspondence or Corlette–Simpson correspondence is a correspondence between Higgs bundles and representations of the fundamental group of a smooth, projective complex algebraic variety, or a compact Kähler manifold.

In mathematics, and especially differential and algebraic geometry, K-stability is an algebro-geometric stability condition, for complex manifolds and complex algebraic varieties. The notion of K-stability was first introduced by Gang Tian and reformulated more algebraically later by Simon Donaldson. The definition was inspired by a comparison to geometric invariant theory (GIT) stability. In the special case of Fano varieties, K-stability precisely characterises the existence of Kähler–Einstein metrics. More generally, on any compact complex manifold, K-stability is conjectured to be equivalent to the existence of constant scalar curvature Kähler metrics.

References

  1. Hartshorne, Robin (1977). Algebraic Geometry. Graduate Texts in Mathematics. Vol. 52. New York, NY: Springer New York. p. 230. doi:10.1007/978-1-4757-3849-0. ISBN   978-1-4419-2807-8. S2CID   197660097.

Further reading