We show that the dualizing sheaves of reduced simple normal crossings pairs have a canonical weight filtration in a compatible way with the one on the corresponding mixed Hodge modules by calculating the extension classes between the dualizing sheaves of smooth varieties. Using the weight spectral sequence of mixed Hodge modules, we then reduce the semi-positivity theorem for the higher direct images of dualizing sheaves to the smooth case where the assertion is well known. This may be used to simplify some constructions in a recent paper of Y. Kawamata. We also give a simple proof of the semi-positivity theorem for admissible variations of mixed Hodge structure in [FF] by using the theories of Cattani, Kaplan, Schmid, Steenbrink, and Zucker. This generalizes Kawamata's classical result in the pure case.
We prove a generalization of the Fujita-Kawamata-Zuo semi-positivity Theorem for filtered regular meromorphic Higgs bundles and tame harmonic bundles. Our approach gives a new proof in the cases already considered by these authors. We give also an application to the geometry of smooth quasi-projective complex varieties admitting a semisimple complex local system with infinite monodromy.
We discuss the variations of mixed Hodge structure for cohomology with compact support of quasi-projective simple normal crossing pairs. We show that they are graded polarizable admissible variations of mixed Hodge structure. Then we prove a generalization of the Fujita--Kawamata semi-positivity theorem.
In this article we establish a version of Y. Miyaoka generic semi-positivity theorem in the context of log-canonical orbifold pairs. As an application, we show that the canonical bundle associated to a lc pair is big as soon as there exists a generically injective morphism from an ample line bundle to some symmetric power of the cotangent bundle associated to the orbifold pair.
In this paper, we investigate higher direct images of log canonical divisors. After we reformulate Kollár's torsion-free theorem, we treat the relationship between higher direct images of log canonical divisors and the canonical extensions of Hodge filtration of gradedly polarized variations of mixed Hodge structures. As a corollary, we obtain a logarithmic version of Fujita-Kawamata's semi-positivity theorem. By this semi-positivity theorem, we generalize Kawamata's positivity theorem and apply it to the study of a log canonical bundle formula. The final section is an appendix, which is a res…
Let $f : (X, Δ) \to Y$ be a flat, projective family of sharply $F$-pure, log-canonically polarized pairs over an algebraically closed field of characteristic $p >0$ such that $p \nmid \ind(K_{X/Y} + Δ)$. We show that $K_{X/Y} + Δ$ is nef and that $f_* (\sO_X(m (K_{X/Y} + Δ)))$ is a nef vector bundle for $m \gg 0$ and divisible enough. Some of the results also extend to non log-canonically polarized pairs. The main motivation of the above results is projectivity of proper subspaces of the moduli space of stable pairs in positive characteristics. Other applications are Kodaira vanishing free, al…
We survey results concerning behavior of positivity of line bundles and possible vanishing theorems in positive characteristic. We also try to describe variation of positivity in mixed characteristic. These problems are very much related to behavior of strong semistability of vector bundles, which is another main topic of the paper.
In this paper, we collect basic properties of the Albanese dimension and explain how to generalize the main theorem of [F2](math.AG/0204262). This paper is a supplement and a generalization of [F2]. We also prove an inequality of irregularities for algebraic fiber spaces in the appendix, which is an exposition of Fujita-Kawamata's semi-positivity theorem.
The Chow-Mumford (CM) line bundle is a functorial line bundle on the base of any family of klt Fano varieties. It is conjectured that it yields a polarization on the moduli space of K-poly-stable klt Fano varieties. Proving ampleness of the CM line bundle boils down to showing semi-positivity/positivity statements about the CM-line bundle for families with K-semi-stable/K-polystable fibers. We prove the necessary semi-positivity statements in the K-semi-stable situation, and the necessary positivity statements in the uniform K-stable situation, including in both cases variants assuming K-stabi…
Proven by A. Parshin and S. Arakelov in the early 70's, Shafaverich hyperbolicity conjecture states that a family of curves of genus $g\ge2$ parametrized by a non hyperbolic curve (\emph{i.e.} isomorphic to $\mathbb{P}^1$, $\mathbb{C}$, $\mathbb{C}^*$ or an elliptic curve) has to be isotrivial : the moduli of smooth fibres are constant. In higher dimensions, Viehweg's works on moduli of canonically polarized manifolds led him to generalize this statement in the following way: if a family of canonically polarized manifolds (parametrized by a quasi-projective base) has maximal variation, the bas…
Let F be a homogeneous real polynomial of even degree in any number of variables. We consider the problem of giving explicit conditions on the coefficients so that F is positive definite or positive semi-definite. In this note we produce a necessary condition for positivity and a sufficient condition for non-negativity, in terms of positivity or semi-positivity of a one-variable characteristic polynomial of F. Also, we review another well-known sufficient condition.
We study the $(k,s)$-positivity for holomorphic vector bundles on compact complex manifolds. $(0,s)$-positivity is exactly the Demailly $s$-positivity and a $(k,1)$-positive line bundle is just a $k$-positive line bundle in the sense of Sommese. In this way we get a unified theory for all kinds of positivities used for semipositive vector bundles. Several new vanishing theorems for $(k,s)$-positive vector bundles are proved and the vanishing theorems for $k$-ample vector bundles on projective algebraic manifolds are generalized to $k$-positive vector bundles on compact Kähler manifolds.
This is a first instalment of much larger work about relations between birational geometry and moduli of triples. The extraction of work is mainly related to Theorem 6. It is a weak version of Kawamata's Conjecture 1 and an important technical step toward semiampleness of moduli part of adjunction. To prove Theorem 6, we use relative analogues of b-representations. The proof here is rather complete except for b-mobile property used in Corollary 1.
We study Deligne's conjecture on the monodromy weight filtration on the nearby cycles in the mixed characteristic case, and reduce it to the nondegeneracy of certain pairings in the semistable case. We also prove a related conjecture of Rapoport and Zink which uses only the image of the Cech restriction morphism, if Deligne's conjecture holds for a general hyperplane section. In general we show that Deligne's conjecture is true if the standard conjectures hold.
In this article, we propose a definition of Nakano semi-positivity of singular Hermitian metrics on holomorphic vector bundles. By using this positivity notion, we establish $L^2$-estimates for holomorphic vector bundles with Nakano positive singular Hermitian metrics. We also show vanishing theorems, which generalize both Nakano type and Demailly-Nadel type vanishing theorems. As applications, we specifically construct globally Nakano semi-positive singular Hermitian metrics for several bundles, and prove vanishing theorems associated with them.
These are the lecture notes based on earlier papers with some additional new results. New and simple proofs are given for local freeness theorem and the semipositivity theorem. A decomposition theorem for higher direct images of dualizing sheaves of Kollár is extended to the sheaves of differential forms of arbitrary degrees in the case of a well prepared birational model. We will also prove the log versions of some of the results, i.e., the case where we allow horizontal boundary components.
Building on Fujita-Griffiths method of computing metrics on Hodge bundles, we show that the direct image of an adjoint semi-ample line bundle by a projective submersion has a continuous metric with Griffiths semi-positive curvature. This shows that for every holomorphic semi-ample vector bundle $E$ on a complex manifold, and every positive integer $k$, the vector bundle $S^kE\otimes\det E$ has a continuous metric with Griffiths semi-positive curvature. If $E$ is ample on a projective manifold, the metric can be made smooth and Griffiths positive.
Schmüdgen's Theorem says that if a basic closed semialgebraic set K = {g_1 \geq 0, ..., g_s \geq 0} in R^n is compact, then any polynomial f which is strictly positive on K is in the preordering generated by the g_i's. Putinar's Theorem says that under a condition stronger than compactness, any f which is strictly positive on K is in the quadratic module generated by the g_i's. In this note we show that if the g_i's and the f have rational coefficients, then there is a representation of f in the preordering with sums of squares of polynomials over Q. We show that the same is true for Putinar's…
We study $l$-very ample, ample and semi-ample divisors on the blown-up projective space $\mathbb{P}^n$ in a collection of points in general position. We establish Fujita's conjectures for all ample divisors with the number of points bounded above by $2n$ and for an infinite family of ample divisors with an arbitrary number of points.
It is well known that positivity properties of the curvature of a vector bundle have implications on the algebro-geometric properties of the bundle, such as numerical positivity, vanishing of higher cohomology leading to existence of global sections etc. It is also well known that bundles arising in Hodge theory tend to have positivity properties. From these considerations several issues arise: (i) In general for bundles that are semi-positive but not strictly positive; what further natural conditions lead to the existence of sections of its symmetric powers? (ii) In Hodge theory the Hodge met…
In previous work, we have introduced delta-forms on the Berkovich analytification of an algebraic variety in order to study smooth or formal metrics via their associated Chern delta-forms. In this paper, we investigate positivity properties of delta-forms and delta-currents. This leads to various plurisubharmonicity notions for continuous metrics on line bundles. In the case of a formal metric, we show that many of these positivity notions are equivalent to Zhang's semipositivity. For piecewise smooth metrics, we prove that plurisubharmonicity can be tested on tropical charts in terms of conve…
We look for algebraic certificates of positivity for functions which are not necessarily polynomial functions. Similar questions were examined earlier by Lasserre and Putinar and by Putinar. We explain how these results can be understood as results on hidden positivity: The required positivity of the functions implies their positivity when considered as polynomials on the real variety of the respective algebra of functions. This variety is however not directly visible in general. We show how algebras and quadratic modules with this hidden positivity property can be constructed. We can then use…
