Related papers: The Geometry of Hida Families II: $\Lambda$-adic $…
We equip the type $A$ diagrammatic Hecke category with a special derivation, so that after specialization to characteristic $p$ it becomes a $p$-dg category. We prove that the defining relations of the Hecke algebra are satisfied in the…
We study ordinary abelian schemes in characteristic $p$ and their moduli spaces from the perspective of char $p$ Mumford--Tate, log Ax--Lindemann, and geometric Andr\'e--Oort conjectures (abbreviated as $\MTT_p$, $\mathrm{logAL}_p$ and…
A systematic study of the contributions at infinity for the cohomology of variations of polarized Hodge structures over quasicompact K\"ahler manifolds. Several isomorphisms between different cohomologies given.
We consider Picard surfaces, locally symmetric varieties $S_{\Gamma}$ attached to the Lie group SU(2,1), and we construct explicit differential forms on $S_{\Gamma}$ representing Eisenstein classes, i.e. cohomology classes restricting…
In this paper, we prove that for any $p$-adic smooth separated formal scheme $\mathfrak X$, the category of prismatic $F$-crystals with $I$ inverted is equivalent to the category of \'etale $\mathbb Z_p$-local systems on the generic fiber…
Let A be any finite dimensional Hopf algebra over a field k. We specify the Tate and Tate-Hochschild cohomology for A and introduce cup products that make them become graded rings. We establish the relationship between these rings. In…
The goal of this article is to prove a comparison theorem between rigid cohomology and cohomology computed using the theory of arithmetic $\mathscr{D}$-modules. To do this, we construct a specialisation functor from Le Stum's category of…
For a proper smooth variety of even dimension over a field of characteristic different from 2 or l, the second Stiefel-Whitney class of the l-adic cohomology and the second Hasse-Witt class of the de Rham cohomology are both defined in the…
For all classical groups (and for their analogs in infinite dimension or over general base fields or rings) we construct certain contractions, called "homotopes". The construction is geometric, using as ingredient involutions of associative…
For all classical groups (and for their analogs in infinite dimension or over general base fields or rings) we construct certain contractions, called "homotopes". The construction is geometric, using as ingredient involutions of associative…
Let $d$ be a positive integer. In a previous article we established a bijective correspondence between the following classes of objects, considered up to the appropriate notion of equivalence: differential graded algebras with…
We study properties of compactly supported $p$-adic pro-\'etale cohomology of smooth partially proper rigid analytic varieties. In particular, we prove a comparison theorem, in a stable range, with compactly supported syntomic cohomology,…
The category of rational mixed Hodge-Tate structures is a mixed Tate category. So thanks to the Tannakian formalism, it is equivalent to the category of finite dimensional graded comodules over a graded commutative Hopf algebra H over Q.…
We prove a Kodaira-Hodge decomposition on differential 1-forms on the space of non-smooth paths over a Riemannian manifold, allowing us to define the corresponding first cohomology group. This uses the It\^o map of a Brownian system and…
We construct a $p$-adic $L$-function for $P$-ordinary Hida families of cuspidal automorphic representations on a unitary group $G$. The main new idea of our work is to incorporate the theory of Schneider-Zink types for the Levi quotient of…
Let $X$ be a smooth projective curve of genus $g\geq 2$ over the complex numbers. Fix $n\geq 2$, and an integer $d$. A pair $(E,\phi)$ over $X$ consists of an algebraic vector bundle $E$ of rank $n$ and degree $d$ over $X$ and a section…
In this paper, we complete the nonabelian Hodge theory (NAHT) triangle of isomorphisms for stacks between the Borel-Moore homologies of the Dolbeault, Betti, and de Rham moduli stacks. We first explain how to realise the category of…
For a certain class of complexes of pre-Hilbert $A$-modules, we prove that their cohomology groups equipped with a canonical quotient structure are again pre-Hilbert $A$-modules and derive the Hodge decomposition for them. We call these…
We exhibit how the Hodge-Deligne moduli space of $\lambda$-connections over a smooth projective curve, for stable bundles with fixed determinant, can be understood as the dual of the Atiyah algebroid of the determinant of cohomology line…
By exploring the geometric properties of Hyodo-Kato cohomology in rigid geometry, we establish several foundational results, including the semistable conjecture for \'etale cohomology of almost proper rigid analytic varieties, and GAGA…