Related papers: A pro-\'etale-to-de Rham comparison theorem for cu…
We define quantum exterior product wedge_h and quantum exterior differential d_h on Poisson manifolds, of which symplectic manifolds are an important class of examples. Quantum de Rham cohomology is defined as the cohomology of d_h. We also…
Using the language and terminology of relative homological algebra, in particular that of derived functors, we introduce equivariant cohomology over a general Lie-Rinehart algebra and equivariant de Rham cohomology over a locally trivial…
We study cohomologies of a curve with an action of a finite $p$-group over a field of characteristic $p$. Assuming the existence of a certain 'magical element' in the function field of the curve, we compute the equivariant structure of the…
We prove duality theorems for the {\'e}tale cohomology of logarithmic Hodge-Witt sheaves and split tori on smooth curves over a local field of positive characteristic. As an application, we obtain a description of the Brauer group of the…
We prove a finiteness theorem and a comparison theorem in the theory of \'etale cohomology of rigid analytic varieties. By a result of Huber, for a quasi-compact separated morphism of rigid analytic varieties with target being of dimension…
Let X be a smooth projective curve over a perfect field k of positive characteristic. This work investigates the relationship between stratified cohomology and group cohomology of the stratified fundamental group of X.
Let X be a smooth complex algebraic variety with the Zariski topology, and let Y be the underlying complex manifold with the complex topology. Grothendieck's algebraic de Rham theorem asserts that the singular cohomology of Y with complex…
We compute the moduli of endomorphisms of the de Rham and crystalline cohomology functors, viewed as a cohomology theory on smooth schemes over truncated Witt vectors. As applications of our result, we deduce Drinfeld's refinement of the…
We study the de Rham 1-cohomology H^1_{DR}(M,G) of a smooth manifold M with values in a Lie group G. By definition, this is the quotient of the set of flat connections in the trivial principle bundle $M\times G$ by the so-called gauge…
Topologically, compact toric varieties can be constructed as identification spaces: they are quotients of the product of a compact torus and the order complex of the fan. We give a detailed proof of this fact, extend it to the non-compact…
A rigidity property for the homotopy invariant stable linear framed presheaves is established. As a consequence a variant of Gabber rigidity theorem is obtained for a cohomology theory representable in the motivic stable homotopy category…
Consider a non-archimedean valuation ring V (K its fraction field, in mixed characteristic): inspired by some views presented by Scholze, we introduce a new point of view on the non-archimedean analytic setting in terms of derived analytic…
Let $\mathcal{O}_K$ be a mixed characteristic complete DVR with perfect residue field $k$ and fraction field $K$. It is a celebrated result of Berthelot and Ogus that for a smooth proper formal scheme $X/\mathcal{O}_K$ there exists a…
Let $K/E/\mathbb{Q}_p$ be a tower of finite extensions with $E$ Galois. We relate the category of $G_K$-equivariant vector bundles on the Fargues--Fontaine curve with coefficients in $E$ with $E$-$G_K$-$B$-pairs and describe crystalline and…
For smooth affine varieties in positive characteristic, we identify a slope obstruction to the injectivity of the comparison morphism from rigid cohomology to rationalised crystalline cohomology. This yields a negative answer to a question…
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…
De Rham cohomology with spacelike compact and timelike compact supports has recently been noticed to be of importance for understanding the structure of classical and quantum Maxwell theory on curved spacetimes. Similarly causally…
In the 1960s, Dwork developed a p-adic cohomology theory of de Rham type for varieties over finite fields, based on a trace formula for the action of a Frobenius operator on certain spaces of p-adic analytic functions. One can consider a…
We study sheaves on holomorphic spaces of loops and apply this to the study of the complex, defined in \cite{BdSHK}, governing deformations of the \emph{Poisson vertex algebra} structure on the space of holomorphic loops into a Poisson…
In this note we construct approximations by smooth projective varieties of some Eienberg-MacLane spaces in the $A^1$-homotopy category. Using these, we study the cycle maps from Chow rings to etale cohomology rings.