zbMATH — the first resource for mathematics

Cohomology of line bundles: a computational algorithm. (English) Zbl 1314.55012
Summary: 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.{
 [1] Distler, J.; Greene, B. R.; Morrison, D. R., Nucl. Phys. B, 481, 289, (1996), 10.1016/S0550-3213(96)90135-2; Distler, J.; Greene, B. R.; Morrison, D. R., Nucl. Phys. B, 481, 289, (1996), 10.1016/S0550-3213(96)90135-2; · Zbl 1049.81585 [2] Blumenhagen, R., Nucl. Phys. B, 513, 573, (1998), 10.1016/S0550-3213(97)00721-9; Blumenhagen, R., Nucl. Phys. B, 513, 573, (1998), 10.1016/S0550-3213(97)00721-9; · Zbl 0939.32017 [3] The cohomology computations in Refs. 21-23 were also done using this algorithm. [4] Cox, D. A.; Little, J. B.; Schenck, H., Toric Varieties [5] Blumenhagen, R., Jurke, B., Rahn, T., and Roschy, H., “Cohomology of line bundles: Applications” (unpublished). · Zbl 1273.81180 [6] Witten, E., Nucl. Phys. B, 403, 159, (1993), 10.1016/0550-3213(93)90033-L; Witten, E., Nucl. Phys. B, 403, 159, (1993), 10.1016/0550-3213(93)90033-L; · Zbl 0910.14020 [7] Denef, F., “Les Houches lectures on constructing string vacua“ (2008); ; Denef, F., “Les Houches lectures on constructing string vacua” (2008); ; [8] Kreuzer, M., “Toric geometry and Calabi-Yau compactifications“ (2006); ; Kreuzer, M., “Toric geometry and Calabi-Yau compactifications” (2006); ; [9] Reffert, S., “The geometer’s toolkit to string compactifications“ (2007); ; Reffert, S., “The geometer’s toolkit to string compactifications” (2007); ; [10] Hori, K.; Katz, S.; Klemm, A.; Pandharipande, R.; Thomas, R.; Vafa, C.; Vakil, R.; Zaslow, E., Mirror Symmetry, (2003), AMS Clay Mathematics Institute: AMS Clay Mathematics Institute, Cambridge, MA · Zbl 1044.14018 [11] Aspinwall, P. S.; Greene, B. R.; Morrison, D. R., Nucl. Phys. B, 416, 414, (1994), 10.1016/0550-3213(94)90321-2; Aspinwall, P. S.; Greene, B. R.; Morrison, D. R., Nucl. Phys. B, 416, 414, (1994), 10.1016/0550-3213(94)90321-2; · Zbl 0899.32006 [12] Fulton, W., Introduction to Toric Varieties, (1993), Princeton University Press: Princeton University Press, Princeton, NJ · Zbl 0813.14039 [13] Cox, D. A., “Lectures on toric varieties” unpublished lecture notes, available at . [14] Another possibility to check the validity of these results is to perform the “chamber” algorithm described in Chap. 9 of Ref. 13. We have checked that the methods of both algorithms coincide in some simple examples like $$\mathbb{P}^2$$ or $$d P_1$$, but the computing time is by a factor of approximately $$10^3$$ shorter for our algorithm. [15] Roschy, H. and Rahn, T., “Cohomology of line bundles: Proof of the algorithm“ (2010); ; Roschy, H. and Rahn, T., “Cohomology of line bundles: Proof of the algorithm” (2010); ; · Zbl 1314.55013 [16] Jow, S. -Y., “Cohomology of toric line bundles via simplicial Alexander duality“ (2010); ; Jow, S. -Y., “Cohomology of toric line bundles via simplicial Alexander duality” (2010); ; · Zbl 1315.55010 [17] Cvetic, M., Garcia-Etxebarria, I., and Halverson, J., “Global F-theory models: Instantons and gauge dynamics“ (2010); ; Cvetic, M., Garcia-Etxebarria, I., and Halverson, J., “Global F-theory models: Instantons and gauge dynamics” (2010); ; · Zbl 1214.81149 [18] There is a more abstract treatment of sheaves in category theory, where the naive set-theoretic restriction used here is replaced by a general restriction mapping $$\text{res}_{U, V} : \mathcal{F}(U) \rightarrow \mathcal{F}(V)$$. [19] Bredon, G. E., Sheaf Theory, (1997), Springer: Springer, New York [20] Note that there are a couple of mathematical fine points like the usage of a good cover where all intersections $$U_i \cap U_j$$ are contractible. See the mathematical literature for full details. [21] Blumenhagen, R., Nucl. Phys. B, 514, 688, (1998), 10.1016/S0550-3213(97)00842-0; Blumenhagen, R., Nucl. Phys. B, 514, 688, (1998), 10.1016/S0550-3213(97)00842-0; · Zbl 0920.14017 [22] Blumenhagen, R.; Moster, S.; Plauschinn, E., J. High Energy Phys., 2008, 1, 058, 10.1088/1126-6708/2008/01/058; Blumenhagen, R.; Moster, S.; Plauschinn, E., J. High Energy Phys., 2008, 1, 058, 10.1088/1126-6708/2008/01/058; [23] Blumenhagen, R., Collinucci, A., and Jurke, B., “On instanton effects in F-theory“ (2010); ; Blumenhagen, R., Collinucci, A., and Jurke, B., “On instanton effects in F-theory” (2010); ; · Zbl 1290.81103