Symmetric product of an algebraic curve
- Symmetric product of an algebraic curve
In mathematics, the "n"-fold symmetric product of an algebraic curve "C" is the quotient space of the "n"-fold cartesian product
:"C" × "C" × ... × "C"
or "C""n" by the group action of the symmetric group on "n" letters permuting the factors. It exists as a smooth algebraic variety Σ"n""C"; if "C" is a compact Riemann surface it is therefore a complex manifold. Its interest in relation to the classical geometry of curves is that its points correspond to effective divisors on "C" of degree "n", that is, formal sums of points with non-negative integer coefficients.For "C" the projective line (say the Riemann sphere) Σ"n""C" can be identified with projective space of dimension "n".
If "G" has genus "g" ≥ 1 then the Σ"n""C" are closely related to the Jacobian variety "J" of "C". More accurately for "n" taking values up to "g" they form a sequence of approximations to "J" from below: their images in "J" under addition on "J" (see theta-divisor) have dimension "n" and fill up "J", with some identifications caused by special divisors.
For "g" = "n" we have Σ"g""C" actually birationally equivalent to "J"; the Jacobian is a blowing down of the symmetric product. That means that at the level of function fields it is possible to construct "J" by taking linearly disjoint copies of the function field of "C", and within their compositum taking the fixed subfield of the symmetric group. This is the source of André Weil's technique of constructing "J" as an abstract variety from 'birational data'. Other ways of constructing "J", for example as a Picard variety, are preferred now (Greg W. Anderson ("Advances in Math."172 (2002) 169-205) provided an elementary construction as lines of matrices). But this does mean that for any rational function "F" on "C"
:"F"("x"1) + ... + "F"("x""g")
makes sense as a rational function on "J", for the "x""i" staying away from the poles of "F".
For "N" > "g" the mapping from Σ"n""C" to "J" by addition fibers it over "J"; when "n" is large enough (around twice "g") this becomes a projective space bundle (the Picard bundle). It has been studied in detail, for example by Kempf and Mukai.
Wikimedia Foundation.
2010.
Look at other dictionaries:
Algebraic number field — In mathematics, an algebraic number field (or simply number field) F is a finite (and hence algebraic) field extension of the field of rational numbers Q. Thus F is a field that contains Q and has finite dimension when considered as a vector… … Wikipedia
List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… … Wikipedia
Elliptic curve cryptography — (ECC) is an approach to public key cryptography based on the algebraic structure of elliptic curves over finite fields. The use of elliptic curves in cryptography was suggested independently by Neal Koblitz[1] and Victor S. Miller[2] in 1985.… … Wikipedia
Differential geometry of surfaces — Carl Friedrich Gauss in 1828 In mathematics, the differential geometry of surfaces deals with smooth surfaces with various additional structures, most often, a Riemannian metric. Surfaces have been extensively studied from various perspectives:… … Wikipedia
Discriminant — In algebra, the discriminant of a polynomial is an expression which gives information about the nature of the polynomial s roots. For example, the discriminant of the quadratic polynomial is Here, if Δ > 0, the polynomial has two real roots,… … Wikipedia
Abelian variety — In mathematics, particularly in algebraic geometry, complex analysis and number theory, an Abelian variety is a projective algebraic variety that is at the same time an algebraic group, i.e., has a group law that can be defined by regular… … Wikipedia
Hilbert scheme — In algebraic geometry, a branch of mathematics, a Hilbert scheme is a scheme that is the parameter space for the closed subschemes of some projective space (or a more general scheme), refining the Chow variety. The Hilbert scheme is a disjoint… … Wikipedia
Restricted representation — In mathematics, restriction is a fundamental construction in representation theory of groups. Restriction forms a representation of a subgroup from a representation of the whole group. Often the restricted representation is simpler to understand … Wikipedia
Elliptic surface — In mathematics, an elliptic surface is a surface that has an elliptic fibration, in other words a proper connected smooth morphism to an algebraic curve, almost all of whose fibers are elliptic curves. The fibers that are not elliptic curves are… … Wikipedia
Carl Gustav Jacob Jacobi — Carl Jacobi Carl Gustav Jacob Jacobi Born December 10, 1804(1804 … Wikipedia
