Kodaira vanishing theorem

In mathematics, the Kodaira vanishing theorem is a basic result of complex manifold theory and complex algebraic geometry, describing general conditions under which sheaf cohomology groups with indices q > 0 are automatically zero. The implications for the group with index q = 0 is usually that its dimension — the number of independent global sections — coincides with a holomorphic Euler characteristic that can be computed using the Hirzebruch–Riemann–Roch theorem. The statement of Kunihiko Kodaira's result is that if M is a compact Kähler manifold of complex dimension n, L any holomorphic line bundle on M that is positive, and KM is the canonical line bundle, then for q > 0. Here stands for the tensor product of line bundles. By means of Serre duality, one also obtains the vanishing of for q < n. There is a generalisation, the Kodaira–Nakano vanishing theorem, in which , where Ωn(L) denotes the sheaf of holomorphic (n,0)-forms on M with values on L, is replaced by Ωr(L), the sheaf of holomorphic (r,0)-forms with values on L. Then the cohomology group Hq(M, Ωr(L)) vanishes whenever q + r > n. The Kodaira vanishing theorem can be formulated within the language of algebraic geometry without any reference to transcendental methods such as Kähler metrics. Positivity of the line bundle L translates into the corresponding invertible sheaf being ample (i.e., some tensor power gives a projective embedding). The algebraic Kodaira–Akizuki–Nakano vanishing theorem is the following statement: If k is a field of characteristic zero, X is a smooth and projective k-scheme of dimension d, and L is an ample invertible sheaf on X, then where the Ωp denote the sheaves of relative (algebraic) differential forms (see Kähler differential). showed that this result does not always hold over fields of characteristic p > 0, and in particular fails for Raynaud surfaces. Later give a counterexample for singular varieties with non-log canonical singularities, and also, gave elementary counterexamples inspired by proper homogeneous spaces with non-reduced stabilizers.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (9)

Personnes associées (2)

Unités associées (1)

Concepts associés (7)

Cours associés (1)

Séances de cours associées (7)

Morphisme de l'Albanese: Kodaira Dimension Zéro

Explore le morphisme albanais des variétés avec la dimension Kodaira zéro en caractéristique positive.

Intégration p-adique : rationalité et fonction Igusa zeta MATH-494: Topics in arithmetic geometry

Explore l'intégration p-adique, la rationalité de la fonction Igusa zeta et les conjectures de monodromie.

Classement des groupes finites abeliens MATH-310: Algebra

Couvre le théorème de classification pour les groupes abéliens finis et introduit les anneaux, y compris les diviseurs zéro et les domaines.

On the Kodaira vanishing theorem for log del Pezzo surfaces in positive characteristic

Emelie Kerstin Arvidsson

We investigate the vanishing of H1(X,OX(−D)) for a big and nef Q-Cartier Z-divisor D on a log del Pezzo pair (X,Δ) over a perfect field of positive characteristic p. ...

2021

Vanishing theorems in positive characteristic

Emelie Kerstin Arvidsson

The topic of this thesis is vanishing theorems in positive characteristic. In particular, we use "the covering trick of Ekedahl" to investigate the vanishing of

H^1(X, \mathcal{O}_X(-D))

for a big and nef Weil divisor

D

on a normal projective variety w ...

EPFL2021

Functional Extrapolations to Tame Unbound Anions in Density-Functional Theory Calculations

Nicola Marzari, Oliviero Andreussi, Francesco Nattino

Standard flavors of density-functional theory (DFT) calculations are known to fail in describing anions, due to large self-interaction errors. The problem may be circumvented using localized basis sets of reduced size, leaving no variational flexibility fo ...

AMER CHEMICAL SOC2019

Coherent sheaf cohomology

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.

Kodaira embedding theorem

In mathematics, the Kodaira embedding theorem characterises non-singular projective varieties, over the complex numbers, amongst compact Kähler manifolds. In effect it says precisely which complex manifolds are defined by homogeneous polynomials. Kunihiko Kodaira's result is that for a compact Kähler manifold M, with a Hodge metric, meaning that the cohomology class in degree 2 defined by the Kähler form ω is an integral cohomology class, there is a complex-analytic embedding of M into complex projective space of some high enough dimension N.

Géométrie complexe

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.

MATH-473: Complex manifolds

The goal of this course is to help students learn the basic theory of complex manifolds and Hodge theory.