Related papers: Prismatic cohomology and de Rham-Witt forms

We introduce a notion of proper morphism for schematic finite spaces and prove the analogue of Grothendieck's finiteness theorem for it by means of the classic result for schemes and general descent arguments. This result also generalizes…

We prove that $p$-adic geometric pro-\'etale cohomology of smooth partially proper rigid analytic varieties over $p$-adic fields seen in the category of Topological Vector Spaces satisfies a Poincar\'e duality as we have conjectured. This…

Let $(M,\mathcal{F})$ be a foliated manifold. We prove that there is a canonical isomorphism between the complex of base-like forms $\Omega^*_b(M,\mathcal{F})$ of the foliation and the "De Rham complex" of the space of leaves…

The Peterson comparison formula proved by Woodward relates the three-pointed Gromov-Witten invariants for the quantum cohomology of partial flag varieties to those for the complete flag. Another such comparison can be obtained by composing…

For a proper, smooth scheme $X$ over a $p$-adic field $K$, we show that any proper, flat, semistable $\mathcal{O}_K$-model $\mathcal{X}$ of $X$ whose logarithmic de Rham cohomology is torsion free determines the same $\mathcal{O}_K$-lattice…

We consider the de Rham complex over scales of weighted isotropic and anisotropic H\"older spaces with prescribed asymptotic behaviour at the infinity. Starting from theorems on the solvability of the system of operator equations generated…

Over any smooth algebraic variety over a $p$-adic local field $k$, we construct the de Rham comparison isomorphisms for the \'etale cohomology with partial compact support of de Rham $\mathbb Z_p$-local systems, and show that they are…

Let $Y/S$ be a $p$-completely smooth morphism of $p$-torsion free $p$-adic formal schemes endowed with a Frobenius lift, and let $\overline Y/\overline S$ denote its reduction modulo $p$. We show that the category of crystals on the…

We generalize the functorial quasi-isomorphism in \cite{Davis2011} from overconvergent Witt de-Rham cohomology to rigid cohomology on smooth varieties over a finite field $k$, dropping the quasi-projectiveness condition. We do so by…

A positive definite quadratic form is called perfect, if it is uniquely determined by its arithmetical minimum and the integral vectors attaining it. In this self-contained survey we explain how to enumerate perfect forms in $d$ variables…

Via the relative fundamental exact sequence of $p$-adic Hodge theory, we determine the geometric $p$-adic pro-\'etale cohomology of the Drinfeld symmetric spaces defined over a $p$-adic field, thus giving an alternative proof of a theorem…

Let R be a ring of polynomials in a finite number of variables over a perfect field k of characteristic p>0 and let F:R\to R be the Frobenius map of R, i.e. F(r)=r^p. We explicitly describe an R-module isomorphism Hom_R(F_*(M),N)\cong…

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 order to look for a well-behaved counterpart to Dolbeault cohomology in D-complex geometry, we study the de Rham cohomology of an almost D-complex manifold and its subgroups made up of the classes admitting invariant, respectively…

We construct the $\Lambda$-adic crystalline and Dieudonn\'e analogues of Hida's ordinary $\Lambda$-adic \'etale cohomology, and employ integral $p$-adic Hodge theory to prove $\Lambda$-adic comparison isomorphisms between these cohomologies…

On non-K\"ahler manifolds the notion of harmonic maps is modified to that of Hermitian harmonic maps in order to be compatible with the complex structure. The resulting semilinear elliptic system is {\it not} in divergence form. The case of…

In this paper we study the cohomology of the de Rham complex of sheaves of reflexive differential forms on a normal complex space. First, we prove that the complex is exact in degree one under suitable conditions on the underlying…

The prism over a graph $G$ is the Cartesian product of $G$ with the complete graph on two vertices. A graph $G$ is prism-hamiltonian if the prism over $G$ is hamiltonian. We prove that every polyhedral graph (i.e. 3-connected planar graph)…

For a smooth and proper scheme over an artinian local ring with ordinary reduction over the perfect residue field we prove - under some general assumptions - that the relative de Rham-Witt spectral sequence degenerates and the relative…

We describe complex conjugation on the primitive middle-dimensional algebraic de Rham cohomology of a smooth projective hypersurface defined over a number field that admits a real embedding. We use Griffiths' description of the cohomology…