Skip to content

Commit

Permalink
[FTheoryTools] Add model 1511.03209
Browse files Browse the repository at this point in the history
  • Loading branch information
@HereAround
HereAround committed Jul 27, 2024
1 parent f5982df commit 331fa4b
Show file tree
Hide file tree
Showing 11 changed files with 438 additions and 8 deletions.
34 changes: 29 additions & 5 deletions experimental/FTheoryTools/src/AbstractFTheoryModels/methods.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -156,11 +156,23 @@ function blow_up(m::AbstractFTheoryModel, I::AbsIdealSheaf; coordinate_name::Str

# Construct the new model
if m isa GlobalTateModel
new_tate_ideal_sheaf = _strict_transform(bd, tate_ideal_sheaf(m); coordinate_name)
model = GlobalTateModel(explicit_model_sections(m), defining_section_parametrization(m), new_tate_ideal_sheaf, base_space(m), new_ambient_space)
if isdefined(m, :tate_polynomial)
new_tate_polynomial = _strict_transform(bd, tate_polynomial(m); coordinate_name)
model = GlobalTateModel(explicit_model_sections(m), defining_section_parametrization(m), new_tate_polynomial, base_space(m), new_ambient_space)
else
new_tate_ideal_sheaf = _strict_transform(bd, tate_ideal_sheaf(m); coordinate_name)
# The above line is the bottleneck in at least one computation. The following is wrong, but quick...
#new_tate_ideal_sheaf = ideal_sheaf(new_ambient_space, ideal([zero(cox_ring(new_ambient_space))]))
model = GlobalTateModel(explicit_model_sections(m), defining_section_parametrization(m), new_tate_ideal_sheaf, base_space(m), new_ambient_space)
end
else
new_weierstrass_ideal_sheaf = _strict_transform(bd, weierstrass_ideal_sheaf(m); coordinate_name)
model = WeierstrassModel(explicit_model_sections(m), defining_section_parametrization(m), new_weierstrass_ideal_sheaf, base_space(m), new_ambient_space)
if isdefined(m, :weierstrass_polynomial)
new_weierstrass_polynomial = _strict_transform(bd, weierstrass_polynomial(m); coordinate_name)
model = WeierstrassModel(explicit_model_sections(m), defining_section_parametrization(m), new_weierstrass_polynomial, base_space(m), new_ambient_space)
else
new_weierstrass_ideal_sheaf = _strict_transform(bd, weierstrass_ideal_sheaf(m); coordinate_name)
model = WeierstrassModel(explicit_model_sections(m), defining_section_parametrization(m), new_weierstrass_ideal_sheaf, base_space(m), new_ambient_space)
end
end

# Copy/overwrite/set attributes
Expand Down Expand Up @@ -769,6 +781,16 @@ Global Tate model over a concrete base -- SU(5)xU(1) restricted Tate model based
julia> t4 = resolve(t3, 1)
Partially resolved global Tate model over a concrete base -- SU(5)xU(1) restricted Tate model based on arXiv paper 1109.3454 Eq. (3.1)
```
Let us execute a fairly involved example.
```jldoctest
julia> h = literature_model(arxiv_id = "1511.03209")
Global Tate model over a concrete base -- The F-theory geometry with most flux vacua based on arXiv paper 1511.03209 Eq. (2.11)
julia> h_resolved = resolve(h, 1)
```
"""
function resolve(m::AbstractFTheoryModel, resolution_index::Int)
Expand All @@ -788,7 +810,9 @@ function resolve(m::AbstractFTheoryModel, resolution_index::Int)
# Resolve the model
resolved_model = m
blow_up_chain = []
for k in 1:nr_blowups

#for k in 1:nr_blowups
for k in 1:1

# Replace parameters in the blow_up_center with explicit_model_sections
blow_up_center = centers[k]
Expand Down
1 change: 1 addition & 0 deletions ...tal/FTheoryTools/src/LiteratureModels/Models/1511.03209/ambient_space_resolved_model.mrdi
View file

Large diffs are not rendered by default.

1 change: 1 addition & 0 deletions experimental/FTheoryTools/src/LiteratureModels/Models/1511.03209/tate_a1.mrdi
View file

Large diffs are not rendered by default.

1 change: 1 addition & 0 deletions experimental/FTheoryTools/src/LiteratureModels/Models/1511.03209/tate_a2.mrdi
View file

Large diffs are not rendered by default.

1 change: 1 addition & 0 deletions experimental/FTheoryTools/src/LiteratureModels/Models/1511.03209/tate_a3.mrdi
View file

Large diffs are not rendered by default.

1 change: 1 addition & 0 deletions experimental/FTheoryTools/src/LiteratureModels/Models/1511.03209/tate_a4.mrdi
View file

Large diffs are not rendered by default.

330 changes: 330 additions & 0 deletions experimental/FTheoryTools/src/LiteratureModels/Models/model1511.03209.json
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,330 @@
{
"model_index": "46",
"arxiv_data": {
"id": "1511.03209",
"doi": "10.48550/arXiv.1511.03209",
"version": "3",
"discipline": "hep-th",
"link": "https://arxiv.org/abs/1511.03209",
"model_location": {
"section": "2",
"equation": "2.11",
"page": "3"
}
},
"journal_data": {
"doi": "https://doi.org/10.1007/JHEP12(2015)164",
"journal": "JHEP",
"volume": "12",
"pages": "164",
"year": "2015",
"link": "https://link.springer.com/article/10.1007/JHEP12(2015)164",
"model_location": {
"section": "2",
"equation": "2.11",
"page": "3"
}
},
"paper_metadata": {
"authors": ["Washington Taylor", "Yi-Nan Wang"],
"title": "The F-theory geometry with the most flux vacua",
"description": "The F-theory geometry with most flux vacua",
"buzzwords": ["GUT model", "Tate", "U(1)", "SU(5)"]
},
"model_descriptors": {
"type": "tate",
"description": "The F-theory geometry with most flux vacua",
"gauge_algebra": ["e(8)","e(8)","e(8)","e(8)","e(8)","e(8)","e(8)","e(8)","e(8)","f(4)","f(4)","f(4)","f(4)","f(4)","f(4)","f(4)","f(4)","g(2)","g(2)","g(2)","g(2)","g(2)","g(2)","g(2)","g(2)","g(2)","g(2)","g(2)","g(2)","g(2)","g(2)","g(2)","g(2)","su(2)","su(2)","su(2)","su(2)","su(2)","su(2)","su(2)","su(2)","su(2)","su(2)","su(2)","su(2)","su(2)","su(2)","su(2)","su(2)"]
},
"model_data": {
"base_dim": 3,
"model_sections": ["a1", "a2", "a3", "a4", "a6"],
"a1": "a1",
"a2": "a2",
"a3": "a3",
"a4": "a4",
"a6": "a6",
"classes_of_model_sections_in_basis_of_Kbar_and_defining_classes": [
[1, 2, 3, 4, 6]
],
"resolutions": [
[
[
["x", "y", "w9"],
["y", "e9_1"],
["x", "e9_2"],
["e9_2", "e9_3"],

["x", "y", "w21"],
["y", "e21_1"],
["x", "e21_2"],
["e21_2", "e21_3"],

["x", "y", "w33"],
["y", "e33_1"],
["x", "e33_2"],
["e33_2", "e33_3"],

["x", "y", "w45"],
["y", "e45_1"],
["x", "e45_2"],
["e45_2", "e45_3"],

["x", "y", "w57"],
["y", "e57_1"],
["x", "e57_2"],
["e57_2", "e57_3"],

["x", "y", "w69"],
["y", "e69_1"],
["x", "e69_2"],
["e69_2", "e69_3"],

["x", "y", "w81"],
["y", "e81_1"],
["x", "e81_2"],
["e81_2", "e81_3"],

["x", "y", "w93"],
["y", "e93_1"],
["x", "e93_2"],
["e93_2", "e93_3"],

["x", "y", "w6"],
["x", "y", "w7"],
["y", "e7_1"],

["x", "y", "w12"],
["x", "y", "w11"],
["y", "e11_1"],

["x", "y", "w18"],
["x", "y", "w19"],
["y", "e19_1"],

["x", "y", "w24"],
["x", "y", "w23"],
["y", "e23_1"],

["x", "y", "w30"],
["x", "y", "w31"],
["y", "e31_1"],

["x", "y", "w36"],
["x", "y", "w35"],
["y", "e35_1"],

["x", "y", "w42"],
["x", "y", "w43"],
["y", "e43_1"],

["x", "y", "w48"],
["x", "y", "w47"],
["y", "e47_1"],

["x", "y", "w54"],
["x", "y", "w55"],
["y", "e55_1"],

["x", "y", "w60"],
["x", "y", "w59"],
["y", "e59_1"],

["x", "y", "w66"],
["x", "y", "w67"],
["y", "e67_1"],

["x", "y", "w72"],
["x", "y", "w71"],
["y", "e71_1"],

["x", "y", "w78"],
["x", "y", "w79"],
["y", "e79_1"],

["x", "y", "w84"],
["x", "y", "w83"],
["y", "e83_1"],

["x", "y", "w90"],
["x", "y", "w91"],
["y", "e91_1"],

["x", "y", "w96"],
["x", "y", "w95"],
["y", "e95_1"],

["x", "y", "w3"],
["x", "y", "e3_1"],
["y", "e3_1"],
["y", "e3_2"],
["e3_2", "e3_3"],
["e3_1", "e3_3"],
["e3_2", "e3_4"],
["e3_3", "e3_4"],
["e3_4", "e3_5"],
["e3_5", "e3_8"],
["e3_4", "e3_8"],
["e3_4", "e3_9"],
["e3_8", "e3_9"],
["e3_9", "e3_11"],

["x", "y", "w15"],
["x", "y", "e15_1"],
["y", "e15_1"],
["y", "e15_2"],
["e15_2", "e15_3"],
["e15_1", "e15_3"],
["e15_2", "e15_4"],
["e15_3", "e15_4"],
["e15_4", "e15_5"],
["e15_5", "e15_8"],
["e15_4", "e15_8"],
["e15_4", "e15_9"],
["e15_8", "e15_9"],
["e15_9", "e15_11"],

["x", "y", "w27"],
["x", "y", "e27_1"],
["y", "e27_1"],
["y", "e27_2"],
["e27_2", "e27_3"],
["e27_1", "e27_3"],
["e27_2", "e27_4"],
["e27_3", "e27_4"],
["e27_4", "e27_5"],
["e27_5", "e27_8"],
["e27_4", "e27_8"],
["e27_4", "e27_9"],
["e27_8", "e27_9"],
["e27_9", "e27_11"],

["x", "y", "w39"],
["x", "y", "e39_1"],
["y", "e39_1"],
["y", "e39_2"],
["e39_2", "e39_3"],
["e39_1", "e39_3"],
["e39_2", "e39_4"],
["e39_3", "e39_4"],
["e39_4", "e39_5"],
["e39_5", "e39_8"],
["e39_4", "e39_8"],
["e39_4", "e39_9"],
["e39_8", "e39_9"],
["e39_9", "e39_11"],

["x", "y", "w51"],
["x", "y", "e51_1"],
["y", "e51_1"],
["y", "e51_2"],
["e51_2", "e51_3"],
["e51_1", "e51_3"],
["e51_2", "e51_4"],
["e51_3", "e51_4"],
["e51_4", "e51_5"],
["e51_5", "e51_8"],
["e51_4", "e51_8"],
["e51_4", "e51_9"],
["e51_8", "e51_9"],
["e51_9", "e51_11"],

["x", "y", "w63"],
["x", "y", "e63_1"],
["y", "e63_1"],
["y", "e63_2"],
["e63_2", "e63_3"],
["e63_1", "e63_3"],
["e63_2", "e63_4"],
["e63_3", "e63_4"],
["e63_4", "e63_5"],
["e63_5", "e63_8"],
["e63_4", "e63_8"],
["e63_4", "e63_9"],
["e63_8", "e63_9"],
["e63_9", "e63_11"],

["x", "y", "w75"],
["x", "y", "e75_1"],
["y", "e75_1"],
["y", "e75_2"],
["e75_2", "e75_3"],
["e75_1", "e75_3"],
["e75_2", "e75_4"],
["e75_3", "e75_4"],
["e75_4", "e75_5"],
["e75_5", "e75_8"],
["e75_4", "e75_8"],
["e75_4", "e75_9"],
["e75_8", "e75_9"],
["e75_9", "e75_11"],

["x", "y", "w87"],
["x", "y", "e87_1"],
["y", "e87_1"],
["y", "e87_2"],
["e87_2", "e87_3"],
["e87_1", "e87_3"],
["e87_2", "e87_4"],
["e87_3", "e87_4"],
["e87_4", "e87_5"],
["e87_5", "e87_8"],
["e87_4", "e87_8"],
["e87_4", "e87_9"],
["e87_8", "e87_9"],
["e87_9", "e87_11"],

["x", "y", "w99"],
["x", "y", "e99_1"],
["y", "e99_1"],
["y", "e99_2"],
["e99_2", "e99_3"],
["e99_1", "e99_3"],
["e99_2", "e99_4"],
["e99_3", "e99_4"],
["e99_4", "e99_5"],
["e99_5", "e99_8"],
["e99_4", "e99_8"],
["e99_4", "e99_9"],
["e99_8", "e99_9"],
["e99_9", "e99_11"]
],
[
"e9_1", "e9_2", "e9_3", "e9_4",
"e21_1", "e21_2", "e21_3", "e21_4",
"e33_1", "e33_2", "e33_3", "e33_4",
"e45_1", "e45_2", "e45_3", "e45_4",
"e57_1", "e57_2", "e57_3", "e57_4",
"e69_1", "e69_2", "e69_3", "e69_4",
"e81_1", "e81_2", "e81_3", "e81_4",
"e93_1", "e93_2", "e93_3", "e93_4",
"e6_1", "e7_1", "e7_2",
"e12_1", "e11_1", "e11_2",
"e18_1", "e19_1", "e19_2",
"e24_1", "e23_1", "e23_2",
"e30_1", "e31_1", "e31_2",
"e36_1", "e35_1", "e35_2",
"e42_1", "e43_1", "e43_2",
"e48_1", "e47_1", "e47_2",
"e54_1", "e55_1", "e55_2",
"e60_1", "e59_1", "e59_2",
"e66_1", "e67_1", "e67_2",
"e72_1", "e71_1", "e71_2",
"e78_1", "e79_1", "e79_2",
"e84_1", "e83_1", "e83_2",
"e90_1", "e91_1", "e91_2",
"e96_1", "e95_1", "e95_2",
"e3_1", "e3_2", "e3_3", "e3_4", "e3_5", "e3_6", "e3_7", "e3_8", "e3_9", "e3_10", "e3_11", "e3_12", "e3_13", "e3_14",
"e15_1", "e15_2", "e15_3", "e15_4", "e15_5", "e15_6", "e15_7", "e15_8", "e15_9", "e15_10", "e15_11", "e15_12", "e15_13", "e15_14",
"e27_1", "e27_2", "e27_3", "e27_4", "e27_5", "e27_6", "e27_7", "e27_8", "e27_9", "e27_10", "e27_11", "e27_12", "e27_13", "e27_14",
"e39_1", "e39_2", "e39_3", "e39_4", "e39_5", "e39_6", "e39_7", "e39_8", "e39_9", "e39_10", "e39_11", "e39_12", "e39_13", "e39_14",
"e51_1", "e51_2", "e51_3", "e51_4", "e51_5", "e51_6", "e51_7", "e51_8", "e51_9", "e51_10", "e51_11", "e51_12", "e51_13", "e51_14",
"e63_1", "e63_2", "e63_3", "e63_4", "e63_5", "e63_6", "e63_7", "e63_8", "e63_9", "e63_10", "e63_11", "e63_12", "e63_13", "e63_14",
"e75_1", "e75_2", "e75_3", "e75_4", "e75_5", "e75_6", "e75_7", "e75_8", "e75_9", "e75_10", "e75_11", "e75_12", "e75_13", "e75_14",
"e87_1", "e87_2", "e87_3", "e87_4", "e87_5", "e87_6", "e87_7", "e87_8", "e87_9", "e87_10", "e87_11", "e87_12", "e87_13", "e87_14",
"e99_1", "e99_2", "e99_3", "e99_4", "e99_5", "e99_6", "e99_7", "e99_8", "e99_9", "e99_10", "e99_11", "e99_12", "e99_13", "e99_14"
]
]
]
}
}
Loading

0 comments on commit 331fa4b

Please sign in to comment.