divisor

EN Texto en inglés Aún no hay artículo en tu idioma: extracto en inglés.

In algebraic geometry, divisors are a generalization of codimension-1 subvarieties of algebraic varieties. Two different generalizations are in common use, Cartier divisors and Weil divisors (named for Pierre Cartier and André Weil by David Mumford). Both are derived from the notion of divisibility in the integers and algebraic number fields. Globally, every codimension-1 subvariety of a projective space is defined by the vanishing of one homogeneous polynomial; by contrast, a codimension-r subvariety need not be definable by only r equations when r is greater than 1. (That is, not every subvariety of projective space is a complete intersection.) Locally, every codimension-1 subvariety of a smooth variety can be defined by one equation in a neighborhood of each point. Again, the analogous statement fails for higher-codimension subvarieties. As a result of this property, much of algebraic geometry studies an arbitrary variety by analysing its codimension-1 subvarieties and the corresponding line bundles. On singular varieties, this property can also fail, and so one has to distinguish between codimension-1 subvarieties and varieties which can locally be defined by one equation. The former are Weil divisors while the latter are Cartier divisors. Topologically, Weil divisors correspond to homology cycles, while Cartier divisors correspond to cohomology classes defined by line bundles. On a smooth variety (or more generally a regular scheme), a result analogous to Poincaré duality says that Weil and Cartier divisors are the same. The name "divisor" goes back to the work of Dedekind and Weber, who showed the relevance of Dedekind domains to the study of algebraic curves. The group of divisors on a curve (the free abelian group generated by all divisors) is closely related to the group of fractional ideals for a Dedekind domain. An algebraic cycle is a higher codimension generalization of a divisor; by definition, a Weil divisor...