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

We survey over some recent applications of motivic homotopy theory in the definition and the study of $p$-adic cohomology theories. In particular, we revisit the proof of the $p$-adic weight-monodromy conjecture for smooth projective…

We prove a version of de Rham and Hyodo-Kato flip-flopping for dual towers of rigid analytic spaces including those coming from dual basic local Shimura varieties. The main tool are comparison theorems expressing the two cohomologies as…

In this paper, we show that for finite $CW$-complexes $X$ and two-stage space $Y$ (for example $n$-spheres $S^n$, homogeneous spaces and $F_0$-spaces), the rational homotopy type of $\map(X, Y)$ is determined by the cohomology algebra…

We prove that the Hodge-de Rham spectral sequence for smooth proper tame Artin stacks in characteristic p (as defined by Abramovich, Olsson, and Vistoli) which lift mod p^2 degenerates. We push the result to the coarse spaces of such…

For a strictly semistable log scheme $Y$ over a perfect field $k$ of characteristic $p$ we investigate the canonical \v{C}ech spectral sequence $(C)_T$ abutting to the Hyodo-Kato (log crystalline) cohomology $H_{crys}^*(Y/T)_{\mathbb{Q}}$…

We compare flat cohomology with crystalline syntomic complexes in two cases: 1) $p$-divisible groups over a separated $\mathbb F_p$-scheme with local finite $p$-bases, 2) semi-abelian schemes over a separated irreducible smooth curve.

We prove the existence of a smoothing for a toroidal crossing space under mild assumptions. By linking log structures with infinitesimal deformations, the result receives a very compact form for normal crossing spaces. The main approach is…

We present a semicontinuity result, proven in recent joint work with Morrow and Scholze, relating the mod $p$ singular cohomology of a smooth projective complex algebraic variety X to the de Rham cohomology of a smooth characteristic $p$…

This article constructs the moduli stack of torsionfree $G$-jet-structures in homotopy type theory with one monadic modality. This yields a construction of this moduli stack for any $\infty$-topos equipped with any stable factorization…

We construct the $\Lambda$-adic de Rham analogue of Hida's ordinary $\Lambda$-adic \'etale cohomology and of Ohta's $\Lambda$-adic Hodge cohomology, and by exploiting the geometry of integral models of modular curves over the cyclotomic…

A p-compact group is a mod p homotopy theoretical analogue of a compact Lie group. It is determined the homotopy nilpotency class of a p-compact group having the homotopy type of the $p$-completion of the direct product of spheres.

Let $\calO_K$ be a complete discrete valuation ring of mixed characteristic $(0,p)$ with a perfect residue field. In this paper, for a semi-stable $p$-adic formal scheme $\frakX$ over $\calO_K$ with rigid generic fibre $X$ and canonical log…

For a semisimple complex algebraic group $G$ we determine the rational cohomology and the Hodge-Tate structure of the moduli stack ${\mathscr B}un_{G,X}$ of principal $G$-bundles over a connected smooth complex projective variety $X$ of…

It is proved that if two quasitoric manifolds of dimension $\le 2p^2-4$ for a prime $p$ have isomorphic cohomology rings, then they have the same $p$-local stable homotopy type.

We develop a version of Hodge theory for a large class of smooth formally proper quotient stacks $X/G$ analogous to Hodge theory for smooth projective schemes. We show that the noncommutative Hodge-de Rham sequence for the category of…

We study several rigidity properties of $p$-adic local systems on a smooth rigid analytic space $X$ over a $p$-adic field. We prove that the monodromy of the log isocrystal attached to a $p$-adic local system is ''rigid'' along irreducible…

When $p>2$, we construct a Hodge-type analogue of Rapoport-Zink spaces under the unramifiedness assumption, as formal schemes parametrising "deformations" (up to quasi-isogeny) of $p$-divisible groups with certain crystalline Tate tensors.…

We construct the relative log de Rham-Witt complex. This is a generalization of the relative de Rham-Witt complex of Langer-Zink to log schemes. We prove the comparison theorem between the hypercohomology of the log de Rham-Witt complex and…

In this paper, we study the existence of high-dimensional, closed, smooth manifolds whose rational homotopy type resembles that of a projective plane. Applying rational surgery, the problem can be reduced to finding possible Pontryagin…

We study horizontal semistable and horizontal de Rham representations of the absolute Galois group of a certain smooth affinoid over a p-adic field. In particular, we prove that a horizontal de Rham representation becomes horizontal…