Related papers: p-divisibility for coherent cohomology

We introduce the notion of a prism, which may be regarded as a "deperfection" of the notion of a perfectoid ring. Using prisms, we attach a ringed site -- the prismatic site -- to a $p$-adic formal scheme. The resulting cohomology theory…

We prove several results about p-divisible groups and Rapoport-Zink spaces. Our main goal is to prove that Rapoport-Zink spaces at infinite level are naturally perfectoid spaces, and to give a description of these spaces purely in terms of…

We introduce the "sharp" (universal) extension of a 1-motive (with additive factors and torsion) over a field of characteristic zero. We define the "sharp de Rham realization" by passing to the Lie-algebra. Over the complex numbers we then…

In this short note we show that the homotopy category of smooth compactifications of smooth algebraic varieties is equivalent to the homotopy category of smooth varieties over a field of characteristic zero. As an application we show that…

We use intuitive results from algebraic topology and intersection theory to clarify the pullback action on cohomology by compositions of rational maps. We use these techniques to prove a simple sufficient criterion for functoriality of a…

Fix a smooth projective family of curves $C \to S$ and a split reductive group scheme $G$ over a Noetherian base scheme $S$. For any (possibly nonreduced) fixed relative Cartier divisor $D$, we provide a treatment of the moduli of…

We compute the p-adic geometric pro-\'etale cohomology of the affine space (in any dimension). This cohomogy is non-zero, contrary to the \'etale cohomology, and can be described by means of differential forms.

We prove the existence of noncrossed product and indecomposable division algebras over the function field of a smooth p-adic curve, especially when the curve does not admit a smooth model over Z_p. Thus we generalize arXiv 0907.0670. To…

Let G be a reductive group over an algebraically closed field of characteristic p>0. We study properties of embeddings of spherical homogeneous G-spaces. We look at Frobenius splittings, canonical or by a (p-1)-th power, compatible with…

We compare a couple of notions of differential form on singular complex algebraic varieties, and relate them to the outermost associated graded spaces of the Hodge filtration of ordinary and intersection cohomology. In particular, we…

By adapting the Cheeger-Simons approach to differential cohomology, we establish a notion of differential cohomology with compact support. We show that it is functorial with respect to open embeddings and that it fits into a natural diagram…

Let $p:X \rightarrow S$ be a flat, proper and regular scheme over a strictly henselian discrete valuation ring. We prove that the singularity category of the special fiber with its natural two-periodic structure allows to recover the…

In mixed characteristic and in equal characteristic $p$ we define a filtration on topological Hochschild homology and its variants. This filtration is an analogue of the filtration of algebraic $K$-theory by motivic cohomology. Its graded…

In a recent paper, the second author and Joana Cirici proved a theorem that says that given appropriate hypotheses, $n$-formality of a differential graded algebraic structure is equivalent to the existence of a chain-level lift of a…

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…

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…

We prove a coherence theorem for invertible objects in a symmetric monoidal category. This is used to deduce associativity, skew-commutativity, and related results for multi-graded morphism rings, generalizing the well-known versions for…

For each endotrivial complex arising from Bredon homology of a representation sphere, we construct $p$-local quasi-isomorphisms, called forerunners, enabling us to extend Balmer--Gallauer's results in arXiv:2307.04398 Part II concerning the…

This is a survey of some recent developments concerning the p-adic cohomology of algebraic varieties over fields of positive characteristic and local fields of mixed characteristic, plus some related areas like p-adic Hodge theory.

We introduce filtrations in chiral homology complexes of smooth elliptic curves, exploiting the mixed Hodge structure on cohomology groups of configuration spaces. We use these to relate the chiral homology of a smooth elliptic curve with…