Skip to content

Commit

Permalink
Further debugging, improving etc.
Browse files Browse the repository at this point in the history
  • Loading branch information
@HereAround
HereAround committed Jul 27, 2024
1 parent df97056 commit 4b557d4
Show file tree
Hide file tree
Showing 2 changed files with 297 additions and 5 deletions.
20 changes: 18 additions & 2 deletions experimental/FTheoryTools/src/AbstractFTheoryModels/methods.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -156,8 +156,11 @@ 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)
#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)

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)
Expand Down Expand Up @@ -769,6 +772,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 +801,10 @@ 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:92
print("$k\n")

# Replace parameters in the blow_up_center with explicit_model_sections
blow_up_center = centers[k]
Expand Down
282 changes: 279 additions & 3 deletions experimental/FTheoryTools/src/LiteratureModels/Models/model1511.03209.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -38,8 +38,6 @@
},
"model_data": {
"base_dim": 3,
"base_rays": [[0, 0, 1], [-1, -12, 0], [0, 1, 0], [1, 6, 0], [12, 71, 0], [11, 65, 0], [10, 59, 0], [9, 53, 0], [17, 100, 0], [8, 47, 0], [23, 135, 0], [15, 88, 0], [22, 129, 0], [29, 170, 0], [36, 211, 0], [7, 41, 0], [41, 240, 0], [34, 199, 0], [27, 158, 0], [20, 117, 0], [33, 193, 0], [13, 76, 0], [32, 187, 0], [19, 111, 0], [25, 146, 0], [31, 181, 0], [37, 216, 0], [6, 35, 0], [35, 204, 0], [29, 169, 0], [23, 134, 0], [17, 99, 0], [28, 163, 0], [11, 64, 0], [27, 157, 0], [16, 93, 0], [21, 122, 0], [26, 151, 0], [31, 180, 0], [5, 29, 0], [29, 168, 0], [24, 139, 0], [19, 110, 0], [14, 81, 0], [23, 133, 0], [9, 52, 0], [22, 127, 0], [13, 75, 0], [17, 98, 0], [21, 121, 0], [25, 144, 0], [4, 23, 0], [23, 132, 0], [19, 109, 0], [15, 86, 0], [11, 63, 0], [18, 103, 0], [7, 40, 0], [17, 97, 0], [10, 57, 0], [13, 74, 0], [16, 91, 0], [19, 108, 0], [3, 17, 0], [17, 96, 0], [14, 79, 0], [11, 62, 0], [8, 45, 0], [13, 73, 0], [5, 28, 0], [12, 67, 0], [7, 39, 0], [9, 50, 0], [11, 61, 0], [13, 72, 0], [2, 11, 0], [11, 60, 0], [9, 49, 0], [7, 38, 0], [5, 27, 0], [8, 43, 0], [3, 16, 0], [7, 37, 0], [4, 21, 0], [5, 26, 0], [6, 31, 0], [7, 36, 0], [1, 5, 0], [5, 24, 0], [4, 19, 0], [3, 14, 0], [2, 9, 0], [3, 13, 0], [1, 4, 0], [2, 7, 0], [1, 3, 0], [1, 2, 0], [1, 1, 0], [1, -0, 0], [-0, -1, 0], [84, 492, -1]],
"base_coordinates": ["w0", "w1", "w2", "w3", "w4", "w5", "w6", "w7", "w8", "w9", "w10", "w11", "w12", "w13", "w14", "w15", "w16", "w17", "w18", "w19", "w20", "w21", "w22", "w23", "w24", "w25", "w26", "w27", "w28", "w29", "w30", "w31", "w32", "w33", "w34", "w35", "w36", "w37", "w38", "w39", "w40", "w41", "w42", "w43", "w44", "w45", "w46", "w47", "w48", "w49", "w50", "w51", "w52", "w53", "w54", "w55", "w56", "w57", "w58", "w59", "w60", "w61", "w62", "w63", "w64", "w65", "w66", "w67", "w68", "w69", "w70", "w71", "w72", "w73", "w74", "w75", "w76", "w77", "w78", "w79", "w80", "w81", "w82", "w83", "w84", "w85", "w86", "w87", "w88", "w89", "w90", "w91", "w92", "w93", "w94", "w95", "w96", "w97", "w98", "w99", "w100"],
"model_sections": ["a1", "a2", "a3", "a4", "a6"],
"a1": "a1",
"a2": "a2",
Expand All @@ -49,6 +47,284 @@
"classes_of_model_sections_in_basis_of_Kbar_and_defining_classes": [
[1, 2, 3, 4, 6]
],
"generating_sections": [["0", "0", "1"]]
"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_3", "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_3", "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_3", "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_3", "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_3", "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_3", "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_3", "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_3", "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_3", "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"
]
]
]
}
}

0 comments on commit 4b557d4

Please sign in to comment.