Symmetric product of an algebraic curve information
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 Cn by the group action of the symmetric group Sn on n letters permuting the factors. It exists as a smooth algebraic variety denoted by ΣnC. If C is a compact Riemann surface, ΣnC 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 ∪ {∞} ≈ S2), its nth symmetric product ΣnC can be identified with complex projective space of dimension n.
If G has genus g ≥ 1 then the ΣnC 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 ΣgC 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[1] but this does mean that for any rational function F on C
F(x1) + ... + F(xg)
makes sense as a rational function on J, for the xi staying away from the poles of F.
For n > g the mapping from ΣnC 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.
^Anderson (2002) provided an elementary construction as lines of matrices.
and 28 Related for: Symmetric product of an algebraic curve information
n-fold symmetricproductofanalgebraiccurve C is the quotient space of the n-fold cartesian product C × C × ... × C or Cn by the group action of the symmetric...
also algebraic. Other algebraic groups occur naturally in algebraic geometry, such as elliptic curves and Jacobian varieties. An important class of algebraic...
In mathematics, an affine algebraic plane curve is the zero set of a polynomial in two variables. A projective algebraic plane curve is the zero set in...
algebra or Grassmann algebraof a vector space V {\displaystyle V} is an associative algebra that contains V , {\displaystyle V,} which has a product...
remainder of this article, "symmetric group" will mean a symmetric group on a finite set. The symmetric group is important to diverse areas of mathematics...
can be referred to uniformly as ε-symmetric forms, where ε = (−1)n = ±1 respectively for symmetric and skew-symmetric forms. It is possible in some circumstances...
Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, analgebraic variety is defined as...
mathematics, an elliptic curve is a smooth, projective, algebraiccurveof genus one, on which there is a specified point O. An elliptic curve is defined...
is a glossary ofalgebraic geometry. See also glossary of commutative algebra, glossary of classical algebraic geometry, and glossary of ring theory. For...
important algebraic system. It is common practice to extend the exterior product on vectors to the entire algebra. This may be done through the use of the above...
in algebraic geometry, complex analysis and algebraic number theory, an abelian variety is a projective algebraic variety that is also analgebraic group...
1949, p.440) power of a point Laguerre defined the power of a point with respect to analgebraiccurveof degree n to be the productof the distances from...
mathematics, the tensor productof two algebras over a commutative ring R is also an R-algebra. This gives the tensor productofalgebras. When the ring is...
Lie bracket defined by the cross product [ x , y ] = x × y . {\displaystyle [x,y]=x\times y.} This is skew-symmetric since x × y = − y × x {\displaystyle...
is the dot product, or, equivalently, the quadratic form is the sum of the square of the coordinates. All orthogonal groups are algebraic groups, since...
numbers, by using algebraic methods. The notion ofalgebraic number field relies on the concept of a field. A field consists of a set of elements together...
and abstract algebra, group theory studies the algebraic structures known as groups. The concept of a group is central to abstract algebra: other well-known...
point has an inner product (more generally, a symmetric nondegenerate form) and an orientation, or more globally that there is a symmetric nondegenerate...
Algebra is the branch of mathematics that studies algebraic structures and the manipulation of statements within those structures. It is a generalization...
use of discriminants in algebraic geometry is for studying plane algebraiccurves, and more generally algebraic hypersurfaces. Let V be such a curve or...
unitary group is a linear algebraic group. The unitary group of a quadratic module is a generalisation of the linear algebraic group U just defined, which...
Together, these three properties completely determine the algebraic structure of the direct product P. That is, if P is any group having subgroups G and H...
study of complex manifolds and algebraic varieties to work over the complex numbers instead. A complex number (x + iy) has a real part x and an imaginary...
the concept of a semidirect product is a generalization of a direct product. There are two closely related concepts of semidirect product: an inner semidirect...
analogue of a modular curve that arises as a quotient variety of a Hermitian symmetric space by a congruence subgroup of a reductive algebraic group defined...
form of the analytic completeness of the real numbers, which is not analgebraic concept. Additionally, it is not fundamental for modern algebra; it was...
a reductive group is a type of linear algebraic group over a field. One definition is that a connected linear algebraic group G over a perfect field...