arXiv Science⌕ Search

arXiv · 2610.22036

Ekedahl-Oort strata with a superspecial factor in unitary Shimura varieties

Abstract

Let $\mathbb{k}$ be an algebraically closed field of characteristic $p>2$ and let $O_K$ be an imaginary quadratic order in which $p$ is inert. For any $a,b\in \mathbb{Z}_{\geq 0}$ not both 0, denote by $M(a,b)$ the unitary Shimura variety that parametrizes principally polarized abelian varieties over $\mathbb{k}$ with an action of signature $(a,b)$ by $O_K$ (subject to certain compatibility conditions). For any $a,b,c,d \in \mathbb{Z}_{\geq 0}$, there is a natural product map $M(a,b) \times M(c,d) \to M(a+c,b+d)$, which induces a map on Ekedahl-Oort strata. In this paper we focus on product maps where at least one of the factors is superspecial, since most Ekedahl-Oort strata of unitary Shimura varieties contain such a factor. We describe maps with this property completely on the level of Weyl group coset representatives. We also characterize, on the level of Weyl group coset representatives, which Ekedahl-Oort strata of $M(a,b)$ admit a superspecial factor.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Emerald Andrews, Deewang Bhamidipati, Heidi Goodson, Steven R. Groen, Sandra Nair. 2026-10-15. Ekedahl-Oort strata with a superspecial factor in unitary Shimura varieties. https://arxiv.org/abs/2610.22036

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Solutions of $x_1^2+x_2^2-x_3^2=n^2$ with small $x_3$, revisited

Let $r(N)$ be the number of representations of $N$ as a sum of two squares. For every integer $n\ge 2$ we prove an asymptotic formula for $\sum_{x\equiv e \bmod 2}Φ(x/M)\,r(n^2+x^2)$, that is, for the number of integral solutions of $x_1^2+x_2^2-x_3^2=n^2$ with $x_3\equiv e \bmod 2$ in a range $|x_3|\ll M$, with smooth weight $Φ$. The formula has an explicit secondary term and a power saving in the error term, and it is non-trivial as soon as $M\ge n^{5/6+\varepsilon}$, that is, $M\ge D^{1/2-1/12+\varepsilon}$ with $D=n^2$. The leading term is $\frac{4}π(\log n)\intΦ(x/M)\,dx$, independently of the arithmetic of $n$; this corrects the main term stated in the published version (Ramanujan J. 63 (2024), 293-337). The proof factorises $n+ix_3$ in $\mathbb{Z}[i]$, which leads to Kloosterman sums. These are estimated by Weil's bound, combined with a Plancherel argument that exploits the curvature of the underlying quadric. This paper was written in collaboration with Claude (Opus 5.5, High), an AI model developed by Anthropic.

math.NT↗

Bessel Periods on $U(2,1) \times U(1,1)$, Relative Trace Formula and Non-Vanishing of Central $L$-values

In this paper we calculate the asymptotics of the second moment of the Bessel periods associated to certain holomorphic cuspidal representations $(π, π')$ of $U(2,1) \times U(1,1)$ of regular infinity type (averaged over $π$). Using these, we obtain quantitative non-vanishing results for the Rankin-Selberg central $L$-values $L(1/2, π\times π')$, which are of degree twelve over ${\mathbb Q}$, with concomitant difficulty in applying standard methods, especially since we are in a `conductor dropping' situation. We use the relative trace formula, and the orbital integrals are evaluated rather than compared with others. Besides their intrinsic interest, non-vanishing of these critical values also leads, by known results, to deducing certain associated Selmer groups have rank zero.

math.NT↗

Rational points on $X_0(N)^*$ when $N$ is non-squarefree

Let $N$ be a positive integer and $X_0(N)^*$ be the quotient of the modular curve $X_0(N)$ by its full group of Atkin-Lehner involutions. Elkies conjectures that the rational points on $X_0(N)^*$ are only cusps or CM points when $N$ is large enough. We establish an integrality result for the $j$-invariants of non-cuspidal rational points on $X_0(N)^*$ when $N$ is non-squarefree, representing a significant step toward resolving a key subcase of Elkies' conjecture. To this end, we prove the existence of rank-zero quotients of certain modular Jacobians $J_0(pq)$. Furthermore, in the non-squarefree case we provide a complete classification of the rational points on $X_0(N)^*$ of genus $1 \leq g \leq 5$, when they are finite. In the process we identify exceptional rational points on $X_0(75)^*$ and $X_0(147)^*$ which were not known before.

math.NT↗