4 research outputs found
Cohomology of Line Bundles: A Computational Algorithm
We present an algorithm for computing line bundle valued cohomology classes
over toric varieties. This is the basic starting point for computing massless
modes in both heterotic and Type IIB/F-theory compactifications, where the
manifolds of interest are complete intersections of hypersurfaces in toric
varieties supporting additional vector bundles.Comment: 11 pages, 1 figure, 2 tables; v2: typos and references corrected; v3:
proof-related statements updated, cohomCalg implementation available at
http://wwwth.mppmu.mpg.de/members/blumenha/cohomcalg
Cohomology of Line Bundles: Applications
Massless modes of both heterotic and Type II string compactifications on
compact manifolds are determined by vector bundle valued cohomology classes.
Various applications of our recent algorithm for the computation of line bundle
valued cohomology classes over toric varieties are presented. For the heterotic
string, the prime examples are so-called monad constructions on Calabi-Yau
manifolds. In the context of Type II orientifolds, one often needs to compute
equivariant cohomology for line bundles, necessitating us to generalize our
algorithm to this case. Moreover, we exemplify that the different terms in
Batyrev's formula and its generalizations can be given a one-to-one
cohomological interpretation.
This paper is considered the third in the row of arXiv:1003.5217 and
arXiv:1006.2392.Comment: 56 pages, 8 tables, cohomCalg incl. Koszul extension available at
http://wwwth.mppmu.mpg.de/members/blumenha/cohomcalg