Yujie Xu, Prof. Dr.

Research: 

I'm interested in Number Theory (NT), Representation Theory (RT) and Arithmetic Geometry (AG). 

Some of my papers (reverse-chronological order by initial arXiv date; with math subject class in [color])

• A generic categorical local Langlands correspondence for quasi-split reductive groups, with D. Helm and M. Solleveld (2026); [RT/NT: Number Theory and Representation Theory]

We prove a generic categorical (arithmetic) local Langlands conjecture for a large class of quasi-split reductive p-adic groups , including all quasi-split classical groups and some non-classical groups. More precisely, we construct a natural fully faithful functor from the stable infinity-category of generic Bernstein blocks on the automorphic side to the stable infinity-category of ind-coherent sheaves on the moduli stack of (arithmetic) L-parameters, generalizing earlier work of [BZCHN24] for . Moreover, for an arbitrary quasi-split reductive p-adic group , we formulate a classical local Langlands framework under which a classical correspondence can be lifted to an infinity-categorical correspondence.

Furthermore, combined with the recent work of Hansen-Mann [HM26] and assuming the expected compatibility of Fargues-Scholze construction with spectral Eisenstein series, our results give the full Fargues--Scholze categorical local Langlands equivalence [FS24], without the genericity condition, for a large class of quasi-split reductive p-adic groups .

• On depth-zero characters of p-adic groups, with M. Solleveld (2025); 11 pages; [RT/NT: representation theory, with applications to number theory];  

Math Research Letters (2026)

We show new properties of the Langlands correspondence for arbitrary tori over local fields. Furthermore, we give a detailed analysis of depth-zero characters of reductive p-adic groups, for groups that may be wildly ramified. We present several different definitions of "depth-zero" for characters, and show that these notions are in fact equivalent. These results are useful for proving new cases of local Langlands correspondences, in particular for depth zero representations.

• Hecke algebras and local Langlands correspondence for non-singular depth-zero representations, with M. Solleveld (2024); ~97 pages; [RT/NT: geometric representation theory, with applications to number theory]

Forum of Mathematics, Sigma (2026)

Let G be a connected reductive group over a non-archimedean local field. We say that an irreducible depth-zero (complex) G-representation is non-singular if its cuspidal support is non-singular. We establish a Local Langlands Correspondence for all such representations. We obtain it as a specialization from a categorical version: an equivalence between the category of finite-length non-singular depth-zero G-representations and the category of finite-length right modules of a direct sum of twisted affine Hecke algebras constructed from Langlands parameters. We also show that our LLC and our equivalence of categories have several nice properties, for example compatibility with parabolic induction.

• Prismatic F-gauges and Fontaine--Laffaille modules, with G. Terentiuk and V. Vologodsky (2024); [AG/NT: p-adic Hodge theory, p-adic geometry]; 

Compositio Mathematica (2026)

Let k be a perfect field of characteristic p and W(k) its ring of Witt vectors. We construct an equivalence of categories between the full subcategory of the derived category of quasi-coherent sheaves on the syntomification of W(k) spanned by objects whose Hodge-Tate weights are between [0,p-2] and an appropriate derived category of Fontaine-Laffaille modules.

• Uniformization for moduli stacks of global G-shtukas and the Langlands-Rapoport Conjecture, with U. Hartl (2023); [AG/NT: p-adic Hodge theory] 

We show that the moduli spaces of bounded global G-Shtukas with colliding legs admit p-adic uniformization isomorphisms by Rapoport-Zink spaces. Moreover, we deduce the Langlands-Rapoport Conjecture over function fields in the case of colliding legs using our uniformization theorem. 

• The explicit Local Langlands Correspondence for GSp(4), Sp(4) and stability (with an application to Modularity Lifting), with K. Suzuki (2023); [RT/NT: geometric representation theory, with applications to number theory] 

(Here is a recording of a conference talk related to this work.)

We give a purely local proof of the explicit Local Langlands Correspondence for GSp(4) and Sp(4). Moreover, we give a unique characterization in terms of stability of L-packets and other properties. Finally, in the appendix, we give an application of our explicit local Langlands correspondence to modularity lifting. 

• The explicit Local Langlands Correspondence for G_2 II: character formulas and stability, with K. Suzuki (2023); [RT/NT: geometric representation theory, with applications to number theory]

(Here is a recording of a conference talk related to this work.)

We write down character formulas for representations of G_2 considered in [LLC-G2], and show that stability for L-packets uniquely pins down the Local Langlands Correspondence constructed in [LLC-G2], thus proving unique characterization of the LLC in loc.cit.  

• Geometrization of the Satake transform for mod p Hecke algebras, with R. Cass; [RT/NT: geometric representation theory, with applications to number theory] 

Forum of Mathematics, Sigma (2025)

We geometrize the mod p Satake isomorphism of Herzig and Henniart--Vignéras using Witt vector affine flag varieties for reductive groups in mixed characteristic. We deduce this as a special case of a formula, stated in terms of the geometry of generalized Mirkovic--Vilonen cycles, for the Satake transform of an arbitrary pararhoric mod p Hecke algebra with respect to an arbitrary Levi subgroup. Moreover, we prove an explicit formula for the convolution product in an arbitrary parahoric mod p Hecke algebra. Our methods involve the constant term functors inspired from the geometric Langlands program, and we also treat the case of reductive groups in equal characteristic. 

• The Explicit Local Langlands Correspondence for G_2, with A.-M. Aubert (2022); [RT/NT: geometric representation theory, with applications to number theory]

(Here is a recording of a conference talk related to this work.)

We develop a general strategy for constructing explicit Local Langlands Correspondences for p-adic reductive groups via reduction to LLC for supercuspidal representations of proper Levi subgroups, using Hecke algebra techniques. As an example of our general strategy, we construct explicit Local Langlands Correspondence for the exceptional group G_2 over a nonarchimedean local field, with explicit L-packets and explicit matching between the group and Galois sides. We also give a list of characterizing properties for our LLC. For intermediate series, we build on our previous results on Hecke algebras. 

Moreover, we show the existence of non-unipotent singular supercuspidal representations of G_2, and exhibit them in mixed L-packets mixing supercuspidal representations with non-supercuspidal ones. Furthermore, our LLC satisfies a list of expected properties, including the compatibility with cuspidal support. 

• The connected components of affine Deligne--Lusztig varieties, with I. Gleason and D. Lim (2022); [AG/NT/RT: p-adic Hodge theory, p-adic geometry, with applications to representation theory] 

Inventiones Mathematicae (2026)

We compute the connected components of arbitrary parahoric level affine Deligne--Lusztig varieties and local Shimura varieties, thus resolving the conjecture raised in [He] in full generality (even for non-quasisplit groups). We achieve this by relating them to the connected components of infinite level moduli spaces of p-adic shtukas, where we use v-sheaf-theoretic techniques such as the specialization map of kimberlites. Along the way, we give a p-adic Hodge-theoretic characterization of HN-irreducibility. As applications, we obtain many results on the geometry of integral models of Shimura varieties at arbitrary parahoric levels. In particular, we deduce new CM lifting results on integral models of Shimura varieties for quasi-split groups at arbitrary connected parahoric levels (which were used to strengthen some results in my integral model paper). 

• Hecke algebras for p-adic reductive groups and Local Langlands Correspondence for Bernstein blocks, with A.-M. Aubert; [RT/NT: geometric representation theory] 

Advances in Mathematics (2024)

(Here is a recording of a conference talk related to this work.)

We construct local Langlands correspondences for Bernstein blocks for arbitrary reductive groups using Hecke algebra techniques. Some results from §4 are used by the same authors to construct a full local Langlands correspondence in [LLC-G2]. Moreover, we also prove a reduction to depth zero result for the Bernstein components attached to regular supercuspidal representations of Levi subgroups. 

• A comparison of the "closure" model with Rapoport-Smithling-Zhang model, (2022); [AG/NT: p-adic Hodge theory] 

Forum of Mathematics, Sigma (2025)

We prove that Kisin-Pappas integral models for Shimura varieties agree with Rapoport-Smithling-Zhang's exotic construction, using methods inspired from my PEL paper and my normalization paper. This is included as an appendix to C. Qiu's "Modularity of arithmetic special divisors for unitary Shimura varieties" and serves as a technical ingredient for the proof of the main results. 

• Finiteness of fppf cohomology, (2021); [AG/NT: p-adic Hodge theory, algebraic geometry]

We show that H^1_fppf (Spec R, G) is finite, for R a Henselian DVR with finite residue field and G a finite type, flat R-group scheme (not necessarily commutative) with smooth generic fiber. We then give an application of the global analogue of this finiteness result to PEL type integral models of Shimura varieties. 

• On the Hodge embedding for PEL type integral models of Shimura varieties, (2021); [AG/NT: p-adic Hodge theory] 

Bollettino dell'Unione Matematica Italiana (2024)

We give a simple proof that Kottwitz’s PEL type integral models of Shimura varieties admit closed embeddings into Siegel integral models. We also show that Rapoport’s and Kottwitz’s integral models agree with Kisin’s integral models for relevant Shimura data. 

• Normalization in the integral models of Shimura varieties of abelian type, (2021); [AG/NT: p-adic Hodge theory, algebraic geometry] 

Mathematische Annalen (2026)

(Here is a recording of a talk related to an earlier version of this work. The final version of the main theorem has been more recently strengthened using my joint paper [ADLV].)

We show that the normalization step in the construction of integral models for abelian type Shimura varieties is redundant, and that the flat closure model is already smooth at hyperspecial level (resp. normal at parahoric level). As a consequence, we show that there exist closed embeddings of toroidal compactifications of integral models of Hodge type into toroidal compactifications of Siegel integral models, for suitable choices of cone decompositions. 

• Bounding Selmer groups for the Rankin--Selberg convolution of Coleman families, with A. Graham and D. Gulotta (2019); [AG/NT: number theory] 

Canadian Journal of Mathematics (2020)

For two cuspidal modular forms f and g, consider a Coleman family passing through f. For an open affinoid subdomain V of weight space W, we construct a coherent sheaf over V x W which interpolates the Bloch-Kato Selmer group of the Rankin-Selberg convolution of two modular forms in the critical range (i.e the range where the p-adic L-function L_p interpolates critical values of the global L-function). We show that the support of this sheaf is contained in the vanishing locus of L_p. 

• Surjectivity of Galois representations in rational families of abelian varieties, with A. Landesman, A. Swaminathan and J. Tao; [AG/NT: arithmetic geometry] 

Algebra & Number Theory (2019)

We show that for any non-isotrivial family of abelian varieties over a rational base with big monodromy, those members that have adelic Galois representation with image as large as possible form a density-one subset. Our results can be applied to a number of interesting families of abelian varieties, such as rational families dominating the moduli of Jacobians of hyperelliptic curves, trigonal curves, or plane curves. As a consequence, we prove that for any dimension g greater than or equal to three, there are infinitely many abelian varieties over Q with adelic Galois representation having image equal to all of GSp_2g(\widehat{\mathbb Z}).

Some old REU/SURF (undergraduate) papers:

(REU="Research Experience for Undergraduates" in the U.S., and SURF="Summer Undergraduate Research Fellowships" at Caltech)

• Lifting subgroups of symplectic groups over \mathbb{Z}/\ell\mathbb{Z}, with A. Landesman, A. Swaminathan and J. Tao (2017); [AG/NT: arithmetic geometry]

• Hyperelliptic curves with maximal Galois action on the torsion points of their Jacobians, with A. Landesman, A. Swaminathan and J. Tao (2017); [AG/NT: arithmetic geometry]

• Quantum statistical mechanics in Arithmetic Topology, with M. Marcolli (2017); [Algebraic topology, Mathematical Physics] Journal of Geometry and Physics