On semipositivity, injectivity and vanishing theorems
This is a survey article on the recent developments of semipositivity, injectivity, and vanishing theorems for higher-dimensional complex projective varieties.
math.AG↗
arXiv subjects
Osamu Fujino
Publications and source records attributed to Osamu Fujino.
Kollár--Nadel type vanishing theorem
We prove an analytic generalization of Kollár's vanishing theorem, which contains the Nadel vanishing theorem as a special case.
math.AG↗
Pull-back of quasi-log structures
We prove that the pull-back of a quasi-log scheme by a smooth quasi-projective morphism has a natural quasi-log structure. We treat an application to log Fano pairs. This paper also contains a proof of the simple connectedness of log Fano pairs with only log canonical singularities by Kento Fujita.
math.AG↗
On subadditivity of the logarithmic Kodaira dimension
We reduce Iitaka's subadditivity conjecture for the logarithmic Kodaira dimension to a special case of the generalized abundance conjecture by establishing an Iitaka type inequality for Nakayama's numerical Kodaira dimension. Our proof heavily depends on Nakayama's theory of $ω$-sheaves and $\widehatω$-sheaves. As an application, we prove the subadditivity of the logarithmic Kodaira dimension for affine varieties by using the minimal model program for projective klt pairs with big boundary divisor.
math.AG↗
Basepoint-free theorem of Reid--Fukuda type for quasi-log schemes
We introduce various new operations for quasi-log structures. Then we prove the basepoint-free theorem of Reid--Fukuda type for quasi-log schemes as an application.
math.AG↗
Injectivity theorems
We prove some injectivity theorems. Our proof depends on the theory of mixed Hodge structures on cohomology groups with compact support. Our injectivity theorems would play crucial roles in the minimal model theory for higher-dimensional algebraic varieties. We also treat some applications.
math.AG↗
Notes on the weak positivity theorems
We discuss the (twisted) weak positivity theorem. We also treat some applications.
math.AG↗
Direct images of relative pluricanonical bundles
We discuss the local freeness and the numerical semipositivity of direct images of relative pluricanonical bundles for surjective morphisms between smooth projective varieties with connected fibers. We give a desirable semipositivity theorem under the assumption that the geometric generic fiber has a good minimal model.
math.AG↗
On log canonical rational singularities
We prove that the class of log canonical rational singularities is closed under the basic operations of the minimal model program. We also give some supplementary results on the minimal model program for log canonical surfaces.
math.AG↗
Kodaira vanishing theorem for log-canonical and semi-log-canonical pairs
We prove the Kodaira vanishing theorem for log-canonical and semi-log-canonical pairs. We also give a relative vanishing theorem of Reid--Fukuda type for semi-log-canonical pairs.
math.AG↗
Some remarks on the minimal model program for log canonical pairs
We prove that the target space of an extremal Fano contraction from a log canonical pair has only log canonical singularities. We also treat some related topics, for example, the finite generation of canonical rings for compact Kähler manifolds, and so on. The main ingredient of this paper is the nefness of the moduli parts of lc-trivial fibrations. We also give some observations on the semi-ampleness of the moduli parts of lc-trivial fibrations. For the reader's convenience, we discuss some examples of non-Kähler manifolds, flopping contractions, and so on, in order to clarify our results.
math.AG↗
On the moduli b-divisors of lc-trivial fibrations
Roughly speaking, by using the semi-stable minimal model program, we prove that the moduli part of an lc-trivial fibration coincides with that of a klt-trivial fibration induced by adjunction after taking a suitable generically finite cover. As an application, we obtain that the moduli part of an lc-trivial fibration is b-nef and abundant by Ambro's result on klt-trivial fibrations.
math.AG↗
Variations of mixed Hodge structure and semi-positivity theorems
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.
math.AG↗
Fundamental theorems for semi log canonical pairs
We prove that every quasi-projective semi log canonical pair has a quasi-log structure with several good properties. It implies that various vanishing theorems, torsion-free theorem, and the cone and contraction theorem hold for semi log canonical pairs.
math.AG↗
On log canonical rings
We discuss the relationship among various conjectures in the minimal model theory including the finite generation conjecture of the log canonical rings and the abundance conjecture. In particular, we show that the finite generation conjecture of the log canonical rings for log canonical pairs can be reduced to that of the log canonical rings for purely log terminal pairs of log general type.
math.AG↗
Some remarks on the semi-positivity theorems
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.
math.AG↗
Vanishing theorems
We prove some injectivity, torsion-free, and vanishing theorems for simple normal crossing pairs. Our results heavily depend on the theory of mixed Hodge structures on compact support cohomology groups. We also treat several basic properties of semi divisorial log terminal pairs.
math.AG↗
On the F-purity of isolated log canonical singularities
A singularity in characteristic zero is said to be of dense F-pure type if its modulo p reduction is locally F-split for infinitely many p. We prove that if $x \in X$ is an isolated log canonical singularity with $μ(x \in X) \le 2$ (see Definition 1.4 for the definition of the invariant $μ$), then it is of dense F-pure type. As a corollary, we prove the equivalence of log canonicity and being of dense F-pure type in the case of three-dimensional isolated singularities.
math.AG↗