Skip to content

Commit

Permalink
[FTheoryTools] Add literature models
Browse files Browse the repository at this point in the history
  • Loading branch information
@apturner @HereAround
apturner authored and HereAround committed May 17, 2023
1 parent 12421b0 commit 96c2eed
Show file tree
Hide file tree
Showing 10 changed files with 989 additions and 0 deletions.
124 changes: 124 additions & 0 deletions experimental/FTheoryTools/src/LiteratureTateModels/Models/model1b.json
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,124 @@
{
"arxiv_data": {
"id": "1109.3454",
"doi": "10.48550/arXiv.1109.3454",
"version": "2",
"discipline": "hep-th",
"link": "https://arxiv.org/abs/1109.3454v2"
},
"journal_data": {
"doi": "10.1016/j.nuclphysb.2011.12.013",
"journal": "Nucl. Phys. B",
"volume": "858",
"pages": "1--47",
"year": "2012",
"link": "https://www.sciencedirect.com/science/article/pii/S0550321311007115"
},
"paper_metadata": {
"authors": ["Sven Krause", "Christoph Mayrhofer", "Timo Weigand"],
"title": "$G_4$ flux, chiral matter and singularity resolution in F-theory compactifications",
"description": "SU(5)xU(1) restricted Tate model",
"buzzwords": ["GUT model", "Tate", "U(1)", "SU(5)"]
},
"model_location": {
"section": "3",
"equation": "3.1",
"page": "10"
},
"model_data": {
"type": "tate",
"description": "SU(5)xU(1) restricted Tate model",
"gauge_algebra": ["su(5)", "u(1)"],
"base_dim": 3,
"base_coordinates": ["a1", "a21", "a32", "a43", "w"],
"a1": "a1",
"a2": "a21*w",
"a3": "a32*w^2",
"a4": "a43*w^3",
"a6": "0",
"generating_sections": [[["0", "0", "1"]]],
"resolutions": [
[
[
["x", "y", "w"],
["y", "e1"],
["x", "e4"],
["y", "e2"],
["x", "y"]
],
["e1", "e4", "e2", "e3", "s"]
]
],
"resolution_zero_section": [
[
["1", "1", "0"],
["1", "1", "w"],
["1", "1"],
["1", "1"],
["1", "1"],
["1", "1"]
]
],
"resolution_generating_sections": [
[
[
["0", "0", "1"],
["0", "0", "1"],
["0", "1"],
["0", "1"],
["0", "1"],
["a32", "-a43"]
]
]
],
"weighted_resolutions": [
[
[
[
["x", "y", "w"],
[1, 1, 1]
],
[
["x", "y", "w"],
[1, 2, 1]
],
[
["x", "y", "w"],
[2, 2, 1]
],
[
["x", "y", "w"],
[2, 3, 1]
],
[
["x", "y"],
[1, 1]
]
],
["e1", "e4", "e2", "e3", "s"]
]
],
"weighted_resolution_zero_section": [
[
["1", "1", "0"],
["1", "1", "w"],
["1", "1", "w"],
["1", "1", "w"],
["1", "1", "w"],
["1", "1"]
]
],
"weighted_resolution_generating_sections": [
[
[
["0", "0", "1"],
["0", "0", "1"],
["0", "0", "1"],
["0", "0", "1"],
["0", "0", "1"],
["a32", "-a43"]
]
]
]
}
}
74 changes: 74 additions & 0 deletions experimental/FTheoryTools/src/LiteratureTateModels/Models/model2b.json
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,74 @@
{
"arxiv_data": {
"id": "1212.2949",
"doi": "10.48550/arXiv.1212.2949",
"version": "2",
"discipline": "hep-th",
"link": "https://arxiv.org/abs/1212.2949v2"
},
"journal_data": {
"doi": "10.1007/JHEP04(2013)061",
"report_numbers": ["KCL-MTH-12-14"],
"journal": "JHEP",
"volume": "04",
"pages": "061",
"year": "2013",
"link": "https://www.sciencedirect.com/science/article/pii/S0550321311007115"
},
"paper_metadata": {
"authors": ["Craig Lawrie", "Sakura Schäfer-Nameki"],
"title": "The Tate Form on Steroids: Resolution and Higher Codimension Fibers",
"description": "Systematic classification of ADE Tate models and their resolutions",
"buzzwords": ["Tate", "classification", "resolution"]
},
"model_location": {
"section": "3.1",
"equation": "3.2",
"page": "19"
},
"model_parameters": ["k"],
"model_data": {
"type": "tate",
"description": "SU(2k+1) Tate model",
"gauge_algebra": ["su(2k+1)"],
"base_dim": 3,
"base_coordinates": ["b1", "b2", "b3", "b4", "b6", "ζ0"],
"a1": "b1",
"a2": "b2*ζ0",
"a3": "b3*ζ0^k",
"a4": "b4*ζ0^(k + 1)",
"a6": "b6*ζ0^(2*k + 1)",
"resolutions": [
[
[
[
["x", "y", ["ζ", "i"]],
["index", 0, "k - 1"]
],
[
["y", ["ζ", "index"]],
["index", 1, "k"]
]
],
[
[
["ζ", "index"],
["index", 1, "k"]
],
[
["δ", "index"],
["index", 1, "k"]
]
]
]
]
},
"related_models": [
"model3.json",
"model4.json",
"model5.json",
"model6.json",
"model7.json",
"model8.json"
]
}
74 changes: 74 additions & 0 deletions experimental/FTheoryTools/src/LiteratureTateModels/Models/model3.json
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,74 @@
{
"arxiv_data": {
"id": "1212.2949",
"doi": "10.48550/arXiv.1212.2949",
"version": "2",
"discipline": "hep-th",
"link": "https://arxiv.org/abs/1212.2949v2"
},
"journal_data": {
"doi": "10.1007/JHEP04(2013)061",
"report_numbers": ["KCL-MTH-12-14"],
"journal": "JHEP",
"volume": "04",
"pages": "061",
"year": "2013",
"link": "https://www.sciencedirect.com/science/article/pii/S0550321311007115"
},
"paper_metadata": {
"authors": ["Craig Lawrie", "Sakura Schäfer-Nameki"],
"title": "The Tate Form on Steroids: Resolution and Higher Codimension Fibers",
"description": "Systematic classification of ADE Tate models and their resolutions",
"buzzwords": ["Tate", "classification", "resolution"]
},
"model_location": {
"section": "3.2",
"equation": "3.42",
"page": "31"
},
"model_parameters": ["k"],
"model_data": {
"type": "tate",
"description": "SU(2k) Tate model",
"gauge_algebra": ["su(2k)"],
"base_dim": 3,
"base_coordinates": ["b1", "b2", "b3", "b4", "b6", "z0"],
"a1": "b1",
"a2": "b2*ζ0",
"a3": "b3*ζ0^k",
"a4": "b4*ζ0^k",
"a6": "b6*ζ0^(2*k)",
"resolutions": [
[
[
[
["x", "y", ["ζ", "index"]],
["index", 0, "k - 1"]
],
[
["y", ["ζ", "index"]],
["index", 1, "k - 1"]
]
],
[
[
["ζ", "index"],
["index", 1, "k"]
],
[
["δ", "index"],
["index", 1, "k - 1"]
]
]
]
]
},
"related_models": [
"model2.json",
"model4.json",
"model5.json",
"model6.json",
"model7.json",
"model8.json"
]
}
96 changes: 96 additions & 0 deletions experimental/FTheoryTools/src/LiteratureTateModels/Models/model4.json
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,96 @@
{
"arxiv_data": {
"id": "1212.2949",
"doi": "10.48550/arXiv.1212.2949",
"version": "2",
"discipline": "hep-th",
"link": "https://arxiv.org/abs/1212.2949v2"
},
"journal_data": {
"doi": "10.1007/JHEP04(2013)061",
"report_numbers": ["KCL-MTH-12-14"],
"journal": "JHEP",
"volume": "04",
"pages": "061",
"year": "2013",
"link": "https://www.sciencedirect.com/science/article/pii/S0550321311007115"
},
"paper_metadata": {
"authors": ["Craig Lawrie", "Sakura Schäfer-Nameki"],
"title": "The Tate Form on Steroids: Resolution and Higher Codimension Fibers",
"description": "Systematic classification of ADE Tate models and their resolutions",
"buzzwords": ["Tate", "classification", "resolution"]
},
"model_location": {
"section": "4.1",
"equation": "4.1",
"page": "37"
},
"model_parameters": ["k"],
"model_data": {
"type": "tate",
"description": "SO(4k+2) Tate model",
"gauge_algebra": ["so(4k+2)"],
"base_dim": 3,
"base_coordinates": ["b1", "b2", "b3", "b4", "b6", "ζ0"],
"a1": "b1*ζ0",
"a2": "b2*ζ0",
"a3": "b3*ζ0^k",
"a4": "b4*ζ0^(k + 1)",
"a6": "b6*ζ0^(2*k + 1)",
"resolutions": [
[
[
[
["x", "y", ["ζ", "index"]],
["index", 0, "k - 1"]
],
[
["y", ["ζ", "index"]],
["index", 1, "k"]
],
[
[
["ζ", "index"],
["δ", "index"]
],
["index", 1, "k - 1"]
],
[
[
["ζ", "i + 1"],
["δ", "index"]
],
["index", 1, "k - 1"]
]
],
[
[
["ζ", "index"],
["index", 1, "k"]
],
[
["δ", "index"],
["index", 1, "k"]
],
[
["κ", "index"],
["index", 1, "k"]
],
[
["ϵ", "index"],
["index", 1, "k"]
]
]
]
]
},
"related_models": [
"model2.json",
"model3.json",
"model5.json",
"model6.json",
"model7.json",
"model8.json"
]
}
Loading

0 comments on commit 96c2eed

Please sign in to comment.