arXiv subjects

Qingchao Yu

Publications and source records attributed to Qingchao Yu.

11 recordsLinked to original sources

arXiv2026

On the Face Map of the Admissible Set With Iwahori Level

To each face $\mathcal{F}$ of the coweight polytope $\mathcal{P}_{\mu}$, we associate a subset $\text{Adm}(\mu)_{\mathcal{F}}$ of the $\mu$-admissible set $\text{Adm}(\mu)$, which we refer to as a face of $\text{Adm}(\mu)$. This gives rise to a face decomposition of $\text{Adm}(\mu)$. As an application, we give a complete description of the fibers of the face map $|\Delta|^f$ defined by Pappas-Rapoport and prove that the face map is surjective.

math.NT↗

arXiv2026

Cohen-Macaulayness of Local Models via Shellability of the Admissible Set

We prove that for any dominant cocharacter $\mu$ and any parahoric level $K$, the augmented admissible set $\widehat{\Adm(\mu)^K}$ in the Iwahori-Weyl group is dual EL-shellable. This resolves a conjecture of G\"ortz and provides a new proof of the Cohen-Macaulay property for the special fibres of local models with parahoric level structure. In particular, the result settles the previously open cases of residue characteristic $2$ and non-reduced root systems. This approach is characteristic-free and intrinsic to the structure of admissible sets. Moreover, our construction yields an explicit shelling, which translates into an inductive, component-by-component building procedure for the special fibre that preserves Cohen-Macaulayness at each step. As a consequence, we obtain the Cohen-Macaulayness of many local models of Shimura varieties considered in the literature, most notably those satisfying the He-Pappas-Rapoport description, as well as the local models characterized by Scholze-Weinstein and constructed by Ansch\"utz-Gleason-Louren\c{c}o-Richarz. Via the usual local model diagram, these results imply the Cohen-Macaulay property for the corresponding integral models of Shimura varieties whenever available. This gives a new proof that the integral models constructed by Kisin-Pappas-Zhou are Cohen-Macaulay.

math.NT↗

arXiv2025

Dual Shellability of Admissible Set and Cohen-Macaulayness of Local Models

We prove G\"ortz's combinatorial conjecture \cite{Go01} on dual shellability of admissible sets in Iwahori-Weyl groups, proving that the augmented admissible set $\widehat{\mathrm{Adm}}(\mu)$ is dual shellable for any dominant coweight $\mu$. This provides a uniform, elementary approach to establishing Cohen-Macaulayness of the special fibers of the local models with Iwahori level structure for all reductive groups-including residue characteristic $2$ and non-reduced root systems-circumventing geometric methods. Local models, which encode singularities of Shimura varieties and moduli of shtukas, have seen extensive study since their introduction by Rapoport-Zink, with Cohen-Macaulayness remaining a central open problem. While previous work relied on case-specific geometric analyses (e.g., Frobenius splittings \cite{HR23} or compactifications \cite{He13}), our combinatorial proof yields an explicit labeling that constructs the special fiber by sequentially adding irreducible components while preserving Cohen-Macaulayness at each step, a new result even for split groups.

math.AG↗

arXiv2025

Lifting Deligne-Lusztig Reduction and Geometric Coxeter Type Elements

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\'cevi\'c-Viehmann.

math.AG↗

arXiv2024

Irreducibility of Local Models

In this paper, we consider the geometric special fibers of local models of Shimura varieties and of moduli of $\bG$-Shtukas with parahoric level structure. We investigate two problems with respect to the irreducibility of local models. First, we classify the cases where the local models are irreducible. Next, we show that the fibers of the level-changing map between the geometric special fiber of local models with different parahoric levels are always isomorphic to single (i.e., irreducible) Schubert varieties in the partial flag variety.

math.AG↗

arXiv2024

Convex elements and Steinberg's cross-sections

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.

math.RT↗

arXiv2024

Zero-dimensional affine Deligne--Lusztig varieties

In this paper, we study the affine Deligne--Lusztig variety $X(\mu,b)_K$ and classify all quadruples $(\mathbf{G}, \mu, b, K)$ with $\dim X(\mu, 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(\mu,b)_K=0$ if and only if, up to certain Hodge-Newton decomposition condition, the pair $(\mathbf{G}, \{\mu\})$ 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 $\mu$-ordinary condition for the generic Newton stratum.

math.AG↗

arXiv2023

Affine Deligne-Lusztig Varieties of Positive Coxeter Type

We introduce a class of affine Deligne--Lusztig varieties that we call of positive Coxeter type. We show that the affine Deligne--Lusztig varieties of positive Coxeter type have a very simple and explicitly described geometric structure. Conversely, we explain how some of these geometric properties can be used to characterize this class. These results vastly generalize the work of He--Nie--Yu on affine Deligne-Lusztig varieties of finite Coxeter type, leading to applications to Shimura varieties that were not possible using the old notion.

math.AG↗

arXiv2023

Machine learning assisted exploration for affine Deligne-Lusztig varieties

This paper presents a novel, interdisciplinary study that leverages a Machine Learning (ML) assisted framework to explore the geometry of affine Deligne-Lusztig varieties (ADLV). The primary objective is to investigate the nonemptiness pattern, dimension and enumeration of irreducible components of ADLV. Our proposed framework demonstrates a recursive pipeline of data generation, model training, pattern analysis, and human examination, presenting an intricate interplay between ML and pure mathematical research. Notably, our data-generation process is nuanced, emphasizing the selection of meaningful subsets and appropriate feature sets. We demonstrate that this framework has a potential to accelerate pure mathematical research, leading to the discovery of new conjectures and promising research directions that could otherwise take significant time to uncover. We rediscover the virtual dimension formula and provide a full mathematical proof of a newly identified problem concerning a certain lower bound of dimension. Furthermore, we extend an open invitation to the readers by providing the source code for computing ADLV and the ML models, promoting further explorations. This paper concludes by sharing valuable experiences and highlighting lessons learned from this collaboration.

math.AG↗

arXiv2022

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 $\sigma$-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 $\sigma$-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$.

math.RT↗

arXiv2020

Dimension formula of the affine Deligne-Lusztig variety $X(\mu, b)$

The study of certain union $X(\mu, b)$ of affine Deligne-Lusztig varieties in the affine flag varieties arose from the study of Shimura varieties with Iwahori level structure. In this paper, we give an explicit formula of $\dim X(\mu, b)$ for sufficiently large dominant coweight $\mu$.

math.AG↗