Search results
Results From The WOW.Com Content Network
A smooth curve together with a complete linear system of degree d > 2g is equivalent to a closed one dimensional subscheme of the projective space P d−g. Consequently, the moduli space of smooth curves and linear systems (satisfying certain criteria) may be embedded in the Hilbert scheme of a sufficiently high-dimensional projective space.
The Abel–Jacobi theorem implies that the Albanese variety of a compact complex curve (dual of holomorphic 1-forms modulo periods) is isomorphic to its Jacobian variety (divisors of degree 0 modulo equivalence). For higher-dimensional compact projective varieties the Albanese variety and the Picard variety are dual but need not be isomorphic.
The Jacobian of a curve over an arbitrary field was constructed by Weil (1948) as part of his proof of the Riemann hypothesis for curves over a finite field. The Abel–Jacobi theorem states that the torus thus built is a variety, the classical Jacobian of a curve, that indeed parametrizes the degree 0 line bundles, that is, it can be ...
We also construct a sheaf on , called the “structure sheaf” as in the affine case, which makes it into a scheme.As in the case of the Spec construction there are many ways to proceed: the most direct one, which is also highly suggestive of the construction of regular functions on a projective variety in classical algebraic geometry, is the following.
For various applications, it is necessary to consider more general algebro-geometric objects than projective varieties, namely projective schemes. The first step towards projective schemes is to endow projective space with a scheme structure, in a way refining the above description of projective space as an algebraic variety, i.e., () is a ...
Affine space and projective space are smooth schemes over a field k. An example of a smooth hypersurface in projective space P n over k is the Fermat hypersurface x 0 d + ... + x n d = 0, for any positive integer d that is invertible in k. An example of a singular (non-smooth) scheme over a field k is the closed subscheme x 2 = 0 in the affine ...
For m = 0 the generalized Jacobian J m is just the usual Jacobian J, an abelian variety of dimension g, the genus of C. For m a nonzero effective divisor the generalized Jacobian is an extension of J by a connected commutative affine algebraic group L m of dimension deg(m)−1. So we have an exact sequence 0 → L m → J m → J → 0
Every vector bundle over a scheme is a smooth morphism. For example, it can be shown that the associated vector bundle of () over is the weighted projective space minus a point