Negative $K$-theory and Hodge theory
We study the negative $K$-groups of complex varieties from a mixed Hodge-theoretic perspective, making use of the theory of higher singularities, Chow groups, and the Minimal Model Program.
arXiv subjects
Publications and source records attributed to Mihnea Popa.
We study the negative $K$-groups of complex varieties from a mixed Hodge-theoretic perspective, making use of the theory of higher singularities, Chow groups, and the Minimal Model Program.
We prove Hodge-theoretic formulas for the $\mathbb{Q}$-factoriality defect of a normal projective variety, and for the local analytic $\mathbb{Q}$-factoriality defect of an analytic germ of a normal variety. These formulas lead to consequences ranging from a local analytic version of Samuel's conjecture to a characterization of projective rational homology threefolds with rational singularities, or the invariance of Hodge-Du Bois numbers under flops of projective threefolds.
We prove new results concerning the topology and Hodge theory of singular varieties. A common theme is that concrete conditions on the complexity of the singularities, from a number of different perspectives, are closely related to the symmetries of the Hodge-Du Bois diamond. We relate this to the theory of rational homology manifolds, and characterize these among low-dimensional varieties with rational singularities.
We prove an injectivity theorem for the cohomology of the Du Bois complexes of varieties with isolated singularities. We use this to deduce vanishing statements for the cohomologies of higher Du Bois complexes of such varieties. Besides some extensions and conjectures in the non-isolated case, we also provide analogues for intersection complexes.
We compute the Du Bois complexes of abstract cones over singular varieties, and use this to describe the local cohomological dimension and the non-positive K-groups of such cones.
We show that k-rational singularities of local complete intersections are k-Du Bois. For hypersurfaces, we characterize k-rationality in terms of the minimal exponent. We also establish some local vanishing results for k-rational and k-Du Bois singularities. Some of these results have been independently obtained in [FL2].
This note points out a gap in the proof of one of the technical results in the paper "Asymptotic Invariants of Base Loci", that appeared in Ann. Inst. Fourier (Grenoble) 56 (2006), 1701-1734. We provide a correct proof of this result.
I propose a few increasingly stronger "superadditivity" conjectures regarding the behavior of Kodaira dimension under morphisms of smooth quasi-projective complex varieties.
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.
We study the Du Bois complex $\underlineΩ_Z^\bullet$ of a hypersurface $Z$ in a smooth complex algebraic variety in terms its minimal exponent $\widetildeα(Z)$. The latter is an invariant of singularities, defined as the negative of the greatest root of the reduced Bernstein-Sato polynomial of $Z$, and refining the log canonical threshold. We show that if $\widetildeα(Z)\geq p+1$, then the canonical morphism $Ω_Z^p\to \underlineΩ_Z^p$ is an isomorphism, where $\underlineΩ_Z^p$ is the $p$-th associated graded piece of the Du Bois complex with respect to the Hodge filtration. On the other hand, if $Z$ is singular and $\widetildeα(Z)>p\geq 2$, we obtain non-vanishing results for some of the higher cohomologies of $\underlineΩ_Z^{n-p}$.
We prove several results on the additivity of Kodaira dimension under smooth morphisms of smooth projective varieties.
We prove an additivity result for the log Kodaira dimension of algebraic fiber spaces over abelian varieties, a superadditivity result for fiber spaces over varieties of maximal Albanese dimension, as well as a subadditivity result for log pairs.
Let $f \colon X \to A$ be a morphism from a smooth projective variety to an abelian variety (over the field of complex numbers). We show that the sheaves $f_* ω_X^{\otimes m}$ become globally generated after pullback by an isogeny. We use this to deduce a decomposition theorem for these sheaves when $m \ge 2$, analogous to that obtained by Chen-Jiang when $m = 1$. This is in turn applied to effective results for pluricanonical linear series on irregular varieties with canonical singularities.
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 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 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.
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.
It is well known that numerical quantities arising from the theory of D-modules are related to invariants of singularities in birational geometry. This paper surveys a deeper relationship between the two areas, where the numerical connections are enhanced to sheaf theoretic constructions facilitated by the theory of mixed Hodge modules. The emphasis is placed on the recent theory of Hodge ideals.