From f30800380104d8492501a75f16b7f29a943b6aa7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mi=C4=B7elis=20Em=C4=ABls=20Mi=C4=B7elsons?= <164499508+emikelsons@users.noreply.github.com> Date: Tue, 23 Apr 2024 17:28:47 +0200 Subject: [PATCH] [FtheoryTools] Added F-theory models on all toric hypersurfaces (#3568) [FtheoryTools] Added F-theory models on all toric hypersurfaces --------- Co-authored-by: Martin Bies --- .../model1408_4808-1-WSF.json | 77 +++++++ .../model1408_4808-10-WSF.json | 77 +++++++ .../model1408_4808-11-WSF.json | 85 ++++++++ .../model1408_4808-12-WSF.json | 90 ++++++++ .../model1408_4808-13-WSF.json | 81 +++++++ .../model1408_4808-14-WSF.json | 85 ++++++++ .../model1408_4808-15-WSF.json | 84 ++++++++ .../model1408_4808-16-WSF.json | 82 ++++++++ .../model1408_4808-2-WSF.json | 77 +++++++ .../model1408_4808-3-WSF.json | 84 ++++++++ .../model1408_4808-4-WSF.json | 77 +++++++ .../model1408_4808-4.json | 82 ++++++++ .../model1408_4808-5-WSF.json | 89 ++++++++ .../model1408_4808-6-WSF.json | 85 ++++++++ .../model1408_4808-7-WSF.json | 94 +++++++++ .../model1408_4808-8-WSF.json | 85 ++++++++ .../model1408_4808-9-WSF.json | 90 ++++++++ .../Models/model1408_4808-1.json | 82 ++++++++ .../Models/model1408_4808-10.json | 82 ++++++++ .../Models/model1408_4808-11.json | 86 ++++++++ .../Models/model1408_4808-12.json | 87 ++++++++ .../Models/model1408_4808-13.json | 86 ++++++++ .../Models/model1408_4808-14.json | 86 ++++++++ .../Models/model1408_4808-15.json | 89 ++++++++ .../Models/model1408_4808-16.json | 87 ++++++++ .../Models/model1408_4808-2.json | 82 ++++++++ .../Models/model1408_4808-3.json | 85 ++++++++ .../Models/model1408_4808-5.json | 86 ++++++++ .../Models/model1408_4808-6.json | 86 ++++++++ .../Models/model1408_4808-7.json | 87 ++++++++ .../Models/model1408_4808-8.json | 86 ++++++++ .../Models/model1408_4808-9.json | 87 ++++++++ .../src/LiteratureModels/index.json | 2 +- .../src/LiteratureModels/model_reference.json | 1 + .../FTheoryTools/test/literature_models.jl | 199 ++++++++++++++++++ 35 files changed, 2909 insertions(+), 1 deletion(-) create mode 100644 experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-1-WSF.json create mode 100644 experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-10-WSF.json create mode 100644 experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-11-WSF.json create mode 100644 experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-12-WSF.json create mode 100644 experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-13-WSF.json create mode 100644 experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-14-WSF.json create mode 100644 experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-15-WSF.json create mode 100644 experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-16-WSF.json create mode 100644 experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-2-WSF.json create mode 100644 experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-3-WSF.json create mode 100644 experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-4-WSF.json create mode 100644 experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-4.json create mode 100644 experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-5-WSF.json create mode 100644 experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-6-WSF.json create mode 100644 experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-7-WSF.json create mode 100644 experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-8-WSF.json create mode 100644 experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-9-WSF.json create mode 100644 experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-1.json create mode 100644 experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-10.json create mode 100644 experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-11.json create mode 100644 experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-12.json create mode 100644 experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-13.json create mode 100644 experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-14.json create mode 100644 experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-15.json create mode 100644 experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-16.json create mode 100644 experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-2.json create mode 100644 experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-3.json create mode 100644 experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-5.json create mode 100644 experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-6.json create mode 100644 experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-7.json create mode 100644 experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-8.json create mode 100644 experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-9.json diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-1-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-1-WSF.json new file mode 100644 index 000000000000..cba952aa2250 --- /dev/null +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-1-WSF.json @@ -0,0 +1,77 @@ +{ + "model_index": "", + "arxiv_data": { + "id": "1408.4808v2", + "doi": "10.48550/arXiv.1408.4808", + "version": "2", + "discipline": "hep-th", + "link": "https://arxiv.org/abs/1408.4808v2", + "model_location": { + "section": "3", + "equation": "3.4", + "page": "18" + } + }, + "journal_data": { + "doi": "10.1007/JHEP01(2015)142", + "report_numbers": ["UPR-1264-T", "CERN-PH-TH-2014-171", "BONN-TH-2014-13"], + "journal": "JHEP", + "volume": "01", + "pages": "142", + "year": "2015", + "link": "https://link.springer.com/article/10.1007/JHEP01(2015)142", + "model_location": { + "section": "3", + "equation": "3.4", + "page": "19" + } + }, + "paper_metadata": { + "authors": [ + "Denis Klevers", + "Damián Kaloni Mayorga Peña", + "Paul-Konstantin Oehlmann", + "Hernan Piragua", + "Jonas Reuter" + ], + "title": "F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches", + "description": "All Calabi-Yau manifolds with a genus-one fiber associated to the 16 reflexive 2D polyhedra F_i", + "buzzwords": ["Mordell-Weil", "reflexive polyhedra", "toric varieties", "elliptic fibrations"] + }, + "model_descriptors": { + "type": "weierstrass", + "description": "F-theory hypersurface model with fiber ambient space F_1", + "gauge_algebra": ["0"], + "discrete_factors": ["Z3"] + }, + "model_data": { + "base_dim": 3, + "model_sections": ["s7", "s9"], + "base_coordinates": ["s7", "s9", "s1", "s2", "s3", "s4", "s5", "s6", "s8", "s10"], + "f": "1//48*(-(s6^2 - 4*(s5*s7 + s3*s8 + s2*s9))^2 + 24*(-s6*(s10*s2*s3 - 9*s1*s10*s4 + s4*s5*s8 + s2*s7*s8 + s3*s5*s9 + s1*s7*s9) + 2*(s10*s3^2*s5 + s1*s7^2*s8 + s2*s3*s8*s9 + s1*s3*s9^2 + s7*(s10*s2^2 - 3*s1*s10*s3 + s3*s5*s8 + s2*s5*s9) + s4*(-3*s10*s2*s5 + s2*s8^2 + (s5^2 - 3*s1*s8)*s9))))", + "g": "1//864*((s6^2 - 4*(s5*s7 + s3*s8 + s2*s9))^3 - 36*(s6^2 - 4*(s5*s7 + s3*s8 + s2*s9))*(-s6*(s10*s2*s3 - 9*s1*s10*s4 + s4*s5*s8 + s2*s7*s8 + s3*s5*s9 + s1*s7*s9) + 2*(s10*s3^2*s5 + s1*s7^2*s8 + s2*s3*s8*s9 + s1*s3*s9^2 + s7*(s10*s2^2 - 3*s1*s10*s3 + s3*s5*s8 + s2*s5*s9) + s4*(-3*s10*s2*s5 + s2*s8^2 + (s5^2 - 3*s1*s8)*s9))) + 216*((s10*s2*s3 - 9*s1*s10*s4 + s4*s5*s8 + s2*s7*s8 + s3*s5*s9 + s1*s7*s9)^2 + 4*(-s1*s10^2*s3^3 - s1^2*s10*s7^3 - s4^2*(27*s1^2*s10^2 + s10*s5^3 + s1*(-9*s10*s5*s8 + s8^3)) + s10*s3^2*(-s2*s5 + s1*s6)*s9 - s1*s3^2*s8*s9^2 - s7^2*(s10*(s2^2*s5 - 2*s1*s3*s5 - s1*s2*s6) + s1*s8*(s3*s8 + s2*s9)) - s3*s7*(s10*(-s2*s5*s6 + s1*s6^2 + s2^2*s8 + s3*(s5^2 - 2*s1*s8) + s1*s2*s9) + s9*(s2*s5*s8 - s1*s6*s8 + s1*s5*s9)) + s4*(-s10^2*(s2^3 - 9*s1*s2*s3) + s10*(s6*(-s2*s5*s6 + s1*s6^2 + s2^2*s8) + s3*(s5^2*s6 - s2*s5*s8 - 3*s1*s6*s8)) + (s10*(2*s2^2*s5 + 3*s1*s3*s5 - 3*s1*s2*s6) + s8*(-s3*s5^2 + s2*s5*s6 - s1*s6^2 - s2^2*s8 + 2*s1*s3*s8))*s9 + (-s2*s5^2 + s1*s5*s6 + 2*s1*s2*s8)*s9^2 - s1^2*s9^3 + s7*(s10*(2*s2*s5^2 - 3*s1*s5*s6 + 3*s1*s2*s8 + 9*s1^2*s9) - s8*(s2*s5*s8 - s1*s6*s8 + s1*s5*s9))))))", + "auxiliary_base_grading": [ + [0, 0, 3, 2, 1, 0, 2, 1, 1, 0], + [1, 0, -1, 0, 1, 2, -1, 0, -1, -1], + [0, 1, -1, -1, -1, -1, 0, 0, 1, 2] + ] + }, + "associated_models": [ + "model1408_4808-2-WSF.json", + "model1408_4808-3-WSF.json", + "model1408_4808-4-WSF.json", + "model1408_4808-5-WSF.json", + "model1408_4808-6-WSF.json", + "model1408_4808-7-WSF.json", + "model1408_4808-8-WSF.json", + "model1408_4808-9-WSF.json", + "model1408_4808-10-WSF.json", + "model1408_4808-11-WSF.json", + "model1408_4808-12-WSF.json", + "model1408_4808-13-WSF.json", + "model1408_4808-14-WSF.json", + "model1408_4808-15-WSF.json", + "model1408_4808-16-WSF.json" + ], + "related_models": ["model1408_4808-1.json"] +} diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-10-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-10-WSF.json new file mode 100644 index 000000000000..a4146b8b8ed9 --- /dev/null +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-10-WSF.json @@ -0,0 +1,77 @@ +{ + "model_index": "", + "arxiv_data": { + "id": "1408.4808v2", + "doi": "10.48550/arXiv.1408.4808", + "version": "2", + "discipline": "hep-th", + "link": "https://arxiv.org/abs/1408.4808v2", + "model_location": { + "section": "3", + "equation": "3.130", + "page": "62" + } + }, + "journal_data": { + "doi": "10.1007/JHEP01(2015)142", + "report_numbers": ["UPR-1264-T", "CERN-PH-TH-2014-171", "BONN-TH-2014-13"], + "journal": "JHEP", + "volume": "01", + "pages": "142", + "year": "2015", + "link": "https://link.springer.com/article/10.1007/JHEP01(2015)142", + "model_location": { + "section": "3", + "equation": "3.129", + "page": "62" + } + }, + "paper_metadata": { + "authors": [ + "Denis Klevers", + "Damián Kaloni Mayorga Peña", + "Paul-Konstantin Oehlmann", + "Hernan Piragua", + "Jonas Reuter" + ], + "title": "F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches", + "description": "All Calabi-Yau manifolds with a genus-one fiber associated to the 16 reflexive 2D polyhedra F_i", + "buzzwords": ["Mordell-Weil", "reflexive polyhedra", "toric varieties", "elliptic fibrations"] + }, + "model_descriptors": { + "type": "weierstrass", + "description": "F-theory hypersurface model with fiber ambient space F_10", + "gauge_algebra": ["su2","su3"] + }, + "model_data": { + "base_dim": 3, + "model_sections": ["s5", "s2"], + "base_coordinates": ["s5", "s2", "s1", "s3", "s4", "s6", "s8"], + "f": "1//48*(48*s2*s4*s8^2 - ( - s6^2 + 4*s3*s8)^2 - 24*s4*s5*s6*s8)", + "g": "1//864*((2*s2*s4*s8^2 - s4*s5*s6*s8)*( - 36*s6^2 + 144*s3*s8) - ( - s6^2 + 4*s3*s8)^3 - 864*s1*s4^2*s8^3 + 216*s4^2*s5^2*s8^2)", + "auxiliary_base_grading": [ + [0, 0, -1, 1, 2, 1, 1], + [1, 0, 1, -1, -2, 0, 1], + [0, 1, 1, 1, 1, 0, -1] + ], + "zero_section": ["0", "0", "1"] + }, + "associated_models": [ + "model1408_4808-1-WSF.json", + "model1408_4808-2-WSF.json", + "model1408_4808-3-WSF.json", + "model1408_4808-4-WSF.json", + "model1408_4808-5-WSF.json", + "model1408_4808-6-WSF.json", + "model1408_4808-7-WSF.json", + "model1408_4808-8-WSF.json", + "model1408_4808-9-WSF.json", + "model1408_4808-11-WSF.json", + "model1408_4808-12-WSF.json", + "model1408_4808-13-WSF.json", + "model1408_4808-14-WSF.json", + "model1408_4808-15-WSF.json", + "model1408_4808-16-WSF.json" + ], + "related_models": ["model1408_4808-10.json"] +} diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-11-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-11-WSF.json new file mode 100644 index 000000000000..7d3e692236e3 --- /dev/null +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-11-WSF.json @@ -0,0 +1,85 @@ +{ + "model_index": "", + "arxiv_data": { + "id": "1408.4808v2", + "doi": "10.48550/arXiv.1408.4808", + "version": "2", + "discipline": "hep-th", + "link": "https://arxiv.org/abs/1408.4808v2", + "model_location": { + "section": "3", + "equation": "3.142", + "page": "67" + } + }, + "journal_data": { + "doi": "10.1007/JHEP01(2015)142", + "report_numbers": ["UPR-1264-T", "CERN-PH-TH-2014-171", "BONN-TH-2014-13"], + "journal": "JHEP", + "volume": "01", + "pages": "142", + "year": "2015", + "link": "https://link.springer.com/article/10.1007/JHEP01(2015)142", + "model_location": { + "section": "3", + "equation": "3.141", + "page": "67" + } + }, + "paper_metadata": { + "authors": [ + "Denis Klevers", + "Damián Kaloni Mayorga Peña", + "Paul-Konstantin Oehlmann", + "Hernan Piragua", + "Jonas Reuter" + ], + "title": "F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches", + "description": "All Calabi-Yau manifolds with a genus-one fiber associated to the 16 reflexive 2D polyhedra F_i", + "buzzwords": ["Mordell-Weil", "reflexive polyhedra", "toric varieties", "elliptic fibrations"] + }, + "model_descriptors": { + "type": "weierstrass", + "description": "F-theory hypersurface model with fiber ambient space F_11", + "gauge_algebra": ["su3","su2","u1"], + "global_gauge_quotients": [["Z3", [1, 3]], ["Z2", [2, 3]]] + }, + "model_data": { + "base_dim": 3, + "model_sections": ["s5", "s9"], + "base_coordinates": ["s5", "s9", "s1", "s2", "s3", "s6"], + "f": "1//48*(48*s1*s3*s9^2 - ( - s6^2 + 4*s2*s9)^2 - 24*s3*s5*s6*s9)", + "g": "1//864*((2*s1*s3*s9^2 - s3*s5*s6*s9)*( - 36*s6^2 + 144*s2*s9) - ( - s6^2 + 4*s2*s9)^3 + 216*s3^2*s5^2*s9^2)", + "auxiliary_base_grading": [ + [0, 0, 1, 2, 3, 1], + [1, 0, 1, 0, -1, 0], + [0, 1, -1, -1, -1, 0] + ], + "zero_section": ["0", "0", "1"], + "generating_sections": [ + [ + "1//12*(12*s1^2*s9^6 + s9^5*(8*s2*s5^2 - 12*s1*s6*s5) + s5^2*s6^2*s9^4)", + "1//2*(2*s1^3*s9^9 + s1*s9^8*(2*s2*s5^2 - 3*s1*s6*s5) + s5^2*s9^7*(s3*s5^2 - s2*s5*s6 + s1*s6^2))", + "s5*s9^2" + ] + ] + }, + "associated_models": [ + "model1408_4808-1-WSF.json", + "model1408_4808-2-WSF.json", + "model1408_4808-3-WSF.json", + "model1408_4808-4-WSF.json", + "model1408_4808-5-WSF.json", + "model1408_4808-6-WSF.json", + "model1408_4808-7-WSF.json", + "model1408_4808-8-WSF.json", + "model1408_4808-9-WSF.json", + "model1408_4808-10-WSF.json", + "model1408_4808-12-WSF.json", + "model1408_4808-13-WSF.json", + "model1408_4808-14-WSF.json", + "model1408_4808-15-WSF.json", + "model1408_4808-16-WSF.json" + ], + "related_models": ["model1408_4808-11.json"] +} diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-12-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-12-WSF.json new file mode 100644 index 000000000000..ccf3416c6c72 --- /dev/null +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-12-WSF.json @@ -0,0 +1,90 @@ +{ + "model_index": "", + "arxiv_data": { + "id": "1408.4808v2", + "doi": "10.48550/arXiv.1408.4808", + "version": "2", + "discipline": "hep-th", + "link": "https://arxiv.org/abs/1408.4808v2", + "model_location": { + "section": "3", + "equation": "3.155", + "page": "70" + } + }, + "journal_data": { + "doi": "10.1007/JHEP01(2015)142", + "report_numbers": ["UPR-1264-T", "CERN-PH-TH-2014-171", "BONN-TH-2014-13"], + "journal": "JHEP", + "volume": "01", + "pages": "142", + "year": "2015", + "link": "https://link.springer.com/article/10.1007/JHEP01(2015)142", + "model_location": { + "section": "3", + "equation": "3.154", + "page": "70" + } + }, + "paper_metadata": { + "authors": [ + "Denis Klevers", + "Damián Kaloni Mayorga Peña", + "Paul-Konstantin Oehlmann", + "Hernan Piragua", + "Jonas Reuter" + ], + "title": "F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches", + "description": "All Calabi-Yau manifolds with a genus-one fiber associated to the 16 reflexive 2D polyhedra F_i", + "buzzwords": ["Mordell-Weil", "reflexive polyhedra", "toric varieties", "elliptic fibrations"] + }, + "model_descriptors": { + "type": "weierstrass", + "description": "F-theory hypersurface model with fiber ambient space F_12", + "gauge_algebra": ["su2","su2","u1","u1"], + "global_gauge_quotients": [["Z2", [1, 3]], ["Z2", [2, 4]]] + }, + "model_data": { + "base_dim": 3, + "model_sections": ["s7", "s9"], + "base_coordinates": ["s7", "s9", "s1", "s2", "s5", "s6"], + "f": "1//48*(48*s2*s5*s7*s9 - 24*s1*s6*s7*s9 - ( - s6^2 + 4*s2*s9 + 4*s5*s7)^2)", + "g": "1//864*(216*s1^2*s7^2*s9^2 - ( - s6^2 + 4*s2*s9 + 4*s5*s7)^3 - (s1*s6*s7*s9 - 2*s2*s5*s7*s9)*( - 36*s6^2 + 144*s2*s9 + 144*s5*s7))", + "auxiliary_base_grading": [ + [0, 0, 3, 2, 2, 1], + [1, 0, -1, 0, -1, 0], + [0, 1, -1, -1, 0, 0] + ], + "zero_section": ["0", "0", "1"], + "generating_sections": [ + [ + "1//12*(s6^2 - 4*s5*s7 - 4*s2*s9)", + "1//2*s1*s7*s9", + "1" + ], + [ + "1//12*(s9^2*(s6^2 - 4*s2*s9) + 8*s5*s7*s9^2)", + "1//2*s7*s9^2*(s1*s9^2 - s5*s6*s9)", + "s9" + ] + ] + }, + "associated_models": [ + "model1408_4808-1-WSF.json", + "model1408_4808-2-WSF.json", + "model1408_4808-3-WSF.json", + "model1408_4808-4-WSF.json", + "model1408_4808-5-WSF.json", + "model1408_4808-6-WSF.json", + "model1408_4808-7-WSF.json", + "model1408_4808-8-WSF.json", + "model1408_4808-9-WSF.json", + "model1408_4808-10-WSF.json", + "model1408_4808-11-WSF.json", + "model1408_4808-13-WSF.json", + "model1408_4808-14-WSF.json", + "model1408_4808-15-WSF.json", + "model1408_4808-16-WSF.json" + ], + "related_models": ["model1408_4808-12.json"] +} diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-13-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-13-WSF.json new file mode 100644 index 000000000000..b0f8066cd4ff --- /dev/null +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-13-WSF.json @@ -0,0 +1,81 @@ +{ + "model_index": "", + "arxiv_data": { + "id": "1408.4808v2", + "doi": "10.48550/arXiv.1408.4808", + "version": "2", + "discipline": "hep-th", + "link": "https://arxiv.org/abs/1408.4808v2", + "model_location": { + "section": "3", + "equation": "3.181", + "page": "79" + } + }, + "journal_data": { + "doi": "10.1007/JHEP01(2015)142", + "report_numbers": ["UPR-1264-T", "CERN-PH-TH-2014-171", "BONN-TH-2014-13"], + "journal": "JHEP", + "volume": "01", + "pages": "142", + "year": "2015", + "link": "https://link.springer.com/article/10.1007/JHEP01(2015)142", + "model_location": { + "section": "3", + "equation": "3.180", + "page": "79" + } + }, + "paper_metadata": { + "authors": [ + "Denis Klevers", + "Damián Kaloni Mayorga Peña", + "Paul-Konstantin Oehlmann", + "Hernan Piragua", + "Jonas Reuter" + ], + "title": "F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches", + "description": "All Calabi-Yau manifolds with a genus-one fiber associated to the 16 reflexive 2D polyhedra F_i", + "buzzwords": ["Mordell-Weil", "reflexive polyhedra", "toric varieties", "elliptic fibrations"] + }, + "model_descriptors": { + "type": "weierstrass", + "description": "F-theory hypersurface model with fiber ambient space F_13", + "gauge_algebra": ["su2", "su2", "su4"], + "global_gauge_quotients": [["Z2", [1, 2, 3]]] + }, + "model_data": { + "base_dim": 3, + "model_sections": ["s1", "s9"], + "base_coordinates": ["s1", "s9", "s2", "s3", "s6"], + "f": "1//48*( - 16*s2^2*s9^2 + 8*s2*s6^2*s9 - s6^4 + 48*s1*s3*s9^2)", + "g": "1//864*( - 64*s2^3*s9^3 + 48*s2^2*s6^2*s9^2 - 12*s2*s6^4*s9 + 288*s1*s3*s2*s9^3 + s6^6 - 72*s1*s3*s6^2*s9^2)", + "auxiliary_base_grading": [ + [0, 0, 2, 4, 1], + [1, 0, 0, -1, 0], + [0, 1, -1, -2, 0] + ], + "zero_section": ["0", "0", "1"], + "torsion_sections": [ + ["1//12*(s6^2 - 4*s2*s9)", "0", "1"] + ] + }, + "associated_models": [ + "model1408_4808-1-WSF.json", + "model1408_4808-2-WSF.json", + "model1408_4808-3-WSF.json", + "model1408_4808-4-WSF.json", + "model1408_4808-5-WSF.json", + "model1408_4808-6-WSF.json", + "model1408_4808-7-WSF.json", + "model1408_4808-8-WSF.json", + "model1408_4808-9-WSF.json", + "model1408_4808-10-WSF.json", + "model1408_4808-11-WSF.json", + "model1408_4808-12-WSF.json", + "model1408_4808-14-WSF.json", + "model1408_4808-15-WSF.json", + "model1408_4808-16-WSF.json" + ], + "related_models": ["model1408_4808-13.json"] +} diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-14-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-14-WSF.json new file mode 100644 index 000000000000..cd1659783796 --- /dev/null +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-14-WSF.json @@ -0,0 +1,85 @@ +{ + "model_index": "", + "arxiv_data": { + "id": "1408.4808v2", + "doi": "10.48550/arXiv.1408.4808", + "version": "2", + "discipline": "hep-th", + "link": "https://arxiv.org/abs/1408.4808v2", + "model_location": { + "section": "3", + "equation": "3.168", + "page": "75" + } + }, + "journal_data": { + "doi": "10.1007/JHEP01(2015)142", + "report_numbers": ["UPR-1264-T", "CERN-PH-TH-2014-171", "BONN-TH-2014-13"], + "journal": "JHEP", + "volume": "01", + "pages": "142", + "year": "2015", + "link": "https://link.springer.com/article/10.1007/JHEP01(2015)142", + "model_location": { + "section": "3", + "equation": "3.167", + "page": "75" + } + }, + "paper_metadata": { + "authors": [ + "Denis Klevers", + "Damián Kaloni Mayorga Peña", + "Paul-Konstantin Oehlmann", + "Hernan Piragua", + "Jonas Reuter" + ], + "title": "F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches", + "description": "All Calabi-Yau manifolds with a genus-one fiber associated to the 16 reflexive 2D polyhedra F_i", + "buzzwords": ["Mordell-Weil", "reflexive polyhedra", "toric varieties", "elliptic fibrations"] + }, + "model_descriptors": { + "type": "weierstrass", + "description": "F-theory hypersurface model with fiber ambient space F_14", + "gauge_algebra": ["su3","su2","su2","u1"], + "global_gauge_quotients": [["Z3", [1, 4]], ["Z2", [2, 3, 4]]] + }, + "model_data": { + "base_dim": 3, + "model_sections": ["s7", "s9"], + "base_coordinates": ["s7", "s9", "s1", "s5", "s6"], + "f": "1//48*(- ( - s6^2 + 4*s5*s7)^2 - 24*s1*s6*s7*s9)", + "g": "1//864*(216*s1^2*s7^2*s9^2 - ( - s6^2 + 4*s5*s7)^3 - s1*s6*s7*s9*( - 36*s6^2 + 144*s5*s7))", + "auxiliary_base_grading": [ + [0, 0, 3, 2, 1], + [1, 0, -1, -1, 0], + [0, 1, -1, 0, 0] + ], + "zero_section": ["0", "0", "1"], + "generating_sections": [ + [ + "1//12*(12*s1^2*s9^6 - s5^2*s9^4*( - s6^2 + 4*s5*s7) - 12*s1*s5*s6*s9^5)", + "1//2*(2*s1^3*s9^9 - s1*s5^2*s9^7*( - s6^2 + s5*s7) - 3*s1^2*s5*s6*s9^8)", + "s5*s9^2" + ] + ] + }, + "associated_models": [ + "model1408_4808-1-WSF.json", + "model1408_4808-2-WSF.json", + "model1408_4808-3-WSF.json", + "model1408_4808-4-WSF.json", + "model1408_4808-5-WSF.json", + "model1408_4808-6-WSF.json", + "model1408_4808-7-WSF.json", + "model1408_4808-8-WSF.json", + "model1408_4808-9-WSF.json", + "model1408_4808-10-WSF.json", + "model1408_4808-11-WSF.json", + "model1408_4808-12-WSF.json", + "model1408_4808-13-WSF.json", + "model1408_4808-15-WSF.json", + "model1408_4808-16-WSF.json" + ], + "related_models": ["model1408_4808-14.json"] +} diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-15-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-15-WSF.json new file mode 100644 index 000000000000..82b02b722949 --- /dev/null +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-15-WSF.json @@ -0,0 +1,84 @@ +{ + "model_index": "", + "arxiv_data": { + "id": "1408.4808v2", + "doi": "10.48550/arXiv.1408.4808", + "version": "2", + "discipline": "hep-th", + "link": "https://arxiv.org/abs/1408.4808v2", + "model_location": { + "section": "3", + "equation": "3.190", + "page": "83" + } + }, + "journal_data": { + "doi": "10.1007/JHEP01(2015)142", + "report_numbers": ["UPR-1264-T", "CERN-PH-TH-2014-171", "BONN-TH-2014-13"], + "journal": "JHEP", + "volume": "01", + "pages": "142", + "year": "2015", + "link": "https://link.springer.com/article/10.1007/JHEP01(2015)142", + "model_location": { + "section": "3", + "equation": "3.189", + "page": "83" + } + }, + "paper_metadata": { + "authors": [ + "Denis Klevers", + "Damián Kaloni Mayorga Peña", + "Paul-Konstantin Oehlmann", + "Hernan Piragua", + "Jonas Reuter" + ], + "title": "F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches", + "description": "All Calabi-Yau manifolds with a genus-one fiber associated to the 16 reflexive 2D polyhedra F_i", + "buzzwords": ["Mordell-Weil", "reflexive polyhedra", "toric varieties", "elliptic fibrations"] + }, + "model_descriptors": { + "type": "weierstrass", + "description": "F-theory hypersurface model with fiber ambient space F_15", + "gauge_algebra": ["su2", "su2", "su2", "su2", "u1"], + "global_gauge_quotients": [["Z2", [1, 2, 3, 4]], ["Z2", [1, 4, 5]]] + }, + "model_data": { + "base_dim": 3, + "model_sections": ["s7", "s9"], + "base_coordinates": ["s7", "s9", "s2", "s5", "s6"], + "f": "1//48*( - 16*s2^2*s9^2 + 16*s2*s5*s7*s9 + 8*s2*s6^2*s9 - 16*s5^2*s7^2 + 8*s5*s6^2*s7 - s6^4)", + "g": "1//864*( - 64*s2^3*s9^3 + 96*s2^2*s5*s7*s9^2 + 48*s2^2*s6^2*s9^2 + 96*s2*s5^2*s7^2*s9 + 24*s2*s5*s6^2*s7*s9 - 12*s2*s6^4*s9 - 64*s5^3*s7^3 + 48*s5^2*s6^2*s7^2 - 12*s5*s6^4*s7 + s6^6)", + "auxiliary_base_grading": [ + [0, 0, 2, 2, 1], + [1, 0, 0, -1, 0], + [0, 1, -1, 0, 0] + ], + "zero_section": ["0", "0", "1"], + "generating_sections": [ + ["1//12*(8*s2*s5^2*s9^5 - s5^2*s9^4*( - s6^2 + 4*s5*s7))", " - 1//2*s2*s5^3*s6*s9^7", "s5*s9^2"] + ], + "torsion_sections": [ + ["1//12*(s6^2 - 4*s5*s7 - 4*s2*s9)", "0", "1"] + ] + }, + "associated_models": [ + "model1408_4808-1-WSF.json", + "model1408_4808-2-WSF.json", + "model1408_4808-3-WSF.json", + "model1408_4808-4-WSF.json", + "model1408_4808-5-WSF.json", + "model1408_4808-6-WSF.json", + "model1408_4808-7-WSF.json", + "model1408_4808-8-WSF.json", + "model1408_4808-9-WSF.json", + "model1408_4808-10-WSF.json", + "model1408_4808-11-WSF.json", + "model1408_4808-12-WSF.json", + "model1408_4808-13-WSF.json", + "model1408_4808-14-WSF.json", + "model1408_4808-16-WSF.json" + ], + "related_models": ["model1408_4808-15.json"] +} diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-16-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-16-WSF.json new file mode 100644 index 000000000000..96d6a94bcf06 --- /dev/null +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-16-WSF.json @@ -0,0 +1,82 @@ +{ + "model_index": "", + "arxiv_data": { + "id": "1408.4808v2", + "doi": "10.48550/arXiv.1408.4808", + "version": "2", + "discipline": "hep-th", + "link": "https://arxiv.org/abs/1408.4808v2", + "model_location": { + "section": "3", + "equation": "3.203", + "page": "87" + } + }, + "journal_data": { + "doi": "10.1007/JHEP01(2015)142", + "report_numbers": ["UPR-1264-T", "CERN-PH-TH-2014-171", "BONN-TH-2014-13"], + "journal": "JHEP", + "volume": "01", + "pages": "142", + "year": "2015", + "link": "https://link.springer.com/article/10.1007/JHEP01(2015)142", + "model_location": { + "section": "3", + "equation": "3.202", + "page": "88" + } + }, + "paper_metadata": { + "authors": [ + "Denis Klevers", + "Damián Kaloni Mayorga Peña", + "Paul-Konstantin Oehlmann", + "Hernan Piragua", + "Jonas Reuter" + ], + "title": "F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches", + "description": "All Calabi-Yau manifolds with a genus-one fiber associated to the 16 reflexive 2D polyhedra F_i", + "buzzwords": ["Mordell-Weil", "reflexive polyhedra", "toric varieties", "elliptic fibrations"] + }, + "model_descriptors": { + "type": "weierstrass", + "description": "F-theory hypersurface model with fiber ambient space F_16", + "gauge_algebra": ["su3", "su3", "su3"], + "global_gauge_quotients": [["Z3", [1, 2, 3]]] + }, + "model_data": { + "base_dim": 3, + "model_sections": ["s7", "s9"], + "base_coordinates": ["s7", "s9", "s1", "s6"], + "f": "1//48*(-s6^4 - 24*s1*s7*s9*s6)", + "g": "1//864*(216*s1^2*s7^2*s9^2 + 36*s1*s6^3*s7*s9 + s6^6)", + "auxiliary_base_grading": [ + [0, 0, 3, 1], + [1, 0, -1, 0], + [0, 1, -1, 0] + ], + "zero_section": ["0", "0", "1"], + "torsion_sections": [ + ["1//12*s6^2", "1//2*s1*s7*s9", "1"], + ["1//12*s6^2", "-1//2*s1*s7*s9", "1"] + ] + }, + "associated_models": [ + "model1408_4808-1-WSF.json", + "model1408_4808-2-WSF.json", + "model1408_4808-3-WSF.json", + "model1408_4808-4-WSF.json", + "model1408_4808-5-WSF.json", + "model1408_4808-6-WSF.json", + "model1408_4808-7-WSF.json", + "model1408_4808-8-WSF.json", + "model1408_4808-9-WSF.json", + "model1408_4808-10-WSF.json", + "model1408_4808-11-WSF.json", + "model1408_4808-12-WSF.json", + "model1408_4808-13-WSF.json", + "model1408_4808-14-WSF.json", + "model1408_4808-15-WSF.json" + ], + "related_models": ["model1408_4808-16.json"] +} diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-2-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-2-WSF.json new file mode 100644 index 000000000000..282bb3cfc710 --- /dev/null +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-2-WSF.json @@ -0,0 +1,77 @@ +{ + "model_index": "", + "arxiv_data": { + "id": "1408.4808v2", + "doi": "10.48550/arXiv.1408.4808", + "version": "2", + "discipline": "hep-th", + "link": "https://arxiv.org/abs/1408.4808v2", + "model_location": { + "section": "3", + "equation": "3.12", + "page": "20" + } + }, + "journal_data": { + "doi": "10.1007/JHEP01(2015)142", + "report_numbers": ["UPR-1264-T","CERN-PH-TH-2014-171","BONN-TH-2014-13"], + "journal": "JHEP", + "volume": "01", + "pages": "142", + "year": "2015", + "link": "https://link.springer.com/article/10.1007/JHEP01(2015)142", + "model_location": { + "section": "3", + "equation": "3.12", + "page": "20" + } + }, + "paper_metadata": { + "authors": [ + "Denis Klevers", + "Damián Kaloni Mayorga Peña", + "Paul-Konstantin Oehlmann", + "Hernan Piragua", + "Jonas Reuter" + ], + "title": "F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches", + "description": "All Calabi-Yau manifolds with a genus-one fiber associated to the 16 reflexive 2D polyhedra F_i", + "buzzwords": ["Mordell-Weil","reflexive polyhedra","toric varieties","elliptic fibrations"] + }, + "model_descriptors": { + "type": "weierstrass", + "description": "F-theory hypersurface model with fiber ambient space F_2", + "gauge_algebra": ["u1"], + "discrete_factors": ["Z2"] + }, + "model_data": { + "base_dim": 3, + "model_sections": ["b7","b9"], + "base_coordinates": ["b7","b9","b1","b2","b3","b5","b6","b8","b10"], + "f": "1//48*(-(-4*b1*b10 + b6^2 - 4*(b5*b7 + b3*b8 + b2*b9))^2 + 24*(-b6*(b10*b2*b5 + b2*b7*b8 + b3*b5*b9 + b1*b7*b9) + 2*(b10*(b1*b5*b7 + b2^2*b8 + b3*(b5^2 - 4*b1*b8) + b1*b2*b9) + b7*(b1*b7*b8 + b2*b5*b9) + b3*(b5*b7*b8 + b2*b8*b9 + b1*b9^2))))", + "g": "1//864*((-4*b1*b10 + b6^2 - 4*(b5*b7 + b3*b8 + b2*b9))^3 - 36*(-4*b1*b10 + b6^2 - 4*(b5*b7 + b3*b8 + b2*b9))*(-b6*(b10*b2*b5 + b2*b7*b8 + b3*b5*b9 + b1*b7*b9) + 2*(b10*(b1*b5*b7 + b2^2*b8 + b3*(b5^2 - 4*b1*b8) + b1*b2*b9) + b7*(b1*b7*b8 + b2*b5*b9) + b3*(b5*b7*b8 + b2*b8*b9 + b1*b9^2))) + 216*((b10*b2*b5 + b2*b7*b8 + b3*b5*b9 + b1*b7*b9)^2 - 4*(b2*b3*b5*b7*b8*b9 + b1^2*b10*(-4*b10*b3*b8 + b7^2*b8 + b3*b9^2) + b10*(b3^2*b5^2*b8 + b2^2*b5*b7*b8 + b2*b3*(-b5*b6*b8 + b2*b8^2 + b5^2*b9)) + b1*(b10^2*(b3*b5^2 + b2^2*b8) + b2*b7^2*b8*b9 + b3^2*b8*b9^2 + b3*b7*(b7*b8^2 - b6*b8*b9 + b5*b9^2) + b10*(-4*b3^2*b8^2 + b3*b6*(b6*b8 - b5*b9) + b2*b7*(-b6*b8 + b5*b9))))))", + "auxiliary_base_grading": [ + [0, 0, 3, 2, 1, 2, 1, 1, -1], + [1, 0, -1, 0, 1, -1, 0, -1, 1], + [0, 1, -1, -1, -1, 0, 0, 1, 1] + ] + }, + "associated_models": [ + "model1408_4808-1-WSF.json", + "model1408_4808-3-WSF.json", + "model1408_4808-4-WSF.json", + "model1408_4808-5-WSF.json", + "model1408_4808-6-WSF.json", + "model1408_4808-7-WSF.json", + "model1408_4808-8-WSF.json", + "model1408_4808-9-WSF.json", + "model1408_4808-10-WSF.json", + "model1408_4808-11-WSF.json", + "model1408_4808-12-WSF.json", + "model1408_4808-13-WSF.json", + "model1408_4808-14-WSF.json", + "model1408_4808-15-WSF.json", + "model1408_4808-16-WSF.json" + ], + "related_models": ["model1408_4808-2.json"] +} diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-3-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-3-WSF.json new file mode 100644 index 000000000000..c87518323293 --- /dev/null +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-3-WSF.json @@ -0,0 +1,84 @@ +{ + "model_index": "", + "arxiv_data": { + "id": "1408.4808v2", + "doi": "10.48550/arXiv.1408.4808", + "version": "2", + "discipline": "hep-th", + "link": "https://arxiv.org/abs/1408.4808v2", + "model_location": { + "section": "3", + "equation": "3.54", + "page": "36" + } + }, + "journal_data": { + "doi": "10.1007/JHEP01(2015)142", + "report_numbers": ["UPR-1264-T", "CERN-PH-TH-2014-171", "BONN-TH-2014-13"], + "journal": "JHEP", + "volume": "01", + "pages": "142", + "year": "2015", + "link": "https://link.springer.com/article/10.1007/JHEP01(2015)142", + "model_location": { + "section": "3", + "equation": "3.53", + "page": "36" + } + }, + "paper_metadata": { + "authors": [ + "Denis Klevers", + "Damián Kaloni Mayorga Peña", + "Paul-Konstantin Oehlmann", + "Hernan Piragua", + "Jonas Reuter" + ], + "title": "F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches", + "description": "All Calabi-Yau manifolds with a genus-one fiber associated to the 16 reflexive 2D polyhedra F_i", + "buzzwords": ["Mordell-Weil", "reflexive polyhedra", "toric varieties", "elliptic fibrations"] + }, + "model_descriptors": { + "type": "hypersurface", + "description": "F-theory hypersurface model with fiber ambient space F_3", + "gauge_algebra": ["u1"] + }, + "model_data": { + "base_dim": 3, + "model_sections": ["s7", "s9"], + "base_coordinates": ["s7", "s9", "s1", "s2", "s3", "s4", "s5", "s6", "s8"], + "f": "1//48*(48*s4*(s2*s8^2 - s9*( - s5^2 + 3*s1*s8)) - 24*s6*(s1*s7*s9 + s2*s7*s8 + s3*s5*s9 + s4*s5*s8) + 48*s7*(s2*s5*s9 + s3*s5*s8) - ( - s6^2 + 4*s2*s9 + 4*s3*s8 + 4*s5*s7)^2 + 48*s1*s3*s9^2 + 48*s1*s7^2*s8 + 48*s2*s3*s8*s9)", + "g": "1//864*(216*(s1*s7*s9 + s2*s7*s8 + s3*s5*s9 + s4*s5*s8)^2 - 864*s4*(s1^2*s9^3 - s9^2*( - s2*s5^2 + s1*s6*s5 + 2*s1*s2*s8) + s8*s9*(s8*s2^2 - s2*s5*s6 + s3*s5^2 + s1*s6^2 - 2*s1*s3*s8) + s7*s8*(s1*s5*s9 - s1*s6*s8 + s2*s5*s8)) + ( - 36*s6^2 + 144*s2*s9 + 144*s3*s8 + 144*s5*s7)*(2*s4*(s2*s8^2 - s9*( - s5^2 + 3*s1*s8)) - s6*(s1*s7*s9 + s2*s7*s8 + s3*s5*s9 + s4*s5*s8) + 2*s7*(s2*s5*s9 + s3*s5*s8) + 2*s1*s3*s9^2 + 2*s1*s7^2*s8 + 2*s2*s3*s8*s9) - ( - s6^2 + 4*s2*s9 + 4*s3*s8 + 4*s5*s7)^3 - 864*s1*s4^2*s8^3 - 864*s1*s7^2*s8*(s2*s9 + s3*s8) - 864*s3*s7*s9*(s1*s5*s9 - s1*s6*s8 + s2*s5*s8) - 864*s1*s3^2*s8*s9^2)", + "auxiliary_base_grading": [ + [0, 0, 3, 2, 1, 0, 2, 1, 1], + [1, 0, -1, 0, 1, 2, -1, 0, -1], + [0, 1, -1, -1, -1, -1, 0, 0, 1] + ], + "zero_section": ["0", "0", "1"], + "generating_sections": [ + [ + "1//12*(12*s1^2*s9^6 + 4*(2*s2*(s5^2 - 3*s1*s8) - 3*s1*s5*s6)*s9^5 + ((s6^2 - 4*s5*s7)*s5^2 + 12*(s2^2 + 2*s1*s3)*s8^2 - 4*(4*s3*s5^2 + s2*s6*s5 - 3*s1*(s6^2 + 2*s5*s7))*s8)*s9^4 - 2*s8*( - 4*(s6*s7 + 3*s4*s8)*s5^2 + (s6^3 - 10*s3*s8*s6 + 4*s2*s7*s8)*s5 + 2*s8*(9*s1*s6*s7 + 6*s1*s4*s8 + s2*(s6^2 + 6*s3*s8)))*s9^3 + s8^2*(s6^4 - 2*s5*s7*s6^2 - 8*s5^2*s7^2 + 12*(s3^2 + 2*s2*s4)*s8^2 - 4*(9*s4*s5*s6 - s7*(5*s2*s6 + 6*s1*s7) + s3*(s6^2 + 2*s5*s7))*s8)*s9^2 - 2*s8^3*(12*s3*s4*s8^2 + 2*(s7*(s3*s6 + 4*s2*s7) - 3*s4*(s6^2 + 2*s5*s7))*s8 + s6*s7*(s6^2 - 4*s5*s7))*s9 + s8^4*((s6^2 - 4*s5*s7)*s7^2 + 4*(2*s3*s7 - 3*s4*s6)*s8*s7 + 12*s4^2*s8^2))", + "1//2*(2*s1^3*s9^9 + s1*(2*s2*(s5^2 - 3*s1*s8) - 3*s1*s5*s6)*s9^8 + ((s3*s5^2 - s2*s6*s5 + s1*(s6^2 - s5*s7))*s5^2 + 6*s1*(s2^2 + s1*s3)*s8^2 + ( - 2*s2^2*s5^2 + 2*s1*s2*s6*s5 + s1*(3*s1*(s6^2 + 2*s5*s7) - 4*s3*s5^2))*s8)*s9^7 - s8*(2*(s2^3 + 6*s1*s3*s2 + 3*s1^2*s4)*s8^2 - (s5*s6*s2^2 + (6*s3*s5^2 - 4*s1*(s6^2 + 2*s5*s7))*s2 + s1*(6*s4*s5^2 + 2*s3*s6*s5 - 9*s1*s6*s7))*s8 + s5*(3*s4*s5^3 + 2*s3*s6*s5^2 - 3*s2*s7*s5^2 - 2*s2*s6^2*s5 + s1*s6*s7*s5 + 2*s1*s6^3))*s9^6 + s8^2*(s1*s6^4 - s2*s5*s6^3 + s3*s5^2*s6^2 + 7*s1*s5*s7*s6^2 + 9*s4*s5^3*s6 - 8*s2*s5^2*s7*s6 + s1*s5^2*s7^2 + 6*(s3*(s2^2 + s1*s3) + 2*s1*s2*s4)*s8^2 - s3*s5^3*s7 + ( - 4*s3^2*s5^2 - 8*s2*s4*s5^2 - 6*s1*s4*s6*s5 + s2^2*s6^2 + 6*s1^2*s7^2 + 2*s2*(s2*s5 + 7*s1*s6)*s7 + s3*(2*s1*(s6^2 + 2*s5*s7) - 6*s2*s5*s6))*s8)*s9^5 - s8^3*(s8*(6*s2*s8 - 5*s5*s6)*s3^2 - 5*s6*s7*(s5^2 - 2*s1*s8)*s3 + 5*s7*(s6*s8*s2^2 - s5*(s6^2 + s5*s7)*s2 + 2*s1*s7*s8*s2 + s1*s6*(s6^2 + 2*s5*s7)) + s4*(5*(2*s6^2 + s5*s7)*s5^2 - 10*(s3*s5 + s2*s6)*s8*s5 + 6*(s2^2 + 2*s1*s3)*s8^2))*s9^4 + s8^4*(2*(s3^3 + 6*s2*s4*s3 + 3*s1*s4^2)*s8^2 - (6*s4^2*s5^2 + s3^2*s6^2 - 4*(s2^2 + 2*s1*s3)*s7^2 + 2*s3*(s3*s5 - 3*s2*s6)*s7 + 2*s4*(s2*s6^2 + 7*s3*s5*s6 - 3*s1*s7*s6 + 2*s2*s5*s7))*s8 + 5*(s4*s5*s6*(s6^2 + 2*s5*s7) + s7*(s7*(2*s1*s6^2 - s2*s5*s6 + s1*s5*s7) - s3*s5*(s6^2 + s5*s7))))*s9^3 - s8^5*(3*s8*(2*s2*s8 - 3*s5*s6)*s4^2 + (s6^4 + (7*s5*s7 - 4*s3*s8)*s6^2 + 2*s2*s7*s8*s6 + s5^2*s7^2 - 8*s3*s5*s7*s8 + 6*s8*(s8*s3^2 + s1*s7^2))*s4 + s7*(s6*s8*s3^2 - (s6^3 + 8*s5*s7*s6 - 6*s2*s7*s8)*s3 + s7*(9*s1*s6*s7 + s2*(s6^2 - s5*s7))))*s9^2 + s8^6*(3*s8*( - s6^2 - 2*s5*s7 + 2*s3*s8)*s4^2 + s7*(2*s6^3 + s5*s7*s6 - 2*s3*s8*s6 + 4*s2*s7*s8)*s4 + s7^2*(2*s8*s3^2 - 2*s6^2*s3 - 3*s5*s7*s3 + 3*s1*s7^2 + 2*s2*s6*s7))*s9 + s8^7*( - 2*s8^2*s4^3 + 3*s6*s7*s8*s4^2 + s7^2*( - s6^2 + s5*s7 - 2*s3*s8)*s4 + s7^3*(s3*s6 - s2*s7)))", + "s7*s8^2 + s9*(s5*s9 - s6*s8)" + ] + ] + }, + "associated_models": [ + "model1408_4808-1-WSF.json", + "model1408_4808-2-WSF.json", + "model1408_4808-4-WSF.json", + "model1408_4808-5-WSF.json", + "model1408_4808-6-WSF.json", + "model1408_4808-7-WSF.json", + "model1408_4808-8-WSF.json", + "model1408_4808-9-WSF.json", + "model1408_4808-10-WSF.json", + "model1408_4808-11-WSF.json", + "model1408_4808-12-WSF.json", + "model1408_4808-13-WSF.json", + "model1408_4808-14-WSF.json", + "model1408_4808-15-WSF.json", + "model1408_4808-16-WSF.json" + ], + "related_models": ["model1408_4808-3.json"] +} diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-4-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-4-WSF.json new file mode 100644 index 000000000000..7a1cbd807d38 --- /dev/null +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-4-WSF.json @@ -0,0 +1,77 @@ +{ + "model_index": "", + "arxiv_data": { + "id": "1408.4808v2", + "doi": "10.48550/arXiv.1408.4808", + "version": "2", + "discipline": "hep-th", + "link": "https://arxiv.org/abs/1408.4808v2", + "model_location": { + "section": "3", + "equation": "3.17", + "page": "22" + } + }, + "journal_data": { + "doi": "10.1007/JHEP01(2015)142", + "report_numbers": ["UPR-1264-T","CERN-PH-TH-2014-171","BONN-TH-2014-13"], + "journal": "JHEP", + "volume": "01", + "pages": "142", + "year": "2015", + "link": "https://link.springer.com/article/10.1007/JHEP01(2015)142", + "model_location": { + "section": "3", + "equation": "3.17", + "page": "22" + } + }, + "paper_metadata": { + "authors": [ + "Denis Klevers", + "Damián Kaloni Mayorga Peña", + "Paul-Konstantin Oehlmann", + "Hernan Piragua", + "Jonas Reuter" + ], + "title": "F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches", + "description": "All Calabi-Yau manifolds with a genus-one fiber associated to the 16 reflexive 2D polyhedra F_i", + "buzzwords": ["Mordell-Weil","reflexive polyhedra","toric varieties","elliptic fibrations"] + }, + "model_descriptors": { + "type": "weierstrass", + "description": "F-theory hypersurface model with fiber ambient space F_4", + "gauge_algebra": ["su2"], + "discrete_factors": ["Z4"] + }, + "model_data": { + "base_dim": 3, + "model_sections": ["d8","d4"], + "base_coordinates": ["d8","d4","d1","d2","d3","d5","d6","d7","d9"], + "f": "1//48*(-24*d9*(-2*d5*d6^2 + d4*d6*d7 - 2*d3*d6*d8 + d2*d7*d8 - 2*d1*d8^2 - 2*d2*d4*d9 + 8*d1*d5*d9) - (d7^2 - 4*(d6*d8 + d3*d9))^2)", + "g": "1//864*(36*d9*(-2*d5*d6^2 + d4*d6*d7 - 2*d3*d6*d8 + d2*d7*d8 - 2*d1*d8^2 - 2*d2*d4*d9 + 8*d1*d5*d9)*(d7^2 - 4*(d6*d8 + d3*d9)) + (d7^2 - 4*(d6*d8 + d3*d9))^3 + 216*d9^2*(4*d2*d5*d6*d7 - 4*d1*d5*d7^2 + d2^2*d8^2 + d4*(-2*d2*d6*d8 + 4*d1*d7*d8) - 4*d2^2*d5*d9 + d4^2*(d6^2 - 4*d1*d9) - 4*d3*(d5*d6^2 + d1*d8^2 - 4*d1*d5*d9)))", + "auxiliary_base_grading": [ + [0, 0, 3, 2, 1, -1, 2, 1, 1], + [1, 0, -3, -2, -1, 1, -1, 0, 1], + [0, 1, 1, 1, 1, 1, 0, 0, -1] + ] + }, + "associated_models": [ + "model1408_4808-1-WSF.json", + "model1408_4808-2-WSF.json", + "model1408_4808-3-WSF.json", + "model1408_4808-5-WSF.json", + "model1408_4808-6-WSF.json", + "model1408_4808-7-WSF.json", + "model1408_4808-8-WSF.json", + "model1408_4808-9-WSF.json", + "model1408_4808-10-WSF.json", + "model1408_4808-11-WSF.json", + "model1408_4808-12-WSF.json", + "model1408_4808-13-WSF.json", + "model1408_4808-14-WSF.json", + "model1408_4808-15-WSF.json", + "model1408_4808-16-WSF.json" + ], + "related_models": ["model1408_4808-4.json"] +} diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-4.json b/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-4.json new file mode 100644 index 000000000000..760dacd4d66e --- /dev/null +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-4.json @@ -0,0 +1,82 @@ +{ + "model_index": "", + "arxiv_data": { + "id": "1408.4808v2", + "doi": "10.48550/arXiv.1408.4808", + "version": "2", + "discipline": "hep-th", + "link": "https://arxiv.org/abs/1408.4808v2", + "model_location": { + "section": "3", + "equation": "3.17", + "page": "22" + } + }, + "journal_data": { + "doi": "10.1007/JHEP01(2015)142", + "report_numbers": ["UPR-1264-T","CERN-PH-TH-2014-171","BONN-TH-2014-13"], + "journal": "JHEP", + "volume": "01", + "pages": "142", + "year": "2015", + "link": "https://link.springer.com/article/10.1007/JHEP01(2015)142", + "model_location": { + "section": "3", + "equation": "3.17", + "page": "22" + } + }, + "paper_metadata": { + "authors": [ + "Denis Klevers", + "Damián Kaloni Mayorga Peña", + "Paul-Konstantin Oehlmann", + "Hernan Piragua", + "Jonas Reuter" + ], + "title": "F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches", + "description": "All Calabi-Yau manifolds with a genus-one fiber associated to the 16 reflexive 2D polyhedra F_i", + "buzzwords": ["Mordell-Weil","reflexive polyhedra","toric varieties","elliptic fibrations"] + }, + "model_descriptors": { + "type": "hypersurface", + "description": "F-theory hypersurface model with fiber ambient space F_4", + "gauge_algebra": ["su2"], + "discrete_factors": ["Z4"] + }, + "model_data": { + "base_dim": 3, + "model_sections": ["d8","d4"], + "base_coordinates": ["d8","d4","d1","d2","d3","d5","d6","d7","d9"], + "auxiliary_base_grading": [ + [0, 0, 3, 2, 1, -1, 2, 1, 1], + [1, 0, -3, -2, -1, 1, -1, 0, 1], + [0, 1, 1, 1, 1, 1, 0, 0, -1] + ], + "fiber_ambient_space_rays": [[-1, 1], [1, 0], [-1, -1], [-1, 0]], + "fiber_ambient_space_max_cones": [[1, 2], [2, 3], [3, 4], [1, 4]], + "fiber_ambient_space_coordinates": ["X", "Z", "Y", "e1"], + "fiber_ambient_space_name": "P^{F_4}", + "D1": [0, 1, 0], + "D2": [0, 0, 1], + "hypersurface_equation": "d1*e1^2*X^4 + d2*e1^2*X^3*Y + d3*e1^2*X^2*Y^2 + d4*e1^2*X*Y^3 + d5*e1^2*Y^4 + d6*e1*X^2*Z + d7*e1*X*Y*Z + d8*e1*Y^2*Z + d9*Z^2" + }, + "associated_models": [ + "model1408_4808-1.json", + "model1408_4808-2.json", + "model1408_4808-3.json", + "model1408_4808-5.json", + "model1408_4808-6.json", + "model1408_4808-7.json", + "model1408_4808-8.json", + "model1408_4808-9.json", + "model1408_4808-10.json", + "model1408_4808-11.json", + "model1408_4808-12.json", + "model1408_4808-13.json", + "model1408_4808-14.json", + "model1408_4808-15.json", + "model1408_4808-16.json" + ], + "related_models": ["model1408_4808-4-WSF.json"] +} diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-5-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-5-WSF.json new file mode 100644 index 000000000000..879fbf1b2b2d --- /dev/null +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-5-WSF.json @@ -0,0 +1,89 @@ +{ + "model_index": "", + "arxiv_data": { + "id": "1408.4808v2", + "doi": "10.48550/arXiv.1408.4808", + "version": "2", + "discipline": "hep-th", + "link": "https://arxiv.org/abs/1408.4808v2", + "model_location": { + "section": "3", + "equation": "3.73", + "page": "43" + } + }, + "journal_data": { + "doi": "10.1007/JHEP01(2015)142", + "report_numbers": ["UPR-1264-T", "CERN-PH-TH-2014-171", "BONN-TH-2014-13"], + "journal": "JHEP", + "volume": "01", + "pages": "142", + "year": "2015", + "link": "https://link.springer.com/article/10.1007/JHEP01(2015)142", + "model_location": { + "section": "3", + "equation": "3.72", + "page": "43" + } + }, + "paper_metadata": { + "authors": [ + "Denis Klevers", + "Damián Kaloni Mayorga Peña", + "Paul-Konstantin Oehlmann", + "Hernan Piragua", + "Jonas Reuter" + ], + "title": "F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches", + "description": "All Calabi-Yau manifolds with a genus-one fiber associated to the 16 reflexive 2D polyhedra F_i", + "buzzwords": ["Mordell-Weil", "reflexive polyhedra", "toric varieties", "elliptic fibrations"] + }, + "model_descriptors": { + "type": "weierstrass", + "description": "F-theory hypersurface model with fiber ambient space F_5", + "gauge_algebra": ["u1", "u1"] + }, + "model_data": { + "base_dim": 3, + "model_sections": ["s7", "s9"], + "base_coordinates": ["s7", "s9", "s1", "s2", "s3", "s5", "s6", "s8"], + "f": "1//48*(48*s7*(s2*s5*s9 + s3*s5*s8) - 24*s6*(s1*s7*s9 + s2*s7*s8 + s3*s5*s9) - ( - s6^2 + 4*s2*s9 + 4*s3*s8 + 4*s5*s7)^2 + 48*s1*s3*s9^2 + 48*s1*s7^2*s8 + 48*s2*s3*s8*s9)", + "g": "1//864*(( - 36*s6^2 + 144*s2*s9 + 144*s3*s8 + 144*s5*s7)*(2*s7*(s2*s5*s9 + s3*s5*s8) - s6*(s1*s7*s9 + s2*s7*s8 + s3*s5*s9) + 2*s1*s3*s9^2 + 2*s1*s7^2*s8 + 2*s2*s3*s8*s9) - ( - s6^2 + 4*s2*s9 + 4*s3*s8 + 4*s5*s7)^3 + 216*(s1*s7*s9 + s2*s7*s8 + s3*s5*s9)^2 - 864*s1*s7^2*s8*(s2*s9 + s3*s8) - 864*s3*s7*s9*(s1*s5*s9 - s1*s6*s8 + s2*s5*s8) - 864*s1*s3^2*s8*s9^2)", + "auxiliary_base_grading": [ + [0, 0, 3, 2, 1, 2, 1, 1], + [1, 0, -1, 0, 1, -1, 0, -1], + [0, 1, -1, -1, -1, 0, 0, 1] + ], + "zero_section": ["0", "0", "1"], + "generating_sections": [ + [ + "1//12*(s6^2 - 4*s5*s7 + 8*s3*s8 - 4*s2*s9)", + "1//2*(s3*s6*s8 - s2*s7*s8 - s3*s5*s9 + s1*s7*s9)", + "1" + ], + [ + "1//12*(12*s7^2*s8^2 + s9^2*(s6^2 + 8*s3*s8 - 4*s2*s9) + 4*s7*s9*( - 3*s6*s8 + 2*s5*s9))", + "1//2*(2*s7^3*s8^3 + s3*s9^2*( - s6*s8 + s5*s9) + s7^2*s8*s9*( - 3*s6*s8 + 2*s5*s9) + s7*s9^2*(s6^2*s8 + 2*s3*s8^2 - s5*s6*s9 - s2*s8*s9 + s1*s9^2))", + "s9" + ] + ] + }, + "associated_models": [ + "model1408_4808-1-WSF.json", + "model1408_4808-2-WSF.json", + "model1408_4808-3-WSF.json", + "model1408_4808-4-WSF.json", + "model1408_4808-6-WSF.json", + "model1408_4808-7-WSF.json", + "model1408_4808-8-WSF.json", + "model1408_4808-9-WSF.json", + "model1408_4808-10-WSF.json", + "model1408_4808-11-WSF.json", + "model1408_4808-12-WSF.json", + "model1408_4808-13-WSF.json", + "model1408_4808-14-WSF.json", + "model1408_4808-15-WSF.json", + "model1408_4808-16-WSF.json" + ], + "related_models": ["model1408_4808-5.json"] +} diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-6-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-6-WSF.json new file mode 100644 index 000000000000..6436a8e92fc0 --- /dev/null +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-6-WSF.json @@ -0,0 +1,85 @@ +{ + "model_index": "", + "arxiv_data": { + "id": "1408.4808v2", + "doi": "10.48550/arXiv.1408.4808", + "version": "2", + "discipline": "hep-th", + "link": "https://arxiv.org/abs/1408.4808v2", + "model_location": { + "section": "3", + "equation": "3.82", + "page": "46" + } + }, + "journal_data": { + "doi": "10.1007/JHEP01(2015)142", + "report_numbers": ["UPR-1264-T", "CERN-PH-TH-2014-171", "BONN-TH-2014-13"], + "journal": "JHEP", + "volume": "01", + "pages": "142", + "year": "2015", + "link": "https://link.springer.com/article/10.1007/JHEP01(2015)142", + "model_location": { + "section": "3", + "equation": "3.81", + "page": "46" + } + }, + "paper_metadata": { + "authors": [ + "Denis Klevers", + "Damián Kaloni Mayorga Peña", + "Paul-Konstantin Oehlmann", + "Hernan Piragua", + "Jonas Reuter" + ], + "title": "F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches", + "description": "All Calabi-Yau manifolds with a genus-one fiber associated to the 16 reflexive 2D polyhedra F_i", + "buzzwords": ["Mordell-Weil", "reflexive polyhedra", "toric varieties", "elliptic fibrations"] + }, + "model_descriptors": { + "type": "weierstrass", + "description": "F-theory hypersurface model with fiber ambient space F_6", + "gauge_algebra": ["su2", "u1"], + "global_gauge_quotients": [["Z2", [1, 2]]] + }, + "model_data": { + "base_dim": 3, + "model_sections": ["s7", "s4"], + "base_coordinates": ["s7", "s4", "s1", "s2", "s3", "s5", "s6", "s8"], + "f": "1//48*(48*s2*s4*s8^2 - 24*s6*(s2*s7*s8 + s4*s5*s8) - ( - s6^2 + 4*s3*s8 + 4*s5*s7)^2 + 48*s1*s7^2*s8 + 48*s3*s5*s7*s8)", + "g": "1//864*(216*(s2*s7*s8 + s4*s5*s8)^2 - ( - s6^2 + 4*s3*s8 + 4*s5*s7)^3 + ( - 36*s6^2 + 144*s3*s8 + 144*s5*s7)*(2*s2*s4*s8^2 - s6*(s2*s7*s8 + s4*s5*s8) + 2*s1*s7^2*s8 + 2*s3*s5*s7*s8) - 864*s1*s4^2*s8^3 + 864*s4*s7*s8*(s1*s6*s8 - s2*s5*s8) - 864*s1*s3*s7^2*s8^2)", + "auxiliary_base_grading": [ + [0, 0, 3, 2, 1, 2, 1, 1], + [1, 0, -3, -2, -1, -1, 0, 1], + [0, 1, 1, 1, 1, 0, 0, -1] + ], + "zero_section": ["0", "0", "1"], + "generating_sections": [ + [ + "1//12*(s8^4*(12*s4^2*s8^2 - s7^2*( - s6^2 + 4*s5*s7) + s7*s8*(8*s3*s7 - 12*s4*s6)))", + "1//2*( - s8^7*(2*s4^3*s8^2 + s7^3*(s2*s7 - s3*s6) + s4*s7^2*(s6^2 + 2*s3*s8 - s5*s7) - 3*s4^2*s6*s7*s8))", + "s7*s8^2" + ] + ] + }, + "associated_models": [ + "model1408_4808-1-WSF.json", + "model1408_4808-2-WSF.json", + "model1408_4808-3-WSF.json", + "model1408_4808-4-WSF.json", + "model1408_4808-5-WSF.json", + "model1408_4808-7-WSF.json", + "model1408_4808-8-WSF.json", + "model1408_4808-9-WSF.json", + "model1408_4808-10-WSF.json", + "model1408_4808-11-WSF.json", + "model1408_4808-12-WSF.json", + "model1408_4808-13-WSF.json", + "model1408_4808-14-WSF.json", + "model1408_4808-15-WSF.json", + "model1408_4808-16-WSF.json" + ], + "related_models": ["model1408_4808-6.json"] +} diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-7-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-7-WSF.json new file mode 100644 index 000000000000..f7c097b1339f --- /dev/null +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-7-WSF.json @@ -0,0 +1,94 @@ +{ + "model_index": "", + "arxiv_data": { + "id": "1408.4808v2", + "doi": "10.48550/arXiv.1408.4808", + "version": "2", + "discipline": "hep-th", + "link": "https://arxiv.org/abs/1408.4808v2", + "model_location": { + "section": "3", + "equation": "3.96", + "page": "50" + } + }, + "journal_data": { + "doi": "10.1007/JHEP01(2015)142", + "report_numbers": ["UPR-1264-T", "CERN-PH-TH-2014-171", "BONN-TH-2014-13"], + "journal": "JHEP", + "volume": "01", + "pages": "142", + "year": "2015", + "link": "https://link.springer.com/article/10.1007/JHEP01(2015)142", + "model_location": { + "section": "3", + "equation": "3.95", + "page": "51" + } + }, + "paper_metadata": { + "authors": [ + "Denis Klevers", + "Damián Kaloni Mayorga Peña", + "Paul-Konstantin Oehlmann", + "Hernan Piragua", + "Jonas Reuter" + ], + "title": "F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches", + "description": "All Calabi-Yau manifolds with a genus-one fiber associated to the 16 reflexive 2D polyhedra F_i", + "buzzwords": ["Mordell-Weil", "reflexive polyhedra", "toric varieties", "elliptic fibrations"] + }, + "model_descriptors": { + "type": "weierstrass", + "description": "F-theory hypersurface model with fiber ambient space F_7", + "gauge_algebra": ["u1", "u1", "u1"] + }, + "model_data": { + "base_dim": 3, + "model_sections": ["s7", "s9"], + "base_coordinates": ["s7", "s9", "s2", "s3", "s5", "s6", "s8"], + "f": "1//48*(48*s7*(s2*s5*s9 + s3*s5*s8) - 24*s6*(s2*s7*s8 + s3*s5*s9) - ( - s6^2 + 4*s2*s9 + 4*s3*s8 + 4*s5*s7)^2 + 48*s2*s3*s8*s9)", + "g": "1//864*(216*(s2*s7*s8 + s3*s5*s9)^2 + (2*s7*(s2*s5*s9 + s3*s5*s8) - s6*(s2*s7*s8 + s3*s5*s9) + 2*s2*s3*s8*s9)*( - 36*s6^2 + 144*s2*s9 + 144*s3*s8 + 144*s5*s7) - ( - s6^2 + 4*s2*s9 + 4*s3*s8 + 4*s5*s7)^3 - 864*s2*s3*s5*s7*s8*s9)", + "auxiliary_base_grading": [ + [0, 0, 2, 1, 2, 1, 1], + [1, 0, 0, 1, -1, 0, -1], + [0, 1, -1, -1, 0, 0, 1] + ], + "zero_section": ["0", "0", "1"], + "generating_sections": [ + [ + "1//12*(s6^2*s7^2 - 4*s5*s7^3 + 8*s3*s7^2*s8 - 12*s3*s6*s7*s9 + 8*s2*s7^2*s9 + 12*s3^2*s9^2)", + "1//2*( - 2*s3^3*s9^3 + s2*s7^3*( - s7*s8 + s6*s9) + s3^2*s7*s9*( - 2*s7*s8 + 3*s6*s9) + s3*s7^2*(s6*s7*s8 - s6^2*s9 + s9*(s5*s7 - 2*s2*s9)))", + "s7" + ], + [ + "1//12*(s6^2 - 4*s5*s7 - 4*s3*s8 + 8*s2*s9)", + "1//2*(s2*s7*s8 + s3*s5*s9 - s2*s6*s9)", + "1" + ], + [ + "1//12*(12*s7^2*s8^2 + s9^2*(s6^2 + 8*s3*s8 - 4*s2*s9) + 4*s7*s9*( - 3*s6*s8 + 2*s5*s9))", + "1//2*( - 2*s7^3*s8^3 + s7^2*s8*s9*(3*s6*s8 - 2*s5*s9) + s3*s9^3*(s6*s8 - s5*s9) + s7*s9^2*( - s6^2*s8 + s5*s6*s9 + s8*( - 2*s3*s8 + s2*s9)))", + "s9" + ] + ] + }, + "associated_models": [ + "model1408_4808-1-WSF.json", + "model1408_4808-2-WSF.json", + "model1408_4808-3-WSF.json", + "model1408_4808-4-WSF.json", + "model1408_4808-5-WSF.json", + "model1408_4808-6-WSF.json", + "model1408_4808-8-WSF.json", + "model1408_4808-9-WSF.json", + "model1408_4808-10-WSF.json", + "model1408_4808-11-WSF.json", + "model1408_4808-12-WSF.json", + "model1408_4808-13-WSF.json", + "model1408_4808-14-WSF.json", + "model1408_4808-15-WSF.json", + "model1408_4808-16-WSF.json" + ], + "related_models": ["model1408_4808-7.json"] +} diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-8-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-8-WSF.json new file mode 100644 index 000000000000..d5e574e137f9 --- /dev/null +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-8-WSF.json @@ -0,0 +1,85 @@ +{ + "model_index": "", + "arxiv_data": { + "id": "1408.4808v2", + "doi": "10.48550/arXiv.1408.4808", + "version": "2", + "discipline": "hep-th", + "link": "https://arxiv.org/abs/1408.4808v2", + "model_location": { + "section": "3", + "equation": "3.106", + "page": "54" + } + }, + "journal_data": { + "doi": "10.1007/JHEP01(2015)142", + "report_numbers": ["UPR-1264-T", "CERN-PH-TH-2014-171", "BONN-TH-2014-13"], + "journal": "JHEP", + "volume": "01", + "pages": "142", + "year": "2015", + "link": "https://link.springer.com/article/10.1007/JHEP01(2015)142", + "model_location": { + "section": "3", + "equation": "3.105", + "page": "55" + } + }, + "paper_metadata": { + "authors": [ + "Denis Klevers", + "Damián Kaloni Mayorga Peña", + "Paul-Konstantin Oehlmann", + "Hernan Piragua", + "Jonas Reuter" + ], + "title": "F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches", + "description": "All Calabi-Yau manifolds with a genus-one fiber associated to the 16 reflexive 2D polyhedra F_i", + "buzzwords": ["Mordell-Weil", "reflexive polyhedra", "toric varieties", "elliptic fibrations"] + }, + "model_descriptors": { + "type": "weierstrass", + "description": "F-theory hypersurface model with fiber ambient space F_8", + "gauge_algebra": ["su2", "su2", "u1"], + "global_gauge_quotients": [["Z2", [2, 3]]] + }, + "model_data": { + "base_dim": 3, + "model_sections": ["s7", "s2"], + "base_coordinates": ["s7", "s2", "s1", "s3", "s5", "s6", "s8"], + "f": "1//48*(48*s1*s7^2*s8 - ( - s6^2 + 4*s3*s8 + 4*s5*s7)^2 - 24*s2*s6*s7*s8 + 48*s3*s5*s7*s8)", + "g": "1//864*(( - 36*s6^2 + 144*s3*s8 + 144*s5*s7)*(2*s1*s7^2*s8 - s2*s6*s7*s8 + 2*s3*s5*s7*s8) - ( - s6^2 + 4*s3*s8 + 4*s5*s7)^3 + 216*s2^2*s7^2*s8^2 - 864*s1*s3*s7^2*s8^2)", + "auxiliary_base_grading": [ + [0, 0, 1, -1, 2, 1, 3], + [1, 0, -1, 1, -1, 0, -1], + [0, 1, 1, 1, 0, 0, -1] + ], + "zero_section": ["0", "0", "1"], + "generating_sections": [ + [ + "1//12*( - s8^4*(s7^2*( - s6^2 + 4*s5*s7) - 8*s3*s7^2*s8))", + "1//2*( - s7^3*s8^7*(s2*s7 - s3*s6))", + "s7*s8^2" + ] + ] + }, + "associated_models": [ + "model1408_4808-1-WSF.json", + "model1408_4808-2-WSF.json", + "model1408_4808-3-WSF.json", + "model1408_4808-4-WSF.json", + "model1408_4808-5-WSF.json", + "model1408_4808-6-WSF.json", + "model1408_4808-7-WSF.json", + "model1408_4808-9-WSF.json", + "model1408_4808-10-WSF.json", + "model1408_4808-11-WSF.json", + "model1408_4808-12-WSF.json", + "model1408_4808-13-WSF.json", + "model1408_4808-14-WSF.json", + "model1408_4808-15-WSF.json", + "model1408_4808-16-WSF.json" + ], + "related_models": ["model1408_4808-8.json"] +} diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-9-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-9-WSF.json new file mode 100644 index 000000000000..da9257a13454 --- /dev/null +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/WeierstrassFormsCurrentlyNotDistinguishedFromHypersurfaceCounterpart/model1408_4808-9-WSF.json @@ -0,0 +1,90 @@ +{ + "model_index": "", + "arxiv_data": { + "id": "1408.4808v2", + "doi": "10.48550/arXiv.1408.4808", + "version": "2", + "discipline": "hep-th", + "link": "https://arxiv.org/abs/1408.4808v2", + "model_location": { + "section": "3", + "equation": "3.118", + "page": "58" + } + }, + "journal_data": { + "doi": "10.1007/JHEP01(2015)142", + "report_numbers": ["UPR-1264-T", "CERN-PH-TH-2014-171", "BONN-TH-2014-13"], + "journal": "JHEP", + "volume": "01", + "pages": "142", + "year": "2015", + "link": "https://link.springer.com/article/10.1007/JHEP01(2015)142", + "model_location": { + "section": "3", + "equation": "3.117", + "page": "59" + } + }, + "paper_metadata": { + "authors": [ + "Denis Klevers", + "Damián Kaloni Mayorga Peña", + "Paul-Konstantin Oehlmann", + "Hernan Piragua", + "Jonas Reuter" + ], + "title": "F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches", + "description": "All Calabi-Yau manifolds with a genus-one fiber associated to the 16 reflexive 2D polyhedra F_i", + "buzzwords": ["Mordell-Weil", "reflexive polyhedra", "toric varieties", "elliptic fibrations"] + }, + "model_descriptors": { + "type": "weierstrass", + "description": "F-theory hypersurface model with fiber ambient space F_9", + "gauge_algebra": ["su2", "u1", "u1"], + "global_gauge_quotients": [["Z2", [1, 3]]] + }, + "model_data": { + "base_dim": 3, + "model_sections": ["s7", "s9"], + "base_coordinates": ["s7", "s9", "s1", "s2", "s3", "s5", "s6"], + "f": "1//48*(48*s1*s3*s9^2 - 24*s6*(s1*s7*s9 + s3*s5*s9) - ( - s6^2 + 4*s2*s9 + 4*s5*s7)^2 + 48*s2*s5*s7*s9)", + "g": "1//864*(216*(s1*s7*s9 + s3*s5*s9)^2 - ( - s6^2 + 4*s2*s9 + 4*s5*s7)^3 + ( - 36*s6^2 + 144*s2*s9 + 144*s5*s7)*(2*s1*s3*s9^2 - s6*(s1*s7*s9 + s3*s5*s9) + 2*s2*s5*s7*s9) - 864*s1*s3*s5*s7*s9^2)", + "auxiliary_base_grading": [ + [0, 0, 3, 2, 1, 2, 1], + [1, 0, -1, 0, 1, -1, 0], + [0, 1, -1, -1, -1, 0, 0] + ], + "zero_section": ["0", "0", "1"], + "generating_sections": [ + [ + "1//12*(s6^2 - 4*s5*s7 - 4*s2*s9)", + "1//2*( - s3*s5*s9 + s1*s7*s9)", + "1" + ], + [ + "1//12*(s9^2*(s6^2 - 4*s2*s9) + 8*s7*s9^2*s5)", + "1//2*(s3*s9^3*s5 + s7*s9^2*( - s5*s6*s9 + s1*s9^2))", + "s9" + ] + ] + }, + "associated_models": [ + "model1408_4808-1-WSF.json", + "model1408_4808-2-WSF.json", + "model1408_4808-3-WSF.json", + "model1408_4808-4-WSF.json", + "model1408_4808-5-WSF.json", + "model1408_4808-6-WSF.json", + "model1408_4808-7-WSF.json", + "model1408_4808-8-WSF.json", + "model1408_4808-10-WSF.json", + "model1408_4808-11-WSF.json", + "model1408_4808-12-WSF.json", + "model1408_4808-13-WSF.json", + "model1408_4808-14-WSF.json", + "model1408_4808-15-WSF.json", + "model1408_4808-16-WSF.json" + ], + "related_models": ["model1408_4808-9.json"] +} diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-1.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-1.json new file mode 100644 index 000000000000..ac1676f7ce9b --- /dev/null +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-1.json @@ -0,0 +1,82 @@ +{ + "model_index": "", + "arxiv_data": { + "id": "1408.4808v2", + "doi": "10.48550/arXiv.1408.4808", + "version": "2", + "discipline": "hep-th", + "link": "https://arxiv.org/abs/1408.4808v2", + "model_location": { + "section": "3", + "equation": "3.4", + "page": "18" + } + }, + "journal_data": { + "doi": "10.1007/JHEP01(2015)142", + "report_numbers": ["UPR-1264-T", "CERN-PH-TH-2014-171", "BONN-TH-2014-13"], + "journal": "JHEP", + "volume": "01", + "pages": "142", + "year": "2015", + "link": "https://link.springer.com/article/10.1007/JHEP01(2015)142", + "model_location": { + "section": "3", + "equation": "3.4", + "page": "19" + } + }, + "paper_metadata": { + "authors": [ + "Denis Klevers", + "Damián Kaloni Mayorga Peña", + "Paul-Konstantin Oehlmann", + "Hernan Piragua", + "Jonas Reuter" + ], + "title": "F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches", + "description": "All Calabi-Yau manifolds with a genus-one fiber associated to the 16 reflexive 2D polyhedra F_i", + "buzzwords": ["Mordell-Weil", "reflexive polyhedra", "toric varieties", "elliptic fibrations"] + }, + "model_descriptors": { + "type": "hypersurface", + "description": "F-theory hypersurface model with fiber ambient space F_1", + "gauge_algebra": ["0"], + "discrete_factors": ["Z3"] + }, + "model_data": { + "base_dim": 3, + "model_sections": ["s7", "s9"], + "base_coordinates": ["s7", "s9", "s1", "s2", "s3", "s4", "s5", "s6", "s8", "s10"], + "auxiliary_base_grading": [ + [0, 0, 3, 2, 1, 0, 2, 1, 1, 0], + [1, 0, -1, 0, 1, 2, -1, 0, -1, -1], + [0, 1, -1, -1, -1, -1, 0, 0, 1, 2] + ], + "fiber_ambient_space_rays": [[-1, 1], [0, -1], [1, 0]], + "fiber_ambient_space_max_cones": [[1, 2], [2, 3], [1, 3]], + "fiber_ambient_space_coordinates": ["u", "v", "w"], + "fiber_ambient_space_name": "P2", + "D1": [-1, 0, 1], + "D2": [0, -1, 1], + "hypersurface_equation": "s1*u^3 + s2*u^2*v + s3*u*v^2 + s4*v^3 + s5*u^2*w + s6*u*v*w + s7*v^2*w + s8*u*w^2 + s9*v*w^2 + s10*w^3" + }, + "associated_models": [ + "model1408_4808-2.json", + "model1408_4808-3.json", + "model1408_4808-4.json", + "model1408_4808-5.json", + "model1408_4808-6.json", + "model1408_4808-7.json", + "model1408_4808-8.json", + "model1408_4808-9.json", + "model1408_4808-10.json", + "model1408_4808-11.json", + "model1408_4808-12.json", + "model1408_4808-13.json", + "model1408_4808-14.json", + "model1408_4808-15.json", + "model1408_4808-16.json" + ], + "related_models": ["model1408_4808-1-WSF.json"] +} diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-10.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-10.json new file mode 100644 index 000000000000..e4de96a0f0d3 --- /dev/null +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-10.json @@ -0,0 +1,82 @@ +{ + "model_index": "", + "arxiv_data": { + "id": "1408.4808v2", + "doi": "10.48550/arXiv.1408.4808", + "version": "2", + "discipline": "hep-th", + "link": "https://arxiv.org/abs/1408.4808v2", + "model_location": { + "section": "3", + "equation": "3.130", + "page": "62" + } + }, + "journal_data": { + "doi": "10.1007/JHEP01(2015)142", + "report_numbers": ["UPR-1264-T", "CERN-PH-TH-2014-171", "BONN-TH-2014-13"], + "journal": "JHEP", + "volume": "01", + "pages": "142", + "year": "2015", + "link": "https://link.springer.com/article/10.1007/JHEP01(2015)142", + "model_location": { + "section": "3", + "equation": "3.129", + "page": "62" + } + }, + "paper_metadata": { + "authors": [ + "Denis Klevers", + "Damián Kaloni Mayorga Peña", + "Paul-Konstantin Oehlmann", + "Hernan Piragua", + "Jonas Reuter" + ], + "title": "F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches", + "description": "All Calabi-Yau manifolds with a genus-one fiber associated to the 16 reflexive 2D polyhedra F_i", + "buzzwords": ["Mordell-Weil", "reflexive polyhedra", "toric varieties", "elliptic fibrations"] + }, + "model_descriptors": { + "type": "hypersurface", + "description": "F-theory hypersurface model with fiber ambient space F_10", + "gauge_algebra": ["su2","su3"] + }, + "model_data": { + "base_dim": 3, + "model_sections": ["s5", "s2"], + "base_coordinates": ["s5", "s2", "s1", "s3", "s4", "s6", "s8"], + "auxiliary_base_grading": [ + [0, 0, -1, 1, 2, 1, 1], + [1, 0, 1, -1, -2, 0, 1], + [0, 1, 1, 1, 1, 0, -1] + ], + "fiber_ambient_space_rays": [[-1, -1], [0, 1], [1, 0], [-1, 0], [-2, -1], [-3, -2]], + "fiber_ambient_space_max_cones": [[1, 6], [5, 6], [4, 5], [2, 4], [2, 3], [1, 3]], + "fiber_ambient_space_coordinates": ["u", "v", "w", "e1", "e2", "e3"], + "fiber_ambient_space_name": "P^{F_10}", + "D1": [1, 0, -1], + "D2": [0, 1, -1], + "hypersurface_equation": "s1*e1^2*e2^4*e3^6*u^3 + s2*e1^2*e2^3*e3^4*u^2*v + s3*e1^2*e2^2*e3^2*u*v^2 + s4*e1^2*e2*v^3 + s5*e1*e2^2*e3^3*u^2*w + s6*e1*e2*e3*u*v*w + s8*u*w^2", + "zero_section": ["s4", "1", "1", "1", "-s8", "0"] + }, + "associated_models": [ + "model1408_4808-1.json", + "model1408_4808-2.json", + "model1408_4808-3.json", + "model1408_4808-4.json", + "model1408_4808-5.json", + "model1408_4808-6.json", + "model1408_4808-7.json", + "model1408_4808-8.json", + "model1408_4808-9.json", + "model1408_4808-11.json", + "model1408_4808-12.json", + "model1408_4808-13.json", + "model1408_4808-14.json", + "model1408_4808-15.json", + "model1408_4808-16.json" + ], + "related_models": ["model1408_4808-10-WSF.json"] +} diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-11.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-11.json new file mode 100644 index 000000000000..92a7306b28c2 --- /dev/null +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-11.json @@ -0,0 +1,86 @@ +{ + "model_index": "", + "arxiv_data": { + "id": "1408.4808v2", + "doi": "10.48550/arXiv.1408.4808", + "version": "2", + "discipline": "hep-th", + "link": "https://arxiv.org/abs/1408.4808v2", + "model_location": { + "section": "3", + "equation": "3.142", + "page": "67" + } + }, + "journal_data": { + "doi": "10.1007/JHEP01(2015)142", + "report_numbers": ["UPR-1264-T", "CERN-PH-TH-2014-171", "BONN-TH-2014-13"], + "journal": "JHEP", + "volume": "01", + "pages": "142", + "year": "2015", + "link": "https://link.springer.com/article/10.1007/JHEP01(2015)142", + "model_location": { + "section": "3", + "equation": "3.141", + "page": "67" + } + }, + "paper_metadata": { + "authors": [ + "Denis Klevers", + "Damián Kaloni Mayorga Peña", + "Paul-Konstantin Oehlmann", + "Hernan Piragua", + "Jonas Reuter" + ], + "title": "F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches", + "description": "All Calabi-Yau manifolds with a genus-one fiber associated to the 16 reflexive 2D polyhedra F_i", + "buzzwords": ["Mordell-Weil", "reflexive polyhedra", "toric varieties", "elliptic fibrations"] + }, + "model_descriptors": { + "type": "hypersurface", + "description": "F-theory hypersurface model with fiber ambient space F_11", + "gauge_algebra": ["su3","su2","u1"], + "global_gauge_quotients": [["Z3", [1, 3]], ["Z2", [2, 3]]] + }, + "model_data": { + "base_dim": 3, + "model_sections": ["s5", "s9"], + "base_coordinates": ["s5", "s9", "s1", "s2", "s3", "s6"], + "auxiliary_base_grading": [ + [0, 0, 1, 2, 3, 1], + [1, 0, 1, 0, -1, 0], + [0, 1, -1, -1, -1, 0] + ], + "fiber_ambient_space_rays": [[-1, 1], [0, -1], [1, 0], [0, 1], [-1, 0], [-1, -1], [-1, 2]], + "fiber_ambient_space_max_cones": [[1, 7], [4, 7], [3, 4], [2, 3], [2, 6], [5, 6], [1, 5]], + "fiber_ambient_space_coordinates": ["u", "v", "w", "e1", "e2", "e3", "e4"], + "fiber_ambient_space_name": "P^{F_11}", + "D1": [-1, 0, 1], + "D2": [-2, 1, 1], + "hypersurface_equation": "s1*e1^2*e2^2*e3*e4^4*u^3 + s2*e1*e2^2*e3^2*e4^2*u^2*v + s3*e2^2*e3^2*u*v^2 + s5*e1^2*e2*e4^3*u^2*w + s6*e1*e2*e3*e4*u*v*w + s9*e1*v*w^2", + "zero_section": ["1", "0", "s5", "1", "1", "-s5", "1"], + "generating_sections": [ + ["s9", "1", "1", "-s3", "1", "1", "0"] + ] + }, + "associated_models": [ + "model1408_4808-1.json", + "model1408_4808-2.json", + "model1408_4808-3.json", + "model1408_4808-4.json", + "model1408_4808-5.json", + "model1408_4808-6.json", + "model1408_4808-7.json", + "model1408_4808-8.json", + "model1408_4808-9.json", + "model1408_4808-10.json", + "model1408_4808-12.json", + "model1408_4808-13.json", + "model1408_4808-14.json", + "model1408_4808-15.json", + "model1408_4808-16.json" + ], + "related_models": ["model1408_4808-11-WSF.json"] +} diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-12.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-12.json new file mode 100644 index 000000000000..f41bca95ab47 --- /dev/null +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-12.json @@ -0,0 +1,87 @@ +{ + "model_index": "", + "arxiv_data": { + "id": "1408.4808v2", + "doi": "10.48550/arXiv.1408.4808", + "version": "2", + "discipline": "hep-th", + "link": "https://arxiv.org/abs/1408.4808v2", + "model_location": { + "section": "3", + "equation": "3.155", + "page": "70" + } + }, + "journal_data": { + "doi": "10.1007/JHEP01(2015)142", + "report_numbers": ["UPR-1264-T", "CERN-PH-TH-2014-171", "BONN-TH-2014-13"], + "journal": "JHEP", + "volume": "01", + "pages": "142", + "year": "2015", + "link": "https://link.springer.com/article/10.1007/JHEP01(2015)142", + "model_location": { + "section": "3", + "equation": "3.154", + "page": "70" + } + }, + "paper_metadata": { + "authors": [ + "Denis Klevers", + "Damián Kaloni Mayorga Peña", + "Paul-Konstantin Oehlmann", + "Hernan Piragua", + "Jonas Reuter" + ], + "title": "F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches", + "description": "All Calabi-Yau manifolds with a genus-one fiber associated to the 16 reflexive 2D polyhedra F_i", + "buzzwords": ["Mordell-Weil", "reflexive polyhedra", "toric varieties", "elliptic fibrations"] + }, + "model_descriptors": { + "type": "hypersurface", + "description": "F-theory hypersurface model with fiber ambient space F_12", + "gauge_algebra": ["su2","su2","u1","u1"], + "global_gauge_quotients": [["Z2", [1, 3]], ["Z2", [2, 4]]] + }, + "model_data": { + "base_dim": 3, + "model_sections": ["s7", "s9"], + "base_coordinates": ["s7", "s9", "s1", "s2", "s5", "s6"], + "auxiliary_base_grading": [ + [0, 0, 3, 2, 2, 1], + [1, 0, -1, 0, -1, 0], + [0, 1, -1, -1, 0, 0] + ], + "fiber_ambient_space_rays": [[-1, 1], [0, -1], [1, 0], [0, 1], [-1, 0], [-1, -1], [1, 1]], + "fiber_ambient_space_max_cones": [[1, 4], [4, 7], [3, 7], [2, 3], [2, 6], [5, 6], [1, 5]], + "fiber_ambient_space_coordinates": ["u", "v", "w", "e1", "e2", "e3", "e4"], + "fiber_ambient_space_name": "P^{F_12}", + "D1": [-1, 0, 1], + "D2": [0, -1, 1], + "hypersurface_equation": "s1*e1^2*e2^2*e3*e4*u^3 + s2*e1*e2^2*e3^2*u^2*v + s5*e1^2*e2*e4^2*u^2*w + s6*e1*e2*e3*e4*u*v*w + s7*e2*e3^2*v^2*w + s9*e1*e4^2*v*w^2", + "zero_section": ["0", "1", "1", "s7", "-s9", "1", "1"], + "generating_sections": [ + ["1", "s5", "1", "1", "-s9", "0", "1"], + ["1", "1", "s2", "-s7", "1", "1", "0"] + ] + }, + "associated_models": [ + "model1408_4808-1.json", + "model1408_4808-2.json", + "model1408_4808-3.json", + "model1408_4808-4.json", + "model1408_4808-5.json", + "model1408_4808-6.json", + "model1408_4808-7.json", + "model1408_4808-8.json", + "model1408_4808-9.json", + "model1408_4808-10.json", + "model1408_4808-11.json", + "model1408_4808-13.json", + "model1408_4808-14.json", + "model1408_4808-15.json", + "model1408_4808-16.json" + ], + "related_models": ["model1408_4808-12-WSF.json"] +} diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-13.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-13.json new file mode 100644 index 000000000000..deef7397f07e --- /dev/null +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-13.json @@ -0,0 +1,86 @@ +{ + "model_index": "", + "arxiv_data": { + "id": "1408.4808v2", + "doi": "10.48550/arXiv.1408.4808", + "version": "2", + "discipline": "hep-th", + "link": "https://arxiv.org/abs/1408.4808v2", + "model_location": { + "section": "3", + "equation": "3.181", + "page": "79" + } + }, + "journal_data": { + "doi": "10.1007/JHEP01(2015)142", + "report_numbers": ["UPR-1264-T", "CERN-PH-TH-2014-171", "BONN-TH-2014-13"], + "journal": "JHEP", + "volume": "01", + "pages": "142", + "year": "2015", + "link": "https://link.springer.com/article/10.1007/JHEP01(2015)142", + "model_location": { + "section": "3", + "equation": "3.180", + "page": "79" + } + }, + "paper_metadata": { + "authors": [ + "Denis Klevers", + "Damián Kaloni Mayorga Peña", + "Paul-Konstantin Oehlmann", + "Hernan Piragua", + "Jonas Reuter" + ], + "title": "F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches", + "description": "All Calabi-Yau manifolds with a genus-one fiber associated to the 16 reflexive 2D polyhedra F_i", + "buzzwords": ["Mordell-Weil", "reflexive polyhedra", "toric varieties", "elliptic fibrations"] + }, + "model_descriptors": { + "type": "hypersurface", + "description": "F-theory hypersurface model with fiber ambient space F_13", + "gauge_algebra": ["su2", "su2", "su4"], + "global_gauge_quotients": [["Z2", [1, 2, 3]]] + }, + "model_data": { + "base_dim": 3, + "model_sections": ["s1", "s9"], + "base_coordinates": ["s1", "s9", "s2", "s3", "s6"], + "auxiliary_base_grading": [ + [0, 0, 2, 4, 1], + [1, 0, 0, -1, 0], + [0, 1, -1, -2, 0] + ], + "fiber_ambient_space_rays": [[-1, 1], [0, -1], [1, 0], [0, 1], [-1, 0], [-1, -1], [-1, -2], [-1, 2]], + "fiber_ambient_space_max_cones": [[1, 8], [4, 8], [3, 4], [2, 3], [2, 7], [6, 7], [5, 6], [1, 5]], + "fiber_ambient_space_coordinates": ["u", "v", "w", "e1", "e2", "e3", "e4", "e5"], + "fiber_ambient_space_name": "P^{F_13}", + "D1": [-1, 0, 1], + "D2": [-3, 1, 2], + "hypersurface_equation": "s1*e1^2*e2^2*e3*e5^4*u^3 + s2*e1*e2^2*e3^2*e4^2*e5^2*u^2*v + s3*e2^2*e3^3*e4^4*u*v^2 + s6*e1*e2*e3*e4*e5*u*v*w + s9*e1*v*w^2", + "zero_section": ["1", "s1", "1", "1", "1", "-s9", "0", "1"], + "torsion_sections": [ + ["s9", "1", "1", "-s3", "1", "1", "1", "0"] + ] + }, + "associated_models": [ + "model1408_4808-1.json", + "model1408_4808-2.json", + "model1408_4808-3.json", + "model1408_4808-4.json", + "model1408_4808-5.json", + "model1408_4808-6.json", + "model1408_4808-7.json", + "model1408_4808-8.json", + "model1408_4808-9.json", + "model1408_4808-10.json", + "model1408_4808-11.json", + "model1408_4808-12.json", + "model1408_4808-14.json", + "model1408_4808-15.json", + "model1408_4808-16.json" + ], + "related_models": ["model1408_4808-13-WSF.json"] +} diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-14.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-14.json new file mode 100644 index 000000000000..b2b8a39f7fa0 --- /dev/null +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-14.json @@ -0,0 +1,86 @@ +{ + "model_index": "", + "arxiv_data": { + "id": "1408.4808v2", + "doi": "10.48550/arXiv.1408.4808", + "version": "2", + "discipline": "hep-th", + "link": "https://arxiv.org/abs/1408.4808v2", + "model_location": { + "section": "3", + "equation": "3.168", + "page": "75" + } + }, + "journal_data": { + "doi": "10.1007/JHEP01(2015)142", + "report_numbers": ["UPR-1264-T", "CERN-PH-TH-2014-171", "BONN-TH-2014-13"], + "journal": "JHEP", + "volume": "01", + "pages": "142", + "year": "2015", + "link": "https://link.springer.com/article/10.1007/JHEP01(2015)142", + "model_location": { + "section": "3", + "equation": "3.167", + "page": "75" + } + }, + "paper_metadata": { + "authors": [ + "Denis Klevers", + "Damián Kaloni Mayorga Peña", + "Paul-Konstantin Oehlmann", + "Hernan Piragua", + "Jonas Reuter" + ], + "title": "F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches", + "description": "All Calabi-Yau manifolds with a genus-one fiber associated to the 16 reflexive 2D polyhedra F_i", + "buzzwords": ["Mordell-Weil", "reflexive polyhedra", "toric varieties", "elliptic fibrations"] + }, + "model_descriptors": { + "type": "hypersurface", + "description": "F-theory hypersurface model with fiber ambient space F_14", + "gauge_algebra": ["su3","su2","su2","u1"], + "global_gauge_quotients": [["Z3", [1, 4]], ["Z2", [2, 3, 4]]] + }, + "model_data": { + "base_dim": 3, + "model_sections": ["s7", "s9"], + "base_coordinates": ["s7", "s9", "s1", "s5", "s6"], + "auxiliary_base_grading": [ + [0, 0, 3, 2, 1], + [1, 0, -1, -1, 0], + [0, 1, -1, 0, 0] + ], + "fiber_ambient_space_rays": [[-1, 1], [0, -1], [1, 0], [0, 1], [-1, 0], [-1, -1], [1, 1], [2, 1]], + "fiber_ambient_space_max_cones": [[1, 4], [4, 7], [7, 8], [3, 8], [2, 3], [2, 6], [5, 6], [1, 5]], + "fiber_ambient_space_coordinates": ["u", "v", "w", "e1", "e2", "e3", "e4", "e5"], + "fiber_ambient_space_name": "P^{F_14}", + "D1": [-1, 0, 1], + "D2": [0, -1, 1], + "hypersurface_equation": "s1*e1^2*e2^2*e3*e4*u^3 + s5*e1^2*e2*e4^2*e5^2*u^2*w + s6*e1*e2*e3*e4*e5*u*v*w + s7*e2*e3^2*v^2*w + s9*e1*e4^2*e5^3*v*w^2", + "zero_section": ["0", "1", "1", "s7", "-s9", "1", "1", "1"], + "generating_sections": [ + ["1", "1", "s1", "1", "1", "1", "-s7", "0"] + ] + }, + "associated_models": [ + "model1408_4808-1.json", + "model1408_4808-2.json", + "model1408_4808-3.json", + "model1408_4808-4.json", + "model1408_4808-5.json", + "model1408_4808-6.json", + "model1408_4808-7.json", + "model1408_4808-8.json", + "model1408_4808-9.json", + "model1408_4808-10.json", + "model1408_4808-11.json", + "model1408_4808-12.json", + "model1408_4808-13.json", + "model1408_4808-15.json", + "model1408_4808-16.json" + ], + "related_models": ["model1408_4808-14-WSF.json"] +} diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-15.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-15.json new file mode 100644 index 000000000000..0555a377f641 --- /dev/null +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-15.json @@ -0,0 +1,89 @@ +{ + "model_index": "", + "arxiv_data": { + "id": "1408.4808v2", + "doi": "10.48550/arXiv.1408.4808", + "version": "2", + "discipline": "hep-th", + "link": "https://arxiv.org/abs/1408.4808v2", + "model_location": { + "section": "3", + "equation": "3.190", + "page": "83" + } + }, + "journal_data": { + "doi": "10.1007/JHEP01(2015)142", + "report_numbers": ["UPR-1264-T", "CERN-PH-TH-2014-171", "BONN-TH-2014-13"], + "journal": "JHEP", + "volume": "01", + "pages": "142", + "year": "2015", + "link": "https://link.springer.com/article/10.1007/JHEP01(2015)142", + "model_location": { + "section": "3", + "equation": "3.189", + "page": "83" + } + }, + "paper_metadata": { + "authors": [ + "Denis Klevers", + "Damián Kaloni Mayorga Peña", + "Paul-Konstantin Oehlmann", + "Hernan Piragua", + "Jonas Reuter" + ], + "title": "F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches", + "description": "All Calabi-Yau manifolds with a genus-one fiber associated to the 16 reflexive 2D polyhedra F_i", + "buzzwords": ["Mordell-Weil", "reflexive polyhedra", "toric varieties", "elliptic fibrations"] + }, + "model_descriptors": { + "type": "hypersurface", + "description": "F-theory hypersurface model with fiber ambient space F_15", + "gauge_algebra": ["su2", "su2", "su2", "su2", "u1"], + "global_gauge_quotients": [["Z2", [1, 2, 3, 4]], ["Z2", [1, 4, 5]]] + }, + "model_data": { + "base_dim": 3, + "model_sections": ["s7", "s9"], + "base_coordinates": ["s7", "s9", "s2", "s5", "s6"], + "auxiliary_base_grading": [ + [0, 0, 2, 2, 1], + [1, 0, 0, -1, 0], + [0, 1, -1, 0, 0] + ], + "fiber_ambient_space_rays": [[-1, 1], [0, -1], [1, 0], [0, 1], [-1, 0], [-1, -1], [1, 1], [1, -1]], + "fiber_ambient_space_max_cones": [[1, 4], [4, 7], [3, 7], [3, 8], [2, 8], [2, 6], [5, 6], [1, 5]], + "fiber_ambient_space_coordinates": ["u", "v", "w", "e1", "e2", "e3", "e4", "e5"], + "fiber_ambient_space_name": "P^{F_15}", + "D1": [-1, 0, 1], + "D2": [0, -1, 1], + "hypersurface_equation": "s2*e1*e2^2*e3^2*u^2*v + s5*e1^2*e2*e4^2*u^2*w + s6*e1*e2*e3*e4*e5*u*v*w + s7*e2*e3^2*e5^2*v^2*w + s9*e1*e4^2*e5^2*v*w^2", + "zero_section": ["0", "1", "1", "s7", "-s9", "1", "1", "1"], + "generating_sections": [ + ["1", "1", "s2", "-s7", "1", "1", "0", "1"] + ], + "torsion_sections": [ + ["1", "s5", "-s2", "1", "1", "1", "1", "0"] + ] + }, + "associated_models": [ + "model1408_4808-1.json", + "model1408_4808-2.json", + "model1408_4808-3.json", + "model1408_4808-4.json", + "model1408_4808-5.json", + "model1408_4808-6.json", + "model1408_4808-7.json", + "model1408_4808-8.json", + "model1408_4808-9.json", + "model1408_4808-10.json", + "model1408_4808-11.json", + "model1408_4808-12.json", + "model1408_4808-13.json", + "model1408_4808-14.json", + "model1408_4808-16.json" + ], + "related_models": ["model1408_4808-15-WSF.json"] +} diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-16.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-16.json new file mode 100644 index 000000000000..4cca1be0bacd --- /dev/null +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-16.json @@ -0,0 +1,87 @@ +{ + "model_index": "", + "arxiv_data": { + "id": "1408.4808v2", + "doi": "10.48550/arXiv.1408.4808", + "version": "2", + "discipline": "hep-th", + "link": "https://arxiv.org/abs/1408.4808v2", + "model_location": { + "section": "3", + "equation": "3.203", + "page": "87" + } + }, + "journal_data": { + "doi": "10.1007/JHEP01(2015)142", + "report_numbers": ["UPR-1264-T", "CERN-PH-TH-2014-171", "BONN-TH-2014-13"], + "journal": "JHEP", + "volume": "01", + "pages": "142", + "year": "2015", + "link": "https://link.springer.com/article/10.1007/JHEP01(2015)142", + "model_location": { + "section": "3", + "equation": "3.202", + "page": "88" + } + }, + "paper_metadata": { + "authors": [ + "Denis Klevers", + "Damián Kaloni Mayorga Peña", + "Paul-Konstantin Oehlmann", + "Hernan Piragua", + "Jonas Reuter" + ], + "title": "F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches", + "description": "All Calabi-Yau manifolds with a genus-one fiber associated to the 16 reflexive 2D polyhedra F_i", + "buzzwords": ["Mordell-Weil", "reflexive polyhedra", "toric varieties", "elliptic fibrations"] + }, + "model_descriptors": { + "type": "hypersurface", + "description": "F-theory hypersurface model with fiber ambient space F_16", + "gauge_algebra": ["su3", "su3", "su3"], + "global_gauge_quotients": [["Z3", [1, 2, 3]]] + }, + "model_data": { + "base_dim": 3, + "model_sections": ["s7", "s9"], + "base_coordinates": ["s7", "s9", "s1", "s6"], + "auxiliary_base_grading": [ + [0, 0, 3, 1], + [1, 0, -1, 0], + [0, 1, -1, 0] + ], + "fiber_ambient_space_rays": [[-1, 1], [0, -1], [1, 0], [0, 1], [-1, 0], [-1, -1], [1, 1], [2, 1], [-1, -2]], + "fiber_ambient_space_max_cones": [[1, 4], [4, 7], [7, 8], [3, 8], [2, 3], [2, 9], [6, 9], [5, 6], [1, 5]], + "fiber_ambient_space_coordinates": ["u", "v", "w", "e1", "e2", "e3", "e4", "e5", "e6"], + "fiber_ambient_space_name": "P^{F_16}", + "D1": [-1, 0, 1], + "D2": [0, -1, 1], + "hypersurface_equation": "s1*e1^2*e2^2*e3*e4*u^3 + s6*e1*e2*e3*e4*e5*e6*u*v*w + s7*e2*e3^2*e6^3*v^2*w + s9*e1*e4^2*e5^3*v*w^2", + "zero_section": ["0", "1", "1", "s7", "-s9", "1", "1", "1", "1"], + "torsion_sections": [ + ["1", "1", "s1", "1", "1", "1", "-s7", "0", "1"], + ["1", "s1", "1", "1", "1", "-s9", "1", "1", "0"] + ] + }, + "associated_models": [ + "model1408_4808-1.json", + "model1408_4808-2.json", + "model1408_4808-3.json", + "model1408_4808-4.json", + "model1408_4808-5.json", + "model1408_4808-6.json", + "model1408_4808-7.json", + "model1408_4808-8.json", + "model1408_4808-9.json", + "model1408_4808-10.json", + "model1408_4808-11.json", + "model1408_4808-12.json", + "model1408_4808-13.json", + "model1408_4808-14.json", + "model1408_4808-15.json" + ], + "related_models": ["model1408_4808-16-WSF.json"] +} diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-2.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-2.json new file mode 100644 index 000000000000..4f79bd42efa8 --- /dev/null +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-2.json @@ -0,0 +1,82 @@ +{ + "model_index": "", + "arxiv_data": { + "id": "1408.4808v2", + "doi": "10.48550/arXiv.1408.4808", + "version": "2", + "discipline": "hep-th", + "link": "https://arxiv.org/abs/1408.4808v2", + "model_location": { + "section": "3", + "equation": "3.12", + "page": "20" + } + }, + "journal_data": { + "doi": "10.1007/JHEP01(2015)142", + "report_numbers": ["UPR-1264-T","CERN-PH-TH-2014-171","BONN-TH-2014-13"], + "journal": "JHEP", + "volume": "01", + "pages": "142", + "year": "2015", + "link": "https://link.springer.com/article/10.1007/JHEP01(2015)142", + "model_location": { + "section": "3", + "equation": "3.12", + "page": "20" + } + }, + "paper_metadata": { + "authors": [ + "Denis Klevers", + "Damián Kaloni Mayorga Peña", + "Paul-Konstantin Oehlmann", + "Hernan Piragua", + "Jonas Reuter" + ], + "title": "F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches", + "description": "All Calabi-Yau manifolds with a genus-one fiber associated to the 16 reflexive 2D polyhedra F_i", + "buzzwords": ["Mordell-Weil","reflexive polyhedra","toric varieties","elliptic fibrations"] + }, + "model_descriptors": { + "type": "hypersurface", + "description": "F-theory hypersurface model with fiber ambient space F_2", + "gauge_algebra": ["u1"], + "discrete_factors": ["Z2"] + }, + "model_data": { + "base_dim": 3, + "model_sections": ["b7","b9"], + "base_coordinates": ["b7","b9","b1","b2","b3","b5","b6","b8","b10"], + "auxiliary_base_grading": [ + [0, 0, 3, 2, 1, 2, 1, 1, -1], + [1, 0, -1, 0, 1, -1, 0, -1, 1], + [0, 1, -1, -1, -1, 0, 0, 1, 1] + ], + "fiber_ambient_space_rays": [[1, 0], [0, -1], [-1, 0], [0, 1]], + "fiber_ambient_space_max_cones": [[1, 2], [2, 3], [3, 4], [1, 4]], + "fiber_ambient_space_coordinates": ["t", "s", "x", "y"], + "fiber_ambient_space_name": "P^{F_2}", + "D1": [1, 0, -1], + "D2": [1, -1, 0], + "hypersurface_equation": "(b1*y^2 + b2*s*y + b3*s^2)*x^2 + (b5*y^2 + b6*s*y + b7*s^2)*x*t + (b8*y^2 + b9*s*y + b10*s^2)*t^2" + }, + "associated_models": [ + "model1408_4808-1.json", + "model1408_4808-3.json", + "model1408_4808-4.json", + "model1408_4808-5.json", + "model1408_4808-6.json", + "model1408_4808-7.json", + "model1408_4808-8.json", + "model1408_4808-9.json", + "model1408_4808-10.json", + "model1408_4808-11.json", + "model1408_4808-12.json", + "model1408_4808-13.json", + "model1408_4808-14.json", + "model1408_4808-15.json", + "model1408_4808-16.json" + ], + "related_models": ["model1408_4808-2-WSF.json"] +} diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-3.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-3.json new file mode 100644 index 000000000000..071783014f33 --- /dev/null +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-3.json @@ -0,0 +1,85 @@ +{ + "model_index": "", + "arxiv_data": { + "id": "1408.4808v2", + "doi": "10.48550/arXiv.1408.4808", + "version": "2", + "discipline": "hep-th", + "link": "https://arxiv.org/abs/1408.4808v2", + "model_location": { + "section": "3", + "equation": "3.54", + "page": "36" + } + }, + "journal_data": { + "doi": "10.1007/JHEP01(2015)142", + "report_numbers": ["UPR-1264-T", "CERN-PH-TH-2014-171", "BONN-TH-2014-13"], + "journal": "JHEP", + "volume": "01", + "pages": "142", + "year": "2015", + "link": "https://link.springer.com/article/10.1007/JHEP01(2015)142", + "model_location": { + "section": "3", + "equation": "3.53", + "page": "36" + } + }, + "paper_metadata": { + "authors": [ + "Denis Klevers", + "Damián Kaloni Mayorga Peña", + "Paul-Konstantin Oehlmann", + "Hernan Piragua", + "Jonas Reuter" + ], + "title": "F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches", + "description": "All Calabi-Yau manifolds with a genus-one fiber associated to the 16 reflexive 2D polyhedra F_i", + "buzzwords": ["Mordell-Weil", "reflexive polyhedra", "toric varieties", "elliptic fibrations"] + }, + "model_descriptors": { + "type": "hypersurface", + "description": "F-theory hypersurface model with fiber ambient space F_3", + "gauge_algebra": ["u1"] + }, + "model_data": { + "base_dim": 3, + "model_sections": ["s7", "s9"], + "base_coordinates": ["s7", "s9", "s1", "s2", "s3", "s4", "s5", "s6", "s8"], + "auxiliary_base_grading": [ + [0, 0, 3, 2, 1, 0, 2, 1, 1], + [1, 0, -1, 0, 1, 2, -1, 0, -1], + [0, 1, -1, -1, -1, -1, 0, 0, 1] + ], + "fiber_ambient_space_rays": [[-1, 1], [0, -1], [1, 0], [-1, 0]], + "fiber_ambient_space_max_cones": [[1, 3], [2, 3], [2, 4], [1, 4]], + "fiber_ambient_space_coordinates": ["u", "v", "w", "e1"], + "fiber_ambient_space_name": "P^{F_3}", + "D1": [-1, 0, 1], + "D2": [0, -1, 1], + "hypersurface_equation": "s1*u^3*e1^2 + s2*u^2*v*e1^2 + s3*u*v^2*e1^2 + s4*v^3*e1^2 + s5*u^2*w*e1 + s6*u*v*w*e1 + s7*v^2*w*e1 + s8*u*w^2 + s9*v*w^2", + "zero_section": ["s9", "-s8", "1", "0"], + "generating_sections": [ + ["-s9", "s8", "s1 * s9^3 - s4 * s8^3 + s3 * s9 * s8^2 - s2 * s9^2 * s8", "s7 * s8^2 - s6 * s9 * s8 + s5 * s9^2"] + ] + }, + "associated_models": [ + "model1408_4808-1.json", + "model1408_4808-2.json", + "model1408_4808-4.json", + "model1408_4808-5.json", + "model1408_4808-6.json", + "model1408_4808-7.json", + "model1408_4808-8.json", + "model1408_4808-9.json", + "model1408_4808-10.json", + "model1408_4808-11.json", + "model1408_4808-12.json", + "model1408_4808-13.json", + "model1408_4808-14.json", + "model1408_4808-15.json", + "model1408_4808-16.json" + ], + "related_models": ["model1408_4808-3-WSF.json"] +} diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-5.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-5.json new file mode 100644 index 000000000000..ffe9e81c08f3 --- /dev/null +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-5.json @@ -0,0 +1,86 @@ +{ + "model_index": "", + "arxiv_data": { + "id": "1408.4808v2", + "doi": "10.48550/arXiv.1408.4808", + "version": "2", + "discipline": "hep-th", + "link": "https://arxiv.org/abs/1408.4808v2", + "model_location": { + "section": "3", + "equation": "3.73", + "page": "43" + } + }, + "journal_data": { + "doi": "10.1007/JHEP01(2015)142", + "report_numbers": ["UPR-1264-T", "CERN-PH-TH-2014-171", "BONN-TH-2014-13"], + "journal": "JHEP", + "volume": "01", + "pages": "142", + "year": "2015", + "link": "https://link.springer.com/article/10.1007/JHEP01(2015)142", + "model_location": { + "section": "3", + "equation": "3.72", + "page": "43" + } + }, + "paper_metadata": { + "authors": [ + "Denis Klevers", + "Damián Kaloni Mayorga Peña", + "Paul-Konstantin Oehlmann", + "Hernan Piragua", + "Jonas Reuter" + ], + "title": "F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches", + "description": "All Calabi-Yau manifolds with a genus-one fiber associated to the 16 reflexive 2D polyhedra F_i", + "buzzwords": ["Mordell-Weil", "reflexive polyhedra", "toric varieties", "elliptic fibrations"] + }, + "model_descriptors": { + "type": "hypersurface", + "description": "F-theory hypersurface model with fiber ambient space F_5", + "gauge_algebra": ["u1", "u1"] + }, + "model_data": { + "base_dim": 3, + "model_sections": ["s7", "s9"], + "base_coordinates": ["s7", "s9", "s1", "s2", "s3", "s5", "s6", "s8"], + "auxiliary_base_grading": [ + [0, 0, 3, 2, 1, 2, 1, 1], + [1, 0, -1, 0, 1, -1, 0, -1], + [0, 1, -1, -1, -1, 0, 0, 1] + ], + "fiber_ambient_space_rays": [[-1, 1], [0, -1], [1, 0], [0, 1], [-1, 0]], + "fiber_ambient_space_max_cones": [[1, 4], [3, 4], [2, 3], [2, 5], [1, 5]], + "fiber_ambient_space_coordinates": ["u", "v", "w", "e1", "e2"], + "fiber_ambient_space_name": "P^{F_5}", + "D1": [-1, 0, 1], + "D2": [0, -1, 1], + "hypersurface_equation": "s1*e2^2*e1^2*u^3 + s2*e2^2*e1*u^2*v + s3*e2^2*u*v^2 + s5*e2*e1^2*u^2*w + s6*e2*e1*u*v*w + s7*e2*v^2*w + s8*e1^2*u*w^2 + s9*e1*v*w^2", + "zero_section": ["s9", "-s8", "1", "1", "0"], + "generating_sections": [ + ["s7", "1", "-s3", "0", "1"], + ["0", "1", "1", "s7", "-s9"] + ] + }, + "associated_models": [ + "model1408_4808-1.json", + "model1408_4808-2.json", + "model1408_4808-3.json", + "model1408_4808-4.json", + "model1408_4808-6.json", + "model1408_4808-7.json", + "model1408_4808-8.json", + "model1408_4808-9.json", + "model1408_4808-10.json", + "model1408_4808-11.json", + "model1408_4808-12.json", + "model1408_4808-13.json", + "model1408_4808-14.json", + "model1408_4808-15.json", + "model1408_4808-16.json" + ], + "related_models": ["model1408_4808-5-WSF.json"] +} diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-6.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-6.json new file mode 100644 index 000000000000..c13a76a71cce --- /dev/null +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-6.json @@ -0,0 +1,86 @@ +{ + "model_index": "", + "arxiv_data": { + "id": "1408.4808v2", + "doi": "10.48550/arXiv.1408.4808", + "version": "2", + "discipline": "hep-th", + "link": "https://arxiv.org/abs/1408.4808v2", + "model_location": { + "section": "3", + "equation": "3.82", + "page": "46" + } + }, + "journal_data": { + "doi": "10.1007/JHEP01(2015)142", + "report_numbers": ["UPR-1264-T", "CERN-PH-TH-2014-171", "BONN-TH-2014-13"], + "journal": "JHEP", + "volume": "01", + "pages": "142", + "year": "2015", + "link": "https://link.springer.com/article/10.1007/JHEP01(2015)142", + "model_location": { + "section": "3", + "equation": "3.81", + "page": "46" + } + }, + "paper_metadata": { + "authors": [ + "Denis Klevers", + "Damián Kaloni Mayorga Peña", + "Paul-Konstantin Oehlmann", + "Hernan Piragua", + "Jonas Reuter" + ], + "title": "F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches", + "description": "All Calabi-Yau manifolds with a genus-one fiber associated to the 16 reflexive 2D polyhedra F_i", + "buzzwords": ["Mordell-Weil", "reflexive polyhedra", "toric varieties", "elliptic fibrations"] + }, + "model_descriptors": { + "type": "hypersurface", + "description": "F-theory hypersurface model with fiber ambient space F_6", + "gauge_algebra": ["su2", "u1"], + "global_gauge_quotients": [["Z2", [1, 2]]] + }, + "model_data": { + "base_dim": 3, + "model_sections": ["s7", "s4"], + "base_coordinates": ["s7", "s4", "s1", "s2", "s3", "s5", "s6", "s8"], + "auxiliary_base_grading": [ + [0, 0, 3, 2, 1, 2, 1, 1], + [1, 0, -3, -2, -1, -1, 0, 1], + [0, 1, 1, 1, 1, 0, 0, -1] + ], + "fiber_ambient_space_rays": [[0, 1], [-1, -1], [1, 0], [-1, 0], [-1, 1]], + "fiber_ambient_space_max_cones": [[1, 3], [2, 3], [2, 4], [4, 5], [1, 5]], + "fiber_ambient_space_coordinates": ["u", "v", "w", "e1", "e2"], + "fiber_ambient_space_name": "P^{F_6}", + "D1": [-1, 2, -1], + "D2": [0, 1, -1], + "hypersurface_equation": "s1*e1^2*e2^4*u^3 + s2*e1^2*e2^3*u^2*v + s3*e1^2*e2^2*u*v^2 + s4*e1^2*e2*v^3 + s5*e1*e2^2*u^2*w + s6*e1*e2*u*v*w + s7*e1*v^2*w + s8*u*w^2", + "zero_section": ["-s7", "1", "s8", "1", "0"], + "generating_sections": [ + ["0", "1", "s4", "1", "-s7"] + ] + }, + "associated_models": [ + "model1408_4808-1.json", + "model1408_4808-2.json", + "model1408_4808-3.json", + "model1408_4808-4.json", + "model1408_4808-5.json", + "model1408_4808-7.json", + "model1408_4808-8.json", + "model1408_4808-9.json", + "model1408_4808-10.json", + "model1408_4808-11.json", + "model1408_4808-12.json", + "model1408_4808-13.json", + "model1408_4808-14.json", + "model1408_4808-15.json", + "model1408_4808-16.json" + ], + "related_models": ["model1408_4808-6-WSF.json"] +} diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-7.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-7.json new file mode 100644 index 000000000000..46b32bcc6b75 --- /dev/null +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-7.json @@ -0,0 +1,87 @@ +{ + "model_index": "", + "arxiv_data": { + "id": "1408.4808v2", + "doi": "10.48550/arXiv.1408.4808", + "version": "2", + "discipline": "hep-th", + "link": "https://arxiv.org/abs/1408.4808v2", + "model_location": { + "section": "3", + "equation": "3.96", + "page": "50" + } + }, + "journal_data": { + "doi": "10.1007/JHEP01(2015)142", + "report_numbers": ["UPR-1264-T", "CERN-PH-TH-2014-171", "BONN-TH-2014-13"], + "journal": "JHEP", + "volume": "01", + "pages": "142", + "year": "2015", + "link": "https://link.springer.com/article/10.1007/JHEP01(2015)142", + "model_location": { + "section": "3", + "equation": "3.95", + "page": "51" + } + }, + "paper_metadata": { + "authors": [ + "Denis Klevers", + "Damián Kaloni Mayorga Peña", + "Paul-Konstantin Oehlmann", + "Hernan Piragua", + "Jonas Reuter" + ], + "title": "F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches", + "description": "All Calabi-Yau manifolds with a genus-one fiber associated to the 16 reflexive 2D polyhedra F_i", + "buzzwords": ["Mordell-Weil", "reflexive polyhedra", "toric varieties", "elliptic fibrations"] + }, + "model_descriptors": { + "type": "hypersurface", + "description": "F-theory hypersurface model with fiber ambient space F_7", + "gauge_algebra": ["u1", "u1", "u1"] + }, + "model_data": { + "base_dim": 3, + "model_sections": ["s7", "s9"], + "base_coordinates": ["s7", "s9", "s2", "s3", "s5", "s6", "s8"], + "auxiliary_base_grading": [ + [0, 0, 2, 1, 2, 1, 1], + [1, 0, 0, 1, -1, 0, -1], + [0, 1, -1, -1, 0, 0, 1] + ], + "fiber_ambient_space_rays": [[-1, 1], [0, -1], [1, 0], [0, 1], [1, -1], [-1, 0]], + "fiber_ambient_space_max_cones": [[1, 4], [3, 4], [3, 5], [2, 5], [2, 6], [1, 6]], + "fiber_ambient_space_coordinates": ["u", "v", "w", "e1", "e2", "e3"], + "fiber_ambient_space_name": "P^{F_7}", + "D1": [-1, 0, 1], + "D2": [0, -1, 1], + "hypersurface_equation": "s2*e1*e3^2*u^2*v + s3*e2*e3^2*u*v^2 + s5*e1^2*e3*u^2*w + s6*e1*e2*e3*u*v*w + s7*e2^2*e3*v^2*w + s8*e1^2*e2*u*w^2 + s9*e1*e2^2*w^2*v", + "zero_section": ["0", "1", "1", "s7", "1", "-s9"], + "generating_sections": [ + ["s7", "1", "-s3", "0", "1", "1"], + ["1", "s5", "-s2", "1", "0", "1"], + ["s9", "-s8", "1", "1", "1", "0"] + ] + }, + "associated_models": [ + "model1408_4808-1.json", + "model1408_4808-2.json", + "model1408_4808-3.json", + "model1408_4808-4.json", + "model1408_4808-5.json", + "model1408_4808-6.json", + "model1408_4808-8.json", + "model1408_4808-9.json", + "model1408_4808-10.json", + "model1408_4808-11.json", + "model1408_4808-12.json", + "model1408_4808-13.json", + "model1408_4808-14.json", + "model1408_4808-15.json", + "model1408_4808-16.json" + ], + "related_models": ["model1408_4808-7-WSF.json"] +} diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-8.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-8.json new file mode 100644 index 000000000000..8a486b8115aa --- /dev/null +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-8.json @@ -0,0 +1,86 @@ +{ + "model_index": "", + "arxiv_data": { + "id": "1408.4808v2", + "doi": "10.48550/arXiv.1408.4808", + "version": "2", + "discipline": "hep-th", + "link": "https://arxiv.org/abs/1408.4808v2", + "model_location": { + "section": "3", + "equation": "3.106", + "page": "54" + } + }, + "journal_data": { + "doi": "10.1007/JHEP01(2015)142", + "report_numbers": ["UPR-1264-T", "CERN-PH-TH-2014-171", "BONN-TH-2014-13"], + "journal": "JHEP", + "volume": "01", + "pages": "142", + "year": "2015", + "link": "https://link.springer.com/article/10.1007/JHEP01(2015)142", + "model_location": { + "section": "3", + "equation": "3.105", + "page": "55" + } + }, + "paper_metadata": { + "authors": [ + "Denis Klevers", + "Damián Kaloni Mayorga Peña", + "Paul-Konstantin Oehlmann", + "Hernan Piragua", + "Jonas Reuter" + ], + "title": "F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches", + "description": "All Calabi-Yau manifolds with a genus-one fiber associated to the 16 reflexive 2D polyhedra F_i", + "buzzwords": ["Mordell-Weil", "reflexive polyhedra", "toric varieties", "elliptic fibrations"] + }, + "model_descriptors": { + "type": "hypersurface", + "description": "F-theory hypersurface model with fiber ambient space F_8", + "gauge_algebra": ["su2", "su2", "u1"], + "global_gauge_quotients": [["Z2", [2, 3]]] + }, + "model_data": { + "base_dim": 3, + "model_sections": ["s7", "s2"], + "base_coordinates": ["s7", "s2", "s1", "s3", "s5", "s6", "s8"], + "auxiliary_base_grading": [ + [0, 0, 1, -1, 2, 1, 3], + [1, 0, -1, 1, -1, 0, -1], + [0, 1, 1, 1, 0, 0, -1] + ], + "fiber_ambient_space_rays": [[0, 1], [-1, -1], [1, 0], [-1, 0], [-1, 1], [1, 1]], + "fiber_ambient_space_max_cones": [[1, 6], [3, 6], [2, 3], [2, 4], [4, 5], [1, 5]], + "fiber_ambient_space_coordinates": ["u", "v", "w", "e1", "e2", "e3"], + "fiber_ambient_space_name": "P^{F_8}", + "D1": [1, 0, -1], + "D2": [2, -1, -1], + "hypersurface_equation": "s1*e1^2*e2^4*e3^2*u^3 + s2*e1^2*e2^3*e3*u^2*v + s3*e1^2*e2^2*u*v^2 + s5*e1*e2^2*e3^2*u^2*w + s6*e1*e2*e3*u*v*w + s7*e1*v^2*w + s8*e3^2*u*w^2", + "zero_section": ["s7", "1", "1", "-s8", "0", "1"], + "generating_sections": [ + ["s7", "1", "-s3", "1", "1", "0"] + ] + }, + "associated_models": [ + "model1408_4808-1.json", + "model1408_4808-2.json", + "model1408_4808-3.json", + "model1408_4808-4.json", + "model1408_4808-5.json", + "model1408_4808-6.json", + "model1408_4808-7.json", + "model1408_4808-9.json", + "model1408_4808-10.json", + "model1408_4808-11.json", + "model1408_4808-12.json", + "model1408_4808-13.json", + "model1408_4808-14.json", + "model1408_4808-15.json", + "model1408_4808-16.json" + ], + "related_models": ["model1408_4808-8-WSF.json"] +} diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-9.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-9.json new file mode 100644 index 000000000000..a6912899cc16 --- /dev/null +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-9.json @@ -0,0 +1,87 @@ +{ + "model_index": "", + "arxiv_data": { + "id": "1408.4808v2", + "doi": "10.48550/arXiv.1408.4808", + "version": "2", + "discipline": "hep-th", + "link": "https://arxiv.org/abs/1408.4808v2", + "model_location": { + "section": "3", + "equation": "3.118", + "page": "58" + } + }, + "journal_data": { + "doi": "10.1007/JHEP01(2015)142", + "report_numbers": ["UPR-1264-T", "CERN-PH-TH-2014-171", "BONN-TH-2014-13"], + "journal": "JHEP", + "volume": "01", + "pages": "142", + "year": "2015", + "link": "https://link.springer.com/article/10.1007/JHEP01(2015)142", + "model_location": { + "section": "3", + "equation": "3.117", + "page": "59" + } + }, + "paper_metadata": { + "authors": [ + "Denis Klevers", + "Damián Kaloni Mayorga Peña", + "Paul-Konstantin Oehlmann", + "Hernan Piragua", + "Jonas Reuter" + ], + "title": "F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches", + "description": "All Calabi-Yau manifolds with a genus-one fiber associated to the 16 reflexive 2D polyhedra F_i", + "buzzwords": ["Mordell-Weil", "reflexive polyhedra", "toric varieties", "elliptic fibrations"] + }, + "model_descriptors": { + "type": "hypersurface", + "description": "F-theory hypersurface model with fiber ambient space F_9", + "gauge_algebra": ["su2", "u1", "u1"], + "global_gauge_quotients": [["Z2", [1, 3]]] + }, + "model_data": { + "base_dim": 3, + "model_sections": ["s7", "s9"], + "base_coordinates": ["s7", "s9", "s1", "s2", "s3", "s5", "s6"], + "auxiliary_base_grading": [ + [0, 0, 3, 2, 1, 2, 1], + [1, 0, -1, 0, 1, -1, 0], + [0, 1, -1, -1, -1, 0, 0] + ], + "fiber_ambient_space_rays": [[-1, 1], [0, -1], [1, 0], [0, 1], [-1, 0], [-1, -1]], + "fiber_ambient_space_max_cones": [[1, 4], [3, 4], [2, 3], [2, 6], [5, 6], [1, 5]], + "fiber_ambient_space_coordinates": ["u", "v", "w", "e1", "e2", "e3"], + "fiber_ambient_space_name": "P^{F_9}", + "D1": [-1, 0, 1], + "D2": [0, -1, 1], + "hypersurface_equation": "s1*e1^2*e2^2*e3*u^3 + s2*e1*e2^2*e3^2*u^2*v + s3*e2^2*e3^3*u*v^2 + s5*e1^2*e2*u^2*w + s6*e1*e2*e3*u*v*w + s7*e2*e3^2*v^2*w + s9*e1*v*w^2", + "zero_section": ["0", "1", "1", "s7", "-s9", "1"], + "generating_sections": [ + ["1", "s5", "1", "1", "-s9", "0"], + ["s7", "1", "-s3", "0", "1", "1"] + ] + }, + "associated_models": [ + "model1408_4808-1.json", + "model1408_4808-2.json", + "model1408_4808-3.json", + "model1408_4808-4.json", + "model1408_4808-5.json", + "model1408_4808-6.json", + "model1408_4808-7.json", + "model1408_4808-8.json", + "model1408_4808-10.json", + "model1408_4808-11.json", + "model1408_4808-12.json", + "model1408_4808-13.json", + "model1408_4808-14.json", + "model1408_4808-15.json", + "model1408_4808-16.json" + ], + "related_models": ["model1408_4808-9-WSF.json"] +} diff --git a/experimental/FTheoryTools/src/LiteratureModels/index.json b/experimental/FTheoryTools/src/LiteratureModels/index.json index 684c340148a3..622d75949e50 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/index.json +++ b/experimental/FTheoryTools/src/LiteratureModels/index.json @@ -1 +1 @@ -[{"journal_section":"3","arxiv_page":"10","journal_page":"9","arxiv_id":"1109.3454","arxiv_equation":"3.1","arxiv_version":"2","journal_doi":"10.1016/j.nuclphysb.2011.12.013","journal_equation":"3.1","arxiv_section":"3","journal":"Nucl. Phys. B","file":"model1109_3454.json","title":"$G_4$ flux, chiral matter and singularity resolution in F-theory compactifications","arxiv_doi":"10.48550/arXiv.1109.3454","model_index":"1","authors":["Sven Krause","Christoph Mayrhofer","Timo Weigand"]},{"journal_section":"B","arxiv_page":"32","journal_page":"33","arxiv_id":"1208.2695","arxiv_equation":"B.5","arxiv_version":"2","journal_doi":"10.1007/JHEP10(2012)128","journal_equation":"B.5","arxiv_section":"B","journal":"JHEP","file":"model1208_2695-1.json","title":"F-Theory and the Mordell-Weil Group of Elliptically-Fibered Calabi-Yau Threefolds","arxiv_doi":"10.48550/arXiv.1208.2695","model_index":"2","authors":["David R. Morrison","Daniel S. Park"]},{"journal_section":"B","arxiv_page":"34","journal_page":"34","arxiv_id":"1208.2695","arxiv_equation":"B.19","arxiv_version":"2","journal_doi":"10.1007/JHEP10(2012)128","journal_equation":"B.19","arxiv_section":"B","journal":"JHEP","file":"model1208_2695-2.json","title":"F-Theory and the Mordell-Weil Group of Elliptically-Fibered Calabi-Yau Threefolds","arxiv_doi":"10.48550/arXiv.1208.2695","model_index":"3","authors":["David R. Morrison","Daniel S. Park"]},{"journal_section":"","arxiv_page":"19","journal_page":"","arxiv_id":"1212.2949","arxiv_equation":"3.2","arxiv_version":"2","journal_doi":"10.1007/JHEP04(2013)061","journal_equation":"","arxiv_section":"3.1","journal":"JHEP","file":"model1212_2949-1.json","title":"The Tate Form on Steroids: Resolution and Higher Codimension Fibers","arxiv_doi":"10.48550/arXiv.1212.2949","model_index":"4","authors":["Craig Lawrie","Sakura Schäfer-Nameki"]},{"journal_section":"","arxiv_page":"31","journal_page":"","arxiv_id":"1212.2949","arxiv_equation":"3.42","arxiv_version":"2","journal_doi":"10.1007/JHEP04(2013)061","journal_equation":"","arxiv_section":"3.2","journal":"JHEP","file":"model1212_2949-2.json","title":"The Tate Form on Steroids: Resolution and Higher Codimension Fibers","arxiv_doi":"10.48550/arXiv.1212.2949","model_index":"5","authors":["Craig Lawrie","Sakura Schäfer-Nameki"]},{"journal_section":"","arxiv_page":"37","journal_page":"","arxiv_id":"1212.2949","arxiv_equation":"4.1","arxiv_version":"2","journal_doi":"10.1007/JHEP04(2013)061","journal_equation":"","arxiv_section":"4.1","journal":"JHEP","file":"model1212_2949-3.json","title":"The Tate Form on Steroids: Resolution and Higher Codimension Fibers","arxiv_doi":"10.48550/arXiv.1212.2949","model_index":"6","authors":["Craig Lawrie","Sakura Schäfer-Nameki"]},{"journal_section":"","arxiv_page":"44","journal_page":"","arxiv_id":"1212.2949","arxiv_equation":"4.23","arxiv_version":"2","journal_doi":"10.1007/JHEP04(2013)061","journal_equation":"","arxiv_section":"4.2","journal":"JHEP","file":"model1212_2949-4.json","title":"The Tate Form on Steroids: Resolution and Higher Codimension Fibers","arxiv_doi":"10.48550/arXiv.1212.2949","model_index":"7","authors":["Craig Lawrie","Sakura Schäfer-Nameki"]},{"journal_section":"","arxiv_page":"49","journal_page":"","arxiv_id":"1212.2949","arxiv_equation":"5.1","arxiv_version":"2","journal_doi":"10.1007/JHEP04(2013)061","journal_equation":"","arxiv_section":"5.1","journal":"JHEP","file":"model1212_2949-5.json","title":"The Tate Form on Steroids: Resolution and Higher Codimension Fibers","arxiv_doi":"10.48550/arXiv.1212.2949","model_index":"8","authors":["Craig Lawrie","Sakura Schäfer-Nameki"]},{"journal_section":"","arxiv_page":"49","journal_page":"","arxiv_id":"1212.2949","arxiv_equation":"5.7","arxiv_version":"2","journal_doi":"10.1007/JHEP04(2013)061","journal_equation":"","arxiv_section":"5.1","journal":"JHEP","file":"model1212_2949-6.json","title":"The Tate Form on Steroids: Resolution and Higher Codimension Fibers","arxiv_doi":"10.48550/arXiv.1212.2949","model_index":"9","authors":["Craig Lawrie","Sakura Schäfer-Nameki"]},{"journal_section":"","arxiv_page":"49","journal_page":"","arxiv_id":"1212.2949","arxiv_equation":"5.13","arxiv_version":"2","journal_doi":"10.1007/JHEP04(2013)061","journal_equation":"","arxiv_section":"5.1","journal":"JHEP","file":"model1212_2949-7.json","title":"The Tate Form on Steroids: Resolution and Higher Codimension Fibers","arxiv_doi":"10.48550/arXiv.1212.2949","model_index":"10","authors":["Craig Lawrie","Sakura Schäfer-Nameki"]},{"journal_section":"","arxiv_page":"17","journal_page":"","arxiv_id":"1507.05954","arxiv_equation":"3.4","arxiv_version":"2","journal_doi":"10.1007/JHEP11(2015)204","journal_equation":"","arxiv_section":"3","journal":"JHEP","file":"model1507_05954-1.json","title":"General U(1)×U(1) F-theory compactifications and beyond: geometry of unHiggsings and novel matter structure","arxiv_doi":"10.48550/arXiv.1507.05954","model_index":"11","authors":["Mirjam Cvetič","Denis Klevers","Hernan Piragua","Washington Taylor"]},{"journal_section":"","arxiv_page":"71","journal_page":"","arxiv_id":"1507.05954","arxiv_equation":"A.1","arxiv_version":"2","journal_doi":"10.1007/JHEP11(2015)204","journal_equation":"","arxiv_section":"A","journal":"JHEP","file":"model1507_05954-2.json","title":"General U(1)×U(1) F-theory compactifications and beyond: geometry of unHiggsings and novel matter structure","arxiv_doi":"10.48550/arXiv.1507.05954","model_index":"12","authors":["Mirjam Cvetič","Denis Klevers","Hernan Piragua","Washington Taylor"]}] \ No newline at end of file +[{"journal_section":"3","arxiv_page":"10","journal_page":"9","arxiv_id":"1109.3454","arxiv_equation":"3.1","arxiv_version":"2","journal_doi":"10.1016/j.nuclphysb.2011.12.013","journal_equation":"3.1","arxiv_section":"3","journal":"Nucl. Phys. B","file":"model1109_3454.json","title":"$G_4$ flux, chiral matter and singularity resolution in F-theory compactifications","arxiv_doi":"10.48550/arXiv.1109.3454","model_index":"1","authors":["Sven Krause","Christoph Mayrhofer","Timo Weigand"]},{"journal_section":"B","arxiv_page":"32","journal_page":"33","arxiv_id":"1208.2695","arxiv_equation":"B.5","arxiv_version":"2","journal_doi":"10.1007/JHEP10(2012)128","journal_equation":"B.5","arxiv_section":"B","journal":"JHEP","file":"model1208_2695-1.json","title":"F-Theory and the Mordell-Weil Group of Elliptically-Fibered Calabi-Yau Threefolds","arxiv_doi":"10.48550/arXiv.1208.2695","model_index":"2","authors":["David R. Morrison","Daniel S. Park"]},{"journal_section":"B","arxiv_page":"34","journal_page":"34","arxiv_id":"1208.2695","arxiv_equation":"B.19","arxiv_version":"2","journal_doi":"10.1007/JHEP10(2012)128","journal_equation":"B.19","arxiv_section":"B","journal":"JHEP","file":"model1208_2695-2.json","title":"F-Theory and the Mordell-Weil Group of Elliptically-Fibered Calabi-Yau Threefolds","arxiv_doi":"10.48550/arXiv.1208.2695","model_index":"3","authors":["David R. Morrison","Daniel S. Park"]},{"journal_section":"","arxiv_page":"19","journal_page":"","arxiv_id":"1212.2949","arxiv_equation":"3.2","arxiv_version":"2","journal_doi":"10.1007/JHEP04(2013)061","journal_equation":"","arxiv_section":"3.1","journal":"JHEP","file":"model1212_2949-1.json","title":"The Tate Form on Steroids: Resolution and Higher Codimension Fibers","arxiv_doi":"10.48550/arXiv.1212.2949","model_index":"4","authors":["Craig Lawrie","Sakura Schäfer-Nameki"]},{"journal_section":"","arxiv_page":"31","journal_page":"","arxiv_id":"1212.2949","arxiv_equation":"3.42","arxiv_version":"2","journal_doi":"10.1007/JHEP04(2013)061","journal_equation":"","arxiv_section":"3.2","journal":"JHEP","file":"model1212_2949-2.json","title":"The Tate Form on Steroids: Resolution and Higher Codimension Fibers","arxiv_doi":"10.48550/arXiv.1212.2949","model_index":"5","authors":["Craig Lawrie","Sakura Schäfer-Nameki"]},{"journal_section":"","arxiv_page":"37","journal_page":"","arxiv_id":"1212.2949","arxiv_equation":"4.1","arxiv_version":"2","journal_doi":"10.1007/JHEP04(2013)061","journal_equation":"","arxiv_section":"4.1","journal":"JHEP","file":"model1212_2949-3.json","title":"The Tate Form on Steroids: Resolution and Higher Codimension Fibers","arxiv_doi":"10.48550/arXiv.1212.2949","model_index":"6","authors":["Craig Lawrie","Sakura Schäfer-Nameki"]},{"journal_section":"","arxiv_page":"44","journal_page":"","arxiv_id":"1212.2949","arxiv_equation":"4.23","arxiv_version":"2","journal_doi":"10.1007/JHEP04(2013)061","journal_equation":"","arxiv_section":"4.2","journal":"JHEP","file":"model1212_2949-4.json","title":"The Tate Form on Steroids: Resolution and Higher Codimension Fibers","arxiv_doi":"10.48550/arXiv.1212.2949","model_index":"7","authors":["Craig Lawrie","Sakura Schäfer-Nameki"]},{"journal_section":"","arxiv_page":"49","journal_page":"","arxiv_id":"1212.2949","arxiv_equation":"5.1","arxiv_version":"2","journal_doi":"10.1007/JHEP04(2013)061","journal_equation":"","arxiv_section":"5.1","journal":"JHEP","file":"model1212_2949-5.json","title":"The Tate Form on Steroids: Resolution and Higher Codimension Fibers","arxiv_doi":"10.48550/arXiv.1212.2949","model_index":"8","authors":["Craig Lawrie","Sakura Schäfer-Nameki"]},{"journal_section":"","arxiv_page":"49","journal_page":"","arxiv_id":"1212.2949","arxiv_equation":"5.7","arxiv_version":"2","journal_doi":"10.1007/JHEP04(2013)061","journal_equation":"","arxiv_section":"5.1","journal":"JHEP","file":"model1212_2949-6.json","title":"The Tate Form on Steroids: Resolution and Higher Codimension Fibers","arxiv_doi":"10.48550/arXiv.1212.2949","model_index":"9","authors":["Craig Lawrie","Sakura Schäfer-Nameki"]},{"journal_section":"","arxiv_page":"49","journal_page":"","arxiv_id":"1212.2949","arxiv_equation":"5.13","arxiv_version":"2","journal_doi":"10.1007/JHEP04(2013)061","journal_equation":"","arxiv_section":"5.1","journal":"JHEP","file":"model1212_2949-7.json","title":"The Tate Form on Steroids: Resolution and Higher Codimension Fibers","arxiv_doi":"10.48550/arXiv.1212.2949","model_index":"10","authors":["Craig Lawrie","Sakura Schäfer-Nameki"]},{"journal_section":"3","arxiv_page":"18","journal_page":"19","arxiv_id":"1408.4808v2","arxiv_equation":"3.4","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.4","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-1.json","title":"F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"","authors":["Denis Klevers","Damián Kaloni Mayorga Peña","Paul-Konstantin Oehlmann","Hernan Piragua","Jonas Reuter"]},{"journal_section":"3","arxiv_page":"62","journal_page":"62","arxiv_id":"1408.4808v2","arxiv_equation":"3.130","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.129","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-10.json","title":"F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"","authors":["Denis Klevers","Damián Kaloni Mayorga Peña","Paul-Konstantin Oehlmann","Hernan Piragua","Jonas Reuter"]},{"journal_section":"3","arxiv_page":"67","journal_page":"67","arxiv_id":"1408.4808v2","arxiv_equation":"3.142","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.141","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-11.json","title":"F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"","authors":["Denis Klevers","Damián Kaloni Mayorga Peña","Paul-Konstantin Oehlmann","Hernan Piragua","Jonas Reuter"]},{"journal_section":"3","arxiv_page":"70","journal_page":"70","arxiv_id":"1408.4808v2","arxiv_equation":"3.155","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.154","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-12.json","title":"F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"","authors":["Denis Klevers","Damián Kaloni Mayorga Peña","Paul-Konstantin Oehlmann","Hernan Piragua","Jonas Reuter"]},{"journal_section":"3","arxiv_page":"79","journal_page":"79","arxiv_id":"1408.4808v2","arxiv_equation":"3.181","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.180","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-13.json","title":"F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"","authors":["Denis Klevers","Damián Kaloni Mayorga Peña","Paul-Konstantin Oehlmann","Hernan Piragua","Jonas Reuter"]},{"journal_section":"3","arxiv_page":"75","journal_page":"75","arxiv_id":"1408.4808v2","arxiv_equation":"3.168","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.167","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-14.json","title":"F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"","authors":["Denis Klevers","Damián Kaloni Mayorga Peña","Paul-Konstantin Oehlmann","Hernan Piragua","Jonas Reuter"]},{"journal_section":"3","arxiv_page":"83","journal_page":"83","arxiv_id":"1408.4808v2","arxiv_equation":"3.190","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.189","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-15.json","title":"F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"","authors":["Denis Klevers","Damián Kaloni Mayorga Peña","Paul-Konstantin Oehlmann","Hernan Piragua","Jonas Reuter"]},{"journal_section":"3","arxiv_page":"87","journal_page":"88","arxiv_id":"1408.4808v2","arxiv_equation":"3.203","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.202","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-16.json","title":"F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"","authors":["Denis Klevers","Damián Kaloni Mayorga Peña","Paul-Konstantin Oehlmann","Hernan Piragua","Jonas Reuter"]},{"journal_section":"3","arxiv_page":"20","journal_page":"20","arxiv_id":"1408.4808v2","arxiv_equation":"3.12","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.12","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-2.json","title":"F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"","authors":["Denis Klevers","Damián Kaloni Mayorga Peña","Paul-Konstantin Oehlmann","Hernan Piragua","Jonas Reuter"]},{"journal_section":"3","arxiv_page":"36","journal_page":"36","arxiv_id":"1408.4808v2","arxiv_equation":"3.54","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.53","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-3.json","title":"F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"","authors":["Denis Klevers","Damián Kaloni Mayorga Peña","Paul-Konstantin Oehlmann","Hernan Piragua","Jonas Reuter"]},{"journal_section":"3","arxiv_page":"43","journal_page":"43","arxiv_id":"1408.4808v2","arxiv_equation":"3.73","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.72","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-5.json","title":"F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"","authors":["Denis Klevers","Damián Kaloni Mayorga Peña","Paul-Konstantin Oehlmann","Hernan Piragua","Jonas Reuter"]},{"journal_section":"3","arxiv_page":"46","journal_page":"46","arxiv_id":"1408.4808v2","arxiv_equation":"3.82","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.81","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-6.json","title":"F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"","authors":["Denis Klevers","Damián Kaloni Mayorga Peña","Paul-Konstantin Oehlmann","Hernan Piragua","Jonas Reuter"]},{"journal_section":"3","arxiv_page":"50","journal_page":"51","arxiv_id":"1408.4808v2","arxiv_equation":"3.96","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.95","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-7.json","title":"F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"","authors":["Denis Klevers","Damián Kaloni Mayorga Peña","Paul-Konstantin Oehlmann","Hernan Piragua","Jonas Reuter"]},{"journal_section":"3","arxiv_page":"54","journal_page":"55","arxiv_id":"1408.4808v2","arxiv_equation":"3.106","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.105","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-8.json","title":"F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"","authors":["Denis Klevers","Damián Kaloni Mayorga Peña","Paul-Konstantin Oehlmann","Hernan Piragua","Jonas Reuter"]},{"journal_section":"3","arxiv_page":"58","journal_page":"59","arxiv_id":"1408.4808v2","arxiv_equation":"3.118","arxiv_version":"2","journal_doi":"10.1007/JHEP01(2015)142","journal_equation":"3.117","arxiv_section":"3","journal":"JHEP","file":"model1408_4808-9.json","title":"F-Theory on all Toric Hypersurface Fibrations and its Higgs Branches","arxiv_doi":"10.48550/arXiv.1408.4808","model_index":"","authors":["Denis Klevers","Damián Kaloni Mayorga Peña","Paul-Konstantin Oehlmann","Hernan Piragua","Jonas Reuter"]},{"journal_section":"","arxiv_page":"17","journal_page":"","arxiv_id":"1507.05954","arxiv_equation":"3.4","arxiv_version":"2","journal_doi":"10.1007/JHEP11(2015)204","journal_equation":"","arxiv_section":"3","journal":"JHEP","file":"model1507_05954-1.json","title":"General U(1)×U(1) F-theory compactifications and beyond: geometry of unHiggsings and novel matter structure","arxiv_doi":"10.48550/arXiv.1507.05954","model_index":"11","authors":["Mirjam Cvetič","Denis Klevers","Hernan Piragua","Washington Taylor"]},{"journal_section":"","arxiv_page":"71","journal_page":"","arxiv_id":"1507.05954","arxiv_equation":"A.1","arxiv_version":"2","journal_doi":"10.1007/JHEP11(2015)204","journal_equation":"","arxiv_section":"A","journal":"JHEP","file":"model1507_05954-2.json","title":"General U(1)×U(1) F-theory compactifications and beyond: geometry of unHiggsings and novel matter structure","arxiv_doi":"10.48550/arXiv.1507.05954","model_index":"12","authors":["Mirjam Cvetič","Denis Klevers","Hernan Piragua","Washington Taylor"]}] \ No newline at end of file diff --git a/experimental/FTheoryTools/src/LiteratureModels/model_reference.json b/experimental/FTheoryTools/src/LiteratureModels/model_reference.json index 6a55d9b04337..02453e8cb0d1 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/model_reference.json +++ b/experimental/FTheoryTools/src/LiteratureModels/model_reference.json @@ -57,6 +57,7 @@ "hypersurface_equation": "", "zero_section": ["", "", ""], "generating_sections": [["", "", ""]], + "torsion_sections": [["", "", ""]], "resolutions": [[[[""]], [""]]], "resolution_zero_sections": [[["", "", ""]]], "resolution_generating_sections": [[[["", "", ""]]]], diff --git a/experimental/FTheoryTools/test/literature_models.jl b/experimental/FTheoryTools/test/literature_models.jl index 995b99f0749b..a2b02b0d63d1 100644 --- a/experimental/FTheoryTools/test/literature_models.jl +++ b/experimental/FTheoryTools/test/literature_models.jl @@ -367,3 +367,202 @@ h = literature_model(arxiv_id = "1507.05954", equation = "3.4") @test is_partially_resolved(h) == false @test string.(zero_section(h)) == ["0", "-b1", "a1"] end + + + +############################################################################# +# 8: Test models from F-theory on all toric hypersurfaces over arbitrary base +############################################################################# + +foah1 = literature_model(arxiv_id = "1408.4808v2", equation = "3.4") +foah2 = literature_model(arxiv_id = "1408.4808v2", equation = "3.12") +foah3 = literature_model(arxiv_id = "1408.4808v2", equation = "3.54") +#foah4 = literature_model(arxiv_id = "1408.4808v2", equation = "3.17") +foah5 = literature_model(arxiv_id = "1408.4808v2", equation = "3.73") +foah6 = literature_model(arxiv_id = "1408.4808v2", equation = "3.82") +foah7 = literature_model(arxiv_id = "1408.4808v2", equation = "3.96") +foah8 = literature_model(arxiv_id = "1408.4808v2", equation = "3.106") +foah9 = literature_model(arxiv_id = "1408.4808v2", equation = "3.118") +foah10 = literature_model(arxiv_id = "1408.4808v2", equation = "3.130") +foah11 = literature_model(arxiv_id = "1408.4808v2", equation = "3.142") +foah12 = literature_model(arxiv_id = "1408.4808v2", equation = "3.155") +foah13 = literature_model(arxiv_id = "1408.4808v2", equation = "3.181") +foah14 = literature_model(arxiv_id = "1408.4808v2", equation = "3.168") +foah15 = literature_model(arxiv_id = "1408.4808v2", equation = "3.190") +foah16 = literature_model(arxiv_id = "1408.4808v2", equation = "3.203") + +@testset "Test defining data for literature model defined by model index" begin + @test dim(base_space(foah1)) == 3 + @test dim(base_space(foah2)) == 3 + @test dim(base_space(foah3)) == 3 + #@test dim(base_space(foah4)) == 3 + @test dim(base_space(foah5)) == 3 + @test dim(base_space(foah6)) == 3 + @test dim(base_space(foah7)) == 3 + @test dim(base_space(foah8)) == 3 + @test dim(base_space(foah9)) == 3 + @test dim(base_space(foah10)) == 3 + @test dim(base_space(foah11)) == 3 + @test dim(base_space(foah12)) == 3 + @test dim(base_space(foah13)) == 3 + @test dim(base_space(foah14)) == 3 + @test dim(base_space(foah15)) == 3 + @test dim(base_space(foah16)) == 3 + @test dim(ambient_space(foah1)) == 5 + @test dim(ambient_space(foah2)) == 5 + @test dim(ambient_space(foah3)) == 5 + #@test dim(ambient_space(foah4)) == 5 + @test dim(ambient_space(foah5)) == 5 + @test dim(ambient_space(foah6)) == 5 + @test dim(ambient_space(foah7)) == 5 + @test dim(ambient_space(foah8)) == 5 + @test dim(ambient_space(foah9)) == 5 + @test dim(ambient_space(foah10)) == 5 + @test dim(ambient_space(foah11)) == 5 + @test dim(ambient_space(foah12)) == 5 + @test dim(ambient_space(foah13)) == 5 + @test dim(ambient_space(foah14)) == 5 + @test dim(ambient_space(foah15)) == 5 + @test dim(ambient_space(foah16)) == 5 + @test is_base_space_fully_specified(foah1) == false + @test is_base_space_fully_specified(foah2) == false + @test is_base_space_fully_specified(foah3) == false + #@test is_base_space_fully_specified(foah4) == false + @test is_base_space_fully_specified(foah5) == false + @test is_base_space_fully_specified(foah6) == false + @test is_base_space_fully_specified(foah7) == false + @test is_base_space_fully_specified(foah8) == false + @test is_base_space_fully_specified(foah9) == false + @test is_base_space_fully_specified(foah10) == false + @test is_base_space_fully_specified(foah11) == false + @test is_base_space_fully_specified(foah12) == false + @test is_base_space_fully_specified(foah13) == false + @test is_base_space_fully_specified(foah14) == false + @test is_base_space_fully_specified(foah15) == false + @test is_base_space_fully_specified(foah16) == false + @test model_description(foah1) == "F-theory hypersurface model with fiber ambient space F_1" + @test model_description(foah2) == "F-theory hypersurface model with fiber ambient space F_2" + @test model_description(foah3) == "F-theory hypersurface model with fiber ambient space F_3" + #@test model_description(foah4) == "F-theory hypersurface model with fiber ambient space F_4" + @test model_description(foah5) == "F-theory hypersurface model with fiber ambient space F_5" + @test model_description(foah6) == "F-theory hypersurface model with fiber ambient space F_6" + @test model_description(foah7) == "F-theory hypersurface model with fiber ambient space F_7" + @test model_description(foah8) == "F-theory hypersurface model with fiber ambient space F_8" + @test model_description(foah9) == "F-theory hypersurface model with fiber ambient space F_9" + @test model_description(foah10) == "F-theory hypersurface model with fiber ambient space F_10" + @test model_description(foah11) == "F-theory hypersurface model with fiber ambient space F_11" + @test model_description(foah12) == "F-theory hypersurface model with fiber ambient space F_12" + @test model_description(foah13) == "F-theory hypersurface model with fiber ambient space F_13" + @test model_description(foah14) == "F-theory hypersurface model with fiber ambient space F_14" + @test model_description(foah15) == "F-theory hypersurface model with fiber ambient space F_15" + @test model_description(foah16) == "F-theory hypersurface model with fiber ambient space F_16" +end + + + +############################################################################# +# 9: Test models from F-theory on all toric hypersurfaces over concrete base +############################################################################# + +B3 = projective_space(NormalToricVariety, 3) +Kbar = anticanonical_divisor(B3) +foah1_B3 = literature_model(arxiv_id = "1408.4808v2", equation = "3.4", base_space = B3, model_sections = Dict("s7" => Kbar, "s9" => Kbar), completeness_check = false) +foah2_B3 = literature_model(arxiv_id = "1408.4808v2", equation = "3.12", base_space = B3, model_sections = Dict("b7" => Kbar, "b9" => Kbar), completeness_check = false) +foah3_B3 = literature_model(arxiv_id = "1408.4808v2", equation = "3.54", base_space = B3, model_sections = Dict("s7" => Kbar, "s9" => Kbar), completeness_check = false) +#foah4_B3 = literature_model(arxiv_id = "1408.4808v2", equation = "3.17", base_space = B3, model_sections = Dict("d8" => Kbar, "d4" => Kbar), completeness_check = false) +foah5_B3 = literature_model(arxiv_id = "1408.4808v2", equation = "3.73", base_space = B3, model_sections = Dict("s7" => Kbar, "s9" => Kbar), completeness_check = false) +foah6_B3 = literature_model(arxiv_id = "1408.4808v2", equation = "3.82", base_space = B3, model_sections = Dict("s7" => Kbar, "s4" => Kbar), completeness_check = false) +foah7_B3 = literature_model(arxiv_id = "1408.4808v2", equation = "3.96", base_space = B3, model_sections = Dict("s7" => Kbar, "s9" => Kbar), completeness_check = false) +foah8_B3 = literature_model(arxiv_id = "1408.4808v2", equation = "3.106", base_space = B3, model_sections = Dict("s7" => Kbar, "s2" => Kbar), completeness_check = false) +foah9_B3 = literature_model(arxiv_id = "1408.4808v2", equation = "3.118", base_space = B3, model_sections = Dict("s7" => Kbar, "s9" => Kbar), completeness_check = false) +foah10_B3 = literature_model(arxiv_id = "1408.4808v2", equation = "3.130", base_space = B3, model_sections = Dict("s5" => Kbar, "s2" => Kbar), completeness_check = false) +foah11_B3 = literature_model(arxiv_id = "1408.4808v2", equation = "3.142", base_space = B3, model_sections = Dict("s5" => Kbar, "s9" => Kbar), completeness_check = false) +foah12_B3 = literature_model(arxiv_id = "1408.4808v2", equation = "3.155", base_space = B3, model_sections = Dict("s7" => Kbar, "s9" => Kbar), completeness_check = false) +foah13_B3 = literature_model(arxiv_id = "1408.4808v2", equation = "3.181", base_space = B3, model_sections = Dict("s1" => Kbar, "s9" => Kbar), completeness_check = false) +foah14_B3 = literature_model(arxiv_id = "1408.4808v2", equation = "3.168", base_space = B3, model_sections = Dict("s7" => Kbar, "s9" => Kbar), completeness_check = false) +foah15_B3 = literature_model(arxiv_id = "1408.4808v2", equation = "3.190", base_space = B3, model_sections = Dict("s7" => Kbar, "s9" => Kbar), completeness_check = false) +foah16_B3 = literature_model(arxiv_id = "1408.4808v2", equation = "3.203", base_space = B3, model_sections = Dict("s7" => Kbar, "s9" => Kbar), completeness_check = false) + +@testset "Test defining data for literature model defined by model index" begin + @test dim(base_space(foah1_B3)) == 3 + @test dim(base_space(foah2_B3)) == 3 + @test dim(base_space(foah3_B3)) == 3 + #@test dim(base_space(foah4_B3)) == 3 + @test dim(base_space(foah5_B3)) == 3 + @test dim(base_space(foah6_B3)) == 3 + @test dim(base_space(foah7_B3)) == 3 + @test dim(base_space(foah8_B3)) == 3 + @test dim(base_space(foah9_B3)) == 3 + @test dim(base_space(foah10_B3)) == 3 + @test dim(base_space(foah11_B3)) == 3 + @test dim(base_space(foah12_B3)) == 3 + @test dim(base_space(foah13_B3)) == 3 + @test dim(base_space(foah14_B3)) == 3 + @test dim(base_space(foah15_B3)) == 3 + @test dim(base_space(foah16_B3)) == 3 + @test dim(ambient_space(foah1_B3)) == 5 + @test dim(ambient_space(foah2_B3)) == 5 + @test dim(ambient_space(foah3_B3)) == 5 + #@test dim(ambient_space(foah4_B3)) == 5 + @test dim(ambient_space(foah5_B3)) == 5 + @test dim(ambient_space(foah6_B3)) == 5 + @test dim(ambient_space(foah7_B3)) == 5 + @test dim(ambient_space(foah8_B3)) == 5 + @test dim(ambient_space(foah9_B3)) == 5 + @test dim(ambient_space(foah10_B3)) == 5 + @test dim(ambient_space(foah11_B3)) == 5 + @test dim(ambient_space(foah12_B3)) == 5 + @test dim(ambient_space(foah13_B3)) == 5 + @test dim(ambient_space(foah14_B3)) == 5 + @test dim(ambient_space(foah15_B3)) == 5 + @test dim(ambient_space(foah16_B3)) == 5 + @test is_base_space_fully_specified(foah1_B3) == true + @test is_base_space_fully_specified(foah2_B3) == true + @test is_base_space_fully_specified(foah3_B3) == true + #@test is_base_space_fully_specified(foah4_B3) == true + @test is_base_space_fully_specified(foah5_B3) == true + @test is_base_space_fully_specified(foah6_B3) == true + @test is_base_space_fully_specified(foah7_B3) == true + @test is_base_space_fully_specified(foah8_B3) == true + @test is_base_space_fully_specified(foah9_B3) == true + @test is_base_space_fully_specified(foah10_B3) == true + @test is_base_space_fully_specified(foah11_B3) == true + @test is_base_space_fully_specified(foah12_B3) == true + @test is_base_space_fully_specified(foah13_B3) == true + @test is_base_space_fully_specified(foah14_B3) == true + @test is_base_space_fully_specified(foah15_B3) == true + @test is_base_space_fully_specified(foah16_B3) == true + @test model_description(foah1_B3) == "F-theory hypersurface model with fiber ambient space F_1" + @test model_description(foah2_B3) == "F-theory hypersurface model with fiber ambient space F_2" + @test model_description(foah3_B3) == "F-theory hypersurface model with fiber ambient space F_3" + #@test model_description(foah4_B3) == "F-theory hypersurface model with fiber ambient space F_4" + @test model_description(foah5_B3) == "F-theory hypersurface model with fiber ambient space F_5" + @test model_description(foah6_B3) == "F-theory hypersurface model with fiber ambient space F_6" + @test model_description(foah7_B3) == "F-theory hypersurface model with fiber ambient space F_7" + @test model_description(foah8_B3) == "F-theory hypersurface model with fiber ambient space F_8" + @test model_description(foah9_B3) == "F-theory hypersurface model with fiber ambient space F_9" + @test model_description(foah10_B3) == "F-theory hypersurface model with fiber ambient space F_10" + @test model_description(foah11_B3) == "F-theory hypersurface model with fiber ambient space F_11" + @test model_description(foah12_B3) == "F-theory hypersurface model with fiber ambient space F_12" + @test model_description(foah13_B3) == "F-theory hypersurface model with fiber ambient space F_13" + @test model_description(foah14_B3) == "F-theory hypersurface model with fiber ambient space F_14" + @test model_description(foah15_B3) == "F-theory hypersurface model with fiber ambient space F_15" + @test model_description(foah16_B3) == "F-theory hypersurface model with fiber ambient space F_16" + @test parent(explicit_model_sections(foah1_B3)["s7"]) == cox_ring(base_space(foah1_B3)) + @test parent(explicit_model_sections(foah2_B3)["b7"]) == cox_ring(base_space(foah2_B3)) + @test parent(explicit_model_sections(foah3_B3)["s7"]) == cox_ring(base_space(foah3_B3)) + #@test parent(explicit_model_sections(foah4_B3)["d4"]) == cox_ring(base_space(foah4_B3)) + @test parent(explicit_model_sections(foah5_B3)["s7"]) == cox_ring(base_space(foah5_B3)) + @test parent(explicit_model_sections(foah6_B3)["s7"]) == cox_ring(base_space(foah6_B3)) + @test parent(explicit_model_sections(foah7_B3)["s7"]) == cox_ring(base_space(foah7_B3)) + @test parent(explicit_model_sections(foah8_B3)["s7"]) == cox_ring(base_space(foah8_B3)) + @test parent(explicit_model_sections(foah9_B3)["s7"]) == cox_ring(base_space(foah9_B3)) + @test parent(explicit_model_sections(foah10_B3)["s5"]) == cox_ring(base_space(foah10_B3)) + @test parent(explicit_model_sections(foah11_B3)["s5"]) == cox_ring(base_space(foah11_B3)) + @test parent(explicit_model_sections(foah12_B3)["s7"]) == cox_ring(base_space(foah12_B3)) + @test parent(explicit_model_sections(foah13_B3)["s1"]) == cox_ring(base_space(foah13_B3)) + @test parent(explicit_model_sections(foah14_B3)["s7"]) == cox_ring(base_space(foah14_B3)) + @test parent(explicit_model_sections(foah15_B3)["s7"]) == cox_ring(base_space(foah15_B3)) + @test parent(explicit_model_sections(foah16_B3)["s7"]) == cox_ring(base_space(foah16_B3)) + @test string(hypersurface_equation_parametrization(foah1_B3)) == "s7*v^2*w + s9*v*w^2 + s1*u^3 + s2*u^2*v + s3*u*v^2 + s4*v^3 + s5*u^2*w + s6*u*v*w + s8*u*w^2 + s10*w^3" +end