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.
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.
Let X be a smooth complex projective variety, let $j:U\into X$ an immersion of a Zariski open subset, and let V be a variation of Hodge structure of weight n over U. Then IH^k(X, j_*V) is known to carry a pure Hodge structure of weight k+n, while H^k(U,V) carries a mixed Hodge structure of weight $\ge k+n$. In this note it is shown that the image of the natural map $IH^k(X,j_*V) \to H^k(U,V)$ is the lowest weight part of this mixed Hodge structure. The proof uses Saito's theory of mixed Hodge modules.
Let X be a complex algebraic manifold of dimension n+1 embedded in a sufficiently higher dimensional complex projective space, and Y a generic hyperplane section of X. We describe the mixed Hodge structure on H^p(X-Y,C) and the Hodge filtration of the middle primitive cohomology group H^n(Y,C)_0 of Y in terms of rational integrals on X. (Key words: Primitive cohomology, Rational integral of the 2nd kind, Generalized Poincare residue map, Hodge filtration, Mixed Hodge structure)
We show that the description of Deligne--Beilinson cohomology is improved by using log Hodge theory. We consider the log relative version of it, and also present a fundamental conjecture in log Hodge theory.
We analyze the structure of the algebraic manifolds $Y$ of dimension 3 with $H^i(Y, Ω^j_Y)=0$ for all $j\geq 0$, $i>0$ and $h^0(Y, {\mathcal{O}}_Y) > 1$, by showing the deformation invariant of some open surfaces. Secondly, we show when a smooth threefold with nonconstant regular functions satisfies the vanishing Hodge cohomology. As an application, we prove the existence of nonaffine and nonproduct threefolds $Y$ with this property by constructing a family of a certain type of open surfaces parametrized by the affine curve $\C-\{0\}$ such that the corresponding smooth completion $X$ has Kodai…
We propose a version of the Hodge conjecture in Bott-Chern cohomology and using results from characterizing real holomorphic chains by real rectifiable currents to provide a proof for this question. We define a Bott-Chern differential cohomology and use atomic section theory of Harvey and Lawson to construct refined Bott-Chern classes for holomorphic vector bundles in this differential cohomology. These refined Bott-Chern classes transform naturally to standard Chern classes, Bott-Chern classes and Cheeger-Simons' refined Chern classes.
We improve the known Hodge type bound for the exotic cohomology of complete intersections. In the revised version, we included a simplification of our original argument due to Pierre Deligne. The note appears in the C. R. de l'Aca. des Sc. de Paris.
We construct a polarized Hodge structure on the primitive part of Chen and Ruan's orbifold cohomology $H_{orb}^k(X)$ for projective $SL$-orbifolds $X$ satisfying a ``Hard Lefschetz Condition''. Furthermore, the total cohomology $H_{orb}^{*,*}(X)$ forms a mixed Hodge structure that is polarized by every element of the Kähler cone of $X$. Using results of Cattani-Kaplan-Schmid this implies the existence of an abstract polarized variation of Hodge structure on the complexified Kähler cone of $X$. This construction should be considered as the analogue of the abstract polarized variation of Hodge s…
In this paper, we explore a notion of nonabelian Hodge structure on the fundamental group of an algebraic variety. This is approach is compared to some alternative approaches due to Morgan, Hain and others. We also give criteria for a variety to be a Hodge theoretic K(pi,1), which roughly means that the cohomology of variations of mixed Hodge structure can be determined from the group.
We give a definition and study the basic properties of the irregular Hodge filtration on the exponentially twisted de Rham cohomology of a smooth quasi-projective complex variety.
Using morphic cohomology, we produce a sequence of conjectures, called morphic conjectures, which terminates at the Grothendieck standard conjecture A. A refinement of Hodge structures is given, and with the assumption of morphic conjectures, we prove a Hodge index theorem. We answer a question of Friedlander and Lawson by assuming the Grothendieck standard conjecture B and prove that the topological filtration from morphic cohomology is equal to the Grothendieck arithmetic filtration for some cases.
We use Higgs cohomology to determine the Hodge numbers of the first intersection cohomology group of a local system V arising from the third direct image of a family of Calabi-Yau 3-folds over a smooth, quasi-projective curve. We give applications to Rhode's families of Calabi-Yau 3-folds without MUM.
We consider a hypersurface in $\mathbb{C}^n$ with an isolated singular point at the origin, and study the mixed Hodge structure of the stalk of its intersection cohomology complex at the origin. In particular we express the dimension of each graded piece of the weight filtration of this mixed Hodge structure in terms of the numbers of the Jordan blocks in the Milnor monodromy.
We constructed the analytic Milnor fiber is a non-archimedean model of the classical topological Milnor fibration. In the present paper, we describe the homotopy type of the analytic Milnor fiber in terms of a strictly semi-stable model, and we show that its singular cohomology coincides with the weight zero part of the mixed Hodge structure on the nearby cohomology. We give a similar expression for Denef and Loeser's motivic Milnor fiber in terms of a strictly semi-stable model.
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 recall the construction of the Hodge character and we show, using a result due to F. Bittner, that these can be constructed using classical pure Hodge theory only, sideskipping Deligne's construction of functorial mixed Hodge structures on the cohomology of algberaic varieties. We then give a proof, based on the weak factorization theorem, that the nearby fibre is well-defined in the Grothendieck group of varieties. Finally, various formulas for numerical invariants of Hodge-theoretic origin are presented which are associated to one-parameter degenerations of projective manifolds.
Étale Nori finite vector bundles are those bundles defined by representations of a finite étale group scheme in the usual way. In this note we show that in many cases the dimensions of the Hodge cohomology groups of such a vector bundle and of a twist of it by an automorphism of the ground field are the same. This generalizes to the higher rank case a result of Pink-Roessler.
We construct correspondences in logarithmic Hodge theory over a perfect field of arbitrary characteristic. These are represented by classes in the cohomology of sheaves of differential forms with log poles and, notably, log zeroes on cartesian products of varieties. From one perspective this generalizes work of Chatzistamatiou and Rülling, who developed (non-logarithmic) Hodge correspondences over perfect fields of arbitrary characteristic; from another we provide partial generalizations of more recent work of Binda, Park and Østvær on logarithmic Hodge correspondences by relaxing finiteness a…
We study the moduli space of Higgs bundles on a compact Riemann surface. It was shown by Thaddeus and Hausel (in rank 2) and Markman (in general rank) that the rational cohomology ring of this space is generated by universal classes. In this paper, we use their results to compute the Hodge structure on the cohomology of this moduli space. We show that the natural Hodge structure on H^k is pure of weight k.
We establish a blow-up formula for Hodge cohomology of locally free sheaves on smooth proper varieties over an algebraically closed field of positive characteristic. For this, we introduce a notion of relative Hodge sheaves and study their behavior under blow-ups along smooth centers. In particular, as an application, we study the blow-up invariance of the $E_2$-degeneracy of the Hochschild--Kostant--Rosenberg spectral sequence for smooth proper varieties.
We construct Hodge filtered function spaces associated to infinite loop spaces. For Brown-Peterson cohomology, we show that the corresponding Hodge filtered spaces satisfy an analog of Wilson's unstable splitting. As a consequence, we obtain an analog of Quillen's theorem for Hodge filtered Brown-Peterson cohomology for complex manifolds.
It is known that the Picard group of a complex manifold can be expressed as a Deligne cohomology group. One may wonder if the same holds for the Picard group of a smooth algebraic variety and Deligne-Beilinson cohomology but this is not true, as already remarked by M. Saito. We explain how one has to modify the latter, show that the Picard group can be expressed by absolute Hodge cohomology, too, and introduce an intermediate object between Picard group and usual Deligne-Beilinson cohomology group. Similarly as in the case of Deligne cohomology one can relate line bundles with a regular connec…
Let $X$ be a compact Riemann surface, $Σ$ a finite set of points and $M = X\setminus Σ$. We study the $L^2$ cohomology of a polarized complex variation of Hodge structure on a Galois covering of the Riemann surface of finite type $M$. In this article we treat the case when the covering comes from a branched covering of $X$, and where $M$ is endowed with a metric asymptotic to a Poincaré metric. We prove that after tensorisation with the algebra of affiliated operators, the $L^2$ cohomology admits a pure Hodge structure.
We interpret syntomic cohomology of Nekovář-Nizioł as a $p$-adic absolute Hodge cohomology. This is analogous to the interpretation of Deligne-Beilinson cohomology as an absolute Hodge cohomology by Beilinson and generalizes the results of Bannai and Chiarellotto, Ciccioni, Mazzari in the good reduction case, and of Yamada in the semistable reduction case. This interpretation yields a simple construction of the syntomic descent spectral sequence and its degeneration for proper and smooth varieties. We introduce syntomic coefficients and show that in dimension zero they form a full triangulated…
We prove the Hodge symmetry type result on the Dolbeault cohomology of Oeljeklaus-Toma manifolds with values in the direct sum of holomorphic line bundles. Consequently, we show the vanishing and non-vanishing of Dolbeault cohomology of Oeljeklaus-Toma manifolds with values in holomorphic line bundles.
We prove that Schur classes of nef vector bundles are limits of classes that have a property analogous to the Hodge-Riemann bilinear relations. We give a number of applications, including (1) new log-concavity statements about characteristic classes of nef vector bundles (2) log-concavity statements about Schur and related polynomials (3) another proof that normalized Schur polynomials are Lorentzian.
We study restrictions on cohomology algebras of Kaehler compact manifolds, not depending on the h^{p,q} numbers or the symplectic structure. To illustrate the effectiveness of these restrictions, we give a number of examples of compact symplectic manifolds satisfying the Lefschetz property but not having the cohomology algebra of a compact Kaehler manifold. We also prove the stability of these restrictions under products.
We present a detailed overview of the construction of the A_inf-cohomology theory from the preprint "Integral p-adic Hodge theory", joint with B. Bhatt and P. Scholze. We focus particularly on the p-adic analogue of the Cartier isomorphism via relative de Rham--Witt complexes.
With a basic knowledge of cohomology theory, the background necessary to understand Hodge theory and polarization, Deligne's Mixed Hodge Structure on cohomology of complex algebraic varieties is described.
A systematic study of the contributions at infinity for the cohomology of variations of polarized Hodge structures over quasicompact Kähler manifolds. Several isomorphisms between different cohomologies given.
We give several new criteria for a quasi-projective variety to be affine. In particular, we prove that an algebraic manifold $Y$ with dimension $n$ is affine if and only if $H^i(Y, Ω^j_Y)=0$ for all $j\geq 0$, $i>0$ and $κ(D, X)=n$, i.e., there are $n$ algebraically independent nonconstant regular functions on $Y$, where $X$ is the smooth completion of $Y$, $D$ is the effective boundary divisor with support $X-Y$ and $Ω^j_Y$ is the sheaf of regular $j$-forms on $Y$. This proves Mohan Kumar's affineness conjecture for algebraic manifolds and gives a partial answer to J.-P. Serre's Steinness que…
We study the $L^2$--cohomology of certain local systems on non-compact arithmetic ball quotients $X=Γ\backslash \B_n$, in particular vanishing and non--vanishing results. We also give generalizations to higher dimensional ball quotients and study the mixed Hodge structure on the sheaf cohomology of a local system with the $L^2$-cohomology contributing to the lowest weight part.
We prove the vanishing modulo torsion of the higher direct images of the sheaf of Witt vectors (and the Witt canonical sheaf) for a purely inseparable projective alteration between normal finite quotients over a perfect field. For this, we show that the relative Hodge-Witt cohomology admits an action of correspondences. As an application we define Witt-rational singularities which form a broader class than rational singularities. In particular, finite quotients have Witt-rational singularities. In addition, we prove that the torsion part of the Witt vector cohomology of a smooth, proper scheme…
For a smooth and proper scheme over an artinian local ring with ordinary reduction over the perfect residue field we prove - under some general assumptions - that the relative de Rham-Witt spectral sequence degenerates and the relative crystalline cohomology, equipped with its display structure arising from the Nygaard complexes, has a Hodge-Witt decomposition into a direct sum of (suitably Tate-Twisted) multiplicative displays. As examples our main results include the cases of abelian schemes, complete intersections, varieties of K3 type and some Calabi-Yau $n$-folds.
We prove two results regarding Hodge structures appearing in the cohomology of complex tori. First, we prove that if a polarizable Hodge structure appears in the cohomology of a complex torus $T$, it appears in the cohomology of an abelian variety isomorphic to a subquotient of $T$. Second, we prove a universality result for the Kuga-Satake construction applied to Hodge structures of $K3$ type that might not be polarized.
We employ the inductive structure of determinantal varieties to calculate the mixed Hodge module structure of local cohomology modules with determinantal support. We show that the weight of a simple composition factor is uniquely determined by its support and cohomological degree. As a consequence, we obtain the equivariant structure of the Hodge filtration on each local cohomology module. Finally, as an application, we provide a formula for the generation level of the Hodge filtration on these modules.
Insprired by the work of C. Simpson, it is shown that every variation of graded-polarized mixed Hodge structure defined over Q gives rise to a natural Higgs field on the underlying vector bundle. In the context of Mirror Symmetry it is then shown that these Higgs fields share an intimate relationship with Quantum Cohomology.
The Hard Lefschetz theorem for intersection cohomology of nonrational polytopes was recently proved by K. Karu [Ka]. This theorem implies the conjecture of R. Stanley on the unimodularity of the generalized $h$-vector. In this paper we strengthen Karu's theorem by introducing a canonical bilinear form $(\cdot ,\cdot)_Φ$ on the intersection cohomology $IH(Φ)$ of a complete fan $Φ$ and proving the Hodge-Riemann bilinear relations for $(\cdot ,\cdot)_Φ$.
Given a projective morphism of compact, complex, algebraic varieties and a relatively ample line bundle on the domain we prove that a suitable choice, dictated by the line bundle, of the decomposition isomorphism of the Decomposition Theorem of Beilinson, Bernstein, Deligne and Gabber, yields isomorphisms of pure Hodge structures. The proof is based on a new cohomological characterization of the decomposition isomorphism associated with the line bundle. We prove some corollaries concerning the intersection form in intersection cohomology, the natural map from cohomology to intersection cohomol…
Let $V$ be a complex projective variety with isolated singularities. Let the smooth part be given the metric induced by a projective imbedding. Then we develop the $L_2$ harmonic theory and construct a pure Hodge structure on the $L_2$-cohomology of $V$. If the dimension of $V$ is two, we put a cohomological Hodge structure on its complex of sheaves of $L_2$ forms.
v2: We improved a little bit according to the referee's wishes. v1: On $X$ projective smooth over a field $k$, Pink and Roessler conjecture that the dimension of the Hodge cohomology of an invertible $n$-torsion sheaf $L$ is the same as the one of its $a$-th power $L^a$ if $a$ is prime to $n$, under the assumptions that $X$ lifts to $W_2(k)$ and $dim X\le p$, if $k$ has characteristic $p>0$. They show this if $k$ has characteristic 0 and if $n$ is prime to $p$ in characteristic $p>0$. We show the conjecture in characteristic $p>0$ if $n=p$ assuming in addition that $X$ is ordinary (in the sens…
We study the Hodge filtration on the local cohomology sheaves of a smooth complex algebraic variety along a closed subscheme Z in terms of log resolutions, and derive applications regarding the local cohomological dimension, the Du Bois complex, local vanishing, and reflexive differentials associated to Z.
This paper studies the Hilbert scheme of a curve on a complete-intersection K-trivial threefold, in the case in which the curve is unobstructed in the ambient variety in which the threefold lives. The basic result is that the obstruction theory of the curve is completely determined by the scheme-theoretic Abel-Jacobi mapping. Several applications of this fact are given.
Let A be an abelian variety over C such that the semisimple part of the Hodge group of A is a product of copies of SU(p,1) for some p>1. We show that any effective Tate twist of a Hodge structure occurring in the cohomology of A is isomorphic to a Hodge structure in the cohomology of some abelian variety.
The primitive cohomology of the theta divisor of a principally polarized abelian variety of dimension $g$ is a Hodge structure of level $g-3$. The Hodge conjecture predicts that it is contained in the image, under the Abel-Jacobi map, of the cohomology of a family of curves in the theta divisor. In this paper we use the Prym map to show that this version of the Hodge conjecture is true for the theta divisor of a general abelian fivefold.
