arXiv subjects
Publications and source records attributed to Sian Nie.
Deep level Deligne-Lusztig representations, as natural extensions of the classical Deligne-Lusztig representations, have recently seen various applications in the Langlands program. In this note, we address their distinction problem for symmetric pairs over finite fields, yielding a generalization of a classical result by Lusztig.
Deep level Deligne--Lusztig representations, which are natural analogues of classical Deligne--Lusztig representations, recently play an important role in geometrization of irreducible supercuspidals of $p$-adic groups. In this paper, we propose a construction of deep level Deligne--Lusztig varieties/representations in the tamely ramified case, extending previous constructions in the unramified case. As an application, under a mild assumption on the residue field, we show that each regular irreducible supercuspidal is the compact induction of a deep level Deligne--Lusztig representation, and generally, each irreducible supercuspidal is a direct summand of the compact induction of the cohomology of a deep level Deligne--Lusztig variety.
Inspired by the foundational work of Bezrukavnikov and Chan \cite{BC24} on character sheaves for parahoric subgroups and an alternative interpretation of deep level Deligne-Lusztig characters in \cite{Nie_24}, we present a parallel but closed (non-iterated) construction of character sheaves within the framework of J.--K. Yu's types. We show that our construction yields perverse sheaves, which coincide with those produced in \cite{BC24} in an iterated way. In the regular case we establish the compatibility of their Frobenius traces with deep level Deligne-Lusztig characters. As an application, we prove the positive-depth Springer's hypothesis for arbitrary characters, thereby generalizing the generic case result of Chan and Oi \cite{CO25}. The proofs of our results make critical use of the strategies and results from \cite{BC24} and \cite{Nie_24}.
Cases of Shimura varieties where the special fibre of a Rapoport-Zink space is simply the union of classical Deligne-Lusztig varieties are known as fully Hodge-Newton decomposable ones, and have been studied with great interest in the past. In recent times, the focus has shifted to identify tractable cases beyond the fully Hodge-Newton decomposable ones, and several instances have been identified where only products of classical Deligne-Lusztig varities with simpler spaces occur. In our paper, we provide a uniform framework to capture these phenomena. By studying liftings from the affine flag variety to the loop group and combining them with the Deligne-Lusztig reduction method, our main result is a powerful criterion to show that an affine Deligne-Lusztig variety is the product of a classical Deligne-Lusztig variety with affine spaces and pointed affine spaces. We introduce the class of elements that we call having geometric Coxeter type, strictly including previously studied notions such as positive Coxeter type or finite Coxeter type. These elements of geometric Coxeter type satisfy the conditions for our main result and also a condition on the Newton stratification introduced by Milićević-Viehmann.
We essentially complete a program initiated by Boyarchenko--Weinstein to give a full description of the cohomology of deep level Deligne--Lusztig varieties for elliptic tori, with coefficients in arbitrary non-defining characteristics. We give several applications of our results: we show that the $ϕ$-weight part of the cohomology is very often concentrated in a single degree, and is induced from a Yu-type subgroup. Also, we give applications to a previous work of the second author on decomposition of deep level Deligne--Lusztig representations, and to Feng's explicit construction of Fargues--Scholze parameters. Furthermore, a conjecture of Chan--Oi about the Drinfeld stratification is verified as a special case from our results.
In a previous paper, the second named author obtains a decomposition of an elliptic higher Deligne-Lusztig representation into irreducible summands, which are built in the same way as Yu types using a geometric analog $κ'$ of the Weil-Heisenberg representation $κ$. In this note, we show that $κ'$ and $κ$ differs by a character $χ$. Moreover, under a mild condition on the cardinality $q$ of the residue field (for instance $q > 3$), we show that $χ$ equals the quadratic character constructed by Fintzen-Kaletha-Spice, which gives an explicit irreducible decomposition result on elliptic higher Deligne-Lusztig representations. As an application, we deduce (under the mild condition on $q$) that each unramified Yu type appears in the cohomology of higher Deligne-Lusztig varieties, and each unramified Kaletha's regular supercuspidal representation is the compact induction of a specified higher Deligne-Lusztig representation up to a sign.
In this article we study the cohomology of deep level Deligne--Lusztig varieties of Coxeter type, attached to a reductive group over a local non-archimedean field, which splits over an unramified extension. This allows to construct some new irreducible representations of parahoric subgroups of $p$-adic groups. Moreover, in the quasi-split case we prove that these compactly induce to finite direct sums of irreducible supercuspidal representations of the $p$-adic group. This extends previous results of \cite{DI}, \cite{CI_loopGLn}.
In this paper, we study convex elements in a (twisted) Weyl group introduced by Ivanov and the first named author. We show that each conjugacy class of the twisted Weyl group contains a convex element, and moreover, the Steinberg cross-sections exist for all convex elements. This result strictly enlarges the cases of Steinberg cross-sections from a new perspective, and will play an essential role in the study of higher Deligne-Lusztig representations.
Higher Deligne-Lusztig representations are virtual smooth representations of parahoric subgroups in a $p$-adic group. They are natural analogs of classical Deligne-Lusztig representations of reductive groups over finite fields. The most interesting higher Deligne-Lusztig representations are those attached to elliptic maximal tori, whose compact inductions are expected to realize supercuspidal representations of $p$-adic groups. Under a mild condition on $p$, in this paper we establish an explicit decomposition of these higher Deligne-Lusztig representations into irreducible summands. Surprisingly, all the irreducible summands are built in the same way as those in Yu's construction of irreducible supercuspidal representations, the only difference being that the Weil-Heisenberg representations in Yu's construction are replaced by their geometric analogs. As an application, we show that each irreducible supercuspidal representation of a $p$-adic group, attached to an unramified cuspidal datum, is a direct summand of the compact induction of a suitable higher Deligne-Lusztig representation, whenever the cardinality of the residue field of the $p$-adic field is not too small.
In this paper, we study the affine Deligne--Lusztig variety $X(μ,b)_K$ and classify all quadruples $(\mathbf{G}, μ, b, K)$ with $\dim X(μ, b)_K=0$. This question was first asked by Rapoport in 2005, who also made an explicit conjecture in the hyperspecial level. We prove that $\dim X(μ,b)_K=0$ if and only if, up to certain Hodge-Newton decomposition condition, the pair $(\mathbf{G}, \{μ\})$ is of extended Lubin-Tate type. We also give a combinatorial description of this condition by the essential gap function on $B(\mathbf{G})$ and the $μ$-ordinary condition for the generic Newton stratum.
We determine the cohomology of the closed Drinfeld stratum of $p$-Deligne--Lusztig schemes of Coxeter type attached to arbitrary inner forms of unramified groups over a local non-archimedean field. We prove that the corresponding torus weight spaces are supported in exactly one cohomological degree, and are pairwisely non-isomorphic irreducible representations of the pro-unipotent radical of the corresponding parahoric subgroup. We also prove that all Moy--Prasad quotients of this stratum are maximal varieties, and we investigate the relation between the resulting representations and Kirillov's orbit method.
In this note, we introduce a natural analogue of Steinberg's cross-section in the loop group of an unramified reductive group $\mathbf G$. We show this loop Steinberg's cross-section provides a simple geometric model for the poset $B(\mathbf G)$ of Frobenius-twisted conjugacy classes (referred to as Newton strata) of the loop group. As an application, we confirm a conjecture by Ivanov on loop Delgine-Lusztig varieties of Coxeter type. This geometric model also leads to new and direct proofs of several classical results, including the converse to Mazur's inequality, Chai's length formula on $B(\mathbf G)$, and a key combinatorial identity in the study affine Deligne-Lusztig varieties with finite Coxeter parts.
In this paper, we study affine Deligne--Lusztig varieties $X_w(b)$ when the finite part of the element $w$ in the Iwahori--Weyl group is a partial $σ$-Coxeter element. We show that such $w$ is a cordial element and $X_w(b) \neq \emptyset$ if and only if $b$ satisfies a certain Hodge--Newton indecomposability condition. The main result of this paper is that for such $w$ and $b$, $X_w(b)$ has a simple geometric structure: the $σ$-centralizer of $b$ acts transitively on the set of irreducible components of $X_w(b)$; and each irreducible component is an iterated fibration over a classical Deligne--Lusztig variety of Coxeter type, and the iterated fibers are either $\mathbb A^1$ or $\mathbb G_m$.
The Demazure product gives a natural monoid structure on any Coxeter group. Such structure occurs naturally in many different areas in Lie Theory. This paper studies the Demazure product of an extended affine Weyl group $\tilde W$. The main discovery is a close connection between the Demazure product of an extended affine Weyl group and the quantum Bruhat graph of the finite Weyl group. As applications, we obtain explicit formulas on the generic Newton points and the Demazure products of elements in the lowest two-sided cell/shrunken Weyl chambers of $\tilde W$, and obtain an explicit formula on the Lusztig-Vogan map from the coweight lattice to the set of dominant coweights.
By extending the method of semi-modules developed by de Jong, Oort, Viehmann and Hamacher, we introduce a stratification for the affne Deligne-Lusztig variety (in the affne Grassmannian) attached to attached to a minuscule cocharacter and a basic element. As an application, we complete the proof of a conjecture on the irreducible components of affne Deligne-Lusztig varieties, due to Miaofen Chen and Xinwen Zhu.
For unramified reductive groups, we determine the connected components of affine Deligne-Lusztig varieties in the partial affine flag varieties. Based on the work of Hamacher-Kim and Zhou, this result allows us to verify, in the unramified group case, the He-Rapoport axioms, the ``almost product structure" of Newton strata, and the precise description of mod $p$ isogeny classes predicted by the Langlands-Rapoport conjecture, for the Kisin-Pappas integral models of Shimura varieties of Hodge type with parahoric level structure.
Motivated by the desire to understand the geometry of the basic loci in the reduction of Shimura varieties, we study their "group-theoretic models" -- generalized affine Deligne-Lusztig varieties -- in cases where they have a particularly nice description. Continuing the work of [GH] and [GHN] we single out the class of cases of Coxeter type, give a characterization in terms of the dimension, and obtain a complete classification. We also discuss known, new and open cases from the point of view of Shimura varieties/Rapoport-Zink spaces.
We consider the Kisin variety associated to a $n$-dimensional absolutely irreducible mod $p$ Galois representation $\barρ$ of a $p$-adic field $K$ and a cocharacter $μ$. Kisin conjectured that the Kisin variety is connected in this case. We show that Kisin's conjecture holds if $K$ is totally ramfied with $n=3$ or $μ$ is of a very particular form. As an application, we also get a connectedness result for the deformation ring associated to $\barρ$ of given Hodge-Tate weights. We also give counterexamples to show Kisin's conjecture does not hold in general.