The $U$-plane of rank-one 4d $\mathcal{N}=2$ KK theories

Abstract

The simplest non-trivial 5d superconformal field theories (SCFT) are the famous rank-one theories with E_nEn flavour symmetry. We study their UU-plane, which is the one-dimensional Coulomb branch of the theory on \mathbb{R}^4 \times S^1ℝ4×S1. The total space of the Seiberg-Witten (SW) geometry – the E_nEn SW curve fibered over the UU-plane – is described as a rational elliptic surface with a singular fiber of type I_{9-n}I9−n at infinity. A classification of all possible Coulomb branch configurations, for the E_nEn theories and their 4d descendants, is given by Persson’s classification of rational elliptic surfaces. We show that the global form of the flavour symmetry group is encoded in the Mordell-Weil group of the SW elliptic fibration. We study in detail many special points in parameters space, such as points where the flavour symmetry enhances, and/or where Argyres-Douglas and Minahan-Nemeschansky theories appear. In a number of important instances, including in the massless limit, the UU-plane is a modular curve, and we use modularity to investigate aspects of the low-energy physics, such as the spectrum of light particles at strong coupling and the associated BPS quivers. We also study the gravitational couplings on the UU-plane, matching the infrared expectation for the couplings A(U)A(U) and B(U)B(U) to the UV computation using the Nekrasov partition function.

Coulomb and Higgs Branches from Canonical Singularities, Part 1: Hypersurfaces with Smooth Calabi-Yau Resolutions

“…(See also e.g. [40][41][42][43][44] for some further discussions.) Topology of the crepant resolution X.…”

Four flavours, triality and bimodular forms

“…Note that this is our first example of a bimodular form that has two different modular groups for the two couplings. The fact that the index in SL(2, Z) of the modular group of τ shrinks by the number of merged non-local singularities, 2 + 1 in this case, is the expected behaviour of AD theories [9,33]. Since the two separate duality groups, Γ 0 (2) and Γ(2), are different, we cannot choose the fundamental domains for τ and τ 0 to coincide as in previous cases.…”

“…For special cases however, F(m) is equal to Γ\H for some subgroup Γ ⊆ SL(2, Z), such as when m is equal to m A , m B , m C or m D , for which Γ is Γ(2), Γ 0 (4), Γ 0 (4) or Γ 0 (4). If the mass m is such that B 4 contains a superconformal Argyres-Douglas point, Γ ⊆ SL(2, Z) can also be a subgroup of index smaller than 6 [9,33]. An example of this will be given in Section 3.6.…”

The $U$-plane of rank-one 4d $\mathcal{N}=2$ KK theories

“…These considerations are very important for the computation of supersymmetric partition functions as in e.g. [36][37][38], as we will discuss elsewhere [39].…”