-
Singularities in the Ekedahl--Oort stratification
Authors:
Jean-Stefan Koskivirta,
Lorenzo La Porta,
Stefan Reppen
Abstract:
We give conceptual and combinatorial criteria for the normality and Cohen--Macaulayness of unions of Ekedahl--Oort strata in the special fiber of abelian type Shimura varieties. For unions of two strata, one of the two having codimension one in the closure of the other, we determine exactly when their union is smooth. We provide explicit numerical criteria for the smoothness of any one-dimensional…
▽ More
We give conceptual and combinatorial criteria for the normality and Cohen--Macaulayness of unions of Ekedahl--Oort strata in the special fiber of abelian type Shimura varieties. For unions of two strata, one of the two having codimension one in the closure of the other, we determine exactly when their union is smooth. We provide explicit numerical criteria for the smoothness of any one-dimensional EO-stratum closure of Shimura varieties. For groups of type $\mathsf{B}_n$, we describe the smooth and normal loci of all EO-strata closures. We construct reduced strata Hasse invariants of explicit weights on EO-strata of codimension at most $n-1$, showing that their Zariski closures are local complete intersections. We also provide a closed form formula for their cycle classes.
△ Less
Submitted 19 June, 2025;
originally announced June 2025.
-
Systems of Hecke eigenvalues on subschemes of Shimura varieties
Authors:
Stefan Reppen
Abstract:
We show that the systems of Hecke eigenvalues that appear in the coherent cohomology with coefficients in automorphic line bundles of any mod $p$ abelian type compact Shimura variety at hyperspecial level are the same as those appearing in any Hecke-equivariant closed subscheme. We also prove analogous results for noncompact Shimura varieties or nonclosed subschemes, such as Ekedahl-Oort strata, l…
▽ More
We show that the systems of Hecke eigenvalues that appear in the coherent cohomology with coefficients in automorphic line bundles of any mod $p$ abelian type compact Shimura variety at hyperspecial level are the same as those appearing in any Hecke-equivariant closed subscheme. We also prove analogous results for noncompact Shimura varieties or nonclosed subschemes, such as Ekedahl-Oort strata, length strata and central leaves.
△ Less
Submitted 18 September, 2024;
originally announced September 2024.
-
An Ogus Principle for Zip period maps: The Hasse invariant's vanishing order via `Frobenius and the Hodge filtration'
Authors:
Wushi Goldring,
Stefan Reppen
Abstract:
This paper generalizes a result of Ogus that, under certain technical conditions, the vanishing order of the Hasse invariant of a family $Y/X$ of $n$-dimensional Calabi-Yau varieties in characteristic $p$ at a point $x$ of $X$ equals the "conjugate line position" of $H^n_{\text{dR}}(Y/X)$ at $x$, i.e. the largest $i$ such that the line of the conjugate filtration is contained in $\text{Fil}^i$ of…
▽ More
This paper generalizes a result of Ogus that, under certain technical conditions, the vanishing order of the Hasse invariant of a family $Y/X$ of $n$-dimensional Calabi-Yau varieties in characteristic $p$ at a point $x$ of $X$ equals the "conjugate line position" of $H^n_{\text{dR}}(Y/X)$ at $x$, i.e. the largest $i$ such that the line of the conjugate filtration is contained in $\text{Fil}^i$ of the Hodge filtration. For every triple $(G,μ,r)$ consisting of a connected, reductive $\mathbf{F}_p$-group $G$, a cocharacter $μ\in X_*(G)$ and an $\mathbf{F}_p$-representation $r$ of $G$, we state a generalized Ogus Principle. If $ζ:X \to \text{$G$-$\mathtt{Zip}$}^μ$ is a smooth morphism (=`Zip period map'), then the group theoretic Ogus Principle implies an Ogus Principle on $X$. We deduce an Ogus Principle for several Hodge and abelian-type Shimura varieties and the moduli space of K3 surfaces.
△ Less
Submitted 8 April, 2024;
originally announced April 2024.
-
Moduli of $\mathcal{G}$-bundles under nonconnected group schemes and nondensity of essentially finite bundles
Authors:
Ludvig Olsson,
Stefan Reppen,
Tuomas Tajakka
Abstract:
We prove the existence of a projective good moduli space of principal $\mathcal{G}$-bundles under nonconnected reductive group schemes $\mathcal{G}$ over a smooth projective curve $C$. We also prove that the moduli stack of $\mathcal{G}$-bundles decomposes into finitely many substacks $\text{Bun}_{\mathcal{P}}$ each admitting a torsor…
▽ More
We prove the existence of a projective good moduli space of principal $\mathcal{G}$-bundles under nonconnected reductive group schemes $\mathcal{G}$ over a smooth projective curve $C$. We also prove that the moduli stack of $\mathcal{G}$-bundles decomposes into finitely many substacks $\text{Bun}_{\mathcal{P}}$ each admitting a torsor $\text{Bun}_{\mathcal{G}_\mathcal{P}}\to \text{Bun}_{\mathcal{P}}$ under a finite group, for some connected reductive group schemes $\mathcal{G}_\mathcal{P}$ over $C$. We use this for the second purpose of the article: for any constant connected reductive group $G$, the subset of essentially finite $G$-bundles in the moduli of degree 0 semistable $G$-bundles over $C$ is not dense, unless $G$ is a torus or the genus of $C$ is smaller than 2. We do this by giving an upper bound on the dimension of the closure of the subset of essentially finite $G$-bundles.
△ Less
Submitted 9 November, 2023;
originally announced November 2023.
-
On the Hasse invariant of Hilbert modular varieties mod $p$
Authors:
Stefan Reppen
Abstract:
Let $F$ be a totally real field and let $S$ denote the geometric special fiber of a Hilbert modular variety associated to $F$, at a prime unramified in $F$. We show that the order of vanishing of the Hasse invariant on $S$ is equal to the largest integer $m$ such that the smallest piece of the conjugate filtration lies in the $m^{\text{th}}$ piece of the Hodge filtration. This result is a direct a…
▽ More
Let $F$ be a totally real field and let $S$ denote the geometric special fiber of a Hilbert modular variety associated to $F$, at a prime unramified in $F$. We show that the order of vanishing of the Hasse invariant on $S$ is equal to the largest integer $m$ such that the smallest piece of the conjugate filtration lies in the $m^{\text{th}}$ piece of the Hodge filtration. This result is a direct analogue of Ogus' on families of Calabi-Yau varieties in positive characteristic. We also show that the order of vanishing at a point is the same as the codimension of the Ekedahl-Oort stratum containing it.
△ Less
Submitted 27 June, 2023;
originally announced June 2023.
-
Essentially finite $G$-torsors
Authors:
Archia Ghiasabadi,
Stefan Reppen
Abstract:
Let $X$ be a smooth projective curve of genus $g$, defined over an algebraically closed field $k$, and let $G$ be a connected reductive group over $k$. We say that a $G$-torsor is essentially finite if it admits a reduction to a finite group, generalising the notion of essentially finite vector bundles to arbitrary groups $G$. We give a Tannakian interpretation of such torsors, and we prove that a…
▽ More
Let $X$ be a smooth projective curve of genus $g$, defined over an algebraically closed field $k$, and let $G$ be a connected reductive group over $k$. We say that a $G$-torsor is essentially finite if it admits a reduction to a finite group, generalising the notion of essentially finite vector bundles to arbitrary groups $G$. We give a Tannakian interpretation of such torsors, and we prove that all essentially finite $G$-torsors have torsion degree, and that the degree is 0 if $X$ is an elliptic curve. We then study the density of the set of $k$-points of essentially finite $G$-torsors of degree $0$, denoted $M_{G}^{\text{ef},0}$, inside $M_{G}^{\text{ss},0}$, the $k$-points of all semistable degree 0 $G$-torsors. We show that when $g=1$, $M_{G}^{\text{ef}}\subset M_{G}^{\text{ss},0}$ is dense. When $g>1$ and when $\text{char}(k)=0$, we show that for any reductive group of semisimple rank 1, $M_{G}^{\text{ef},0}\subset M_{G}^{\text{ss},0}$ is not dense.
△ Less
Submitted 14 September, 2023; v1 submitted 5 November, 2022;
originally announced November 2022.
