Related papers: Une conjecture $C_{\rm st}$ pour la cohomologie \`…
We prove that the cohomology of the moduli space of morphisms of a fixed finite degree from a smooth projective curve $C$ of genus $g$ to a complete simplicial toric variety $\mathbb{P}(\Sigma)$, denoted by the rational polyhedral fan…
A characteristic property of cohomology with compact support is the long exact sequence that connects the compactly supported cohomology groups of a space, an open subspace and its complement. Given an arbitrary cohomology theory of…
We prove that extension groups in strict polynomial functor categories compute the rational cohomology of classical algebraic groups. This result was previously known only for general linear groups. We give several applications to the study…
In arXiv:1911.08213 it was conjectured that the compactly supported cohomology of the $m$-th restricted contact locus of an isolated hypersurface singularity coincides, up to a shift, with the Floer cohomology of the $m$-th iterate of the…
For any two degrees coprime to the rank, we construct a family of ring isomorphisms parameterized by GSp(2g) between the cohomology of the moduli spaces of stable Higgs bundles which preserve the perverse filtrations. As consequences, we…
We show that geometric syntomic cohomology lifts canonically to the category of Banach-Colmez spaces and study its relation to extensions of modifications of vector bundles on the Fargues-Fontaine curve. We include some computations of…
We compute the p-torsion and p-adic etale cohomologies with compact support of period domains over local fields in the case of basic isocrystals for quasi-split reductive groups. For the p-torsion case, we follow the method used by Orlik in…
The famous Bloch--Kato conjecture implies that for a field $F$ containing a primitive $p$th root of unity, the cohomology ring of the absolute Galois group $G_F$ of $F$ with $\mathbb{F}_p$ coefficients is generated by degree one elements.…
Faltings' approach in $p$-adic Hodge theory can be schematically divided into two main steps: firstly, a local reduction of the computation of the $p$-adic \'etale cohomology of a smooth variety over a $p$-adic local field to a Galois…
We define and study the rational analytic syntomification $X^{\mathrm{Syn}}$ of a partially proper rigid-analytic variety $X$ over $\mathbb{Q}_p$. We establish Poincar\'e duality and a theory of first Chern classes for the resulting…
We first provide a classical analysis proof of a version of the Alexandroff-Bakelman-Pucci inequality (ABP) for compactly supported $C^2$ functions in dimension $2$, inspired by the symplectic geometry proof method of Viterbo, which avoids…
A natural extension of the Hopf-cyclic cohomology, with coefficients, is introduced to encompass topological Hopf algebras. The topological theory allows to work with infinite dimensional Lie algebras. Furthermore, the category of…
Let $X\to S$ be a smooth projective morphism. Katz proved the Grothendieck-Katz $p$-curvature conjecture for the Gauss-Manin connection on the $i$-th cohomology of $X/S$: if its $p$-curvature vanishes mod $p$ for infinitely many $p$, then…
The $c_1$-cohomological rigidity conjecture states that two smooth toric Fano varieties are isomorphic as varieties if there is a $c_1$-preserving isomorphism between their integral cohomology rings. In this paper, we confirm the conjecture…
This paper studies the derived de Rham cohomology of F_p and p-adic schemes, and is inspired by Beilinson's recent work. Generalising work of Illusie, we construct a natural isomorphism between derived de Rham cohomology and crystalline…
We compute, in a stable range, the arithmetic p-adic etale cohomology of smooth rigid analytic and dagger varieties (without any assumption on the existence of a nice integral model) in terms of differential forms using syntomic methods.…
A cohomology theory of root systems emerges naturally in the context of Automorphic Lie Algebras, where it helps formulating some structure theory questions. In particular, one can find concrete models for an Automorphic Lie Algebra by…
We study congruences relating Fourier coefficients of meromorphic modular forms and Frobenius eigenvalues of elliptic curves corresponding to their poles. We develop a $p$-adic cohomological framework that interprets these congruences via…
We compute the cohomology with compact supports of a Picard modular surface as a virtual module over the product of the appropriate Galois group and the appropriate Hecke algebra. We use the method developed by Ihara, Langlands, and…
This article gives an expository account of quasisyntomic descent and the Nygaard filtration in positive characteristic, complemented by several new applications to $p$-adic cohomology theories. The guiding result is a new approach to…