Related papers: Uniqueness and functoriality of Igusa stacks

We construct Igusa stacks for the good reduction locus of a class of abelian-type Shimura varieties that can be defined in terms of a PEL datum, under the assumption that it is of type (A even) or (C) and unramified at a prime p.

We construct functorial Igusa stacks for all Hodge-type Shimura varieties, proving a conjecture of Scholze and extending earlier results of the fourth-named author for PEL-type Shimura varieties. Using the Igusa stack, we construct a sheaf…

We study the integral models of meta-unitary Shimura varieties through the lens of Scholze's fiber product conjecture. Reformulating Bultel's original construction in terms of moduli stacks of Shtukas and Igusa stacks, we prove the validity…

Let $(G,X)$ be a PEL-Shimura datum of type AC in Kottwitz's classification. Assume $G_{\mathbf{Q}_p}$ is unramified. We show that the good reduction locus of the infinite $p$-level Shimura variety attached to this datum, considered as a…

We study the circumstances under which one can reconstruct a stack from its associated functor of isomorphism classes. This is possible surprisingly often: we show that many of the standard examples of moduli stacks are determined by their…

Igusa varieties over the special fibre of Shimura varieties have demonstrated many applications to the Langlands program via Mantovan's formula and Shin's point counting method. In this paper we study Igusa varieties over the moduli stack…

We construct Igusa stacks for all Shimura varieties of abelian type and derive consequences for the cohomology of these Shimura varieties. As an application, we prove that the Fargues--Scholze local Langlands correspondence agrees with the…

Our main theorem describes the degree 0 cohomology of Igusa varieties in terms of one-dimensional automorphic representations in the setup of mod p Hodge-type Shimura varieties with hyperspecial level at p, mirroring the well known analogue…

We study symmetries enjoyed by the polynomials enumerating non-degenerate flags in finite vector spaces, equipped with a non-degenerate alternating bilinear, hermitian or quadratic form. To this end we introduce Igusa-type rational…

We define motivic analogues of Igusa's local zeta functions. These functions take their values in a Grothendieck group of Chow motives. They specialize to p-adic Igusa local zeta functions and to the topological zeta functions we introduced…

We show that the "grandfather graph" has the following property: it is the unique completion to a transitive graph of a large enough finite subgraph of itself.

Let (G,X) be a Shimura datum and K a neat open compact subgroup of $G(\mathbb{A}_f)$. Under mild hypothesis on (G,X), the canonical construction associates a variation of Hodge structure on $\textrm{Sh}_K(G,X)(\mathbb{C})$ to a…

Assuming the trace formula for Igusa varieties in characteristic p, which is known by Mack-Crane in the case of Hodge type with good reduction at p, we stabilize the formula via Kaletha's theory of rigid inner twists when the reductive…

A characterization of dynamically defined zeta functions is presented. It comprises a list of axioms, natural extension of the one which characterizes topological degree, and a uniqueness theorem. Lefschetz zeta function is the main (and…

We express the cohomology of the basic stratum of some unitary Shimura varieties associated to division algebras in terms of automorphic representations of the group in the Shimura datum.

We develop the notion of singular support of a coherent sheaf on a quasi-smooth DG scheme or stack and use it to formulate the Geometric Langlands Conjecture.

In this paper, we go into the study of the 2-category SSS_\Sigma of \Sigma-constructible stacks. The notions of constructible stack was introduced by D. Treumann. It is a natural generalization of constructible sheaf. D. Treumann has also…

This note is intended to explain the proof of two facts about quadrature domains: first, they are essentially unique if they exist; and second, they do exist for a large class of weight functions. The proofs roughly follow Sakai's…

According to Kiyoshi Igusa a generalized Morse function on an n-dimensional manifold M is a smooth function with only Morse and birth-death singularities and a framed function is a generalized Morse function with an additional structure: a…

We prove that the trace of the Frobenius endofunctor of the category of automorphic sheaves with nilpotent singular support maps isomorphically to the space of unramified automorphic functions, settling a conjecture from [AGKRRV1]. More…