I know that the fibre of $A_{g,n}$ over $\mathbf{F}_p$ is quasi-projective (of what dimension?). Can one exhibit some smooth projective subvarieties of high dimension in it? What are references for its geometry?
Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)
|
0
1
|
|
||
|
|
|
3
|
The dimension is $g(g+1)/2$. The supersingular locus gives a large projective subvariety but I don't recall whether it is smooth or not. For references, look up the many papers of F. Oort. |
||
|
|
You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.
|
2
|
Over any field there are complete subvarieties of dimension $g-1$. Proof: the Satake compactification $A_g^S$ (which exists over $\mathbb Z$, by Faltings-Chai) has boundary of codimension $g$. So intersecting $A_g^S$, in some projective embedding, with an appropriate number of hyperplanes will give such subvarieties of $A_g$. |
||
|
|
