Related papers: Cycle classes and the syntomic regulator

We define a de Rham cohomology theory for analytic varieties over a valued field $K^\flat$ of equal characteristic $p$ with coefficients in a chosen untilt of the perfection of $K^\flat$ by means of the motivic version of Scholze's tilting…

We show how to attach to any rigid analytic variety $V$ over a perfectoid space $P$ a rigid analytic motive over the Fargues-Fontaine curve $\mathcal{X}(P)$ functorially in $V$ and $P$. We combine this construction with the overconvergent…

We show that the bounded derived category of regular holonomic D-modules on a smooth variety is equivalent to the homotopy catgory of compact (or constructible) modules over the motivic ring spectrum $H_{dR}$ representing algebraic de Rham…

The goal of this paper is to offer a new construction of the de Rham-Witt complex of smooth varieties over perfect fields of characteristic $p>0$. We introduce a category of cochain complexes equipped with an endomorphism $F$ of underlying…

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 explicitly describe cycle-class maps c_H from motivic cohomology to absolute Hodge cohomology, for smooth quasi-projective and (some) proper singular varieties, and compute special cases of the latter. For smooth projective varieties, we…

Let $X$ be a proper smooth algebraic variety over a field $k$ of characteristic zero and let $D$ be a divisor with simple normal crossings. Let $M$ be a vector bundle over $X-D$ equipped with a flat connection with possible irregular…

In this follow-up paper we show that smooth Hodge-proper stacks over $\mathcal O_K$ are $\mathbb Q_p$-locally acyclic: namely the natural map between \'etale $\mathbb Q_p$-cohomology of the algebraic and Raynaud generic fibers is an…

Consider the cycle class map cl_{r,m} : CH^r(U,m;\Q) \to \Gamma H^{2r-m}(U,\Q(r)), where CH^r(U,m;\Q) is Bloch's higher Chow group (tensored with \Q) of a smooth complex quasi-projective variety U, and H^{2r-m}(U,\Q(r)) is singular…

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…

We show a de Rham theory for cubical manifolds, and study rational homotopy type of the classifying spaces of smooth quandles. We also show that secondary characteristic classes in \cite{Dup2,DK} produce cocycles of quandles.

For a smooth scheme over a perfect field of characteristic p>0, we generalise a definition of Bloch and introduce overconvergent de Rham-Witt connections. This provides a tool to extend the comparison morphisms of Davis, Langer and Zink…

We introduce smooth L^\infty differential forms on a singular (semialgebraic) set X in R^n. Roughly speaking, a smooth L^\infty differential form is a certain class of equivalence of 'stratified forms', that is, a collection of smooth forms…

Given an animated ring $S$, we define a filtration on its absolute prismatic cohomology $\mathcal{N}_r^{\geq i} \mathbb{\Delta}_S$, which we call the $r$-Nygaard filtration and study some of its main properties using a mixture of algebraic…

We study the ring of sections A(X) of a complete symmetric variety X, that is of the wonderful completion of G/H where G is an adjoint semi-simple group and H is the fixed subgroup for an involutorial automorphism of G. We find generators…

This is the second in a sequence of three articles exploring the relationship between commutative algebras and $E_\infty$-algebras in characteristic $p$ and mixed characteristic. Given a topological space $X,$ we construct, in a manner…

Spencer cohomology theory studies the cohomology of chain complexes of modules over the ring of differential operators $\mathscr{D}$ of a smooth analytic space. In this paper we give a generalisation of Spencer cohomology suitable for…

Let $C_2$ denote the cyclic group of order two. Given a manifold with a $C_2$-action, we can consider its equivariant Bredon $RO(C_2)$-graded cohomology. In this paper, we develop a theory of fundamental classes for equivariant submanifolds…

This paper provides the technical tools needed in ongoing work of the authors to compute p-adic \'etale Abel-Jacobi maps in order to obtain explicit reciprocity laws for GSp4. In particular, we define and study syntomic polynomial…

In this paper one considers three homotopy functors on the category of manifolds, $hH^\ast, cH^\ast, sH^\ast,$ and parallel them with other three homotopy functors on the category of connected commutative differential graded algebras,…