On the geometry of Certain Non-Basic Affine Deligne-Lusztig Varieties

Abstract

Let $F$ be a non-Archimedean local field, let $L=\breve{F}$, and let $G={\mathrm{GL}}_n$. Let $M\subset G$ be a standard Levi subgroup and let $b\in M(L)$ be basic in $M$, but not necessarily basic in $G$. For a dominant cocharacter $\mu$, we study the reduction-to-Levi morphism $\beta :X_{\mu }^G(b)\to {⨆}_{{\mu }_M\in S_M(\mu ,{\nu }_b)}{X}_{{\mu }_M}^M(b)$ for affine Deligne--Lusztig varieties in the affine Grassmannian. Using an Iwasawa factorization relative to $P=MN$, we reduce the fiber condition to explicit Frobenius-twisted lattice equations in the off-block coordinates. In the Drinfeld case, where the base $X_{{\mu }_M}^M(b)$ is zero-dimensional, we prove that $\beta$ is globally trivial with constant affine-space fiber in the non-basic cases considered. More generally, in the minuscule case we develop a nonzero-slope lattice-theoretic criterion which shows that the fibers are affine spaces and that $\beta$ is Zariski locally a trivial affine-space bundle in the non-basic cases considered. We also give examples in the non-minuscule setting where the fibers need not be affine spaces.

37 pages; comments welcome