These are my notes, and are only a rough approximation of the actual talk:
1. General Torelli and Schottky Problems
Take a class of smooth projective varieties with the same Hodge numbers. We can immediately ask two questions about the map from the set of these objects to the period domain:
- Torelli: Is the map injective? If not, how does injectivity fail?
- Schottky: What is the image? That is, which Hodge structures can be achieved?
We’ll look at a specific case, the one that’s usually the simplest: smooth curves of genus .
In this case, the map associates to each curve its Jacobian: . It is well known, in this case, that is injective. However, determining the closure of the image, call it , is much more difficult.
2. Moduli and Maps
We start by defining some moduli spaces (we’ll actually need some compactifications, but we won’t worry about those details):
Also, we get maps and by using the classical second order theta functions, which are related to symmetric divisors in the principal polarization, and is a vector space of dimension . (It is actually a specific one built out of a representation of a Heisenberg group)
Finally, we define to be the Prym map, which takes a double cover of curves to , which can be shown to be a ppav.
In 1888, Schottky wrote down a modular form for genus 4, which he claimed vanished precisely on . Igusa announced a proof in 1968 and published it in 1981.
In 1909, in a joint paper with Jung, the Schottky-Jung relation was proved
In that paper, Schottky and Jung conjectured that if we set , and the image of in , then . This would allow us to actually write down equations for in the natural coordinates on .
4. Non-Jacobians and big Schottky
It turns out that the SJ conjecture is false. There is a trick called the tetragonal construction which shows that the intermediate Jacobians of cubic threefolds are in . This was shown by Donagi in 1987, and in a second paper that year, he offered a solution:
Let be what was earlier called , and we define to be the image of the intersection of the translates of under the points of order 2, that is, is the locus of abelian varieties whose fiber from is everything. The new conjecture then becomes , and this is still believed to be true.
5. Genus 0-3
Genus is fairly uninteresting, as turns out to be dominant, as is shown by a simple dimension count for and .
6. Genus 4
Our approach is different from Igusa’s. His was hands on, ours is based on the fibers of and . First, we set to be the locus of intermediate Jacobians of cubic threefolds, and this breaks into and in , the even and odd parts (odd and even refers to the dimension of a certain cohomology group). It turns out that there is a map which is birational.
Now, if , the fiber over of is , a double cover of the Fano surface of lines in . This turns out to let us prove that is, away from the boundary (which we ignore in this case), just for , and so is irreducible. As is as well, we know that is.
7. Genus 5
Genus 5 is current work inprogress. First we look at . It turns out that . As it happens, the tetragonal construction furnishes an incidence relation on the fibers, and it is equivalent to that of lines on a cubic surface.
Using this, we can show that is also finite, and of degree 119.
Claim (Almost a theorem): in the toroidal partial compactification. (Here, denotes the component of the boundary where the vanishing cycle is orthogonal to the point of order 2)
Partial Proof: We can compute the degree of on each component. , , and , so all that remains is a computation to show that nothing else appears which contributes 0.
This claim then implies .