Related papers: Perfectoid Shimura varieties and the Calegari-Emer…
In this paper we recall the construction and basic properties of complex Shimura varieties and show that these properties actually characterize them. This characterization immediately implies the explicit form of Kazhdan's theorem on the…
This paper establishes an explicit obstruction to constructing algebraic cycles from automorphic cohomology classes on Shimura varieties. We produce a rational Hodge class $\Omega_E$ in the intersection cohomology of the Baily-Borel…
Let K be a local field of mixte characteristics. We assume that the residue field is perfect. Let X\_K be a proper smooth scheme over K admitting an integer model X which is proper and semi-stable. In this article, we prove a period…
We show that the Taylor-Wiles method can be applied to the cohomology of a Shimura variety $S$ of PEL type attached to a unitary similitude group $G$, with coefficients in the coherent sheaf attached to an automorphic vector bundle $\CF$ ,…
We investigate $p$-adic automorphic forms on unitary groups through the geometry of infinite-level unitary Shimura varieties and the Hodge-Tate period map. We first develop a perfectoid construction of overconvergent automorphic forms.…
In this paper, we formulate and prove a duality for cohomology of curves over perfect fields of positive characteristic with coefficients in Neron models of abelian varieties. This is a global function field version of the author's previous…
A result of Lehrer describes a beautiful relationship between topological and combinatorial data on certain families of varieties with actions of finite reflection groups. His formula relates the cohomology of complex varieties to point…
We define the algebraic elliptic cohomology theory coming from Krichever's elliptic genus as an oriented cohomology theory on smooth varieties over an arbitrary perfect field. We show that in the algebraic cobordism ring with rational…
We prove two results regarding Hodge structures appearing in the cohomology of complex tori. First, we prove that if a polarizable Hodge structure appears in the cohomology of a complex torus $T$, it appears in the cohomology of an abelian…
B. Totaro showed \cite{totaro} that the rational cohomology of configuration spaces of smooth complex projective varieties is isomorphic as an algebra to the $E_2$ term of the Leray spectral sequence corresponding to the open embedding of…
We give a proof without use of perfectoid geometry of Scholzes' vanishing theorem of \'etale cohomology with $\mathbb{F}_p$-coefficients beyond the dimension of projective varieties in a specific pro $p$-tower in characteristic not equal to…
We construct integral models over $p=2$ for some Shimura varieties of abelian type with parahoric level structure, extending the previous work of Kim-Madapusi, Kisin, Pappas, and Zhou. For Shimura varieties of Hodge type, we show that our…
Based on an almost Kodaira-type vanishing result in mixed characteristics of Bhatt, we show that, in the locally analytic completed cohomology of a general Shimura variety, sufficiently regular infinitesimal weights can only show up in the…
Long ago, Fontaine formulated conjectures (now theorems) relating \'etale and de Rham cohomologies of algebraic varieties over $p$-adic fields. In an earlier work we have shown that pro-\'etale and de Rham cohomologies of analytic varieties…
We study the \'etale cohomology of Hilbert modular varieties, building on the methods introduced for unitary Shimura varieties in [CS17, CS19]. We obtain the analogous vanishing theorem: in the "generic" case, the cohomology with torsion…
For any Shimura variety of Hodge type with hyperspecial level at a prime $p$ and automorphic lisse sheaf on it, we prove a formula, conjectured by Kottwitz \cite{Kottwitz90}, for the Lefschetz numbers of Frobenius-twisted Hecke…
In this short note we study the cohomology algebra of saturated fusion systems using finite groups which realize saturated fusion systems and Hochschild cohomology of group algebras. A similar result to a theorem of Alperin is proved for…
We study the rigid cohomology of the ordinary locus in some compact PEL Shimura varieties of type C with values in automorphic local systems and use it to prove a small slope criterion for classicality of overconvergent Hecke eigenforms.…
We develop a new cohomology theory in characteristic p>0, the so called F-gauge cohomology, a cohomology with values in the category of so-called F-gauges, which refines the cristalline cohomology. In this first paper we mainly discuss the…
In the present paper we use the theory of exact completions to study categorical properties of small setoids in Martin-L\"of type theory and, more generally, of models of the Constructive Elementary Theory of the Category of Sets, in terms…