Related papers: Logarithmic De Rham, Infinitesimal and Betti Cohom…
In the paper "The second cohomology of nilpotent orbits in classical Lie algebras, Kyoto J. Math. 60 (2020), no. 2, 717-799" by I. Biswas, P. Chatterjee, and C. Maity, explicit descriptions of the second and first real de Rham cohomology…
The main objects of study are adic spaces with logarithmic structures. After establishing the basic definitions, we analyze the Kummer \'etale and pro-Kummer \'etale topologies on log adic spaces. In particular, we show that log adic spaces…
We prove a comparison isomorphism between the De Rham rational homotopy type of a smooth proper log variety defined over a p-adic field and the crystalline rational homotopy type of a semi-stable reduction mod p.
Let Y be a divisor on a smooth algebraic variety X. We investigate the geometry of the Jacobian scheme of Y, homological invariants derived from logarithmic differential forms along Y, and their relationship with the property that Y is a…
For a curve C and a reductive group G in prime characteristic, we relate the de Rham moduli of logarithmic G-connections on C to the Dolbeault moduli of logarithmic G-Higgs bundles on the Frobenius twist of C. We name this result the…
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…
Recently, the authors of this paper introduced logarithmic Hochschild (co)homology of logarithmic spaces in a geometric way using formality of derived intersections. In this paper, the authors extend the decomposition theorem for the…
We establish a comparison isomorphism between prismatic cohomology and derived de Rham cohomology respecting various structures, such as their Frobenius actions and filtrations. As an application, when $X$ is a proper smooth formal scheme…
In this article, we construct two kinds of de Rham-like complexes which compute the cohomology of complete crystals on the higher-level $q$-crystalline site, which was introduced in a previous article of the author. One complex is the…
In this article, we establish results concerning the cohomology of Zariski dense subgroups of solvable linear algebraic groups. We show that for an irreducible solvable $\mathbb{Q}$-defined linear algebraic group $\mathbf{G}$, there exists…
We prove that the deRham cohomology classes of Lee forms of locally conformally symplectic structures taming the complex structure of a compact complex surface $S$ with first Betti number equal to $1$ is either a non-empty open subset of…
This article investigates the relationship between Betti numbers of finitely generated modules over a Noetherian local ring $(R, \mathfrak{m})$ and the structure of formal local cohomology modules. We establish a connection between the…
Le Stum and Quir\'os proved the formal Poincar\'e lemma in crystalline cohomology of higher level using the jet complex, and applied it to give a de Rham interpretation of this cohomology. In this article, we prove the logarithmic version…
The original de Rham cohomology due to Souriau and the singular cohomology in diffeology are not isomorphic to each other in general. This manuscript introduces a singular de Rham complex endowed with an integration map into the singular…
This work is dedicated to the construction of a new motivic homotopy theory for (log) schemes, generalizing Morel-Voevodsky's (un)stable $\mathbb{A}^1$-homotopy category. Our framework can be used to represent log topological Hochschild and…
Let $k$ be a perfect field of characteristic $p > 0$, $W_n = W_n(k)$. For separated $k$-schemes of finite type, we explain how rigid cohomology with compact supports can be computed as the cohomology of certain de Rham-Witt complexes with…
This is a companion paper our previous submission "\infty-categories monoidales rigides et caracteres de Chern", in which we give a comparison between functions on the derived loop space of a smooth scheme of caracteristic zero, and its…
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 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…
A now classical construction due to Kato and Nakayama attaches a topological space (the "Betti realization") to a log scheme over $\mathbf{C}$. We show that in the case of a log smooth degeneration over the standard log disc, this…