From 22f0fcb19e7913b6c88f3651a4f00ae317cc4058 Mon Sep 17 00:00:00 2001 From: emikelsons Date: Mon, 26 Aug 2024 12:10:01 +0200 Subject: [PATCH] Added verticality checks for g4 fluxes and changed zero section methods --- docs/oscar_references.bib | 9 + .../FTheoryTools/docs/src/literature.md | 1 + .../src/AbstractFTheoryModels/attributes.jl | 30 +- .../src/AbstractFTheoryModels/methods.jl | 13 +- .../src/AbstractFTheoryModels/properties.jl | 1 + .../FTheoryTools/src/G4Fluxes/properties.jl | 63 +- .../Models/model1208_2695-1.json | 2 +- .../Models/model1408_4808-10-WSF.json | 2 +- .../Models/model1408_4808-10.json | 2 +- .../Models/model1408_4808-11-WSF.json | 2 +- .../Models/model1408_4808-11.json | 2 +- .../Models/model1408_4808-12-WSF.json | 2 +- .../Models/model1408_4808-12.json | 2 +- .../Models/model1408_4808-13-WSF.json | 2 +- .../Models/model1408_4808-13.json | 2 +- .../Models/model1408_4808-14-WSF.json | 2 +- .../Models/model1408_4808-14.json | 2 +- .../Models/model1408_4808-15-WSF.json | 2 +- .../Models/model1408_4808-15.json | 2 +- .../Models/model1408_4808-16-WSF.json | 2 +- .../Models/model1408_4808-16.json | 2 +- .../Models/model1408_4808-3-WSF.json | 2 +- .../Models/model1408_4808-3.json | 2 +- .../Models/model1408_4808-5-WSF.json | 2 +- .../Models/model1408_4808-5.json | 2 +- .../Models/model1408_4808-6-WSF.json | 2 +- .../Models/model1408_4808-6.json | 2 +- .../Models/model1408_4808-7-WSF.json | 2 +- .../Models/model1408_4808-7.json | 2 +- .../Models/model1408_4808-8-WSF.json | 2 +- .../Models/model1408_4808-8.json | 2 +- .../Models/model1408_4808-9-WSF.json | 2 +- .../Models/model1408_4808-9.json | 2 +- .../Models/model1507_05954-1.json | 2 +- .../Models/model1511_03209.json | 565 +++++++++--------- .../Models/model1903_00009.json | 3 +- .../src/LiteratureModels/constructors.jl | 4 + .../src/LiteratureModels/model_reference.json | 3 +- experimental/FTheoryTools/src/exports.jl | 5 + .../FTheoryTools/test/literature_models.jl | 2 +- 40 files changed, 434 insertions(+), 321 deletions(-) diff --git a/docs/oscar_references.bib b/docs/oscar_references.bib index 927f570b4726..86875f814ba9 100644 --- a/docs/oscar_references.bib +++ b/docs/oscar_references.bib @@ -1654,6 +1654,15 @@ @PhDThesis{Lev05 school = {Technische Universität Kaiserslautern} } +@PhDThesis{Lin16, + author = {Ling, Lin}, + title = {Gauge Fluxes in F-theory Compactifications}, + year = {2016}, + doi = {10.11588/heidok.00021601}, + type = {doctoralthesis}, + school = {Heidelberg U.} +} + @Book{Liu06, author = {Liu, Qing}, title = {Algebraic geometry and arithmetic curves. Transl. by Reinie Erné}, diff --git a/experimental/FTheoryTools/docs/src/literature.md b/experimental/FTheoryTools/docs/src/literature.md index f40a8e00c2ed..a97159174006 100644 --- a/experimental/FTheoryTools/docs/src/literature.md +++ b/experimental/FTheoryTools/docs/src/literature.md @@ -99,6 +99,7 @@ following methods: * `has_weighted_resolution_generating_sections(m::AbstractFTheoryModel)`, * `has_weighted_resolution_zero_sections(m::AbstractFTheoryModel)`, * `has_zero_section(m::AbstractFTheoryModel)`, +* `has_zero_section_coordinates(m::AbstractFTheoryModel)`, * `has_gauge_algebra(m::AbstractFTheoryModel)`, * `has_global_gauge_quotients(m::AbstractFTheoryModel)`. diff --git a/experimental/FTheoryTools/src/AbstractFTheoryModels/attributes.jl b/experimental/FTheoryTools/src/AbstractFTheoryModels/attributes.jl index 46a55ff7b59f..fab9b5c3b746 100644 --- a/experimental/FTheoryTools/src/AbstractFTheoryModels/attributes.jl +++ b/experimental/FTheoryTools/src/AbstractFTheoryModels/attributes.jl @@ -1013,10 +1013,10 @@ end @doc raw""" - zero_section(m::AbstractFTheoryModel) + zero_section_coordinates(m::AbstractFTheoryModel) -Return the zero section of the given model. -If no zero section is known, an error is raised. +Return the zero section coordinates of the given model. +If no zero section coordinates are known, an error is raised. This information is not typically stored as an attribute for Weierstrass and global Tate models, whose zero sections are known. @@ -1026,13 +1026,35 @@ Assuming that the first row of the given grading is the grading under Kbar Hypersurface model over a not fully specified base -julia> zero_section(h) +julia> zero_section_coordinates(h) 3-element Vector{QQMPolyRingElem}: 0 1 0 ``` """ +function zero_section_coordinates(m::AbstractFTheoryModel) + @req has_zero_section_coordinates(m) "No zero section coordinates stored for this model" + return get_attribute(m, :zero_section_coordinates) +end + + +@doc raw""" + zero_section(m::AbstractFTheoryModel) + +Return the zero section of a model as a cohomology class in the toric ambient space. +If no zero section is known, an error is raised. +This information is not typically available for +Weierstrass and global Tate models, whose zero sections are known. + +```jldoctest; setup = :(Oscar.LazyArtifacts.ensure_artifact_installed("QSMDB", Oscar.LazyArtifacts.find_artifacts_toml(Oscar.oscardir))) +julia> qsm_model = literature_model(arxiv_id = "1903.00009", model_parameters = Dict("k" => 4)) +Hypersurface model over a concrete base + +julia> zero_section(qsm_model) +Cohomology class on a normal toric variety given by x32 + 2*x33 + 3*x34 + x35 - x36 +``` +""" function zero_section(m::AbstractFTheoryModel) @req has_zero_section(m) "No zero section stored for this model" return get_attribute(m, :zero_section) diff --git a/experimental/FTheoryTools/src/AbstractFTheoryModels/methods.jl b/experimental/FTheoryTools/src/AbstractFTheoryModels/methods.jl index d232d22bedc3..0cb1012eb1d7 100644 --- a/experimental/FTheoryTools/src/AbstractFTheoryModels/methods.jl +++ b/experimental/FTheoryTools/src/AbstractFTheoryModels/methods.jl @@ -634,10 +634,19 @@ function set_weighted_resolution_zero_sections(m::AbstractFTheoryModel, vs::Vect set_attribute!(m, :weighted_resolution_zero_sections => result) end -function set_zero_section(m::AbstractFTheoryModel, desired_value::Vector{String}) +function set_zero_section_coordinates(m::AbstractFTheoryModel, desired_value::Vector{String}) R, _ = polynomial_ring(QQ, collect(keys(explicit_model_sections(m))), cached = false) f = hom(R, cox_ring(base_space(m)), collect(values(explicit_model_sections(m)))) - set_attribute!(m, :zero_section => [f(eval_poly(l, R)) for l in desired_value]) + set_attribute!(m, :zero_section_coordinates => [f(eval_poly(l, R)) for l in desired_value]) +end + +function set_zero_section(m::AbstractFTheoryModel, desired_value::String) + divs = torusinvariant_prime_divisors(ambient_space(m)) + cohomology_ring(ambient_space(m); check=false) + cox_gens = string.(gens(cox_ring(ambient_space(m)))) + @req desired_value in cox_gens "Specified zero section is invalid" + index = findfirst(x -> x==desired_value, cox_gens) + set_attribute!(m, :zero_section => cohomology_class(divs[index])) end function set_gauge_algebra(m::AbstractFTheoryModel, algebras::Vector{String}) diff --git a/experimental/FTheoryTools/src/AbstractFTheoryModels/properties.jl b/experimental/FTheoryTools/src/AbstractFTheoryModels/properties.jl index 73e21536243a..46497705aac3 100644 --- a/experimental/FTheoryTools/src/AbstractFTheoryModels/properties.jl +++ b/experimental/FTheoryTools/src/AbstractFTheoryModels/properties.jl @@ -96,6 +96,7 @@ has_weighted_resolutions(m::AbstractFTheoryModel) = has_attribute(m, :weighted_r has_weighted_resolution_generating_sections(m::AbstractFTheoryModel) = has_attribute(m, :weighted_resolution_generating_sections) has_weighted_resolution_zero_sections(m::AbstractFTheoryModel) = has_attribute(m, :weighted_resolution_zero_sections) has_zero_section(m::AbstractFTheoryModel) = has_attribute(m, :zero_section) +has_zero_section_coordinates(m::AbstractFTheoryModel) = has_attribute(m, :zero_section_coordinates) has_gauge_algebra(m::AbstractFTheoryModel) = has_attribute(m, :gauge_algebra) has_global_gauge_quotients(m::AbstractFTheoryModel) = has_attribute(m, :global_gauge_quotients) diff --git a/experimental/FTheoryTools/src/G4Fluxes/properties.jl b/experimental/FTheoryTools/src/G4Fluxes/properties.jl index ccaa95f1f860..57d96943a474 100644 --- a/experimental/FTheoryTools/src/G4Fluxes/properties.jl +++ b/experimental/FTheoryTools/src/G4Fluxes/properties.jl @@ -14,7 +14,7 @@ for any two toric divisors $D_1$, $D_2$. If all of these simple consistency checks are met, this method will return `true` and otherwise `false`. -It is worth mentioning that currently (July 2024), we only +It is worth mentioning that currently (August 2024), we only support this check for $G_4$-fluxes defined on Weierstrass, global Tate and hypersurface models. If this condition is not met, this method will return an error. @@ -52,9 +52,68 @@ true # now execute elementary checks of the quantization condition for i in 1:length(c_ds) for j in i:length(c_ds) - numb = integrate(cohomology_class(ambient_space(m), twist_g4 * cy * c_ds[i] * c_ds[j]); check = false) + numb = integrate(cohomology_class(ambient_space(m), twist_g4 * c_ds[i] * c_ds[j] * cy); check = false) !is_integer(numb) && return false end end return true end + + +@doc raw""" + passes_verticality_checks(gf::G4Flux) + +G4-fluxes are subject to verticality conditions described in [Lin16](@cite). +It is hard to verify that these condition are met. However, +we can execute a number of simple consistency checks, by +verifying that $\int_{Y}{G_4 \wedge [D_1] \wedge [zero section]} = 0$ and $\int_{Y}{G_4 \wedge [D_1] \wedge [D_2]} = 0$ +for all toric base divisors $D_1$ and $D_2$. If all of these +simple consistency checks are met, this method will return +`true` and otherwise `false` + +```jldoctest; setup = :(Oscar.LazyArtifacts.ensure_artifact_installed("QSMDB", Oscar.LazyArtifacts.find_artifacts_toml(Oscar.oscardir))) +julia> qsm_model = literature_model(arxiv_id = "1903.00009", model_parameters = Dict("k" => 4)) +Hypersurface model over a concrete base + +julia> divs = torusinvariant_prime_divisors(ambient_space(qsm_model)); + +julia> e1 = cohomology_class(divs[35]);e2 = cohomology_class(divs[32]);e4 = cohomology_class(divs[34]); + +julia> u = cohomology_class(divs[33]);v = cohomology_class(divs[30]);pb_Kbar = cohomology_class(sum([divs[k] for k in 1:29])); + +julia> g4_class = (-3) // kbar3(qsm_model) * (5 * e1 * e4 + pb_Kbar * (-3 * e1 - 2 * e2 - 6 * e4 + pb_Kbar - 4 * u + v)); + +julia> g4 = g4_flux(qsm_model, g4_class, check = false) +G4-flux candidate lacking elementary quantization checks + +julia> passes_verticality_checks(g4) +true +``` +""" +@attr Bool function passes_verticality_checks(g4::G4Flux) + m = model(g4) + @req (m isa WeierstrassModel || m isa GlobalTateModel || m isa HypersurfaceModel) "Verticality checks for G4-fluxes only supported for Weierstrass, global Tate and hypersurface models" + @req base_space(m) isa NormalToricVariety "Verticality checks for G4-flux currently supported only for toric base" + @req ambient_space(m) isa NormalToricVariety "Verticality checks for G4-flux currently supported only for toric ambient space" + @req has_zero_section(m) "For verticality checks, a model zero section needs to be specified" + + # Compute the cohomology class corresponding to the hypersurface equation + cy = polynomial(cohomology_class(toric_divisor_class(ambient_space(m), degree(hypersurface_equation(m))))) + + n = length(gens(cox_ring(base_space(m)))) + c_ds = [polynomial(cohomology_class(d)) for d in torusinvariant_prime_divisors(ambient_space(m))[1:n]] + zero_sec = zero_section(m) + + # now execute verticality checks + for i in 1:n + numb = integrate(cohomology_class(ambient_space(m), polynomial(cohomology_class(g4)) * c_ds[i] * cy) * zero_sec; check = false) + numb!=0 && return false + end + for i in 1:n + for j in i:n + numb = integrate(cohomology_class(ambient_space(m), polynomial(cohomology_class(g4)) * c_ds[i] * c_ds[j] * cy); check = false) + numb!=0 && return false + end + end + return true +end diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1208_2695-1.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1208_2695-1.json index 7b3f342d8ca2..b37be5e281c7 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1208_2695-1.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1208_2695-1.json @@ -54,7 +54,7 @@ [1, 1, 0] ], "hypersurface_equation": "w^2 + b * v^2 * w - u * (c0 * u^3 + c1 * u^2 * v + c2 * u * v^2 + c3 * v^3)", - "zero_section": ["0", "1", "0"], + "zero_section_coordinates": ["0", "1", "0"], "generating_sections": [["0", "1", "-b"]] }, "birational_models": ["model1208_2695-2.json"] diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-10-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-10-WSF.json index 1829a55314a9..730483281503 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-10-WSF.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-10-WSF.json @@ -54,7 +54,7 @@ [-1, 0, 1, 2, -1, 0, -1], [-1, -1, -1, -1, 0, 0, 1] ], - "zero_section": ["0", "0", "1"] + "zero_section_coordinates": ["0", "0", "1"] }, "associated_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 index 47b15e1cb3c0..506496d64b83 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-10.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-10.json @@ -62,7 +62,7 @@ [-1, 1, 0, 0, 0, 0] ], "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"] + "zero_section_coordinates": ["s4", "1", "1", "1", "-s8", "0"] }, "associated_models": [ "model1408_4808-1.json", diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-11-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-11-WSF.json index ecb237ea5461..75ba3336c175 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-11-WSF.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-11-WSF.json @@ -55,7 +55,7 @@ [-1, 0, 1, -1, 0, 0], [-1, -1, -1, 0, 0, 1] ], - "zero_section": ["0", "0", "1"], + "zero_section_coordinates": ["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)", diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-11.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-11.json index 1cd6e0ae2887..03d773ce5ad6 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-11.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-11.json @@ -63,7 +63,7 @@ [ 1, 1, 0, 0, 0, 0, 0] ], "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^3*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"], + "zero_section_coordinates": ["1", "0", "s5", "1", "1", "-s5", "1"], "generating_sections": [ ["s9", "1", "1", "-s3", "1", "1", "0"] ] diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-12-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-12-WSF.json index dfd9824ab288..26330b1cb34d 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-12-WSF.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-12-WSF.json @@ -55,7 +55,7 @@ [-1, 0, -1, 0, 1, 0], [-1, -1, 0, 0, 0, 1] ], - "zero_section": ["0", "0", "1"], + "zero_section_coordinates": ["0", "0", "1"], "generating_sections": [ [ "1//12*(s6^2 - 4*s5*s7 - 4*s2*s9)", diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-12.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-12.json index d9bf6aa6e57b..f39198779d2e 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-12.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-12.json @@ -63,7 +63,7 @@ [1, 1, 0, 0, 0, 0, 0] ], "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"], + "zero_section_coordinates": ["0", "1", "1", "s7", "-s9", "1", "1"], "generating_sections": [ ["1", "s5", "1", "1", "-s9", "0", "1"], ["1", "1", "s2", "-s7", "1", "1", "0"] diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-13-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-13-WSF.json index e47f6edd0ee5..dcecf8ef6de7 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-13-WSF.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-13-WSF.json @@ -55,7 +55,7 @@ [-1, 0, 1, 0, 0], [-1, -1, -1, 0, 1] ], - "zero_section": ["0", "0", "1"], + "zero_section_coordinates": ["0", "0", "1"], "torsion_sections": [ ["1//12*(s6^2 - 4*s2*s9)", "0", "1"] ] diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-13.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-13.json index 2c957a0bf5a5..a50ddc0b7022 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-13.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-13.json @@ -63,7 +63,7 @@ [1, 1, 0, 0, 0, 0, 0, 0] ], "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"], + "zero_section_coordinates": ["1", "s1", "1", "1", "1", "-s9", "0", "1"], "torsion_sections": [ ["s9", "1", "1", "-s3", "1", "1", "1", "0"] ] diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-14-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-14-WSF.json index 9fd7b9b135a8..e35f3051c409 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-14-WSF.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-14-WSF.json @@ -55,7 +55,7 @@ [-1, -1, 0, 1, 0], [-1, 0, 0, 0, 1] ], - "zero_section": ["0", "0", "1"], + "zero_section_coordinates": ["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)", diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-14.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-14.json index 43231ec6682e..a6bb8c056fbd 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-14.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-14.json @@ -63,7 +63,7 @@ [1, 1, 0, 0, 0, 0, 0, 0] ], "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"], + "zero_section_coordinates": ["0", "1", "1", "s7", "-s9", "1", "1", "1"], "generating_sections": [ ["1", "1", "s1", "1", "1", "1", "-s7", "0"] ] diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-15-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-15-WSF.json index 79ea4c371eba..a7cdc57ae034 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-15-WSF.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-15-WSF.json @@ -55,7 +55,7 @@ [0, -1, 0, 1, 0], [-1, 0, 0, 0, 1] ], - "zero_section": ["0", "0", "1"], + "zero_section_coordinates": ["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"] ], diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-15.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-15.json index 770c60515543..9668b60f3305 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-15.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-15.json @@ -63,7 +63,7 @@ [1, 1, 0, 0, 0, 0, 0, 0] ], "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"], + "zero_section_coordinates": ["0", "1", "1", "s7", "-s9", "1", "1", "1"], "generating_sections": [ ["1", "1", "s2", "-s7", "1", "1", "0", "1"] ], diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-16-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-16-WSF.json index 9f628432110b..7fedb451b576 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-16-WSF.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-16-WSF.json @@ -55,7 +55,7 @@ [-1, 0, 1, 0], [-1, 0, 0, 1] ], - "zero_section": ["0", "0", "1"], + "zero_section_coordinates": ["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"] diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-16.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-16.json index de3c6519aedc..aa4a0a80021e 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-16.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-16.json @@ -63,7 +63,7 @@ [1, 1, 0, 0, 0, 0, 0, 0, 0] ], "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"], + "zero_section_coordinates": ["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"] diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-3-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-3-WSF.json index 85c63817eafc..c14921b10c10 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-3-WSF.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-3-WSF.json @@ -54,7 +54,7 @@ [-1, 0, 1, 2, -1, 0, 1, -1, 0], [-1, -1, -1, -1, 0, 0, 0, 1, 1] ], - "zero_section": ["0", "0", "1"], + "zero_section_coordinates": ["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))", diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-3.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-3.json index 0410305b1932..dd8bf026e599 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-3.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-3.json @@ -62,7 +62,7 @@ [1, 1, 0, 0] ], "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"], + "zero_section_coordinates": ["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"] ] diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-5-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-5-WSF.json index 955477e31a94..13b4a07465a9 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-5-WSF.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-5-WSF.json @@ -54,7 +54,7 @@ [-1, 0, 1, -1, 0, 1, -1, 0], [-1, -1, -1, 0, 0, 0, 1, 1] ], - "zero_section": ["0", "0", "1"], + "zero_section_coordinates": ["0", "0", "1"], "generating_sections": [ [ "1//12*(s6^2 - 4*s5*s7 + 8*s3*s8 - 4*s2*s9)", diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-5.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-5.json index a959961e6a1a..e9dab911b7c2 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-5.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-5.json @@ -62,7 +62,7 @@ [1, 1, 0, 0, 0] ], "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"], + "zero_section_coordinates": ["s9", "-s8", "1", "1", "0"], "generating_sections": [ ["s7", "1", "-s3", "0", "1"], ["0", "1", "1", "s7", "-s9"] diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-6-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-6-WSF.json index 7a85b5902c69..d6156e990ab6 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-6-WSF.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-6-WSF.json @@ -55,7 +55,7 @@ [-1, 0, 1, 2, -1, 0, 1, -1], [-1, -1, -1, -1, 0, 0, 0, 1] ], - "zero_section": ["0", "0", "1"], + "zero_section_coordinates": ["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)))", diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-6.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-6.json index 8b3351b62e11..f6cab5a694cd 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-6.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-6.json @@ -63,7 +63,7 @@ [1, 1, 0, 0, 0] ], "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"], + "zero_section_coordinates": ["-s7", "1", "s8", "1", "0"], "generating_sections": [ ["0", "1", "s4", "1", "-s7"] ] diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-7-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-7-WSF.json index 21c7bc27351e..7f55df1d2c25 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-7-WSF.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-7-WSF.json @@ -54,7 +54,7 @@ [0, 1, -1, 0, 1, -1, 0], [-1, -1, 0, 0, 0, 1, 1] ], - "zero_section": ["0", "0", "1"], + "zero_section_coordinates": ["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)", diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-7.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-7.json index 446cf2035fb4..d328fabab25b 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-7.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-7.json @@ -62,7 +62,7 @@ [1, 1, 0, 0, 0, 0] ], "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"], + "zero_section_coordinates": ["0", "1", "1", "s7", "1", "-s9"], "generating_sections": [ ["s7", "1", "-s3", "0", "1", "1"], ["1", "s5", "-s2", "1", "0", "1"], diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-8-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-8-WSF.json index b07b942db60d..e2f83b908374 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-8-WSF.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-8-WSF.json @@ -55,7 +55,7 @@ [-1, 0, 1, -1, 0, 1, -1], [-1, -1, -1, 0, 0, 0, 1] ], - "zero_section": ["0", "0", "1"], + "zero_section_coordinates": ["0", "0", "1"], "generating_sections": [ [ "1//12*( - s8^4*(s7^2*( - s6^2 + 4*s5*s7) - 8*s3*s7^2*s8))", diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-8.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-8.json index 258a0b966994..a8e145fe7977 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-8.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-8.json @@ -63,7 +63,7 @@ [-1, 1, 0, 0, 0, 0] ], "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"], + "zero_section_coordinates": ["s7", "1", "1", "-s8", "0", "1"], "generating_sections": [ ["s7", "1", "-s3", "1", "1", "0"] ] diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-9-WSF.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-9-WSF.json index 4095157b97f9..af97ea3e97b7 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-9-WSF.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-9-WSF.json @@ -55,7 +55,7 @@ [-1, 0, 1, -1, 0, 1, 0], [-1, -1, -1, 0, 0, 0, 1] ], - "zero_section": ["0", "0", "1"], + "zero_section_coordinates": ["0", "0", "1"], "generating_sections": [ [ "1//12*(s6^2 - 4*s5*s7 - 4*s2*s9)", diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-9.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-9.json index 6968dc634d01..3f744d2cec16 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-9.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1408_4808-9.json @@ -63,7 +63,7 @@ [1, 1, 0, 0, 0, 0] ], "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"], + "zero_section_coordinates": ["0", "1", "1", "s7", "-s9", "1"], "generating_sections": [ ["1", "s5", "1", "1", "-s9", "0"], ["s7", "1", "-s3", "0", "1", "1"] diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1507_05954-1.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1507_05954-1.json index 11537a04a0e9..d0777d7eec5e 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1507_05954-1.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1507_05954-1.json @@ -65,7 +65,7 @@ [1, 0, 0] ], "hypersurface_equation": "u*(s1*u^2 + s2*u*v + s3*v^2 + s5*u*w + s6*v*w + s8*w^2) + (a1*v + b1*w) * (a2*v + b2*w) * (a3*v + b3*w)", - "zero_section": ["0", "-b1", "a1"], + "zero_section_coordinates": ["0", "-b1", "a1"], "generating_sections": [ ["0", "-b2", "a2"], ["0", "-b3", "a3"] diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1511_03209.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1511_03209.json index 87e61e837fd6..8ec914f7270f 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1511_03209.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1511_03209.json @@ -47,290 +47,291 @@ "classes_of_model_sections_in_basis_of_Kbar_and_defining_classes": [ [1, 2, 3, 4, 6] ], - "resolutions": [ - [ + "zero_section": "z", + "zero_section_coordinates": ["1", "1", "0"] + "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"], - - ["y", "z"], - ["x", "ea_1"], - ["z", "ea_2"] - - ], - [ - "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", - "ea_1", "ea_2", "ea_3" + [ + ["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"], + + ["y", "z"], + ["x", "ea_1"], + ["z", "ea_2"] + ], + [ + "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", + "ea_1", "ea_2", "ea_3" + ] ] ] - ] } } diff --git a/experimental/FTheoryTools/src/LiteratureModels/Models/model1903_00009.json b/experimental/FTheoryTools/src/LiteratureModels/Models/model1903_00009.json index f98d5c9c337b..3c7d4b6a5da1 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/Models/model1903_00009.json +++ b/experimental/FTheoryTools/src/LiteratureModels/Models/model1903_00009.json @@ -59,6 +59,7 @@ "fiber_ambient_space_weights": [[1,0,-1,-1,0], [0,0,0,1,0], [0,0,1,-1,0], [1,-1,-1,0,-1], [0,0,0,0,1], [0,1,0,0,-1], [1,-1,0,0,0]], "D1": [0, 0], "D2": [0, 0], - "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^3*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" + "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^3*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": "v" } } diff --git a/experimental/FTheoryTools/src/LiteratureModels/constructors.jl b/experimental/FTheoryTools/src/LiteratureModels/constructors.jl index b03a0f4f9957..b7a449da70aa 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/constructors.jl +++ b/experimental/FTheoryTools/src/LiteratureModels/constructors.jl @@ -633,6 +633,10 @@ function _set_all_attributes(model::AbstractFTheoryModel, model_dict::Dict{Strin if haskey(model_dict["model_data"], "zero_section") set_zero_section(model, string.(model_dict["model_data"]["zero_section"])) end + + if haskey(model_dict["model_data"], "zero_section_coordinates") + set_zero_section_coordinates(model, string.(model_dict["model_data"]["zero_section_coordinates"])) + end if haskey(model_dict["model_data"], "generating_sections") set_generating_sections(model, map(k -> string.(k), model_dict["model_data"]["generating_sections"])) diff --git a/experimental/FTheoryTools/src/LiteratureModels/model_reference.json b/experimental/FTheoryTools/src/LiteratureModels/model_reference.json index eadbfdc7fbc6..b49b5b4c9d43 100644 --- a/experimental/FTheoryTools/src/LiteratureModels/model_reference.json +++ b/experimental/FTheoryTools/src/LiteratureModels/model_reference.json @@ -55,7 +55,8 @@ "fiber_coordinates": [""], "fiber_ambient_space": "", "hypersurface_equation": "", - "zero_section": ["", "", ""], + "zero_section": "", + "zero_section_coordinates": ["", "", ""], "generating_sections": [["", "", ""]], "torsion_sections": [["", "", ""]], "resolutions": [[[[""]], [""]]], diff --git a/experimental/FTheoryTools/src/exports.jl b/experimental/FTheoryTools/src/exports.jl index 032f3c355e2a..9dd810c60e4d 100644 --- a/experimental/FTheoryTools/src/exports.jl +++ b/experimental/FTheoryTools/src/exports.jl @@ -101,6 +101,7 @@ export has_weighted_resolution_generating_sections export has_weighted_resolution_zero_sections export has_weighted_resolutions export has_zero_section +export has_zero_section_coordinates export hodge_h11 export hodge_h12 export hodge_h13 @@ -135,6 +136,7 @@ export paper_buzzwords export paper_description export paper_title export passes_elementary_quantization_checks +export passes_verticality_checks export polytope_index export put_over_concrete_base export birational_literature_models @@ -181,6 +183,7 @@ export set_weighted_resolution_generating_sections export set_weighted_resolution_zero_sections export set_weighted_resolutions export set_zero_section +export set_zero_section_coordinates export simplified_dual_graph export singular_loci export su5_tate_model_over_arbitrary_3d_base @@ -208,3 +211,5 @@ export weighted_resolution_generating_sections export weighted_resolution_zero_sections export weighted_resolutions export weights +export zero_section +export zero_section_coordinates diff --git a/experimental/FTheoryTools/test/literature_models.jl b/experimental/FTheoryTools/test/literature_models.jl index b9c354c049eb..b87e752fb23b 100644 --- a/experimental/FTheoryTools/test/literature_models.jl +++ b/experimental/FTheoryTools/test/literature_models.jl @@ -365,7 +365,7 @@ h = literature_model(arxiv_id = "1507.05954", equation = "3.4") @test [string(g) for g in gens(cox_ring(fiber_ambient_space(h)))] == ["u", "v", "w"] @test is_base_space_fully_specified(h) == false @test is_partially_resolved(h) == false - @test string.(zero_section(h)) == ["0", "-b1", "a1"] + @test string.(zero_section_coordinates(h)) == ["0", "-b1", "a1"] end