Mustaţă a and Popa introduce the notion of Hodge ideals for an effective $\mathbb{Q}$-divisor $D$ and prove a vanishing theorem for Hodge ideals, which generalizes Nadel vanishing for multiplier ideals. However, their proof needs an extra assumption on the existence of $\ell$-roots of the line bundle $\mathscr{O}_X(\ell D)$, which is not necessary for Nadel vanishing. In this paper, we prove that vanishing for Hodge ideals still holds even without this assumption.
We prove the injectivity and vanishing theorem for R-Hodge modules and R-divisors over projective varieties, extending the results for rational Hodge modules and integral divisors in \cite{Wu15}. In particular, the injectivity generalizes the fundamental injectivity of Esnault-Viehweg for normal crossing Q-divisors, while the vanishing generalizes Kawamata-Viehweg vanishing for Q-divisors. As a main application, we also deduce a Fujita-type freeness result for R-Hodge modules in the normal crossing case.
We develop the theory of Hodge ideals for Q-divisors by means of log resolutions, extending our previous work on reduced hypersurfaces. We prove local (non-)triviality criteria and a global vanishing theorem, as well as other analogues of standard results from the theory of multiplier ideals, and we derive a new local vanishing theorem. The connection with the V-filtration is analyzed in a sequel.
We give an explicit formula for the Hodge filtration on the $\mathscr{D}_X$-module $O_X(*Z)f^{1-α}$ associated to the effective $\mathbb{Q}$-divisor $D=α\cdot Z$, where $0<α\le1$ and $Z=(f=0)$ is an irreducible hypersurface defined by $f$, a weighted homogeneous polynomial with an isolated singularity at the origin. In particular this gives a formula for the Hodge ideals of $D$. We deduce a formula for the generating level of the Hodge filtration, as well as further properties of Hodge ideals in this setting. We also extend the main theorem to the case when $f$ is a germ of holomorphic functio…
We explicitly compute the Hodge ideals of Q-divisors in terms of the V-filtration induced by a local defining equation, inspired by a result of Saito in the reduced case. We deduce basic properties of Hodge ideals in this generality, and relate them to Bernstein-Sato polynomials. As a consequence of our study we establish general properties of the minimal exponent, a refined version of the log canonical threshold, and bound it in terms of discrepancies on log resolutions, addressing a question of Lichtin and Kollár.
We use filtered log-$\mathscr{D}$-modules to represent the (dual) localization of Saito's Mixed Hodge Modules along a smooth hypersurface, and show that they also behave well under the direct image functor and the dual functor in the derived category of filtered log-$\mathscr{D}$-modules. The results of this paper can be used to generalize the result of M. Popa and C. Schnell about Kodaira dimension and zeros of holomorphic one-forms into the log setting.
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.
We consider the Hodge filtration on the sheaf of meromorphic functions along free divisors for which the logarithmic comparison theorem holds. We describe the Hodge filtration steps as submodules of the order filtration on a cyclic presentation in terms of a special factor of the Bernstein-Sato polynomial of the divisor and we conjecture a bound for the generating level of the Hodge filtration. Finally, we develop an algorithm to compute Hodge ideals of such divisors and we apply it to some examples.
We compute the class of the closure of the locus of canonical divisors in the projectivization of the Hodge bundle $\mathbb{P}\overline{\mathcal{H}}_g$ over $\overline{\mathcal{M}}_g$ which have a zero at a Weierstrass point. We also show that the strata of canonical and bicanonical divisors with a double zero span extremal rays of the respective pseudoeffective cones.
We prove a surjectivity theorem for the Deligne canonical extension of a polarizable variation of Hodge structure with quasi-unipotent monodromy at infinity along the lines of Esnault-Viehweg. We deduce from it several injectivity theorems and vanishing theorems for pure Hodge modules. We also give an inductive proof of Kawamata-Viehweg vanishing for the lowest graded piece of the Hodge filtration of a pure Hodge module using mixed Hodge modules of nearby cycles.
We use methods from birational geometry to study the Hodge and weight filtrations on the localization along a hypersurface. We focus on the lowest piece of the Hodge filtration of the submodules arising from the weight filtration. This leads to a sequence of ideal sheaves called weighted multiplier ideals. The last ideal of this sequence is a multiplier ideal (and a Hodge ideal), and we prove that the first is the adjoint ideal. We also study the local and global properties of weighted multiplier ideals and their applications to singularities of hypersurfaces of smooth varieties.
We prove a vanishing theorem for the Hodge number h^21 of projective toric varieties provided by a certain class of polytopes. We explain how this Hodge number also gives information about the deformation theory of the toric Gorenstein singularity derived from the same polytope. In particular, the vanishing theorem for h^21 implies that these deformations are unobstructed.
In this paper we discuss an obstruction to the integral Hodge conjecture, which arises from certain behavior of vanishing cycles. This allows us to construct new counter-examples to the integral Hodge conjecture. One typical such counter-example is the product of a very general hypersurface of odd dimension and an Enriques surface. Our approach generalizes the degeneration argument of Benoist-Ottem.
In this article we construct a Koszul-type resolution of the p-th exterior power of the sheaf of holomorphic differential forms on smooth toric varieties and use this to prove a Nadel-type vanishing theorem for Hodge ideals associated to effective \mathbb{Q}-divisors on smooth projective toric varieties. This extends earlier results of Mustaţă and Popa.
We bound the generation level of the Hodge filtration on the localization along a hypersurface in terms of its minimal exponent. As a consequence, we obtain a local vanishing theorem for sheaves of forms with log poles. These results are extended to Q-divisors, and are derived from a result of independent interest on the generation level of the Hodge filtration on nearby and vanishing cycles.
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. We survey some of the results known about this primitive cohomology, prove a few general facts and mention some interesting open problems.
It is well known that the Hodge conjecture with rational coefficients holds for degree 2n-2 classes on complex projective n-folds. In this paper we study the more precise question if on a rationally connected complex projective n-fold the integral Hodge classes of degree 2n-2 are generated over $\mathbb Z$ by classes of curves. We combine techniques from the theory of singularities of pairs on the one hand and infinitesimal variation of Hodge structures on the other hand to give an affirmative answer to this question for a large class of manifolds including Fano fourfolds. In the last case, on…
We extend the results of generic vanishing theory to polarizable real Hodge modules on compact complex tori, and from there to arbitrary compact Kähler manifolds. As applications, we obtain a bimeromorphic characterization of compact complex tori among compact Kähler manifolds, semi-positivity results, and a description of the Leray filtration for maps to tori.
We show that closures of families of unitary local systems on quasiprojective varieties for which the dimension of a graded component of Hodge filtration has a constant value can be identified with a finite union of polytopes. We also present a local version of the theorem. This yields the "Hodge decomposition" of the set of unitary local systems with a non-vanishing cohomology extending Hodge decomposition of characteristic varieties of links of plane curves studied by the author earlier. We consider a twisted version of the characteristic varieties generalizing the twisted Alexander polynomi…
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 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.
We show that the Hodge ideals in the sense of Mustata and Popa are quite closely related to the induced microlocal V-filtration on the structure sheaf, defined by using the microlocalization of the V-filtration of Kashiwara and Malgrange. More precisely the former coincide, module the ideal of the divisor, with the part of the latter indexed by positive integers, although they are different without modulo the ideal in general. This coincidence implies that the $j$-log-canonicity in their sense is determined by the microlocal log-canonical threshold of the divisor, which coincides with the maxi…
Multivariable Alexander invariants of algebraic links calculated in terms of algebro-geometric invariants (polytopes and ideals of quasiadjunction). The relations with log-canonical divisors, the multiplier ideals and a semicontinuity property of polytopes of quasiadjunction is discussed.
In this paper we prove a strengthening of the generic vanishing result in characteristic $p>0$ given in [HP16]. As a consequence of this result, we show that irreducible $Θ$ divisors are strongly F-regular and we prove a related result for pluri-theta divisors.
We extend the dimension and strong linearity results of generic vanishing theory to bundles of holomorphic forms and rank one local systems, and more generally to certain coherent sheaves of Hodge-theoretic origin associated to irregular varieties. Our main tools are Saito's mixed Hodge modules, the Fourier-Mukai transform for D-modules on abelian varieties introduced by Laumon and Rothstein, and Simpson's harmonic theory for flat bundles. In the process, we discover two natural categories of perverse coherent sheaves, one on the Picard variety, and the other on the moduli space of Higgs line …
We prove a formula for the Hodge numbers of square-free divisors of Calabi-Yau threefold hypersurfaces in toric varieties. Euclidean branes wrapping divisors affect the vacuum structure of Calabi-Yau compactifications of type IIB string theory, M-theory, and F-theory. Determining the nonperturbative couplings due to Euclidean branes on a divisor $D$ requires counting fermion zero modes, which depend on the Hodge numbers $h^i({\cal{O}}_D)$. Suppose that $X$ is a smooth Calabi-Yau threefold hypersurface in a toric variety $V$, and let $D$ be the restriction to $X$ of a square-free divisor of $V$…
Let $X$ be a general complete intersection of a given multi-degree in a complex projective space. Suppose that the anti-canonical line bundle of $X$ is ample. Using the cylinder homomorphism associated with the family of complete intersections contained in $X$, we prove that the vanishing cycles in the middle homology group of $X$ are represented by topological cycles whose support is contained in a proper Zariski closed subset $T\subset X$ of certain codimension. In some cases, we can find such a Zariski closed subset $T$ with codimension equal to the upper bound obtained from the Hodge struc…
We study the Hodge structure of elliptic surfaces which are canonically defined from bielliptic curves of genus three. We prove that the period map for the second cohomology has one dimensional fibers, and the period map for the total cohomology is of degree twelve, and moreover, by adding the information of the Hodge structure of the canonical divisor, we prove a generic Torelli theorem for these elliptic surfaces. Finally, we give explicit examples of the pair of non-isomorphic elliptic surfaces which have the same Hodge structure on themselves and the same Hodge structure on their canonical…
The primal cohomology $\mathbb{K}_\mathbb{Q}$ of the theta divisor $Θ$ of a principally polarized abelian fivefold (ppav) is the direct sum of its invariant and anti-invariant parts $\mathbb{K}_\mathbb{Q}^{+1}$, resp. $\mathbb{K}_\mathbb{Q}^{-1}$ under the action of $-1$. For smooth $Θ$, these have dimension $6$ and $72$ respectively. We show that $\mathbb{K}_\mathbb{Q}^{+1}$ consists of Hodge classes and, for a very general ppav, $\mathbb{K}_\mathbb{Q}^{-1}$ is a simple Hodge structure of level $2$.
Given an n-dimensional variety Z with rational singularities, we conjecture that for a resolution of singularities whose reduced exceptional divisor E has simple normal crossings, the (n-1)-th higher direct image of the sheaf of differential forms with log poles along E vanishes. We prove this when Z has isolated singularities and when it is a toric variety. We deduce that for a divisor D with isolated rational singularities on a smooth complex n-dimensional variety X, the generation level of Saito's Hodge filtration on the localization of the structure sheaf along D is at most n-3.
We discuss variations of Hodge structures on abelian varieties that arise from intersecting translates of theta divisors with a special focus on the case of abelian varieties of dimension 4
As is remarked by B. Totaro, R. Thomas essentially proved that the Hodge conjecture is inductively equivalent to the existence of a hyperplane section, called a generalized Thomas hyperplane section, such that the restriction to it of a given primitive Hodge class does not vanish. We study the relations between the vanishing cycles in the cohomology of a general fiber, and show that each relation between the vanishing cycles of type (0,0) with unipotent monodromy around a singular hyperplane section defines a primitive Hodge class such that this singular hyperplane section is a generalized Tho…
We define and study Hodge ideals associated to a coherent ideal sheaf J on a smooth complex variety, via algebraic constructions based on the already existing concept of Hodge ideals associated to Q-divisors. We also define the generic minimal exponent of J, extending the standard invariant for hypersurfaces. We relate it to Hodge ideals, and show that it is a root of the Bernstein-Sato polynomial of J.
We consider algebraic manifolds $Y$ of dimension 3 over $\Bbb{C}$ with $H^i(Y, Ω^j_Y)=0$ for all $j\geq 0$ and $i>0$. Let $X$ be a smooth completion of $Y$ with $D=X-Y$, an effective divisor on $X$ with normal crossings. If the $D$-dimension of $X$ is not zero, then $Y$ is a fibre space over a smooth affine curve $C$ (i.e., we have a surjective morphism from $Y$ to $C$ such that general fibre is smooth and irreducible) such that every fibre satisfies the same vanishing condition. If an irreducible smooth fibre is not affine, then the Kodaira dimension of $X$ is $-\infty$ and the $D$-dimension …
Given a smooth, projective variety $X$ and an effective divisor $D\,\subseteq\, X$, it is well-known that the (topological) obstruction to the deformation of the fundamental class of $D$ as a Hodge class, lies in $H^2(\mathcal{O}_X)$. In this article, we replace $H^2(\mathcal{O}_X)$ by $H^2_D(\mathcal{O}_X)$ and give an analogous topological obstruction theory. We compare the resulting local topological obstruction theory with the geometric obstruction theory (i.e., the obstruction to the deformation of $D$ as an effective Cartier divisor of a first order infinitesimal deformations of $X$). We…
We study the top intersection numbers of the boundary and Hodge class divisors on toroidal compactifications of the moduli space $A_g$ of principally polarized abelian varieties and compute those numbers that live away from the stratum which lies over the closure of $A_{g-3}$ in the Satake compactification.
We study divisors in the blow-up of $\mathbb{P}^n$ at points in general position that are non-special with respect to the notion of linear speciality introduced in [5]. We describe the cohomology groups of their strict transforms via the blow-up of the space along their linear base locus. We extend the result to non-effective divisors that sit in a small region outside the effective cone. As an application, we describe linear systems of divisors in $\mathbb{P}^n$ blown-up at points in star configuration and their strict transforms via the blow-up of the linear base locus.
In this paper, we use non-abelian Hodge Theory to study Kodaira type vanishings and its generalizations. In particular, we generalize Saito vanishing using Mixed Twistor D-modules. We also generalize it to a Kawamata-Viehweg type vanishing using Q-divisors, and we also prove a relative version for a projective morphism.
We solved the long-standing problem of describing the cohomology ring of semiample hypersurfaces in complete simplicial toric varieties. Also, the monomial-divisor mirror map is generalized to a map between the whole Picard group and the space of infinitesimal deformations for a mirror pair of Calabi-Yau hypersurfaces. This map is compatible with certain vanishing limiting products of the subrings of the chiral rings, on which the ring structure is related to a product of the roots of $A$-type Lie algebra.
We study ample divisors X with only rational singularities on abelian varieties that decompose into a sum of two lower dimensional subvarieties, X=V+W. For instance, we prove an optimal lower bound on the degree of the corresponding addition map, and show that the minimum can only be achieved if X is a theta divisor. Conjecturally, the latter happens only on Jacobians of curves and intermediate Jacobians of cubic threefolds. As an application, we prove that nondegenerate generic vanishing subschemes of indecomposable principally polarized abelian varieties are automatically reduced and irreduc…
We define and study positivity (nefness, amplitude, bigness and pseudo-effectiveness) for Weil divisors on normal projective varieties. We prove various characterizations, vanishing and non-vanishing theorems for cohomology, global generation statements, and a result related to log Fano.
