We derive a modular anomaly equation satisfied by the prepotential of the N=2* supersymmetric theories with non-simply laced gauge algebras, including the classical B and C infinite series and the exceptional F4 and G2 cases. This equation determines the exact prepotential recursively in an expansion for small mass in terms of quasi-modular forms of the S-duality group. We also discuss the behaviour of these theories under S-duality and show that the prepotential of the SO(2r+1) theory is mapped to that of the Sp(2r) theory and viceversa, while the exceptional F4 and G2 theories are mapped into themselves (up to a rotation of the roots) in analogy with what happens for the N=4 supersymmetric theories. These results extend the analysis for the simply laced groups presented in a companion paper.
The exact factorisable quantum S-matrices are known for simply laced as well as non-simply laced affine Toda field theories. Non-simply laced theories are obtained from the affine Toda theories based on simply laced algebras by folding the corresponding Dynkin diagrams. The same process, called classical `reduction', provides solutions of a non-simply laced theory from the classical solutions with special symmetries of the parent simply laced theory. In the present note we shall elevate the idea of folding and classical reduction to the quantum level. To support our views we have made some int…
We consider the compactifcation of 5d non-simply laced fractional quiver gauge theory constructed in arXiv:1705.04410. In contrast to the simply laced quivers, here two $Ω$-background parameters play different roles, so that we can take two possible Nekrasov-Shatashvili limits. We demonstrate how different quantum integrable systems can emerge from these two limits, using $BC_2$-quiver as the simplest illustrative example for our general results. We also comment possible connections with compactified 3d non-simply laced quiver gauge theory.
We demonstrate how non-simply-laced gauge and flavor symmetries arise in F-theory on spaces with non-isolated singularities. The breaking from a simply-laced symmetry to one that is non-simply-laced is induced by Calabi-Yau complex structure deformation. In all examples the deformation maintains non-isolated singularities but is accompanied by a splitting of an I1 seven-brane that opens new loops in the geometry near a non-abelian seven-brane. The splitting also arises in the moduli space of a probe D3-brane, which upon traversing the new loop experiences a monodromy that acts on 3-7 string ju…
Vafa-Witten theory is a twisted N=4 supersymmetric gauge theory whose partition functions are the generating functions of the Euler number of instanton moduli spaces. In this paper, we recall quantum gauge theory with discrete electric and magnetic fluxes and review the main results of Vafa-Witten theory when the gauge group is simply laced. Based on the transformations of theta functions and their appearance in the blow-up formulae, we propose explicit transformations of the partition functions under the Hecke group when the gauge group is non-simply laced. We provide various evidences and co…
A new set of exact scattering matrices in 1+1 dimensions is proposed by solving the bootstrap equations. Extending earlier constructions of colour valued scattering matrices this new set has its colour structure associated to non simply-laced Lie algebras. This in particular leads to a coupling of different affine Toda models whose fusing structure has to be matched in a suitable manner. The definition of the new S-matrices is motivated by the semi-classical particle spectrum of the non simply-laced Homogeneous Sine-Gordon (HSG) models, which are integrable perturbations of WZNW cosets. In par…
The Lie algebraic structures of the S-matrices for the affine Toda field theories based on the dual pairs (X_N^{(1)}, Y_M^{(l)}) are discussed. For the non-simply-laced horizontal subalgebra X_N and the simply-laced horizontal subalgebra Y_M, we introduce a ``q-deformation'' of a Coxeter element and a ``p-deformation'' of a twisted Coxeter element respectively. Using these deformed objects, expressions for the generating function of the multiplicities of the building block of the S-matrices are obtained. The relation between the deformed version of Dorey's rule and generalized Dorey's rule due…
The $(g_2^{(1)}, d_4^{(3)})$\ pair of non simply laced affine Toda theories is studied from the point of view of non perturbative duality. The classical spectrum of each member is composed of two massive scalar particles. The exact S-matrix prediction for the dual behaviour of the coupling dependent mass ratio is found to be in strong agreement with Monte Carlo data.
We study the ultraviolet asymptotics in non-simply laced affine Toda theories considering them as perturbed non-affine Toda theories, which possess the extended conformal symmetry. We calculate the reflection amplitudes, in non-affine Toda theories and use them to derive the quantization condition for the vacuum wave function, describing zero-mode dynamics. The solution of this quantization conditions for the ground state energy determines the UV asymptotics of the effective central charge. These asymptotics are in a good agreement with Thermodynamic Bethe Ansatz(TBA) results. To make the comp…
In order to describe the appearance in F theory of the non--simply--laced Lie algebras, we use the representation of symmetry enhancements by means of string junctions. After an introduction to the techniques used to describe symmetry enhancement, that is algebraic geometry, BPS states analysis and string junctions, we concentrate on the latter. We give an explicit description of the folding of D_{2n} to B_n of the folding of E_6 to F_4 and that of D_4 to G_2 in terms of junctions and Jordan strings. We also discuss the case of C_n, but we are unable in this case to provide a string interpreta…
We study the geometric engineering of supersymmetric quantum field theories (QFT), with non simply laced gauge groups, obtained from superstring and F-theory compactifications on local Calabi-Yau manifolds. First we review the main lines of the toric method for ALE spaces with ADE singularities which we extend to non simply laced ordinary and affine singularities. Then, we develop two classes of solutions depending on the two possible realisations of the outer-automorphism group of the toric graph $Δ$(ADE). In F-theory on elliptic Calabi-Yau manifolds, we give explicit results for the affine n…
The algebraic approach to the construction of the reflexive polyhedra that yield Calabi-Yau spaces in three or more complex dimensions with K3 fibres reveals graphs that include and generalize the Dynkin diagrams associated with gauge symmetries. In this work we continue to study the structure of graphs obtained from $CY_3$ reflexive polyhedra. The objective is to describe the ``simply laced'' cases, those graphs obtained from three dimensional spaces with K3 fibers which lead to symmetric matrices. We study both the affine and, derived from them, non-affine cases. We present root and weight s…
We construct the BPS quivers with superpotential for the 4d N=2 gauge theories with non-simply laced Lie groups (B_n, C_n, F_4 and G_2). The construction is inspired by the BIKMSV geometric engineering of these gauge groups as non-split singular elliptic fibrations. From the categorical viewpoint of arXiv:1203.6743, the fibration of the light category L(g) over the (degenerate) Gaiotto curve has a monodromy given by the action of the outer automorphism of the corresponding unfolded Lie algebra. In view of the Katz--Vafa `matter from geometry' mechanism, the monodromic idea may be extended to t…
Exact solutions to the quantum S-matrices for solitons in simply-laced affine Toda field theories are obtained, except for certain factors of simple type which remain undetermined in some cases. These are found by postulating solutions which are consistent with the semi-classical limit, $\hbar\rightarrow 0$, and the known time delays for a classical two soliton interaction. This is done by a `$q$-deformation' procedure, to move from the classical time delay to the exact S-matrix, by inserting a special function called the `regularised' quantum dilogarithm, which only holds when $|q|=1$. It is …
Three-dimensional Coulomb branches have a prominent role in the study of moduli spaces of supersymmetric gauge theories with $8$ supercharges in $3,4,5$, and $6$ dimensions. Inspired by simply laced $3$d $\mathcal{N}=4$ supersymmetric quiver gauge theories, we consider Coulomb branches constructed from non-simply laced quivers with edge multiplicity $k$ and no flavor nodes. In a computation of the Coulomb branch as the space of dressed monopole operators, a center-of-mass $U(1)$ symmetry needs to be ungauged. Typically, for a simply laced theory, all choices of the ungauged $U(1)$ (i.e. all ch…
In this paper we discuss various $N=3$ SCFTs in 4 dimensions and in particular those which can be obtained as a discrete gauging of an $N=4$ SYM theories with non-simply laced groups. The main goal of the project was to compute the Coulomb branch superconformal index and Higgs branch Hilbert series for the $N=3$ SCFTs that are obtained from gauging a discrete subgroup of the global symmetry group of $N=4$ Super Yang-Mills theory. The discrete subgroup contains elements of both $SU(4)$ R-symmetry group and the S-duality group of $N=4$ SYM. This computation was done for the simply laced groups (…
We point out that for N=4 gauge theories with exceptional gauge groups G_2 and F_4 the S-duality transformation acts on the moduli space by a nontrivial involution. We note that the duality groups of these theories are the Hecke groups with elliptic elements of order six and four, respectively. These groups extend certain subgroups of SL(2,Z) by elements with a non-trivial action on the moduli space. We show that under an embedding of these gauge theories into string theory, the Hecke duality groups are represented by T-duality transformations.
The reflection amplitudes in non-affine Toda theories which possess extended conformal symmetry are calculated. Considering affine Toda theories as perturbed non-affine Toda theories and using reflection relations which relate different fields with the same conformal dimension, we deduce the vacuum expectation values of local fields for all dual pairs of non-simply laced affine Toda field theories. As an application, we calculate the leading term in the short and long distance predictions of the two-point correlation functions in the massive phase of two coupled minimal models. The central cha…
We propose to study a generalization of the Klebanov-Polyakov-Witten (KPW) construction for the algebra of observables in the $c = 1$ string model to theories with $c > 1$. We emphasize the algebraic meaning of the KPW construction for $c = 1$ related to occurrence of a {\it model} of {\it SU}(2) as original structure on the algebra of observables. The attempts to preserve this structure in generalizations naturally leads to consideration of $W$-gravities. As a first step in the study of these generalized KPW constructions we design explicitly the subsector of the space of observables in appro…
We consider the field theory of $N$ massless bosons which are free except for an interaction localized on the boundary of their 1+1 dimensional world. The boundary action is the sum of two pieces: a periodic potential and a coupling to a uniform abelian gauge field. Such models arise in open string theory and dissipative quantum mechanics, and possibly in edge state tunneling in the fractional quantized Hall effect. We explicitly show that conformal invariance is unbroken for certain special choices of the gauge field and the periodic potential. These special cases are naturally indexed by sem…
We note that S-matrix/conserved charge identities in affine Toda field theories of the type recently noted by Khastgir can be put on a more systematic footing. This makes use of a result first found by Ravanini, Tateo and Valleriani for theories based on the simply-laced Lie algebras (A,D and E) which we extend to the nonsimply-laced case. We also present the generalisation to nonsimply-laced cases of the observation - for simply-laced situations - that the conserved charges form components of the eigenvectors of the Cartan matrix.
Let Uq(ghat) be the quantum affine algebra associated to a simply-laced simple Lie algebra g. We examine the relationship between Dorey's rule, which is a geometrical statement about Coxeter orbits of g-weights, and the structure of q-characters of fundamental representations V_{i,a} of Uq(ghat). In particular, we prove, without recourse to the ADE classification, that the rule provides a necessary and sufficient condition for the monomial 1 to appear in the q-character of a three-fold tensor product V_{i,a} x V_{j,b} x V_{k,c}.
We study the ODE/IM correspondence for ODE associated to $\hat{\mathfrak g}$-valued connections, for a simply-laced Lie algebra $\mathfrak g$. We prove that subdominant solutions to the ODE defined in different fundamental representations satisfy a set of quadratic equations called $Ψ$-system. This allows us to show that the generalized spectral determinants satisfy the Bethe Ansatz equations.
We provide a proof of a formula conjectured in \cite{OU93} for some coefficients relevant in the principal vertex operator construction of a simply-laced affine algebra $\gh$. These coefficients are important for the study of the topological charges of the solitons of affine Toda theories, and the construction of representations of non-simply-laced $\gh$ and their associated Toda solitons.
We propose an effective framework for computing the prepotential of the topological B-model on a class of local Calabi--Yau geometries related to the circle compactification of five-dimensional $\mathcal{N}=1$ super Yang--Mills theory with simple gauge group. In the simply-laced case, we construct Picard--Fuchs operators from the Dubrovin connection on the Frobenius manifolds associated to the extended affine Weyl groups of type $\mathrm{ADE}$. In general, we propose a purely algebraic construction of Picard--Fuchs ideals from a canonical subring of the space of regular functions on the ramifi…
Folding identical legs of a simply-laced quiver creates a quiver with a non-simply laced edge. So far, this has been explored for quivers containing unitary gauge groups. In this paper, orthosymplectic quivers are folded, giving rise to a new family of quivers. This is realised by intersecting orientifolds in the brane system. The monopole formula for these non-simply laced orthosymplectic quivers is introduced. Some of the folded quivers have Coulomb branches that are closures of minimal nilpotent orbits of exceptional algebras, thus providing a new construction of these fundamental moduli sp…
We assess the ODE/IM correspondence for the quantum $\mathfrak{g}$-KdV model, for a non-simply laced Lie algebra $\mathfrak{g}$. This is done by studying a meromorphic connection with values in the Langlands dual algebra of the affine Lie algebra ${\mathfrak{g}}^{(1)}$, and constructing the relevant $Ψ$-system among subdominant solutions. We then use the $Ψ$-system to prove that the generalized spectral determinants satisfy the Bethe Ansatz equations of the quantum $\mathfrak{g}$-KdV model. We also consider generalized Airy functions for twisted Kac--Moody algebras and we construct new explici…
For arbitrary gauge groups, we check at the one-instanton level that the Nekrasov partition function of pure N=2 super Yang-Mills is equal to the norm of a certain coherent state of the corresponding W-algebra. For non-simply-laced gauge groups, we confirm in particular that the coherent state is in the twisted sector of a simply-laced W-algebra.
A set of coupled non-linear integral equations is derived for a class of models connected with the quantum group $U_q(\hat g)$ ($g$ simply laced Lie algebra), which are solvable using the Bethe Ansatz; these equations describe arbitrary excited states of a system with finite spatial length $L$. They generalize the Destri-De Vega equation for the Sine-Gordon/massive Thirring model to affine Toda field theory with imaginary coupling constant. As an application, the central charge and all the conformal weights of the UV conformal field theory are extracted in a straightforward manner. The quantum…
The exact quantum $S$-matrices and conserved charges are known for affine Toda field theories(ATFTs). In this note we report on a new type of bi-linear sum rules of conserved quantities derived from these exact $S$ matrices. They exist when there is a multiplicative identity among $S$-matrices of a particular ATFT. Our results are valid for simply laced as well as non-simply laced ATFTs. We also present a few explicit examples.
We calculate the first quantum corrections to the masses of solitons in imaginary-coupling affine Toda theories using the semi-classical method of Dashen, Hasslacher and Neveu. The theories divide naturally into those based on the simply-laced, the twisted and the untwisted non-simply-laced algebras. We find that the classical relationships between soliton and particle masses found by Olive {\em et al.\ }persist for the first two classes, but do not appear to do so naively for the third.
In this paper we analyze Fourier coefficients of automorphic forms on a finite cover $G$ of an adelic split simply-laced group. Let $π$ be a minimal or next-to-minimal automorphic representation of $G$. We prove that any $η\in π$ is completely determined by its Whittaker coefficients with respect to (possibly degenerate) characters of the unipotent radical of a fixed Borel subgroup, analogously to the Piatetski-Shapiro--Shalika formula for cusp forms on $GL_n$. We also derive explicit formulas expressing the form, as well as all its maximal parabolic Fourier coefficient in terms of these Whitt…
We establish and develop a correspondence between certain crystal bases (Kashiwara crystals) and the Coulomb branch of three-dimensional $ \mathcal{N} =4 $ gauge theories. The result holds for simply-laced, non-simply laced and affine quivers. Two equivalent derivations are given in the non-simply laced case, either by application of the axiomatic rules or by folding a simply-laced quiver. We also study the effect of turning on real masses and the ensuing simplification of the crystal. We present a multitude of explicit examples of the equivalence. Finally, we put forward a correspondence betw…
We provide analytical solutions to the thermodynamic Bethe ansatz equations in the large and small density approximations. We extend results previously obtained for leading order behaviour of the scaling function of affine Toda field theories related to simply laced Lie algebras to the non-simply laced case. The comparison with semi-classical methods shows perfect agreement for the simply laced case. We derive the Y-systems for affine Toda field theories with real coupling constant and employ them to improve the large density approximations. We test the quality of our analysis explicitly for t…
Using Hirota's method, solitons are constructed for affine Toda field theories based on the simply-laced affine algebras. By considering automorphisms of the simply-laced Dynkin diagrams, solutions to the remaining algebras, twisted as well as untwisted, are deduced.
The structure of a new family of factorised $S$-matrix theories with resonance poles is reviewed. They are conjectured to correspond to the Homogeneous sine-Gordon theories associated with simply laced compact Lie groups. Two of their more remarkable properties are, first, that some of the resonance poles can be traced to the presence of unstable particles in the spectrum, and, second, that they involve several independent mass scales. The conjectured relationship with the simply laced HSG theories has been checked by means of the Thermodynamic Bethe ansatz (TBA) and, more recently, through th…
Borrowing ideas from the relation between simply laced Lie algebras and Dynkin diagrams, a weighted graph theory representation of quantum information is addressed. In this way, the density matrix of a quantum state can be interpreted as a signless Laplacian matrix of an associated graph. Using similarities with root systems of simply laced Lie algebras, one-qubit theory is analyzed in some details and is found to be linked to a non-oriented weighted graph having two vertices. Moreover, this one-qubit theory is generalized to n-qubits. In this representation, quantum gates correspond to graph …
The S-matrices for non-simply-laced affine Toda field theories are considered in the context of a generalised bootstrap principle. The S-matrices, and in particular their poles, depend on a parameter whose range lies between the Coxeter numbers of dual pairs of the corresponding non-simply-laced algebras. It is proposed that only odd order poles in the physical strip with positive coefficients throughout this range should participate in the bootstrap. All other singularities have an explanation in principle in terms of a generalised Coleman-Thun mechanism. Besides the S-matrices introduced by …
This paper tests a conjecture on discrete non-Abelian gauging of 3d $\mathcal{N} = 4$ supersymmetric quiver gauge theories. Given a parent quiver with a bouquet of $n$ nodes of rank $1$, invariant under a discrete $S_n$ global symmetry, one can construct a daughter quiver where the bouquet is substituted by a single adjoint $n$ node. Based on the main conjecture in this paper, the daughter quiver corresponds to a theory where the $S_n$ discrete global symmetry is gauged and the new Coulomb branch is a non-Abelian orbifold of the parent Coulomb branch. We demonstrate and test the conjecture for…
Universal Lax pairs (the root type and the minimal type) are presented for Calogero-Moser models based on simply laced root systems, including E_8. They exist with and without spectral parameter and they work for all of the four choices of potentials: the rational, trigonometric, hyperbolic and elliptic. For the elliptic potential, the discrete symmetries of the simply laced models, originating from the automorphism of the extended Dynkin diagrams, are combined with the periodicity of the potential to derive a class of Calogero-Moser models known as the `twisted non-simply laced models'. For u…
We study the problem of quadruple extensions of simple Lie algebras. We find that, adding a new simple root $α_{+4}$, it is not possible to have an extended Kac-Moody algebra described by a Dynkin-Kac diagram with simple links and no loops between the dots, while it is possible if $α_{+4}$ is a Borcherds imaginary simple root. We also comment on the root lattices of these new algebras. The folding procedure is applied to the simply-laced triple extended Lie algebras, obtaining all the non-simply laced ones. Non- standard extension procedures for a class of Lie algebras are proposed. It is show…
We study a duality of 5d maximally supersymmetric Yang-Mills on S^1, which exchanges the tower of Kaluza-Klein W-bosons and the tower of instantonic monopoles. This duality maps a non-simply-laced gauge theory to a simply-laced gauge theory twisted by an outer automorphism around S^1, and is closely related to the Langlands dual of affine Lie algebras. We also discuss how this S-duality is implemented in terms of 6d N=(2,0) theory. This is straightforward except for the 6d theory of type SU(2n+1) with Z_2 outer-automorphism twist, for which a few new properties are deduced. For example, this 6…
Mathematics Institute, Uppsala University（乌普萨拉大学数学研究所）；Centre for Geometry and Physics, Uppsala University（乌普萨拉大学几何与物理中心）；Department of Physics and Astronomy, Uppsala University（乌普萨拉大学物理与天文学系）
Soliton time-delays and the semiclassical limit for soliton S-matrices are calculated for non-simply laced Affine Toda Field Theories. The phase shift is written as a sum over bilinears on the soliton conserved charges. The results apply to any two solitons of any Affine Toda Field Theory. As a by-product, a general expression for the number of bound states and the values of the coupling in which the S-matrix can be diagonal are obtained. In order to arrive at these results, a vertex operator is constructed, in the principal gradation, for non-simply laced affine Lie algebras, extending the pr…
For all affine Toda field theories we propose a new type of generic boundary bootstrap equations, which can be viewed as a very specific combination of elementary boundary bootstrap equations. These equations allow to construct generic solutions for the boundary reflection amplitudes, which are valid for theories related to all simple Lie algebras, that is simply laced and non-simply laced. We provide a detailed study of these solutions for concrete Lie algebras in various representations.
Linear recursion relations for the instanton corrections to the effective prepotential are derived for two cases of N=2 supersymmetric gauge theories; the first case with an arbitrary number of hypermultiplets in the fundamental representation of an arbitrary classical gauge group, and the second case with one hypermultiplet in the adjoint representation of SU(N). The construction for both cases proceed from the Seiberg-Witten solutions and the renormalization group type equations for the prepotential. Successive iterations of these recursion relations allow us to simply obtain instanton corre…
We study numerically the ODE/IM correspondence for untwisted affine Lie algebras associated with simple Lie algebras including exceptional type. We consider the linear problem obtained from the massless limit of that of the modified affine Toda field equation. We found that the Q-functions in integrable models are expressed as the inner product of the solution of the dual linear problem and the subdominant solution of the linear problem. Using Cheng's algorithm to obtain the solution of the linear problem, we can determine efficiently the zeros of the Q-function, which is known to provide the …
The spectrum of integrable models is often encoded in terms of commuting functions of a spectral parameter that satisfy functional relations. We propose to describe this commutative algebra in a covariant way by means of the extended Q-system that comprise Q-vectors in each of the fundamental representations of the (Langlands dual of) the underlying symmetry algebra. These Q-vectors turn out to parameterise a collection of complete flags which are fused with one another in a particular way. We show that the fused flag is a finite-difference oper in a particular gauge, explicit identification d…
Let g be a semi-simple Lie algebra. In this paper we study the spaces of based quasi-maps from the projective line P^1 to the flag variety of g (it is well-known that their singularities are supposed to model the singularities of the so called semi-infinite Schubert varieties which are hard to define directly). In the first part of the paper we show that the above spaces are normal and in the case when g is simply laced they are also Gorenstein and have rational singularities. In the second part of the paper we compute the character of the ring of functions on the above spaces; in view of the …
We investigate Fourier coefficients of automorphic forms on split simply-laced Lie groups G. We show that for automorphic representations of small Gelfand-Kirillov dimension the Fourier coefficients are completely determined by certain degenerate Whittaker vectors on G. Although we expect our results to hold for arbitrary simply-laced groups, we give complete proofs only for G=SL(3) and G=SL(4). This is based on a method of Ginzburg that associates Fourier coefficients of automorphic forms with nilpotent orbits of G. Our results complement and extend recent results of Miller and Sahi. We also …
Various features of the even order poles appearing in the S-matrices of simply-laced affine Toda field theories are analysed in some detail. In particular, the coefficients of first- and second-order singularities appearing in the Laurent expansion of the S-matrix around a general $2N^{\rm th}$ order pole are derived in a universal way using perturbation theory at one loop. We show how to cut loop diagrams contributing to the pole into particular products of tree-level graphs that depend on the on-shell geometry of the loop; in this way, we recover the coefficients of the Laurent expansion aro…
