28 pages; v.3: quite a few corrections with respect to the previous version, especially in the statements of Thm. F, Lemma 5.6 and Thm.5.8, and the proof of Cor.C; we also introduced outlines of the proofs of Thm. A and Thm.7.1 in order to make them more user friendly
The paper contains theorems on extending sections of line bundles from divisors to the ambient space, inspired by various results of Siu, Kawamata, and especially Hacon-McKernan and Takayama. Applications are given to basepoint-freeness, to the invariance of analogues of plurigenera and of part of the boundary of the pseudo-effective cone in families, and to a simplified approach towards part of the results used for proving the existence of flips by Hacon-McKernan.
In this paper we study general hyperplane sections of adjoint and coadjoint varieties. We show that these are the only sections of homogeneous varieties such that a maximal torus of the automorphism group of the ambient variety stabilizes them. We then study their geometry, provide formulas for their classical cohomology rings in terms of Schubert classes and compute the quantum Chevalley formula. This allows us to obtain results about the semi-simplicity of the (small) quantum cohomology, analogous to those holding for (co)adjoint varieties.
We present new algorithms for computing adjoint ideals of curves and thus, in the planar case, adjoint curves. With regard to terminology, we follow Gorenstein who states the adjoint condition in terms of conductors. Our main algorithm yields the Gorenstein adjoint ideal G of a given curve as the intersection of what we call local Gorenstein adjoint ideals. Since the respective local computations do not depend on each other, our approach is inherently parallel. Over the rationals, further parallelization is achieved by a modular version of the algorithm which first computes a number of the cha…
An injectivity theorem on snc compact Kähler spaces: an application of the theory of harmonic integrals on log-canonical centers via adjoint ideal sheaves
We use the framework of perfectoid big Cohen-Macaulay algebras to define a class of singularities for pairs in mixed characteristic, which we call purely BCM-regular singularities, and a corresponding adjoint ideal. We prove that these satisfy adjunction and inversion of adjunction with respect to the notion of BCM-regularity and the BCM test ideal defined by the first two authors. We compare them with the existing equal characteristic PLT and purely $F$-regular singularities and adjoint ideals. As an application, we obtain a uniform version of the Briançon-Skoda theorem in mixed characteristi…
We study the behavior of test ideals and F-singularities in families. In particular, we obtain generic (and non-generic) restriction theorems for test ideals and non-F-pure ideals. Additionally, we study the global behavior of certain canonical linear systems (induced by Frobenius) associated to adjoint line bundles, in families. As a consequence, we obtain some positivity results for pushforwards of some adjoint line bundles and for certain subsheaves of these.
Let X be a smooth projective threefold, and let A be an ample line bundle such that $K_X+A$ is nef. We show that if $K_X$ or $-K_X$ is pseudoeffective, the adjoint bundle $K_X+A$ has global sections. We also give a very short proof of the Beltrametti-Sommese conjecture in dimension three, recently proven by Fukuma: if A is an ample line bundle such that $K_X+2A$ is nef, the adjoint bundle $K_X+2A$ has global sections.
