Related papers: The Hyodo-Kato isomorphism for rational homotopy t…

In the article of Hesselholt [Hes05], a set of conjectures is laid out. Given a smooth scheme $X$ over the ring of integers $\mathcal{O}_K$ of a $p$-adic field $K$, these conjectures concern the expected relation between log topological…

Let X be a compact nonsingular real algebraic variety. We prove that if a continuous map from X into the unit p-sphere is homotopic to a continuous rational map, then, under certain assumptions, it can be approximated in the compact-open…

We show a comparison theorem between log prismatic cohomology and log crystalline cohomology for a $p$-adic formal scheme with semistable reduction. Combined with the prismatic-\'etale comparison theorem recently proved by Tian, this…

We study homotopy properties of regular mappings from spheres into a real retract rational variety $Y$. We show that the homotopy classes which are represented by such mappings form subgroups of the homotopy groups of $Y$, and that the…

We prove a result that enables us to calculate the rational homotopy of a wide class of spaces by the theory of minimal models.

We describe the equivariant cohomology ring of rationally smooth projective embeddings of reductive groups. These embeddings are the projectivizations of reductive monoids. Our main result describes their equivariant cohomology in terms of…

In this article, we analyze the connection between the Log De Rham Cohomology of an fs (not necessary log smooth) log scheme $Y$ over $\mathbb C$ (for $Y$ admitting an exact closed immersion into an fs log smooth log scheme over $\mathbb…

We give a survey on recent results on inequalities between the ranks of homotopy and cohomology groups (resp., graded components of mixed Hodge structures on these groups) of rationally elliptic spaces (resp., quasi-projective varieties…

We state a conjecture relating de Rham cohomology of a smooth rigid analytic variety to its compactly supported pro-\'etale cohomology. We prove the conjecture in the cases where the variety is a Stein curve of dimension one or a Stein…

Motivated by applications in point counting algorithms using p-adic cohomology, we give an explicit description of integral lattices in rigid cohomology spaces that p-adically approximate logarithmic crystalline cohomology modules. These…

An isomorphism of symplectically tame smooth pseudocomplex structures on the complex projective plane which is a homeomorphism and differentiable of full rank at two points is smooth.

Based on Morse theory for the energy functional on path spaces we develop a deformation theory for mapping spaces of spheres into orthogonal groups. This is used to show that these mapping spaces are weakly homotopy equivalent, in a stable…

Building on ideas of Berthelot, we develop a crystalline cohomology formalism over divided power rings $(A, I_0, \eta)$ for any ring $A$, allowing $\mathbf{Z}$-flat $A$. For a smooth $A$-scheme $Y$ and a closed subscheme $X$ of $Y$ for…

We give an explicit construction of the p-adic de Rham comparison isomorphism for 1-motives. In particular, we prove that our construction recovers the classical de Rham comparison isomorphism and is functorial with respect to morphisms of…

By adapting arguments of Annala-Hoyois-Iwasa in the log setting, we prove Poincar\'e duality for smooth projective morphisms in logarithmic motivic homotopy theory. As an application, we show that the crystalline cohomology of a log…

A classical result of Loday-Quillen and Tsygan states that the Lie algebra homology of the algebra of stable matrices over an associative algebra is isomorphic, as a Hopf algebra, to the exterior algebra of the cyclic homology of the…

We explain how to construct a cohomology theory on the category of separated quasi-compact smooth rigid spaces over $\mathbf{C}_p$ (or more general base fields), taking values in the category of vector bundles on the Fargues-Fontaine curve,…

We prove that existence of a k-rational point can be detected by the stable A^1-homotopy category of S^1-spectra, or even a "rationalized" variant of this category.

Derived de Rham cohomology turns out to be important in $p$-adic geometry, following Bhatt's discovery [Bha12] of conjugate filtration in char $p$, de-Hodge-completing results in [Bei12]. In [Kal18], Kaledin introduced an analogous…

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…