Related papers: Logarithmic prismatic cohomology II

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 study the Bruhat decomposition of not necessarily connected reductive quasi-split groups $G$ with respect to not necessarily connected parabolic subgroups. If $G$ is defined over a finite field, we construct a smooth…

Similarly to the theory of crystalline cohomology, we give a local description of a prismatic crystal and its cohomology in terms of a $q$-Higgs module and the associated $q$-Higgs complex on the bounded prismatic envelope of an embedding…

We develop a theory of log adic spaces by combining the theories of adic spaces and log schemes, and study the Kummer \'etale and pro-Kummer \'etale topology for such spaces. We also establish the primitive comparison theorem in this…

This is our second scope of the consideration on the corresponding topologization and the corresponding functional analytification. We will focus on the corresponding functorial and motivic constructions in our current consideration. We…

As a corollary of nonabelian Hodge theory, Simpson proved a strong Lefschetz theorem for complex polarized variations of Hodge structure. We show an arithmetic analog. Our primary technique is $p$-adic nonabelian Hodge theory. Conditional…

We study the local analytic classification of affine structures with logarithmic pole on complex surfaces. With this result in hand, we can get the local classification of the logarithmic parallelizable d-webs, d $\ge$ 3.

In this article, we study the De Rham cohomology of the first cover in the Drinfel'd tower. In particular, we get a purely local proof that the supercuspidal part realizes the local Jacquet-Langlands correspondence for ${\rm GL}_n$ by…

We show that the abstract equivalence of categories, called Cartier transform, between crystals on the q-crystalline and prismatic sites can be locally identified with the explicit local q-twisted Simpson correspondence. This establishes…

In this paper, we develop the theory of relative log convergent cohomology of radius $\lambda$ ($0 < \lambda \leq 1$), which is a generalization of the notion of relative log convergent cohomology in the previous paper. By comparing this…

We compute the first cohomology group of the symmetric algebra of the universal \'etale $p$-adic local system on the tower of coverings of Drinfeld's $p$-adic half-plane. The result takes a factorized form, using the $p$-adic Langlands…

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…

In this paper, we introduce the notions of logarithmic Poisson structure and logarithmic principal Poisson structure; we prove that the latter induces a representation by logarithmic derivation of the module of logarithmic Kahler…

We introduce a way of describing cohomology of the symmetric groups with coefficients in Specht modules over Z or F_p. We study i-th-degree cohomology for i in {0,1,2}. The focus lies on the isomorphism type of second-degree cohomology of…

For a flat $p$-adic formal family $S$ of log points over a complete discrete valuation ring with perfect residue field of mixed characteristics $(0,p)$ and for a simple normal crossing log scheme $X$ over an exact closed log subscheme of…

Syntomic cohomology here defined yields a link between rigid cohomology and etale cohomology, viewing the last one as the fixed points under Frobenius of the former one. Let V be a complete discrete valuation ring, with perfect residue…

We compute the equivariant homology and cohomology of projective spaces with integer coefficients. More precisely, in the case of cyclic groups, we show that the cellular filtration of the projective space $P(k\rho )$, of lines inside…

We provide a simple approach for the crystalline comparison of Ainf-cohomology, and reprove the comparison between crystalline and p-adic etale cohomology for formal schemes in the case of good reduction.

We prove that rigid cohomology can be computed as the cohomology of a site analogous to the crystalline site. Berthelot designed rigid cohomology as a common generalization of crystalline and Monsky-Washnitzer cohomology. Unfortunately,…

We review the notion of relative Dolbeault cohomology and prove that it is canonically isomorphic with the local (relative) cohomology of A. Grothendieck and M. Sato with coefficients in the sheaf of holomorphic forms. We deal with this…