No Arabic abstract
We consider resolutions of codimension-two enhanced singularities from $SO(12)$ to $E_7$ and from $E_7$ to $E_8$ in six-dimensional F-theory, where a half-hypermultiplet arises for generic complex structures achieving them. The exceptional fibers at the enhanced point exhibit different structures depending on how the colliding 7-brane approaches the stack of gauge 7-branes, as previously observed by Morrison and Taylor in the case of the enhancement from $SU(6)$ to $E_6$. When the colliding brane approaches them as $O(s)$, where $s$ is the coordinate of the base space along the gauge 7-branes, the resolution process ends up with fewer exceptional fibers than naively expected from the Kodaira classification, with a non-Dynkin intersection matrix including half-integral intersection numbers. We confirm that the exceptional fibers at the enhanced point form extremal rays of the cone of the positive weights of the relevant pseudo-real representation, explaining why a half-hypermultiplet arises there. By altering the ordering of the singularities blown up in the process, we obtain, for both $SO(12)rightarrow E_7$ and $E_7rightarrow E_8$, the intersection diagram on every other row of the corresponding box graphs. We present detailed derivations of the intersection diagrams of the exceptional fibers at the singularity enhanced points by examining how an exceptional curve is lifted up on the chart arising due to the subsequent blowing-up process. When the colliding brane approaches the stack of branes as $O(s^2)$, we obtain additional conifold singularity at the enhanced point, which completes the full Dynkin diagram of the enhanced group as was found previously.
Motivated by engineering vector-like (Higgs) pairs in the spectrum of 4d F-theory compactifications, we combine machine learning and algebraic geometry techniques to analyze line bundle cohomologies on families of holomorphic curves. To quantify jumps of these cohomologies, we first generate 1.8 million pairs of line bundles and curves embedded in $dP_3$, for which we compute the cohomologies. A white-box machine learning approach trained on this data provides intuition for jumps due to curve splittings, which we use to construct additional vector-like Higgs-pairs in an F-Theory toy model. We also find that, in order to explain quantitatively the full dataset, further tools from algebraic geometry, in particular Brill--Noether theory, are required. Using these ingredients, we introduce a diagrammatic way to express cohomology jumps across the parameter space of each family of matter curves, which reflects a stratification of the F-theory complex structure moduli space in terms of the vector-like spectrum. Furthermore, these insights provide an algorithmically efficient way to estimate the possible cohomology dimensions across the entire parameter space.
Building on the five-dimensional constructions in hep-th/0601177, we provide a unified description of four-dimensional N = 2 superconformal off-shell multiplets in projective superspace, including a realization in terms of N = 1 superfields. In particular, superconformal polar multiplets are consistently defined for the first time. We present new 4D N = 2 superconformal sigma-models described by polar multiplets. Such sigma-models realize general superconformal couplings in projective superspace, but involve an infinite tale of auxiliary N = 1 superfields. The auxiliaries should be eliminated by solving infinitely many algebraic nonlinear equations, and this is a nontrivial technical problem. We argue that the latter can be avoided by making use of supersymmetry considerations. All information about the resulting superconformal model (and hence the associated superconformal cone) is encoded in the so-called canonical coordinate system for a Kaehler metric, which was introduced by Bochner and Calabi in the late 1940s.
We study instanton contributions to the superpotential of local F-theory compactifications which could potentially be used to engineer models of dynamical supersymmetry breaking. These instantons correspond to Euclidean 3-branes which form a threshold bound state with spacetime filling 7-branes. In certain cases, their contributions to the effective 4d superpotential can be determined in both perturbative string theory as well as directly via the topologically twisted theory on the 3-brane worldvolume, and in all cases we observe an exact match between these results. We further present an instanton generated Polonyi-like model, and characterize subleading corrections to the superpotential which arise from multi-instantons. We also study instanton contributions to 4d pure N=1 SU(N) gauge theory realized by a stack of 7-branes wrapping a rigid 4-cycle and find that there is a non-trivial contribution to the glueball superpotential from the single instanton sector. This correction is absent in the purely 4d theory and could conceivably be used either to stabilize moduli or to break supersymmetry.
The Tate forms for elliptically fibered Calabi-Yau manifolds are reconsidered in order to determine their general validity. We point out that there were some implicit assumptions made in the original derivation of these Tate forms from the Tate algorithm. By a careful analysis of the Tate algorithm itself, we deduce that the Tate forms (without any futher divisiblity assumptions) do not hold in some instances and have to be replaced by a new type of ansatz. Furthermore, we give examples in which the existence of a Tate form can be globally obstructed, i.e., the change of coordinates does not extend globally to sections of the entire base of the elliptic fibration. These results have implications both for model-building and for the exploration of the landscape of F-theory vacua.
We compute $tau_{RR}$ minimization in gauged supergravity for M-theory and String Theory truncations with both massless and massive vector multiplets. We explicitly compute, as anticipated in cite{Amariti:2015ybz}, that massive vector fields at the vacuum require the introduction of a constraint through a Lagrange multiplier. We illustrate this explicitly in two examples, namely the $U(1)^2$-invariant truncation dual to the mABJM model and the ISO(7) truncation in massive IIA, the latter being a theory with both electric and magnetic gauging. We revisit the vacuum constraints at $AdS_4$ and show how the supergravity analysis matches the results of the field theory dual computation.