Skip to main content
added 6 characters in body
Source Link
Dan Petersen
  • 40.2k
  • 2
  • 114
  • 201

Let me comment on Felipe Voloch's answer. The supersingular locus (i.e. the locus of $p$-rank zero) is indeed complete: it is a closed subvariety of $\overline A_g$ (choose a toroidal compactification) because the $p$-rank is lower semicontinuous, and it does not meet the boundary because a torus has positive $p$-rank. Moreover it will in fact have the largest possible dimension of a complete subvariety of $A_g$ (in positive characteristic); its dimension is $g(g-1)/2$. Indeed if $X$ isthere exists a complete subvariety of dimension $d$ and $\eta$ is an ample divisor class, then $\eta^d \neq 0$. Now $\lambda_1$ (1st Chern class of Hodge bundle) is ample and $\lambda_1^{1+g(g-1)/2}$ vanishes. For this see

van der Geer, Gerard. Cycles on the moduli space of abelian varieties. Moduli of curves and abelian varieties, 65--89, Aspects Math., E33, Vieweg, Braunschweig, 1999. MR1722539

In characteristic zero there is no complete subvariety of $A_g$ of this dimension. Hence the largest dimension of a compact subvariety depends on the characteristic!

Keel, Sean; Sadun, Lorenzo. Oort's conjecture for $A_ g\otimes\Bbb C$. J. Amer. Math. Soc. 16 (2003), no. 4, 887--900 (electronic). MR1992828

Let me comment on Felipe Voloch's answer. The supersingular locus (i.e. the locus of $p$-rank zero) is indeed complete: it is a closed subvariety of $\overline A_g$ (choose a toroidal compactification) because the $p$-rank is lower semicontinuous, and it does not meet the boundary because a torus has positive $p$-rank. Moreover it will in fact have the largest possible dimension of a complete subvariety of $A_g$ (in positive characteristic); its dimension is $g(g-1)/2$. Indeed if $X$ is a complete subvariety of dimension $d$ and $\eta$ is an ample divisor class, then $\eta^d \neq 0$. Now $\lambda_1$ (1st Chern class of Hodge bundle) is ample and $\lambda_1^{1+g(g-1)/2}$ vanishes. For this see

van der Geer, Gerard. Cycles on the moduli space of abelian varieties. Moduli of curves and abelian varieties, 65--89, Aspects Math., E33, Vieweg, Braunschweig, 1999. MR1722539

In characteristic zero there is no complete subvariety of $A_g$ of this dimension. Hence the largest dimension of a compact subvariety depends on the characteristic!

Keel, Sean; Sadun, Lorenzo. Oort's conjecture for $A_ g\otimes\Bbb C$. J. Amer. Math. Soc. 16 (2003), no. 4, 887--900 (electronic). MR1992828

Let me comment on Felipe Voloch's answer. The supersingular locus (i.e. the locus of $p$-rank zero) is indeed complete: it is a closed subvariety of $\overline A_g$ (choose a toroidal compactification) because the $p$-rank is lower semicontinuous, and it does not meet the boundary because a torus has positive $p$-rank. Moreover it will in fact have the largest possible dimension of a complete subvariety of $A_g$ (in positive characteristic); its dimension is $g(g-1)/2$. Indeed if there exists a complete subvariety of dimension $d$ and $\eta$ is an ample divisor class, then $\eta^d \neq 0$. Now $\lambda_1$ (1st Chern class of Hodge bundle) is ample and $\lambda_1^{1+g(g-1)/2}$ vanishes. For this see

van der Geer, Gerard. Cycles on the moduli space of abelian varieties. Moduli of curves and abelian varieties, 65--89, Aspects Math., E33, Vieweg, Braunschweig, 1999. MR1722539

In characteristic zero there is no complete subvariety of $A_g$ of this dimension. Hence the largest dimension of a compact subvariety depends on the characteristic!

Keel, Sean; Sadun, Lorenzo. Oort's conjecture for $A_ g\otimes\Bbb C$. J. Amer. Math. Soc. 16 (2003), no. 4, 887--900 (electronic). MR1992828

Source Link
Dan Petersen
  • 40.2k
  • 2
  • 114
  • 201

Let me comment on Felipe Voloch's answer. The supersingular locus (i.e. the locus of $p$-rank zero) is indeed complete: it is a closed subvariety of $\overline A_g$ (choose a toroidal compactification) because the $p$-rank is lower semicontinuous, and it does not meet the boundary because a torus has positive $p$-rank. Moreover it will in fact have the largest possible dimension of a complete subvariety of $A_g$ (in positive characteristic); its dimension is $g(g-1)/2$. Indeed if $X$ is a complete subvariety of dimension $d$ and $\eta$ is an ample divisor class, then $\eta^d \neq 0$. Now $\lambda_1$ (1st Chern class of Hodge bundle) is ample and $\lambda_1^{1+g(g-1)/2}$ vanishes. For this see

van der Geer, Gerard. Cycles on the moduli space of abelian varieties. Moduli of curves and abelian varieties, 65--89, Aspects Math., E33, Vieweg, Braunschweig, 1999. MR1722539

In characteristic zero there is no complete subvariety of $A_g$ of this dimension. Hence the largest dimension of a compact subvariety depends on the characteristic!

Keel, Sean; Sadun, Lorenzo. Oort's conjecture for $A_ g\otimes\Bbb C$. J. Amer. Math. Soc. 16 (2003), no. 4, 887--900 (electronic). MR1992828