Towards a L 2 cohomology theory for Hodge modules on infinite covering spaces: L 2 constructible cohomology and L 2 de Rham cohomology for coherent D-modules
This article constructs Von Neumann invariants for constructible complexes and coherent D-modules on compact complex manifolds, generalizing the work of the author on coherent L 2-cohomology. We formulate a conjectural generalization of Dingoyan's L 2-Mixed Hodge structures in terms of Saito's Mixed Hodge Modules and give partial results in this direction. 2020 AMS Classification: 32J27.
We prove a Hodge-type decomposition for the de-Rham cohomology of $ p$-adically uniformized varieties by the product of Drinfeld's symmetric spaces. It is based on work of Schneider, Stuhler, Iovita and Spiess on the cohomology of Drinfeld's symmetric space.
We prove that the relative log de Rham cohomology groups of a projective semistable log smooth degeneration admit a natural \textit{limiting} mixed Hodge structure. More precisely, we construct a family of increasing filtrations and a family of nilpotent endomorphisms on the relative log de Rham cohomology groups and show that they satisfy a part of good properties of a nilpotnet orbit in several variables.
We revisit the non-commutative Hodge-to-de Rham Degeneration Theorem of the first author, and present its proof in a somewhat streamlined and improved form that explicitly uses spectral algebraic geometry. We also try to explain why topology is essential to the proof.
In this article we prove that the log Hodge de Rham spectral sequences of certain proper log smooth schemes of Cartier type in characteristic $p>0$ degenerate at $E_1$. We also prove that the log Kodaira vanishings for them hold when they are projective. We formulate the log weak Lefschetz conjecture for log crystalline cohomologies and prove that it is true in certain cases.
We introduce the categories of geometric mixed Hodge modules on algebraic varieties over a subfield $k\subset\mathbb C$, and for a prime number $p$, the categories of geometric $p$-adic mixed Hodge modules on algebraic varieties over a subfield $k\subset K\subset\mathbb C_p$ of a p-adic field $K$. We then give an Hodge realization functor on the de derived category of relative motives over $k\subset\mathbb C$, and for a prime number $p$ a $p$-adic Hodge realization functor on the derived category of relative motives over $k\subset K\subset\mathbb C_p$.
Let $X$ be an algebraic curve with an action of a finite group $G$ over a field $k$. We show that if the Hodge-de Rham short exact sequence of $X$ splits $G$-equivariantly then the action of $G$ on $X$ is weakly ramified. In particular, this generalizes the result of Köck and Tait for hyperelliptic curves. We discuss also converse statements and tie this problem to lifting coverings of curves to the ring of Witt vectors of length $2$.
For complex parallelisable manifolds $Γ\backslash G$, with $G$ a solvable or semisimple complex Lie group, the Frölicher spectral sequence degenerates at the second page. In the solvable case, the de-Rham cohomology carries a pure Hodge structure. In contrast, in the semisimple case, purity depends on the lattice, but there is always a direct summand of the de Rham cohomology which does carry a pure Hodge structure and is independent of the lattice.
Derived de Rham cohomology has been recently used in several contexts, as in works of Beilinson and Bhatt on p-adic periods morphisms and Morin on numerical invariants for special values of zeta functions. Inspired by some results of Morin, we aimed to compute Hodge completed derived de Rham complex in the case of a rings map $\mathbb{Z}\longrightarrow k$, factoring through $\mathbb{F}_p$, with $k$ a perfect ring (i.e. the Frobenius map is an automorphism).
In this follow-up paper we show that smooth Hodge-proper stacks over $\mathcal O_K$ are $\mathbb Q_p$-locally acyclic: namely the natural map between étale $\mathbb Q_p$-cohomology of the algebraic and Raynaud generic fibers is an equivalence. This establishes the $\mathbb Q_p$-case of general conjectures made in our previous work. As a corollary, we get that if a smooth Artin stack over $K$ has a smooth Hodge-proper model over $\mathcal O_K$, its $\mathbb Q_p$-étale cohomology is a crystalline Galois representation. We then also establish a truncated version of the above results in more gener…
We introduce a notion of a Hodge-proper stack and extend the method of Deligne-Illusie to prove the Hodge-to-de Rham degeneration in this setting. In order to reduce the statement in characteristic $0$ to characteristic $p$, we need to find a good integral model of a stack (a so-called spreading), which, unlike in the case of schemes, need not to exist in general. To address this problem we investigate the property of spreadability in more detail by generalizing standard spreading out results for schemes to higher Artin stacks and showing that all proper and some global quotient stacks are Hod…
We develop a `universal' support theory for derived categories of constructible (analytic or étale) sheaves, holonomic D-modules, mixed Hodge modules and others. As applications we classify such objects up to the tensor triangulated structure and discuss the question of monoidal topological reconstruction of algebraic varieties.
Starting from a homogeneous affine Springer fiber $Fl_ψ$, we construct three moduli spaces that correspond to the Dolbeault, de Rham and Betti aspects of a hypothetical Simpson correspondence with wild ramifications. We show that $Fl_ψ$ is homeomorphic to the central Lagrangian fiber in the Dolbeault space, prove that the Dolbeaut and de Rham spaces both have the same cohomology as $Fl_ψ$, and construct a map from the de Rham space to the Betti space which we conjecture to be an analytic isomorphism.
We study some semi-infinite invariants associated to Landau-Ginzburg models. These specialize classically to the usual twisted de Rham package and in the case of vanishing potential to the chiral de Rham complex of Malikov, Schechtman and Vaintrob, \cite{MSV}. Further we offer some small evidence that these semi-infinite invariants can be associated to dg- categories more generally, so that in the classical limit they reproduce the usual non-commutative Hodge theory associated to the category.
This is a review article discussing the de Rham cohomology of period domains of Hodge structures. We explain it as the de Rham cohomology of differentiable stacks as of a moduli space. We also discuss the cohomology of the partial toroidal compactification of these domains using known formulas on cohomology or Chow rings of toric structures. The text is expository and we have tried to connect some existing ideas that probably their relations not processed in the literature of Hodge theory. We state the significance of ideas as they naturally could be related, probably with not serious mathemat…
We construct a quasi-categorically enhanced Grothendieck six-functor formalism on schemes of finite type over the complex numbers. In addition to satisfying many of the same properties as M. Saito's derived categories of mixed Hodge modules, this new six-functor formalism receives canonical motivic realization functors compatible with Grothendieck's six functors on constructible objects.
This short note is extracted from Section 3 and Appendix of the paper entitled with Intersection de Rham complexes in positive characteristic by the same named authors, where an explicit infinite homotopy from a Higgs complex to the Frobenius pushforward of the corresponding de Rham complex in positive characteristic has been provided. The verification details, which are omitted therein, are provided here.
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 equivariant coherent sheaves degenerates. This spectral sequence converges to the periodic cyclic homology, which we canonically identify with the topological equivariant K-theory of $X$ with respect to a maximal compact subgroup of $G$, equipping the latter with a canonical pure Hodge structure. We also establish Hodge-de Rham degeneration for categories of matr…
We prove the Künneth formula for the irregular Hodge filtrations on the exponentially twisted de Rham and the Higgs cohomologies of smooth quasi-projective complex varieties. The method involves a careful comparison of the underlying chain complexes under a certain elimination of indeterminacy.
We construct a new cohomology theory for proper smooth (formal) schemes over the ring of integers of C_p. It takes values in a mixed-characteristic analogue of Dieudonne modules, which was previously defined by Fargues as a version of Breuil-Kisin modules. Notably, this cohomology theory specializes to all other known p-adic cohomology theories, such as crystalline, de Rham and etale cohomology, which allows us to prove strong integral comparison theorems. The construction of the cohomology theory relies on Faltings's almost purity theorem, along with a certain functor $Lη$ on the derived cate…
We introduce the general notions of an overconvergent site and a constructible crystal on an overconvergent site. We show that if $V$ is a geometric materialization of a locally noetherian formal scheme $X$ over an analytic space $O$ defined over $\mathbb Q$, then the category of constructible crystals on $X/O$ is equivalent to the category of constructible modules endowed with an overconvergent connection on the tube $\,]X[_V$ of $X$ in $V$. We also show that the cohomology of a constructible crystal is then isomorphic to the de Rham cohomology of its realization on the tube $\,]X[_V$. This i…
We present an obstruction theoretic inductive construction of intersection space pairs, which generalizes Banagl's construction of intersection spaces for arbitrary depth stratifications. We construct intersection space pairs for pseudomanifolds with compatible trivial structures at the link fibrations; this includes the case of toric varieties. We define intersection space complexes in an axiomatic way, similar to Goresky-McPherson axioms for intersection cohomology. We prove that if the intersection space exists, then the pseudomanifold has an intersection space complex whose hypercohomology…
S^1-Equivariant simplicial algebras and de Rham theory
这是我们以前提交的“\infty -categories monoidales rigides et caracteres de Chern”的姊妹篇，其中我们给出了特征零点的光滑概形的导出闭路空间上的函数与其代数de Rham上同调之间的比较。因此，我们得到函和乘法版本的HKR分解定理有关霍赫希尔德同调和霍奇上同调。
