Algorithmic algebraic geometry and flux vacua

Journal of High Energy Physics

Volumn 2006, Issue 9, 2006, Pages

  Gray, James ^a   He, Yang Hui ^b,c   Lukas, André ^c  

^a INSTITUT D'ASTROPHYSIQUE DE PARIS   (France)

^b MERTON COLLEGE   (United Kingdom)

^c UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Flux compactifications; Superstring Vacua

Indexed keywords

EID: 33749384914     PISSN: 10298479     EISSN: 10298479     Source Type: Journal    
DOI: 10.1088/1126-6708/2006/09/031     Document Type: Article

References (36)

1. A. Strominger, Superstrings with torsion 1986 Nucl. Phys. B 274 253
2. S. Gukov, C. Vafa and E. Witten, CFT's from Calabi-Yau four-folds 2000 Nucl. Phys. B 584 69 [hep-th/9906070]
3. S. Gukov, C. Vafa and E. Witten, erratum 2001 Nucl. Phys. B 608 477
4. S.B. Giddings, S. Kachru and J. Polchinski, Hierarchies from fluxes in string compactifications 2002 Phys. Rev. D 66 106006 [hep-th/0105097]
5. S. Kachru, R. Kallosh, A. Linde and S.P. Trivedi, de Sitter vacua in string theory 2003 Phys. Rev. D 68 046005 [hep-th/0301240]
6. M. Grãa, Flux compactifications in string theory: a comprehensive review 2006 Phys. Rep. 423 91 [hep-th/0509003]
7. V. Braun and B.A. Ovrut, Stabilizing moduli with a positive cosmological constant in heterotic M-theory 2006 J. High Energy Phys. JHEP07(2006)035 [hep-th/0603088]
8. C.P. Burgess, R. Kallosh and F. Quevedo, de Sitter string vacua from supersymmetric D-terms 2003 J. High Energy Phys. JHEP10(2003)056 [hep-th/0309187]
9. A. Achucarro, B. de Carlos, J.A. Casas and L. Doplicher, de Sitter vacua from uplifting D-terms in effective supergravities from realistic strings 2006 J. High Energy Phys. JHEP06(2006)014 [hep-th/0601190]
10. A. Micu, E. Palti and P.M. Saffin, M-theory on seven-dimensional manifolds with SU(3) structure, 2006 J. High Energy Phys. JHEP05(2006)048 [hep-th/0602163]
11. D. Grayson and M. Stillman, Macaulay 2, a software system for research in algebraic geometry available at http://www.math.uiuc.edu/Macaulay2/
12. G.-M. Greuel, G. Pfister and H. Schönemann, Singular: a computer algebra system for polynomial computations Centre for Computer Algebra, University of Kaiserslautern (2001), available at http://www.singular.uni-kl.de/
13. J. Gray, Y.-H. He, V. Jejjala and B.D. Nelson, Exploring the vacuum geometry of N = 1 gauge theories 2006 Nucl. Phys. B 750 1 [hep-th/0604208]
14. J. Gray, Y.-H. He, V. Jejjala and B.D. Nelson, The geometry of particle physics 2006 Phys. Lett. B 638 253 [hep-th/0511062]
15. J. Shelton, W. Taylor and B. Wecht, Nongeometric flux compactifications 2005 J. High Energy Phys. JHEP10(2005)085 [hep-th/0508133]
16. S. Gurrieri, A. Lukas and A. Micu, Heterotic on half-flat 2004 Phys. Rev. D 70 126009 [hep-th/0408121]
17. B. de Carlos, S. Gurrieri, A. Lukas and A. Micu, Moduli stabilisation in heterotic string compactifications 2006 J. High Energy Phys. JHEP03(2006)005 [hep-th/0507173]
18. J. Wess and J. Bagger, Supersymmetry and supergravity (Princeton University Press), Princeton 1992
19. W. Decker, G-M. Greuel and G. Pfister, Primary decomposition: algorithms and comparisons in G. Greuel, B.H. Matzat and G. Hi, Algorithmic algebra and number theory 1998
20. P. Gianni, B. Trager and G. Zacharias, Gröbner bases and primary decomposition of polynomial ideals 1988 J. Symbolic Computation 6 149
21. D. Eisenbud, C. Huneke and W. Vasconcelos, Direct methods for primary decomposition 1992 Invent. Math. 110 207
22. T. Shimoyama and K. Yokoyama, Localization and primary decomposition of polynomial ideals 1996 J. Symbolic Computation 22 247
23. S. Basu, R. Pollack, M.F. Roy, Algorithms in real algebraic geometry Springer, 2003
24. E.A. Tobis, Libraries for counting real roots Reports on Computer Algebra 34, ZCA, University of Kaiserslautern (2005)
25. P. Breitenlohner and D.Z. Freedman, Positive energy in anti-de Sitter backgrounds and gauged extended supergravity 1982 Phys. Lett. B 115 197
26. M. Stillman, Tools for computing primary decompositions and applications to ideals associated to Bayesian networks in A. Dickenstein and I.Z. Emiris, Solving polynomial equations: foundations, algorithms, and applications
27. M. Gomez-Reino and C.A. Scrucca, Locally stable non-supersymmetric Minkowski vacua in supergravity 2006 J. High Energy Phys. JHEP05(2006)015 [hep-th/0602246]
28. J. Harris, Algebraic geometry: a first course Graduate Texts in Mathematics, Springer-Verlag, 1992
29. M. Gelfand, M.M. Kapranov and A.V. Zelevinsky, Discriminants, resultants, and multidimensional determinants Birkhauser, Boston 1994
30. A. Bérczes, J.-H. Evertse and K. Györy, Diophantine problems related to discriminants and resultants of binary forms to appear in the proceedings of the trimester on Diophantine geometry, held from April-May 2005 in Pisa, http://www.math.leidenuniv.nl/evertse/05-discres.pdf
31. C. D'Andrea and A. Dickenstein, Explicit formulas for the multivariate resultant [math.AG/0007036]
32. D. Cox, J. Little and D. O'Shea, Ideals, varieties, and algorithms Springer-Verlag 1997
33. W. Decker and C. Lossen, Computing in algebraic geometry: a quick start using SINGULAR Springer 2005
34. J.-P. Derendinger, C. Kounnas, P.M. Petropoulos and F. Zwirner, Superpotentials in IIA compactifications with general fluxes 2005 Nucl. Phys. B 715 211 [hep-th/0411276]
35. F. Denef and M.R. Douglas, Computational complexity of the landscape, I [hep-th/0602072]
36. R. Hartshorne, Algebraic geometry 1977 (Springer Verlag, Berlin)