-
Central extensions of higher groups: Green-Schwarz mechanism and 2-connections
Authors:
Monica **woo Kang,
Sungkyung Kang
Abstract:
We study the smooth $2$-group structure arising in the presence of quantum field theory with one-form symmetry. We acquire $2$-group structures obtained by a central extension of the zero-form symmetry by the one-form symmetry. We determine that the existence of a $2$-group structure is guaranteed by Chern--Simons levels. We further verify how we will be able to provide a fix to the current $2$-gr…
▽ More
We study the smooth $2$-group structure arising in the presence of quantum field theory with one-form symmetry. We acquire $2$-group structures obtained by a central extension of the zero-form symmetry by the one-form symmetry. We determine that the existence of a $2$-group structure is guaranteed by Chern--Simons levels. We further verify how we will be able to provide a fix to the current $2$-group problems by using the bibundle model. We outline the principal $2$-connection theory with respect to such $2$-group and compare it with the ansatz obtained from the Green--Schwarz mechanism. We further propose the existence of smooth $\infty$-group symmetries in quantum field theory.
△ Less
Submitted 27 November, 2023; v1 submitted 24 November, 2023;
originally announced November 2023.
-
Nonperturbative gravity corrections to bulk reconstruction
Authors:
Elliott Gesteau,
Monica **woo Kang
Abstract:
We introduce a new algebraic framework for understanding nonperturbative gravitational aspects of bulk reconstruction with a finite or infinite-dimensional boundary Hilbert space. We use relative entropy equivalence between bulk and boundary with an inclusion of nonperturbative gravitational errors, which give rise to approximate recovery. We utilize the privacy/correctability correspondence to pr…
▽ More
We introduce a new algebraic framework for understanding nonperturbative gravitational aspects of bulk reconstruction with a finite or infinite-dimensional boundary Hilbert space. We use relative entropy equivalence between bulk and boundary with an inclusion of nonperturbative gravitational errors, which give rise to approximate recovery. We utilize the privacy/correctability correspondence to prove that the reconstruction wedge, the intersection of all entanglement wedges in pure and mixed states, manifestly satisfies bulk reconstruction. We explicitly demonstrate that local operators in the reconstruction wedge of a given boundary region can be recovered in a state-independent way for arbitrarily large code subspaces, up to nonperturbative errors in $G_N$. We further discuss state-dependent recovery beyond the reconstruction wedge and the use of the twirled Petz map as a universal recovery channel. We discuss our setup in the context of quantum islands and the information paradox.
△ Less
Submitted 23 December, 2021;
originally announced December 2021.
-
Matter representations from geometry: under the spell of Dynkin
Authors:
Mboyo Esole,
Monica **woo Kang
Abstract:
In the traditional Katz-Vafa method, matter representations are determined by decomposing the adjoint representation of a parent simple Lie algebra $\mathfrak{m}$ as the direct sum of irreducible representations of a semisimple subalgebra $\mathfrak{g}$. The Katz-Vafa method becomes ambiguous as soon as $\mathfrak{m}$ contains several subalgebras isomorphic to $\mathfrak{g}$ but giving different d…
▽ More
In the traditional Katz-Vafa method, matter representations are determined by decomposing the adjoint representation of a parent simple Lie algebra $\mathfrak{m}$ as the direct sum of irreducible representations of a semisimple subalgebra $\mathfrak{g}$. The Katz-Vafa method becomes ambiguous as soon as $\mathfrak{m}$ contains several subalgebras isomorphic to $\mathfrak{g}$ but giving different decompositions of the adjoint representation. We propose a selection rule that characterizes the matter representations observed in generic constructions in F-theory and M-theory: the matter representations in generic F-theory compactifications correspond to linear equivalence classes of subalgebras $\mathfrak{g}\subset \mathfrak{m}$ with Dynkin index one along each simple components of $\mathfrak{g}$. This simple yet elegant selection rule allows us to apply the Katz-Vafa method to a much large class of models. We illustrate on numerous examples how this proposal streamlines the derivation of matter representations in F-theory and resolves previously ambiguous cases.
△ Less
Submitted 24 December, 2020;
originally announced December 2020.
-
Thermal states are vital: Entanglement Wedge Reconstruction from Operator-Pushing
Authors:
Elliott Gesteau,
Monica **woo Kang
Abstract:
We give a general construction of a setup that verifies bulk reconstruction, conservation of relative entropies, and equality of modular flows between the bulk and the boundary, for infinite-dimensional systems with operator-pushing. In our setup, a bulk-to-boundary map is defined at the level of the $C^*$-algebras of state-independent observables. We then show that if the boundary dynamics allow…
▽ More
We give a general construction of a setup that verifies bulk reconstruction, conservation of relative entropies, and equality of modular flows between the bulk and the boundary, for infinite-dimensional systems with operator-pushing. In our setup, a bulk-to-boundary map is defined at the level of the $C^*$-algebras of state-independent observables. We then show that if the boundary dynamics allow for the existence of a KMS state, physically relevant Hilbert spaces and von Neumann algebras can be constructed directly from our framework. Our construction should be seen as a state-dependent construction of the other side of a wormhole and clarifies the meaning of black hole reconstruction claims such as the Papadodimas-Raju proposal. As an illustration, we apply our result to construct a wormhole based on the HaPPY code, which satisfies all properties of entanglement wedge reconstruction.
△ Less
Submitted 14 May, 2020;
originally announced May 2020.
-
48 Crepant Paths to $\text{SU}(2)\!\times\!\text{SU}(3)$
Authors:
Mboyo Esole,
Ravi Jagadeesan,
Monica **woo Kang
Abstract:
We study crepant resolutions of Weierstrass models of $\text{SU}(2)\!\times\!\text{SU}(3)$-models, whose gauge group describes the non-abelian sector of the Standard Model. The $\text{SU}(2)\!\times\!\text{SU}(3)$-models are elliptic fibrations characterized by the collision of two Kodaira fibers with dual graphs that are affine Dynkin diagrams of type $\widetilde{\text{A}}_1$ and…
▽ More
We study crepant resolutions of Weierstrass models of $\text{SU}(2)\!\times\!\text{SU}(3)$-models, whose gauge group describes the non-abelian sector of the Standard Model. The $\text{SU}(2)\!\times\!\text{SU}(3)$-models are elliptic fibrations characterized by the collision of two Kodaira fibers with dual graphs that are affine Dynkin diagrams of type $\widetilde{\text{A}}_1$ and $\widetilde{\text{A}}_2$. Once we eliminate those collisions that do not have crepant resolutions, we are left with six distinct collisions that are related to each other by deformations. Each of these six collisions has eight distinct crepant resolutions whose flop diagram is a hexagon with two legs attached to two adjacent nodes. Hence, we consider 48 distinct resolutions that are connected to each other by deformations and flops. We determine topological invariants---such as Euler characteristics, Hodge numbers, and triple intersections of fibral divisors---for each of the crepant resolutions. We analyze the physics of these fibrations when used as compactifications of M-theory and F-theory on Calabi--Yau threefolds yielding 5d ${\mathcal N}=1$ and 6d ${\mathcal N}=(1,0)$ supergravity theories respectively. We study the 5d prepotential in the Coulomb branch of the theory and check that the six-dimensional theory is anomaly-free and compatible with a 6d uplift from a 5d theory.
△ Less
Submitted 13 May, 2019;
originally announced May 2019.
-
Characteristic numbers of elliptic fibrations with non-trivial Mordell-Weil groups
Authors:
Mboyo Esole,
Monica **woo Kang
Abstract:
We compute characteristic numbers of elliptically fibered fourfolds with multisections or non-trivial Mordell-Weil groups. We first consider the models of type E$_{9-d}$ with $d=1,2,3,4$ whose generic fibers are normal elliptic curves of degree $d$. We then analyze the characteristic numbers of the $Q_7$-model, which provides a smooth model for elliptic fibrations of rank one and generalizes the E…
▽ More
We compute characteristic numbers of elliptically fibered fourfolds with multisections or non-trivial Mordell-Weil groups. We first consider the models of type E$_{9-d}$ with $d=1,2,3,4$ whose generic fibers are normal elliptic curves of degree $d$. We then analyze the characteristic numbers of the $Q_7$-model, which provides a smooth model for elliptic fibrations of rank one and generalizes the E$_5$, E$_6$, and E$_7$-models. Finally, we examine the characteristic numbers of $G$-models with $G=\text{SO}(n)$ with $n=3,4,5,6$ and $G=\text{PSU}(3)$ whose Mordell-Weil groups are respectively $\mathbb{Z}/2\mathbb{Z}$ and $\mathbb{Z}/3 \mathbb{Z}$. In each case, we compute the Chern and Pontryagin numbers, the Euler characteristic, the holomorphic genera, the Todd-genus, the L-genus, the A-genus, and the eight-form curvature invariant from M-theory.
△ Less
Submitted 21 August, 2018;
originally announced August 2018.
-
Characteristic numbers of crepant resolutions of Weierstrass models
Authors:
Mboyo Esole,
Monica **woo Kang
Abstract:
We compute characteristic numbers of crepant resolutions of Weierstrass models corresponding to elliptically fibered fourfolds $Y$ dual in F-theory to a gauge theory with gauge group $G$. In contrast to the case of fivefolds, Chern and Pontryagin numbers of fourfolds are invariant under crepant birational maps. It follows that Chern and Pontryagin numbers are independent on a choice of a crepant r…
▽ More
We compute characteristic numbers of crepant resolutions of Weierstrass models corresponding to elliptically fibered fourfolds $Y$ dual in F-theory to a gauge theory with gauge group $G$. In contrast to the case of fivefolds, Chern and Pontryagin numbers of fourfolds are invariant under crepant birational maps. It follows that Chern and Pontryagin numbers are independent on a choice of a crepant resolution. We present the results for the Euler characteristic, the holomorphic genera, the Todd-genus, the $L$-genus, the $\hat{A}$-genus, and the curvature invariant $X_8$ that appears in M-theory. We also show that certain characteristic classes are independent on the choice of the Kodaria fiber characterizing the group $G$. That is the case of $\int_Y c_1^2 c_2$, the arithmetic genus, and the $\hat{A}$-genus. Thus, it is enough to know $\int_Y c_2^2$ and the Euler characteristic $χ(Y)$ to determine all the Chern numbers of an elliptically fibered fourfold. We consider the cases of $G=$ SU($n$) for ($n=2,3,4,5,6,7$), USp($4$), Spin($7$), Spin($8$), Spin($10$), G$_2$, F$_4$, E$_6$, E$_7$, or E$_8$.
△ Less
Submitted 23 July, 2018;
originally announced July 2018.
-
The Geometry of the SU(2)$\times$ G$_2$-model
Authors:
Mboyo Esole,
Monica **woo Kang
Abstract:
We study elliptic fibrations that geometrically engineer an SU(2)$\times$ G$_2$ gauge theory realized by Weierstrass model for the collision III+$\text{I}_0^{*\text{ns}}$. We construct the four possible crepant resolutions of such a Weierstrass model and show that they form a chain of four minimal models connected by flops. We compute the generating function for the Euler characteristic of these c…
▽ More
We study elliptic fibrations that geometrically engineer an SU(2)$\times$ G$_2$ gauge theory realized by Weierstrass model for the collision III+$\text{I}_0^{*\text{ns}}$. We construct the four possible crepant resolutions of such a Weierstrass model and show that they form a chain of four minimal models connected by flops. We compute the generating function for the Euler characteristic of these crepant resolutions. In the case of a Calabi-Yau threefold, we consider the compactification of M-theory and F-theory on an SU(2)$\times$ G$_2$-model to a five and six-dimensional supergravity with eight supercharges. By matching each crepant resolution with each Coulomb chamber of the five-dimensional theory, we determine the number of multiplets and compute the prepotential in each Coulomb chamber. In particular, we discuss counting number of hypermultiplets in presence of singularities. We discuss in detail the cancellation of anomalies of the six-dimensional theory.
△ Less
Submitted 12 June, 2019; v1 submitted 8 May, 2018;
originally announced May 2018.
-
Flop** and Slicing: SO(4) and Spin(4)-models
Authors:
Mboyo Esole,
Monica **woo Kang
Abstract:
We study the geometric engineering of gauge theories with gauge group Spin(4) and SO(4) using crepant resolutions of Weierstrass models. The corresponding elliptic fibrations realize a collision of singularities corresponding to two fibers with dual graph the affine $A_1$ Dynkin diagram. There are eight different ways to engineer such collisions using decorated Kodaira fibers. The Mordell-Weil gro…
▽ More
We study the geometric engineering of gauge theories with gauge group Spin(4) and SO(4) using crepant resolutions of Weierstrass models. The corresponding elliptic fibrations realize a collision of singularities corresponding to two fibers with dual graph the affine $A_1$ Dynkin diagram. There are eight different ways to engineer such collisions using decorated Kodaira fibers. The Mordell-Weil group of the elliptic fibration is required to be trivial for Spin(4) and Z/2Z for SO(4).
Each of these models have two possible crepant resolutions connected by a flop. We also compute a generating function for the Euler characteristic of such elliptic fibrations over a base of arbitrary dimensions. In the case of a threefold, we also compute the triple intersection numbers of the fibral divisors. In the case of Calabi-Yau threefolds, we also compute their Hodge numbers, and check the cancellations of anomalies in a six-dimensional supergravity theory.
△ Less
Submitted 13 February, 2018;
originally announced February 2018.
-
Mordell-Weil Torsion, Anomalies, and Phase Transitions
Authors:
Mboyo Esole,
Monica **woo Kang,
Shing-Tung Yau
Abstract:
We explore how introducing a non-trivial Mordell-Weil group changes the structure of the Coulomb phases of a five-dimensional gauge theory from an M-theory compactified on an elliptically fibered Calabi-Yau threefolds with a I$_2$+I$_4$ collision of singularities. The resulting gauge theory has a semi-simple Lie algebra $\mathfrak{su}(2)\oplus \mathfrak{sp}(4)$ or…
▽ More
We explore how introducing a non-trivial Mordell-Weil group changes the structure of the Coulomb phases of a five-dimensional gauge theory from an M-theory compactified on an elliptically fibered Calabi-Yau threefolds with a I$_2$+I$_4$ collision of singularities. The resulting gauge theory has a semi-simple Lie algebra $\mathfrak{su}(2)\oplus \mathfrak{sp}(4)$ or $\mathfrak{su}(2)\oplus \mathfrak{su}(4)$. We compute topological invariants relevant for the physics, such as the Euler characteristic, Hodge numbers, and triple intersection numbers. We determine the matter representation geometrically by computing weights via intersection of curves and fibral divisors. We fix the number of charged hypermultiplets transforming in each representations by comparing the triple intersection numbers and the one-loop prepotential. This condition is enough to fix the number of representation when the Mordell-Weil group is $\mathbb{Z}_2$ but not when it is trivial. The vanishing of the fourth power of the curvature forms in the anomaly polynomial is enough to fix the number of representations. We discuss anomaly cancellations of the six-dimensional uplifted. In particular, the gravitational anomaly is also considered as the Hodge numbers are computed explicitly without counting the degrees of freedom of the Weierstrass equation.
△ Less
Submitted 6 December, 2017;
originally announced December 2017.
-
The Geometry of G$_2$, Spin(7), and Spin(8)-models
Authors:
Mboyo Esole,
Ravi Jagadeesan,
Monica **woo Kang
Abstract:
We study the geometry of elliptic fibrations given by Weierstrass models resulting from Step 6 of Tate's algorithm. Such elliptic fibrations have a discriminant locus containing an irreducible component $S$, over which the generic fiber is of Kodaira type I$^*_0$. In string geometry, these geometries are used to geometrically engineer G$_2$, Spin($7$), and Spin($8$) gauge theories. We give suffici…
▽ More
We study the geometry of elliptic fibrations given by Weierstrass models resulting from Step 6 of Tate's algorithm. Such elliptic fibrations have a discriminant locus containing an irreducible component $S$, over which the generic fiber is of Kodaira type I$^*_0$. In string geometry, these geometries are used to geometrically engineer G$_2$, Spin($7$), and Spin($8$) gauge theories. We give sufficient conditions for the existence of crepant resolutions. When they exist, we give a complete description of all crepant resolutions and show explicitly how the network of flops matches the Coulomb branch of the associated gauge theories. We also compute the triple intersection numbers in each chamber. Physically, they correspond to the Chern-Simons levels of the gauge theory and depend on the choice of a Coulomb branch. We determine the representations associated with these elliptic fibrations by computing intersection numbers with fibral divisors and then interpreting them as weights of a representation. For a five-dimensional gauge theory, we compute the number of hypermultiplets in each representation by matching the triple intersection numbers with the superpotential of the theory.
We also discuss anomaly cancellations of a six-dimensional supergravity theory obtained by a compactification of F-theory on an elliptically fibered Calabi--Yau threefold corresponding to a G$_2$, Spin($7$), or Spin($8$) gauge theory.
△ Less
Submitted 18 September, 2019; v1 submitted 14 September, 2017;
originally announced September 2017.
-
The Geometry of F$_4$-Models
Authors:
Mboyo Esole,
Patrick Jefferson,
Monica **woo Kang
Abstract:
We study the geometry of elliptic fibrations satisfying the conditions of Step 8 of Tate's algorithm. We call such geometries F$_4$-models, as the dual graph of their special fiber is the twisted affine Dynkin diagram $\widetilde{\text{F}}_4^t$. These geometries are used in string theory to model gauge theories with the exceptional Lie group F$_4$ on a smooth divisor $S$ of the base. Starting with…
▽ More
We study the geometry of elliptic fibrations satisfying the conditions of Step 8 of Tate's algorithm. We call such geometries F$_4$-models, as the dual graph of their special fiber is the twisted affine Dynkin diagram $\widetilde{\text{F}}_4^t$. These geometries are used in string theory to model gauge theories with the exceptional Lie group F$_4$ on a smooth divisor $S$ of the base. Starting with a singular Weierstrass model of an F$_4$-model, we present a crepant resolution of its singularities. We study the fiber structure of this smooth elliptic fibration and identify the fibral divisors up to isomorphism as schemes over $S$. These are $\mathbb{P}^1$-bundles over $S$ or double covers of $\mathbb{P}^1$-bundles over $S$. We compute basic topological invariants such as the double and triple intersection numbers of the fibral divisors and the Euler characteristic of the F$_4$-model.
In the case of Calabi-Yau threefolds, we compute the linear form induced by the second Chern class and the Hodge numbers. We also explore the meaning of these geometries for the physics of gauge theories in five and six-dimensional minimal supergravity theories with eight supercharges.
We also introduce the notion of "frozen representations" and explore the role of the Stein factorization in the study of fibral divisors of elliptic fibrations.
△ Less
Submitted 26 April, 2017;
originally announced April 2017.
-
Euler Characteristics of Crepant Resolutions of Weierstrass Models
Authors:
Mboyo Esole,
Patrick Jefferson,
Monica **woo Kang
Abstract:
Based on an identity of Jacobi, we prove a simple formula that computes the pushforward of analytic functions of the exceptional divisor of a blowup of a projective variety along a smooth complete intersection with normal crossing. We apply this pushforward formula to derive generating functions for Euler characteristics of crepant resolutions of singular Weierstrass models given by Tate's algorit…
▽ More
Based on an identity of Jacobi, we prove a simple formula that computes the pushforward of analytic functions of the exceptional divisor of a blowup of a projective variety along a smooth complete intersection with normal crossing. We apply this pushforward formula to derive generating functions for Euler characteristics of crepant resolutions of singular Weierstrass models given by Tate's algorithm. Since these Euler characteristics depend only on the sequence of blowups and not on the Kodaira fiber itself, nor the associated group, several distinct Tate models have the same Euler characteristic. In the case of elliptic Calabi-Yau threefolds, we also compute the Hodge numbers. For elliptically fibered Calabi-Yau fourfolds, our results also prove a conjecture of Blumenhagen-Grimm-Jurke-Weigand based on F-theory/heterotic string duality.
△ Less
Submitted 6 June, 2019; v1 submitted 1 March, 2017;
originally announced March 2017.
-
A New Model for Elliptic Fibrations with a Rank One Mordell-Weil Group: I. Singular Fibers and Semi-Stable Degenerations
Authors:
Mboyo Esole,
Monica **woo Kang,
Shing-Tung Yau
Abstract:
We introduce a new model for elliptic fibrations endowed with a Mordell-Weil group of rank one. We call it a Q$_7(\mathscr{L},\mathscr{S})$ model.
It naturally generalizes several previous models of elliptic fibrations popular in the F-theory literature. The model is also explicitly smooth, thus relevant physical quantities can be computed in terms of topological invariants in straight manner. S…
▽ More
We introduce a new model for elliptic fibrations endowed with a Mordell-Weil group of rank one. We call it a Q$_7(\mathscr{L},\mathscr{S})$ model.
It naturally generalizes several previous models of elliptic fibrations popular in the F-theory literature. The model is also explicitly smooth, thus relevant physical quantities can be computed in terms of topological invariants in straight manner. Since the general fiber is defined by a cubic curve, basic arithmetic operations on the curve can be done using the chord-tangent group law. We will use this model to determine the spectrum of singular fibers of an elliptic fibration of rank one and compute a generating function for its Euler characteristic. With a view toward string theory, we determine a semi-stable degeneration which is understood as a weak coupling limit in F-theory. We show that it satisfies a non-trivial topological relation at the level of homological Chern classes. This relation ensures that the D3 charge in F-theory is the same as the one in the weak coupling limit.
△ Less
Submitted 30 September, 2014;
originally announced October 2014.