Related papers: Integral $p$-adic Hodge theory - announcement

We prove for $n\geq c-1$ that the functor taking an animated ring $R$ to its mod $(p^c,v_1^{p^n})$ syntomic cohomology factors through the functor $R \mapsto R/p^{c(n+2)}$, a phenomenon we term crystallinity for mod $(p^c,v_1^{p^n})$…

Given a projective morphism of compact, complex, algebraic varieties and a relatively ample line bundle on the domain we prove that a suitable choice, dictated by the line bundle, of the decomposition isomorphism of the Decomposition…

The primary goal of this paper is to identify syntomic complexes with the $p$-adic \'etale Tate twists of Geisser--Schneider--Sato on regular $p$-torsionfree schemes. Our methods apply naturally to a broader class of schemes that we call…

Let $K$ be an unramified $p$-adic local field and let $W$ be the ring of integers of $K$. Let $(X,S)/W$ be a smooth proper scheme together with a normal crossings divisor. We show that there are only finitely many log crystalline $\mathbb…

We propose the notion of a coarse cohomology theory and study the examples of coarse ordinary cohomology, coarse stable cohomotopy and of coarse cohomology theories obtained by dualizing coarse homology theories. We show that the dualizing…

In this paper, we establish an innovative framework in logarithmic Hodge theory for toroidal varieties, introducing weighted toroidal structures and developing a systematic obstruction theory for Hodge classes. Building upon recent advances…

We give a new construction of free distributive p-algebras. Our construction relies on a detailed description of completely meet-irreducible congruences, so it is purely universal algebraic. It yields a normal form theorem for p-algebra…

Let $R$ be a complete valuation ring of mixed characteristic $(0,p)$ with algebraically closed fraction field $K$ and residue field $k$. Let $X/R$ be a smooth projective morphism. We show that if $X_k$ is stably rational, then $H^3(X_K,…

We prove a Poincar\'e duality for arithmetic $p$-adic pro-\'etale cohomology of smooth dagger curves over finite extensions of ${\mathbf Q}_p$. We deduce it, via the Hochschild-Serre spectral sequence, from geometric comparison theorems…

Let $K$ be a unramified $p$-adic field with the absolute Galois group $G_K$ and $T$ a crystalline $\mathbb Z_p$-representation of $G_K$. We study the graded pieces of integral filtration on $D_{\rm dR}(T)$ given by Nyggard filtration of the…

I prove a crystalline characterization of abelian varieties in characteristic $p>0$ amongst the class of varieties with trivial tangent bundle. I show using my characterization that a smooth, projective, ordinary variety with trivial…

Let $V$ be a complete discrete valuation ring with residue field $\mathbb{F}$. We define a cyclic homology theory for algebras over $\mathbb{F}$, by lifting them to free algebras over $V$, which we enlarge to tube algebras and complete…

Let $C,A$ be countable abelian groups. In this paper we determine the complexity of classifying extensions $C$ by $A$, in the cases when $C$ is torsion-free and $A$ is a $p$-group, a torsion group with bounded primary components, or a free…

We study the unipotent completion $\Pi^{DR}_{un}(x_0, x_1, X_K)$ of the de Rham fundamental groupoid [De] of a smooth algebraic variety over a local non-archimedean field K of characteristic 0. We show that the vector space…

We propose a new approach to crystalline cohomology based on the observation that one can lift smooth algebras uniquely "up to coherent homotopy."

Deligne cohomology can be viewed as a differential refinement of integral cohomology, hence captures both topological and geometric information. On the other hand, it can be viewed as the simplest nontrivial version of a differential…

We study $p$-adic properties of the coherent cohomology of some automorphic sheaves on the Hilbert modular variety $X$ for a totally real field $F$ in the case where the prime $p$ is totally split in $F$. More precisely, we develop higher…

We discuss the space of sections and certain bisections on a quadric surfaces bundle $X$ over a smooth curve. The Abel-Jacobi from these spaces to the intermediate Jacobian will be shown to be dominant with rationally connected fibers. As…

We study integral structures of crystalline representations over an unramified extension $K / \mathbb{Q}_p$ with the help of an auxillary ring $A_{\textrm{exp}}$. This ring has the nice property that it contains the the fundamental period…

For a smooth projective curve $X$ over $\mathbb C_p$ and any reductive group $G$, we show that the moduli stack of $G$-Higgs bundles on $X$ is a twist of the moduli stack of v-topological $G$-bundles on $X_v$ in a canonical way. We explain…