Heterotic Instanton Superpotentials from Complete Intersection Calabi-Yau Manifolds

We study Pfaffians that appear in non-perturbative superpotential terms arising from worldsheet instantons in heterotic theories. A result by Beasley and Witten shows that these instanton contributions cancel among curves within a given homology class for Calabi-Yau manifolds that can be described as hypersurfaces or complete intersections in projective or toric ambient spaces. We provide a prescription that identifies all $\mathbb{P}^1$ curves in certain homology classes of complete intersection Calabi-Yau manifolds in products of projective spaces (CICYs) and cross-check our results by a comparison with the genus zero Gromov-Witten invariants. We then use this construction to study instanton superpotentials on those manifolds and their quotients. We identify a non-toric quotient of a non-favorable CICY with a single genus zero curve in a certain homology class, so that a cancellation \`a la Beasley-Witten is not possible. In another example, we study a non-toric quotient of a favorable CICY and check that the superpotential still vanishes. From this and related examples, we conjecture that the Beasley-Witten cancellation result can be extended to toric and non-toric quotients of CICYs, but can be avoided if the CICY is non-favorable.Comment: 25 pages, 3 figure

Partially ample line bundles on toric varieties

In this note we study properties of partially ample line bundles on simplicial projective toric varieties. We prove that the cone of q-ample line bundles is a union of rational polyhedral cones, and calculate these cones in examples. We prove a restriction theorem for big q-ample line bundles, and deduce that q-ampleness of the anticanonical bundle is not invariant under flips. Finally we prove a Kodaira-type vanishing theorem for q-ample line bundles.Comment: 12 pages, 2 figures; v.2: proofs simplified, lots of material added, new autho

Monodromy of a family of hypersurfaces containing a given subvariety

For a subvariety of a smooth projective variety, consider the family of smooth hypersurfaces of sufficiently large degree containing it, and take the quotient of the middle cohomology of the hypersurfaces by the cohomology of the ambient variety and also by the cycle classes of the irreducible components of the subvariety. Using Deligne's semisimplicity theorem together with Steenbrink's theory for semistable degenerations, we give a simpler proof of the first author's theorem (with a better bound of the degree of hypersurfaces) that this monodromy representation is irreducible.Comment: 23 pages, minor change