Oort's conjecture asserts that for any $g \geq 2$ and any prime $p$, every geometric generic member in the supersingular locus $\mathcal{S}_g$ has automorphism group $\{ \pm 1 \}$. This has been proved very recently by Viehmann in full generality, with previously known counterexamples for $p=2$ and $g=2,3$. We construct, for any $g \geq 3$, a closed subvariety of dimension $g-1$ which contains an open dense subset $\mathcal{U}$ of $a$-invariant $g-2$ such that $\mathcal{U}$ meets every irreducible component of $\mathcal{S}_g$ and every geometric point in $\mathcal{U}$ has automorphism group $\{ \pm 1 \}$ if $p>2$. This gives an independent proof of Oort's conjecture for $p>2$. When $g>3$, so $a = g-2>1$, this provides complementary information to the $a=1$ locus investigated in Viehmann's work on how the automorphism groups interact with the geometry.
For a prime $p\geq 5$, let $\mathscr S_g$ be the moduli space over $\overline{\mathbb F}_p$ of $g$-dimensional principally polarized supersingular abelian varieties. We show that each of the following loci contains an open dense subscheme on which the principally polarized abelian varieties have automorphism group $\{\...
Let $p$ be an odd prime number. Based on recent work of Zhang, we prove that for a finite set $S$ of primes of $\Q$ containing $\infty$ but not $p$, any continuous odd representation $G_{\Q,S} \to \GL_2(A)$ over a complete Noetherian local ring $A$ with finite residue field of characteristic $p$ has finite image, where...
We prove Hitchin's conjecture for $\mathfrak{sl}_n$ in every odd prime degree. More precisely, let $p=2k+1$ be prime and let $n\geq k+1$. Every nonzero primitive element $\alpha\in\Lambda^p(\mathfrak{sl}_n^*)^{\mathfrak{sl}_n}$ is nonzero on the top exterior power of the unique $p$-dimensional irreducible submodule of...
Let $K$ be an imaginary quadratic field and let $p \ge 5$ be a prime that is unramified in $K$. Let $\mathcal{A}_f/\mathbb{Q}$ be an abelian variety of $\mathrm{GL}_2$-type associated with a weight-two modular form $f$, with good non-ordinary reduction at $p$, and suppose that $(f,K)$ satisfies the generalized Heegner...
The classical Thompson's conjecture asserts that in any finite nonabelian simple group $G$, there exists a conjugacy class $S$ whose square is equal to the entire group. Shalev (Annals Math., 2009) conjectured that a much stronger quantitative version holds: there exists $\epsilon>0$ such that for any conjugacy class $...
For a finite group $H$, let $\nu(H)$ denote the maximum order of a nilpotent subgroup of $H$. We prove that every finite solvable transitive permutation group $P$ on a finite set $\Omega$ has a subset $\Delta\subseteq\Omega$ such that $|P:P_\Delta|\ge\nu(P_\Delta)$. We also prove that if a finite solvable group $H$ act...
Bao-Yu Zhang· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
