Source author record

Xuhua He

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

40works
5topics
4close collaborators

Published work

40 publications

preprint2023arXiv

A generalization of cyclic shift classes

Motivated by Lusztig's GG-stable pieces, we consider the combinatorial pieces: the pairs (w,K)(w, K) for elements ww in the Weyl group and subsets KK of simple reflections that are normalized by ww. 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.

preprint2022arXiv

Affine Deligne--Lusztig varieties with finite Coxeter parts

In this paper, we study affine Deligne--Lusztig varieties Xw(b)X_w(b) when the finite part of the element ww in the Iwahori--Weyl group is a partial σσ-Coxeter element. We show that such ww is a cordial element and Xw(b)≠∅X_w(b) \neq \emptyset if and only if bb satisfies a certain Hodge--Newton indecomposability condition. The main result of this paper is that for such ww and bb, Xw(b)X_w(b) has a simple geometric structure: the σσ-centralizer of bb acts transitively on the set of irreducible components of Xw(b)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 A1\mathbb A^1 or Gm\mathbb G_m.

preprint2022arXiv

Product structure and regularity theorem for totally nonnegative flag varieties

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) JJ-total positivity on the full flag variety of an arbitrary Kac-Moody group, generalizing the (ordinary) total positivity. We show that the JJ-totally nonnegative flag variety has a cellular decomposition into totally positive JJ-Richardson varieties. Moreover, each totally positive JJ-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 JJ-Richardson variety is a regular CW complex homeomorphic to a closed ball. Moreover, the JJ-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.

preprint2020arXiv

A Birkhoff-Bruhat Atlas for partial flag varieties

A partial flag variety PK{\mathcal {P}}_K of a Kac-Moody group GG has a natural stratification into projected Richardson varieties. When GG is a connected reductive group, a Bruhat atlas for PK{\mathcal {P}}_K was constructed by He, Knutson and Lu: PK{\mathcal {P}}_K is locally modeled with Schubert varieties in some Kac-Moody flag variety as stratified spaces. The existence of Bruaht atlases implies some nice combinatorial and geometric properties on the partial flag varieties and the decomposition into projected Richardson varieties. A Bruhat atlas does not exist for partial flag varieties of an arbitrary Kac-Moody group due to combinatorial and geometric reasons. To overcome obstructions, we introduce the notion of Birkhoff-Bruhat atlas. Instead of the Schubert varieties used in a Bruhat atlas, we use the JJ-Schubert varieties for a Birkhoff-Bruhat atlas. The notion of the JJ-Schubert varieties interpolates Birkhoff decomposition and Bruhat decomposition of the full flag variety (of a larger Kac-Moody group). The main result of this paper is the construction of a Birkhoff-Bruhat atlas for any partial flag variety PK{\mathcal {P}}_K of a Kac-Moody group. We also construct a combinatorial atlas for the index set QKQ_K of the projected Richardson varieties in PK{\mathcal {P}}_K. As a consequence, we show that QKQ_K has some nice combinatorial properties. This gives a new proof and generalizes the work of Williams in the case where the group GG is a connected reductive group.

preprint2020arXiv

Basic loci of Coxeter type with arbitrary parahoric level

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.

preprint2020arXiv

Cordial elements and dimensions of affine Deligne-Lusztig varieties

The affine Deligne-Lusztig variety Xw(b)X_w(b) in the affine flag variety of a reductive group G\mathbb G depends on two parameters: the σσ-conjugacy class [b][b] and the element ww in the Iwahori-Weyl group W~\tilde W of G\mathbb G. In this paper, for any given σσ-conjugacy class [b][b], we determine the nonemptiness pattern and the dimension formula of Xw(b)X_w(b) for most w∈W~w \in \tilde W.

preprint2020arXiv

Fine Deligne-Lusztig varieties and Arithmetic Fundamental Lemmas

We prove a character formula for some closed fine Deligne-Lusztig varieties. We apply it to compute fixed points for fine Deligne-Lusztig varieties arising from the basic loci of Shimura varieties of Coxeter type. As an application, we prove an arithmetic intersection formula for certain diagonal cycles on unitary and GSpin Rapoport-Zink spaces arising from the arithmetic Gan-Gross-Prasad conjectures. In particular, we prove the arithmetic fundamental lemma in the minuscule case, without assumptions on the residual characteristic.

preprint2020arXiv

Flag manifolds over semifields

In this paper, we develop the theory of flag manifold over a semifield for any Kac-Moody root datum. We show that the flag manifold over a semifield admits a natural action of the monoid over that semifield associated with the Kac-Moody datum and admits a cellular decomposition. This extends the previous work of Lusztig, Postnikov, Rietsch and others on the totally nonnegative flag manifolds (of finite type) and the work of Lusztig, Speyer, Williams on the tropical flag manifolds (of finite type). As a by-product, we prove a conjecture of Lusztig on the duality of totally nonnegative flag manifold of finite type.

preprint2020arXiv

Partial orders on conjugacy classes in the Weyl group and on unipotent conjugacy classes

Let GG be a reductive group over an algebraically closed field and let WW be its Weyl group. In a series of papers, Lusztig introduced a map from the set [W][W] of conjugacy classes of WW to the set [Gu][G_u] of unipotent classes of GG. This map, when restricted to the set of elliptic conjugacy classes [We][W_e] of WW, is injective. In this paper, we show that Lusztig's map [We]→[Gu][W_e] \to [G_u] is order-reversing, with respect to the natural partial order on [We][W_e] arising from combinatorics and the natural partial order on [Gu][G_u] arising from geometry.

preprint2016arXiv

Cocenter of pp-adic groups, II: induction map

In this paper, we study some relation between the cocenter Hˉ(G)\bar H(G) of the Hecke algebra H(G)H(G) of a connected reductive group GG over an nonarchimedean local field and the cocenter Hˉ(M)\bar H(M) of its Levi subgroups MM. Given any Newton component of Hˉ(G)\bar H(G), we construct the induction map iˉ\bar i from the corresponding Newton component of Hˉ(M)\bar H(M) to it. We show that this map is surjective. This leads to the Bernstein-Lusztig type presentation of the cocenter Hˉ(G)\bar H(G), which generalizes the work \cite{HN2} on the affine Hecke algebras. We also show that the map iˉ\bar i we constructed is adjoint to the Jacquet functor and in characteristic 00, the map iˉ\bar i is an isomorphism.

preprint2016arXiv

Lifting of elements of Weyl groups

Suppose GG is a reductive algebraic group, TT is a Cartan subgroup, N=Norm(T)N=\text{Norm}(T), and W=N/TW=N/T is the Weyl group. If w∈Ww\in W has order dd, it is natural to ask about the orders lifts of ww to NN. It is straightforward to see that the minimal order of a lift of ww has order dd or 2d2d, but it can be a subtle question which holds. We first consider the question of when WW itself lifts to a subgroup of NN (in which case every element of WW lifts to an element of NN of the same order). We then consider two natural classes of elements: regular and elliptic. In the latter case all lifts of ww are conjugate, and therefore have the same order. We also consider the twisted case.

preprint2015arXiv

Cocenters and representations of affine 00-Hecke algebras

In this paper, we study the relation between the cocenter ch⁡~0‾\overline{\tilde \ch_0} and the finite dimensional representations of an affine 00-Hecke algebra ch⁡~0\tilde \ch_0. As a consequence, we obtain a new criterion on the supersingular modules: a (virtual) module of ch⁡~0\tilde \ch_0 is supersingular if and only if its character vanishes on the non-supersingular part of ch⁡~0‾\overline{\tilde \ch_0}.

preprint2015arXiv

Kottwitz-Rapoport conjecture on unions of affine Deligne-Lusztig varieties

In this paper, we prove a conjecture of Kottwitz and Rapoport on a union of (generalized) affine Deligne-Lusztig varieties X(μ,b)JX(μ, b)_J for any tamely ramified group GG and its parahoric subgroup PJP_J. We show that X(μ,b)J≠∅X(μ, b)_J \neq \emptyset if and only if the group-theoretic version of Mazur's inequality is satisfied. In the process, we obtain a generalization of Grothendieck's conjecture on the closure relation of $\s$-conjugacy classes of a twisted loop group.

preprint2015arXiv

Projected Richardson varieties and affine Schubert varieties

Let GG be a complex quasi-simple algebraic group and G/PG/P be a partial flag variety. The projections of Richardson varieties from the full flag variety form a stratification of G/PG/P. We show that the closure partial order of projected Richardson varieties agrees with that of a subset of Schubert varieties in the affine flag variety of GG. Furthermore, we compare the torus-equivariant cohomology and KK-theory classes of these two stratifications by pushing or pulling these classes to the affine Grassmannian. Our work generalizes results of Knutson, Lam, and Speyer for the Grassmannian of type AA.

preprint2015arXiv

Stratifications in the reduction of Shimura varieties

In the paper four stratifications in the reduction modulo pp of a general Shimura variety are studied: the Newton stratification, the Kottwitz-Rapoport stratification, the Ekedahl-Oort stratification and the Ekedahl-Kottwitz-Oort-Rapoport stratification. We formulate a system of axioms and show that these imply non-emptiness statements and closure relation statements concerning these various stratifications. These axioms are satisfied in the Siegel case.

preprint2014arXiv

The cocenter-representation duality

Affine Hecke algebras arise naturally in the study of smooth representations of reductive pp-adic groups. Finite dimensional complex representations of affine Hecke algebras (under some restriction on the isogeny class and the parameter function) has been studied by many mathematicians, including Kazhdan-Lusztig \cite{KL}, Ginzburg \cite{CG}, Lusztig \cite{L1}, Reeder \cite{Re}, Opdam-Solleveld \cite{OS}, Kato \cite{Kat}, etc. The approaches are either geometric or analytic. In this note, we'll discuss a different route, via the so-called "cocenter-representation duality", to study finite dimensional representations of affine Hecke algebras (for arbitrary isogeny class and for a generic complex parameter). This route is more algebraic, and allows us to work with complex parameters, instead of equal parameters or positive parameters. We also expect that it can be eventually applied to the "modular case" (for representations over fields of positive characteristic and for parameter equal to a root of unity).

preprint2013arXiv

PP-alcoves, parabolic subalgebras and cocenters of affine Hecke algebras

This is a continuation of the sequence of papers \cite{HN2}, \cite{H99} in the study of the cocenters and class polynomials of affine Hecke algebras ch⁡\ch and their relation to affine Deligne-Lusztig varieties. Let ww be a PP-alcove element, as introduced in \cite{GHKR} and \cite{GHN}. In this paper, we study the image of TwT_w in the cocenter of ch⁡\ch. In the process, we obtain a Bernstein presentation of the cocenter of ch⁡\ch. We also obtain a comparison theorem among the class polynomials of ch⁡\ch and of its parabolic subalgebras, which is analogous to the Hodge-Newton decomposition theorem for affine Deligne-Lusztig varieties. As a consequence, we present a new proof of \cite{GHKR} and \cite{GHN} on the emptiness pattern of affine Deligne-Lusztig varieties.

preprint2013arXiv

Basic loci in Shimura varieties of Coxeter type

This paper is a contribution to the general problem of giving an explicit description of the basic locus in the reduction modulo pp of Shimura varieties. Motivated by \cite{Vollaard-Wedhorn} and \cite{Rapoport-Terstiege-Wilson}, we classify the cases where the basic locus is (in a natural way) the union of classical Deligne-Lusztig sets associated to Coxeter elements. We show that if this is satisfied, then the Newton strata and Ekedahl-Oort strata have many nice properties.

preprint2013arXiv

Geometric and homological properties of affine Deligne-Lusztig varieties

This paper studies affine Deligne-Lusztig varieties $X_{\tw}(b)$ in the affine flag variety of a quasi-split tamely ramified group. We describe the geometric structure of $X_{\tw}(b)$ for a minimal length element $\tw$ in the conjugacy class of an extended affine Weyl group, generalizing one of the main results in \cite{HL} to the affine case. We then provide a reduction method that relates the structure of $X_{\tw}(b)$ for arbitrary elements $\tw$ in the extended affine Weyl group to those associated with minimal length elements. Based on this reduction, we establish a connection between the dimension of affine Deligne-Lusztig varieties and the degree of the class polynomial of affine Hecke algebras. As a consequence, we prove a conjecture of Görtz, Haines, Kottwitz and Reuman in \cite{GHKR}.

preprint2013arXiv

Green polynomials of Weyl groups, elliptic pairings, and the extended Dirac index

We provide a direct connection between Springer theory, via Green polynomials, the irreducible representations of the pin cover $\wti W$, a certain double cover of the Weyl group WW, and an extended Dirac operator for graded Hecke algebras. Our approach leads to a new and uniform construction of the irreducible genuine $\wti W$-characters. In the process, we give a construction of the action by an outer automorphism of the Dynkin diagram on the cohomology groups of Springer theory, and we also introduce a qq-elliptic pairing for WW with respect to the reflection representation VV. These constructions are of independent interest. The qq-elliptic pairing is a generalization of the elliptic pairing of WW introduced by Reeder, and it is also related to S. Kato's notion of (graded) Kostka systems for the semidirect product $A_W=\bC[W]\ltimes S(V)$.

preprint2013arXiv

On orbits in double flag varieties for symmetric pairs

Let G G be a connected, simply connected semisimple algebraic group over the complex number field, and let K K be the fixed point subgroup of an involutive automorphism of G G so that (G,K) (G, K) is a symmetric pair. We take parabolic subgroups P P of G G and Q Q of K K respectively and consider the product of partial flag varieties G/P G/P and K/Q K/Q with diagonal K K -action, which we call a \emph{double flag variety for symmetric pair}. It is said to be \emph{of finite type} if there are only finitely many K K -orbits on it. In this paper, we give a parametrization of K K -orbits on G/P×K/Q G/P \times K/Q in terms of quotient spaces of unipotent groups without assuming the finiteness of orbits. If one of P⊂G P \subset G or Q⊂K Q \subset K is a Borel subgroup, the finiteness of orbits is closely related to spherical actions. In such cases, we give a complete classification of double flag varieties of finite type, namely, we obtain classifications of K K -spherical flag varieties G/P G/P and G G -spherical homogeneous spaces G/Q G/Q .

preprint2012arXiv

PP-alcoves and nonemptiness of affine Deligne-Lusztig varieties

We study affine Deligne-Lusztig varieties in the affine flag manifold of an algebraic group, and in particular the question, which affine Deligne-Lusztig varieties are non-empty. Under mild assumptions on the group, we provide a complete answer to this question in terms of the underlying affine root system. In particular, this proves the corresponding conjecture for split groups stated in Görtz et al. (2010). The question of non-emptiness of affine Deligne-Lusztig varieties is closely related to the relationship between certain natural stratifications of moduli spaces of abelian varieties in positive characteristic.

preprint2012arXiv

Elements with finite Coxeter part in an affine Weyl group

Let WaW_a be an affine Weyl group and η:Wa⟶W0η:W_a\longrightarrow W_0 be the natural projection to the corresponding finite Weyl group. We say that w∈Waw\in W_a has finite Coxeter part if η(w)η(w) is conjugate to a Coxeter element of W0W_0. The elements with finite Coxeter part is a union of conjugacy classes of WaW_a. We show that for each conjugacy class O\mathcal{O} of WaW_a with finite Coxeter part there exits a unique maximal proper parabolic subgroup WJW_J of WaW_a, such that the set of minimal length elements in O\mathcal{O} is exactly the set of Coxeter elements in WJW_J. Similar results hold for twisted conjugacy classes.

preprint2011arXiv

A generalization of Steinberg's cross-section

Let G be a semisimple group over an algebraically closed field. Steinberg has associated to a Coxeter element w of minimal length r a subvariety V of G isomorphic to an affine space of dimension r which meets the regular unipotent class Y in exactly one point. In this paper this is generalized to the case where w is replaced by any elliptic element in the Weyl group of minimal length d in its conjugacy class, V is replaced by a subvariety V' of G isomorphic to an affine space of dimension d and Y is replaced by a unipotent class Y' of codimension d in such a way that the intersection of V' and Y' is finite.

preprint2010arXiv

Closure of Steinberg fibers and affine Deligne-Lusztig varieties

We discuss some connections between the closure Fˉ\bar F of a Steinberg fiber in the wonderful compactification of an adjoint group and the affine Deligne-Lusztig varieties Xw(1)X_w(1) in the affine flag variety. Among other things, we describe the emptiness/nonemptiness pattern of Xw(1)X_w(1) if the translation part of ww is quasi-regular. As a by-product, we give a new proof of the explicit description of Fˉ\bar F, first obtained in \cite{H1}.

preprint2010arXiv

Dimensions of affine Deligne-Lusztig varieties in affine flag varieties

Affine Deligne-Lusztig varieties are analogs of Deligne-Lusztig varieties in the context of an affine root system. We prove a conjecture stated in the paper arXiv:0805.0045v4 by Haines, Kottwitz, Reuman, and the first named author, about the question which affine Deligne-Lusztig varieties (for a split group and a basic σσ-conjugacy class) in the Iwahori case are non-empty. If the underlying algebraic group is a classical group and the chosen basic σσ-conjugacy class is the class of b=1b=1, we also prove the dimension formula predicted in op. cit. in almost all cases.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.