Related papers: Integral $p$-adic Hodge theory - announcement
Let $G$ be a split reductive group over the ring of integers in a $p$-adic field with residue field $\mathbf{F}$. Fix a representation $\overline{\rho}$ of the absolute Galois group of an unramified extension of $\mathbf{Q}_p$, valued in…
We start with a curve over an algebraically closed ground field of positive characteristic $p>0$. By using specialization techniques, under suitable natural coprimality conditions, we prove a cohomological Simpson Correspondence between the…
We investigate a certain class of (geometric) finite (Galois) coverings of formal fibres of $p$-adic curves and the corresponding quotient of the (geometric) \'etale fundamental group. A key result in our investigation is that these…
The goal of this paper is to show that the cohomology of compact unitary Shimura varieties is concentrated in the middle degree and torsion-free, after localizing at a maximal ideal of the Hecke algebra satisfying a suitable genericity…
Colmez, Dospinescu and Niziol have shown that the only $p$-adic representations of $\rm{Gal}(\bar{\mathbb{Q}}_p/\mathbb{Q}_p)$ appearing in the $p$-adic \'etale cohomology of the coverings of Drinfeld's half-plane are the $2$-dimensional…
Let $p$ be a rational prime, let $F$ denote a finite, unramified extension of $\mathbb{Q}_p$, $K$ the maximal unramified extension of $\mathbb{Q}_p$, $\overline{K}$ some fixed algebraic closure of $K$, and $\mathbb{C}_p$ the completion of…
We show the smoothness over the affine line of the Hodge moduli space of logarithmic t-connections of coprime rank and degree on a smooth projective curve with geometrically integral fibers over an arbitrary Noetherian base. When the base…
In this paper, we study the cohomology of semisimple local systems in the spirit of classical Hodge theory. On the one hand, we establish a generalization of Hodge-Riemann bilinear relations. For a semisimple local system on a smooth…
An operad describes a category of algebras and a (co)homology theory for these algebras may be formulated using the homological algebra of operads. A morphism of operads $f:\mathcal{O}\rightarrow\mathcal{P}$ describes a functor allowing a…
Given a smooth and separated K(pi,1) variety X over a field k, we associate a "cycle class" in etale cohomology with compact supports to any continuous section of the natural map from the arithmetic fundamental group of X to the absolute…
In this paper we explain how non-abelian Hodge theory allows one to compute the $L^2$ cohomology or middle perversity higher direct images of harmonic bundles and twistor D-modules in a purely algebraic manner. Our main result is a new…
For smooth affine varieties in positive characteristic, we identify a slope obstruction to the injectivity of the comparison morphism from rigid cohomology to rationalised crystalline cohomology. This yields a negative answer to a question…
According to Lazard, every p-adic Lie group contains an open pro-p subgroup which is saturable. This can be regarded as the starting point of p-adic Lie theory, as one can naturally associate to every saturable pro-p group G a Lie lattice…
We establish variants of the Lefschetz hyperplane section theorem for the integral tropical homology groups of tropical hypersurfaces of toric varieties. It follows from these theorems that the integral tropical homology groups of…
We provide a simple approach for the crystalline comparison of Ainf-cohomology, and reprove the comparison between crystalline and p-adic etale cohomology for formal schemes in the case of good reduction.
We construct a canonical sesquilinear pairing on the relative crystalline cohomology of a smooth proper family of varieties over a complete discretely valued $p$-adic field. Motivated by the role of Saito's higher residue pairing in the…
Let $K$ be a finite extension of $\mathbb{Q}_p$. We prove that the arithmetic $p$-adic pro-\'etale cohomology of smooth partially proper spaces over $K$ satisfies a duality, as conjectured by Colmez, Gilles and Nizio{\l}. We derive it from…
In this article we prove exactness of the homotopy sequence of overconvergent $p$-adic fundamental groups for a smooth and projective morphism in characteristic $p$. We do so by first proving a corresponding result for rigid analytic…
Let $F$ be a totally real field in which $p$ is unramified. We prove that, if a cuspidal overconvergent Hilbert cuspidal form has small slopes under $U_p$-operators, then it is classical. Our method follows the original cohomological…
We give a simple characterization of all perfectoid profinite \'{e}tale covers of abelian varieties in terms of the Hodge-Tate filtration on the $p$-adic Tate module. We also compute the geometric Sen morphism for all profinite $p$-adic Lie…