|
Divisorial Scheme
In algebraic geometry, a divisorial scheme is a scheme admitting an ample family of line bundles, as opposed to an ample line bundle. In particular, a quasi-projective variety is a divisorial scheme and the notion is a generalization of "quasi-projective". It was introduced in (in the case of a variety) as well as in (in the case of a scheme). The term "divisorial" refers to the fact that "the topology of these varieties is determined by their positive divisors." The class of divisorial schemes is quite large: it includes affine schemes, separated regular (noetherian) schemes and subschemes of a divisorial scheme (such as projective varieties). Definition Here is the definition in SGA 6, which is a more general version of the definition of Borelli. Given a quasi-compact quasi-separated scheme ''X'', a family of invertible sheaves L_i, i \in I on it is said to be an ample family if the open subsets U_f = \, f \in \Gamma(X, L_i^), i \in I, n \ge 1 form a base of the (Zariski) top ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ample Line Bundle
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 bun ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quasi-projective Variety
In mathematics, a quasi-projective variety in algebraic geometry is a locally closed subset of a projective variety, i.e., the intersection inside some projective space of a Zariski-open and a Zariski-closed subset. A similar definition is used in scheme theory, where a ''quasi-projective scheme'' is a locally closed subscheme of some projective space. Relationship to affine varieties An affine space is a Zariski-open subset of a projective space, and since any closed affine subset U can be expressed as an intersection of the projective completion \bar and the affine space embedded in the projective space, this implies that any affine variety is quasiprojective. There are locally closed subsets of projective space that are not affine, so that quasi-projective is more general than affine. Taking the complement of a single point in projective space of dimension at least 2 gives a non-affine quasi-projective variety. This is also an example of a quasi-projective variety that is neithe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projective Varieties
In algebraic geometry, a projective variety over an algebraically closed field ''k'' is a subset of some projective spaces, projective ''n''-space \mathbb^n over ''k'' that is the zero-locus of some finite family of homogeneous polynomials of ''n'' + 1 variables with coefficients in ''k'', that generate a prime ideal, the defining ideal of the variety. Equivalently, an algebraic variety is projective if it can be embedded as a Zariski topology, Zariski closed Algebraic variety#Subvariety, subvariety of \mathbb^n. A projective variety is a projective curve if its dimension is one; it is a projective surface if its dimension is two; it is a projective hypersurface if its dimension is one less than the dimension of the containing projective space; in this case it is the set of zeros of a single homogeneous polynomial. If ''X'' is a projective variety defined by a homogeneous prime ideal ''I'', then the quotient ring :k[x_0, \ldots, x_n]/I is called the homogeneous coordinate ring o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Base (topology)
In mathematics, a base (or basis) for the topology of a topological space is a family \mathcal of open subsets of such that every open set of the topology is equal to the union of some sub-family of \mathcal. For example, the set of all open intervals in the real number line \R is a basis for the Euclidean topology on \R because every open interval is an open set, and also every open subset of \R can be written as a union of some family of open intervals. Bases are ubiquitous throughout topology. The sets in a base for a topology, which are called , are often easier to describe and use than arbitrary open sets. Many important topological definitions such as continuity and convergence can be checked using only basic open sets instead of arbitrary open sets. Some topologies have a base of open sets with specific useful properties that may make checking such topological definitions easier. Not all families of subsets of a set X form a base for a topology on X. Under some cond ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Smooth Variety
In algebraic geometry, a smooth scheme over a field is a scheme which is well approximated by affine space near any point. Smoothness is one way of making precise the notion of a scheme with no singular points. A special case is the notion of a smooth variety over a field. Smooth schemes play the role in algebraic geometry of manifolds in topology. Definition First, let ''X'' be an affine scheme of finite type over a field ''k''. Equivalently, ''X'' has a closed immersion into affine space ''An'' over ''k'' for some natural number ''n''. Then ''X'' is the closed subscheme defined by some equations ''g''1 = 0, ..., ''g''''r'' = 0, where each ''gi'' is in the polynomial ring ''k'' 'x''1,..., ''x''''n'' The affine scheme ''X'' is smooth of dimension ''m'' over ''k'' if ''X'' has dimension at least ''m'' in a neighborhood of each point, and the matrix of derivatives (∂''g''''i''/∂''x''''j'') has rank at least ''n''−''m'' everywhere on ''X''. (It follows that ''X'' has dimension ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Resolution Property
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. Coherent sheaves can be seen as a generalization of vector bundles. Unlike vector bundles, they form an abelian category, and so they are closed under operations such as taking kernels, images, and cokernels. The quasi-coherent sheaves are a generalization of coherent sheaves and include the locally free sheaves of infinite rank. Coherent sheaf cohomology is a powerful technique, in particular for studying the sections of a given coherent sheaf. Definitions A quasi-coherent sheaf on a ringed space (X, \mathcal O_X) is a sheaf \mathcal F of \mathcal O_X-modules which has a local presentation, that is, every point in X has an open neighborhood U in which there is an exa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jouanolou's Trick
In algebraic geometry, Jouanolou's trick is a theorem that asserts, for an algebraic variety ''X'', the existence of a surjection with affine fibers from an affine variety ''W'' to ''X''. The variety ''W'' is therefore homotopy-equivalent In topology, a branch of mathematics, two continuous functions from one topological space to another are called homotopic (from grc, ὁμός "same, similar" and "place") if one can be "continuously deformed" into the other, such a deforma ... to ''X'', but it has the technically advantageous property of being affine. Jouanolou's original statement of the theorem required that ''X'' be quasi-projective over an affine scheme, but this has since been considerably weakened. Jouanolou's construction Jouanolou's original statement was: :If ''X'' is a scheme quasi-projective over an affine scheme, then there exists a vector bundle ''E'' over ''X'' and an affine ''E''-torsor ''W''. By the definition of a torsor, ''W'' comes with a surjec ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Luc Illusie
Luc Illusie (; born 1940) is a French mathematician, specializing in algebraic geometry. His most important work concerns the theory of the cotangent complex and deformations, crystalline cohomology and the De Rham–Witt complex, and logarithmic geometry. In 2012, he was awarded the Émile Picard Medal of the French Academy of Sciences. Biography Luc Illusie entered the École Normale Supérieure in 1959. At first a student of the mathematician Henri Cartan, he participated in the Cartan–Schwartz seminar of 1963–1964. In 1964, following Cartan's advice, he began to work with Alexandre Grothendieck, collaborating with him on two volumes of the latter's Séminaire de Géométrie Algébrique du Bois Marie. In 1970, Illusie introduced the concept of the cotangent complex. A researcher in the Centre national de la recherche scientifique from 1964 to 1976, Illusie then became a professor at the University of Paris-Sud, retiring as emeritus professor in 2005. Between 1984 and 19 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Springer Science+Business Media
Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in Berlin, it expanded internationally in the 1960s, and through mergers in the 1990s and a sale to venture capitalists it fused with Wolters Kluwer and eventually became part of Springer Nature in 2015. Springer has major offices in Berlin, Heidelberg, Dordrecht, and New York City. History Julius Springer founded Springer-Verlag in Berlin in 1842 and his son Ferdinand Springer grew it from a small firm of 4 employees into Germany's then second largest academic publisher with 65 staff in 1872.Chronology ". Springer Science+Business Media. In 1964, Springer expanded its business internationally, o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.svg "Click for more on -> Projective Varieties")