Xuhua He’s research while affiliated with The University of Hong Kong and other places

What is this page?


This page lists works of an author who doesn't have a ResearchGate profile or hasn't added the works to their profile yet. It is automatically generated from public (personal) data to further our legitimate goal of comprehensive and accurate scientific recordkeeping. If you are this author and want this page removed, please let us know.

Publications (39)


Product structure and regularity theorem for totally nonnegative flag varieties
  • Article
  • Full-text available

April 2024

·

11 Reads

·

3 Citations

Inventiones mathematicae

Huanchen Bao

·

Xuhua He

The totally nonnegative flag variety was introduced by Lusztig. It has enriched combinatorial, geometric, and Lie-theoretic structures. In this paper, we introduce a (new) J J -total positivity on the full flag variety of an arbitrary Kac-Moody group, generalizing the (ordinary) total positivity. We show that the J J -totally nonnegative flag variety has a cellular decomposition into totally positive J J -Richardson varieties. Moreover, each totally positive J J -Richardson variety admits a favorable decomposition, called a product structure. Combined with the generalized Poincare conjecture, we prove that the closure of each totally positive J J -Richardson variety is a regular CW complex homeomorphic to a closed ball. Moreover, the J J -total positivity on the full flag provides a model for the (ordinary) totally nonnegative partial flag variety. As a consequence, we prove that the closure of each (ordinary) totally positive Richardson variety is a regular CW complex homeomorphic to a closed ball, confirming conjectures of Galashin, Karp and Lam in (Adv. Math. 351:614–620, 2019). We also show that the link of the totally nonnegative part of UU^{-} U − for any Kac-Moody group forms a regular CW complex. This generalizes the result of Hersh (Invent. Math. 197(1):57–114, 2014) for reductive groups.

Download

Stabilizers of irreducible components of affine Deligne–Lusztig varieties

January 2024

·

1 Read

·

7 Citations

Journal of the European Mathematical Society

We study the J_{b}(F) -action on the set of top-dimensional irreducible components of affine Deligne–Lusztig varieties in the affine Grassmannian. We show that the stabilizer of any such component is a parahoric subgroup of J_{b}(F) of maximal volume, verifying a conjecture of X. Zhu. As an application, we give a description of the set of top-dimensional irreducible components in the basic locus of Shimura varieties.


Hasse diagram for the partial orders on JW\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${}^J W$$\end{document}
A generalization of cyclic shift classes

October 2023

·

12 Reads

·

1 Citation

Selecta Mathematica

Motivated by Lusztig’s G-stable pieces, we consider the combinatorial pieces: the pairs (w, K) for elements w in the Weyl group and subsets K of simple reflections that are normalized by w. We generalize the notion of cyclic shift classes on the Weyl groups to the set of combinatorial pieces. We show that the partial cyclic shift classes of combinatorial pieces associated with minimal-length elements have nice representatives. As applications, we prove the left-right symmetry and the compatibility of the induction functors of the parabolic character sheaves.


Machine learning assisted exploration for affine Deligne-Lusztig varieties

August 2023

·

48 Reads

·

Xuhua He

·

Pengfei Jin

·

[...]

·

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.


Tits Groups of Iwahori-Weyl Groups and Presentations of Hecke Algebras

June 2023

·

26 Reads

·

1 Citation

Transformation Groups

Let G be a connected reductive group over a non-archimedean local field F and I be an Iwahori subgroup of G(F). Let InI_n is the n-th Moy-Prasad filtration subgroup of I. The purpose of this paper is two-fold: to give some nice presentations of the Hecke algebra of connected, reductive groups with InI_n-level structure; and to introduce the Tits group of the Iwahori-Weyl group of groups G that split over an unramified extension of F. The first main result of this paper is a presentation of the Hecke algebra H(G(F),In)\mathcal {H}(G(F),I_n), generalizing the previous work of Iwahori-Matsumoto on the affine Hecke algebras. For split GLnGL_n, Howe gave a refined presentation of the Hecke algebra H(G(F),In)\mathcal {H}(G(F),I_n). To generalize such a refined presentation to other groups requires the existence of some nice lifting of the Iwahori-Weyl group W to G(F). The study of a certain nice lifting of W is the second main motivation of this paper, which we discuss below. In 1966, Tits introduced a certain subgroup of G(k)G(\textbf{k}) for any algebraically closed field k\textbf{k}, which is an extension of the finite Weyl group W0W_0 by an elementary abelian 2-group. This group is called the Tits group and provides a nice lifting of the elements in the finite Weyl group. The “Tits group” T\mathcal {T} for the Iwahori-Weyl group W is a certain subgroup of G(F), which is an extension of the Iwahori-Weyl group W by an elementary abelian 2-group. The second main result of this paper is a construction of Tits group T\mathcal {T} for W when G splits over an unramified extension of F. As a consequence, we generalize Howe’s presentation to such groups. We also show that when G is ramified over F, such a group T\mathcal {T} of W may not exist.


On affine Lusztig varieties

February 2023

·

24 Reads

Affine Lusztig varieties encode the orbital integrals of Iwahori-Hecke functions and serve as building blocks for the (conjectural) theory of affine character sheaves. In this paper, we establish a close relationship between affine Lusztig varieties and affine Deligne-Lusztig varieties. Consequently, we give an explicit nonemptiness pattern and dimension formula for affine Lusztig varieties in most cases.


Total positivity in twisted product of flag varieties

November 2022

·

12 Reads

We show that the totally nonnegative part of the twisted product of flag varieties of a Kac-Moody group admits a cellular decomposition, and the closure of each cell is a regular CW complex homeomorphic to a closed ball. As a consequence, we show the totally nonnegative braid variety is a regular CW complex homeomorphic to a closed ball. Moreover, we prove that the link of any totally nonnegative double Bruhat cell in a reductive group is a regular CW complex homeomorphic to a closed ball, solving an open problem of Fomin and Zelevinsky.


Product structure and regularity theorem for totally nonnegative flag varieties

March 2022

·

22 Reads

The totally nonnegative flag variety was introduced by Lusztig. It has enriched combinatorial, geometric, and Lie-theoretic structures. In this paper, we introduce a (new) J-total positivity on the full flag variety of an arbitrary Kac-Moody group, generalizing the (ordinary) total positivity. We show that the J-totally nonnegative flag variety has a cellular decomposition into totally positive J-Richardson varieties. Moreover, each totally positive J-Richardson variety admits a favorable decomposition, called a product structure. Combined with the generalized Poincare conjecture, we prove that the closure of each totally positive J-Richardson variety is a regular CW complex homeomorphic to a closed ball. Moreover, the J-total positivity on the full flag provides a model for the (ordinary) totally nonnegative partial flag variety. As a consequence, we prove that the closure of each (ordinary) totally positive Richardson variety is a regular CW complex homeomorphic to a closed ball, confirming conjectures of Galashin, Karp and Lam.


Total positivity and conjugacy classes

January 2022

·

13 Reads

In this paper we study the interaction between the totally positive monoid G0G_{\ge 0} attached to a connected reductive group G with a pinning and the conjugacy classes in G. In particular we study how a conjugacy class meets the various cells of G0G_{\ge0}. We also state a conjectural Jordan decomposition for G0G_{\ge0} and prove it in some special cases.



Citations (18)


... For general properties of the totally nonnegative parts of the flag varieties, see e.g. [3,14,15,22,29,32,35]. ...

Reference:

Totally nonnegative part of the Peterson variety in Lie type A
Product structure and regularity theorem for totally nonnegative flag varieties

Inventiones mathematicae

... Let W af denote the affine Weyl group of G(F ) and let W denote the Iwahori-Weyl group of G(F ). In [8], the notion of a Tits group of the Iwahori-Weyl group was introduced. Let us first explain a motivation for studying the question on existence of a Tits group of the Iwahori-Weyl group. ...

Tits Groups of Iwahori-Weyl Groups and Presentations of Hecke Algebras

Transformation Groups

... k,n with a minimum0 adjoined is EL-shellable, and Knutson, Lam, and Speyer [KLS13, Section 3.5] showed that the face poset (without0 adjoined) is dual EL-shellable. We point out that R n,l with0 adjoined (but not1) is an induced subposet of the face poset of Gr ⩾0 k,n with0 adjoined [KW19, Theorem 5.17], and so it is EL-shellable by [Wil07,BH21]. Therefore the main difficulty in proving Theorem 1.1 is in dealing with the adjoined maximum1. Our EL-labeling ofR n,l does not use the labelings of [Wil07, KLS13,BH21], and it is not clear to us how our labeling is related to these. ...

A Birkhoff-Bruhat atlas for partial flag varieties
  • Citing Article
  • May 2021

Indagationes Mathematicae

... By definition, M loc G is the unique, up to unique isomorphism, flat Z p -scheme with generic fiber G/P µ and reduced special fiber which represents the v-sheaf M v G,µ over Spd(Z p ) defined in [SW20]. By [HPR20], this is isomorphic to the local model constructed by Pappas-Zhu [PZ13]. ...

Good and semi-stable reductions of Shimura varieties
  • Citing Article
  • March 2020

Journal de l’École polytechnique — Mathématiques

... Finally, we establish an explicit isomorphism between Bruhat-Tits strata and Deligne-Lusztig varieties, extending similar results from [VW11, RTW14,Wu16]. This geometric connection not only illuminates the structure of Bruhat-Tits strata but has also proven important in arithmetic intersection theory, see, for example, [LZ22a,RTZ13,HLZ19]. ...

FINE DELIGNE–LUSZTIG VARIETIES AND ARITHMETIC FUNDAMENTAL LEMMAS

Forum of Mathematics Sigma

... This conjecture arose side-by-side with the definition of the amplituhedron -indeed, the goal of Arkani-Hamed and Trnka, realized in [AHT14], was to find a geometric object which could be decomposed into pieces coming from BCFW cells. BCFW-like tilings of the m = 1 and m = 2 amplituhedron were proved in [KW19] and [BH19], building on [AHTT18] and [KWZ20]. A step towards the BCFW tiling conjecture was made in [EZLT25], where the authors built on work of [KWZ20] to show that the 'standard' way of performing the BCFW recursion gives a tiling for the m = 4 amplituhedron. ...

The m=2 amplituhedron
  • Citing Preprint
  • September 2019