Related papers: Compatibility of canonical $\ell$-adic local syste…
Let E/F be a CM field split above a finite place v of F, let l be a rational prime number which is prime to v, and let S be the set of places of E dividing lv. If E_S denotes a maximal algebraic extension of E unramified outside S, and if u…
Let $S$ be a Shimura variety with reflex field $E$. We prove that the action of $\operatorname{Gal}(\overline{\mathbb{Q}}/E)$ on $S$ maps special points to special points and special subvarieties to special subvarieties. Furthermore, the…
We prove a geometric version of a classical result on the characterization of an irreducible cuspidal automorphic representation of $\mathrm{GL}_n(\mathbb{A}_E)$ being the base change of a stable cuspidal packet of the quasi-split unitary…
A field $K$ is quasi-classical $d$-local if there exist fields $K=k_d,\dots,k_0$ with $k_{i+1}$ Henselian admissible discretely valued with residue field $k_i$, and $k_0$ quasi-finite. We prove a duality theorem for the Galois cohomology of…
Let F be a nonarchimedean locally compact field with residue characteristic p and G(F) the group of F-rational points of a connected reductive group. Following Schneider and Stuhler, one can realize, in a functorial way, any smooth complex…
We prove local-global compatibility results at $\ell=p$ for the torsion automorphic Galois representations constructed by Scholze, generalising the work of Caraiani--Newton. In particular, we verify, up to a nilpotent ideal, the…
We establish basic results on p-adic shtukas and apply them to the theory of local and global Shimura varieties, and on their interrelation. We construct canonical integral models for (local, and global) Shimura varieties of Hodge type with…
We study the mod-$\ell$ homotopy type of classifying spaces for commutativity, $B(\mathbb{Z}, G)$, at a prime $\ell$. We show that the mod-$\ell$ homology of $B(\mathbb{Z}, G)$ depends on the mod-$\ell$ homotopy type of $BG$ when $G$ is a…
It is well known that if G is an \'etale topological groupoid then its topology can be recovered as the sup-lattice generated by G-sets, i.e. by the images of local bisections. This topology has a natural structure of unital involutive…
We present a novel axiomatic framework for establishing horizontal norm relations in Euler systems that are built from pushforwards of classes in the motivic cohomology of Shimura varieties. This framework is uniformly applicable to the…
Let $k_0$ be a field of characteristic $0$ with algebraic closure $k$. Let $G$ be a connected reductive $k$-group, and let $Y$ be a spherical variety over $k$ (a spherical homogeneous space or a spherical embedding). Let $G_0$ be a…
We first give a relative flexible process to construct torsion cohomology classes for Shimura varieties of Kottwitz-Harris-Taylor type with coefficient in a non too regular local system. We then prove that associated to each torsion…
Answering questions of A. Avil\'es, F. Cabello S\'anchez, J. Castillo, M. Gonz\'alez and Y. Moreno we show that the following statements are independent of the usual axioms ZFC with arbitrarily large continuum: for every (some)…
Let G be a unitary group over a totally real field, and X a Shimura variety for G. For certain primes p of good reduction for X, we construct cycles on the characteristic p fiber of X. These cycles are defined as the loci on which the…
We extend the work in a previous paper with David Li-Bland (arXiv:1401.7302) to construct the Wehrheim-Woodward category WW($G\mathbf{SLREL}$) of equivariant linear canonical relations between linear symplectic $G$-spaces for a compact…
Let $X$ be a smooth, projective, geometrically connected curve over a finite field $\mathbb{F}_q$, and let $G$ be a split semisimple algebraic group over $\mathbb{F}_q$. Its dual group $\hat{G}$ is a split reductive group over $\mathbb{Z}$.…
We study Shimura (special) subvarieties in the moduli space $A_{p,D}$ of complex abelian varieties of dimension $p$ and polarization type $D$. These subvarieties arise from families of covers compatible with a fixed group action on the base…
Let $(G, \Omega)$ be a Shimura datum of abelian type. It is well known that the corresponding Shimura variety $\mathrm{Sh}(G, \Omega)$ should be a moduli space of abelian motives equipped with some additional structures. In this…
Let $K$ be a complete discrete valuation field whose residue field is perfect and of positive characteristic, let $X$ be a connected, proper scheme over $\mathcal{O}_K$, and let $U$ be the complement in $X$ of a divisor with simple normal…
Let $\mathcal U_\hbar(\hat{\mathfrak g})$ be the untwisted quantum affinization of a symmetrizable quantum Kac-Moody algebra $\mathcal U_\hbar({\mathfrak g})$. For $\ell\in\mathbb C$, we construct an $\hbar$-adic quantum vertex algebra…