- #456
- 11,830
- 2,075
Torelli's theorem is really interesting and simple. You have a geometric shape defined by polynomials, and therefore it is entirely determined by those polynomials, and hence by their coefficients, which is a finite set of numbers.
But is there some more natural way to get the numbers that determine the shape? Riemann assigned numbers as follows to a complex curve, or riemann surface. he chose a basis of loops one around each hole in the surface, and then proved there is one independent holomorphic differential form for each hole. so if the genus of the curve is g, by integrating each form around each loop, one gets a g by 2g matrix of numbers.
the torelli question is whether these numbers determine the curve back. the first step is taken by riemann. i.e. to recover some geometry from that matrix, mod out the space C^g by the lattice generated by the 2g columns of the matriux.
That gives a g dimensional complex torus. Then to go further, and this is the key step, riemnann wrote down a theta function using the matrix as the quadratic coefficient in a quadratic form, then using z as the linear coefficient, then summing iover integer arguments. this gives a function of z, whose zero locus is periodic for that lattice, and defines a "theta divisor" inside the complex torus.
this pair is called the jacobian variety of the curve. Moreover riemann showed this divisor was highly singular. then to recover some geometry further, Andreotti and Mayer showed that if one intersects the tangent cones to all the singular points, after translation to the origin, one gets the curve back in general! but for just which curves it worked was unknown.
That this recovery procedure holds for all complex curves except those on a specific short list was proved by Mark Green in 1981. Then Robert Varley and I generalized the proof to hold over fields of any characteristic but 2.
The next step is to see how this proof procdedure generaliuzes to the relative case of prym varieties (kernel of map between jacobian varieties) for a double cover C'-->C. It is known agaion that the procedure works in general but not precisely which covers it works for. And in this business, not knowing exactly which curves it works means not being abkle to identify any for which it works. they just form some shadowy unknown open set.
Varley and I have shown that one can recover the double cover from the prym variety, i.e. a certain complex torus plus theta divisor, if one also knows a certain natural P^1 bundle over the theta divisor, the so called "abel map".
but how to recover this map is a probem. And in fact we have not found the key to understanding just when the procedure works, because our proof also works in cases where the tangent quadric construction is known not to work.
so there is more data in the abel map than in the theta divisor itself. so which prym theta divisors allow one to recover the abel map uniquely? or even a finite set of possibilities?
the approach we took involved delicate questions of deformation theory, a useful technique analogous to differential calculus, but for functors of geometric objects rather than functions of numbers. Then, ironically considering a thread elsewhere on interrupted research time, teaching and administrative duties intervened, and we have not had time to pursue it to a conclusion.
But is there some more natural way to get the numbers that determine the shape? Riemann assigned numbers as follows to a complex curve, or riemann surface. he chose a basis of loops one around each hole in the surface, and then proved there is one independent holomorphic differential form for each hole. so if the genus of the curve is g, by integrating each form around each loop, one gets a g by 2g matrix of numbers.
the torelli question is whether these numbers determine the curve back. the first step is taken by riemann. i.e. to recover some geometry from that matrix, mod out the space C^g by the lattice generated by the 2g columns of the matriux.
That gives a g dimensional complex torus. Then to go further, and this is the key step, riemnann wrote down a theta function using the matrix as the quadratic coefficient in a quadratic form, then using z as the linear coefficient, then summing iover integer arguments. this gives a function of z, whose zero locus is periodic for that lattice, and defines a "theta divisor" inside the complex torus.
this pair is called the jacobian variety of the curve. Moreover riemann showed this divisor was highly singular. then to recover some geometry further, Andreotti and Mayer showed that if one intersects the tangent cones to all the singular points, after translation to the origin, one gets the curve back in general! but for just which curves it worked was unknown.
That this recovery procedure holds for all complex curves except those on a specific short list was proved by Mark Green in 1981. Then Robert Varley and I generalized the proof to hold over fields of any characteristic but 2.
The next step is to see how this proof procdedure generaliuzes to the relative case of prym varieties (kernel of map between jacobian varieties) for a double cover C'-->C. It is known agaion that the procedure works in general but not precisely which covers it works for. And in this business, not knowing exactly which curves it works means not being abkle to identify any for which it works. they just form some shadowy unknown open set.
Varley and I have shown that one can recover the double cover from the prym variety, i.e. a certain complex torus plus theta divisor, if one also knows a certain natural P^1 bundle over the theta divisor, the so called "abel map".
but how to recover this map is a probem. And in fact we have not found the key to understanding just when the procedure works, because our proof also works in cases where the tangent quadric construction is known not to work.
so there is more data in the abel map than in the theta divisor itself. so which prym theta divisors allow one to recover the abel map uniquely? or even a finite set of possibilities?
the approach we took involved delicate questions of deformation theory, a useful technique analogous to differential calculus, but for functors of geometric objects rather than functions of numbers. Then, ironically considering a thread elsewhere on interrupted research time, teaching and administrative duties intervened, and we have not had time to pursue it to a conclusion.
Last edited: