Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.
Concept
Ample line bundle
Résumé
In mathematics, a distinctive feature of algebraic geometry is that some line bundles on a projective variety can be considered "positive", while others are "negative" (or a mixture of the two). The most important notion of positivity is that of an ample line bundle, although there are several related classes of line bundles. Roughly speaking, positivity properties of a line bundle are related to having many global sections. Understanding the ample line bundles on a given variety X amounts to understanding the different ways of mapping X into projective space. In view of the correspondence between line bundles and divisors (built from codimension-1 subvarieties), there is an equivalent notion of an ample divisor.
In more detail, a line bundle is called basepoint-free if it has enough sections to give a morphism to projective space. A line bundle is semi-ample if some positive power of it is basepoint-free; semi-ampleness is a kind of "nonnegativity". More strongly, a line bundle on a complete variety X is very ample if it has enough sections to give a closed immersion (or "embedding") of X into projective space. A line bundle is ample if some positive power is very ample.
An ample line bundle on a projective variety X has positive degree on every curve in X. The converse is not quite true, but there are corrected versions of the converse, the Nakai–Moishezon and Kleiman criteria for ampleness.
Given a morphism of schemes, a vector bundle E on Y (or more generally a coherent sheaf on Y) has a pullback to X, (see Sheaf of modules#Operations). The pullback of a vector bundle is a vector bundle of the same rank. In particular, the pullback of a line bundle is a line bundle. (Briefly, the fiber of at a point x in X is the fiber of E at f(x).)
The notions described in this article are related to this construction in the case of a morphism to projective space
with E = O(1) the line bundle on projective space whose global sections are the homogeneous polynomials of degree 1 (that is, linear functions) in variables .
Source officielle
À 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 (28)
Personnes associées (8)
Concepts associés (27)
Linear system of divisors
In algebraic geometry, a linear system of divisors is an algebraic generalization of the geometric notion of a family of curves; the dimension of the linear system corresponds to the number of parameters of the family. These arose first in the form of a linear system of algebraic curves in the projective plane. It assumed a more general form, through gradual generalisation, so that one could speak of linear equivalence of divisors D on a general scheme or even a ringed space (X, OX).
Diviseur (géométrie algébrique)
En mathématiques, plus précisément en géométrie algébrique, les diviseurs sont une généralisation des sous-variétés de codimension 1 de variétés algébriques ; deux généralisations différentes sont d'un usage commun : les diviseurs de Weil et les diviseurs de Cartier. Les deux concepts coïncident dans les cas des variétés non singulières. En géométrie algébrique, comme en géométrie analytique complexe, ou en géométrie arithmétique, les diviseurs forment un groupe qui permet de saisir la nature d'un schéma (une variété algébrique, une surface de Riemann, un anneau de Dedekind.
Canonical bundle
In mathematics, the canonical bundle of a non-singular algebraic variety of dimension over a field is the line bundle , which is the nth exterior power of the cotangent bundle on . Over the complex numbers, it is the determinant bundle of the holomorphic cotangent bundle . Equivalently, it is the line bundle of holomorphic n-forms on . This is the dualising object for Serre duality on . It may equally well be considered as an invertible sheaf.
Cours associés (5)
MATH-535: Algebraic geometry III - selected topics
This course is aimed to give students an introduction to the theory of algebraic curves, with an emphasis on the interplay between the arithmetic and the geometry of global fields. One of the principl
MATH-473: Complex manifolds
The goal of this course is to help students learn the basic theory of complex manifolds and Hodge theory.
MATH-510: Algebraic geometry II - schemes and sheaves
The aim of this course is to learn the basics of the modern scheme theoretic language of algebraic geometry.