Instanton partition functions of N = 1 5d Super Yang-Mills reduced on S 1 can be engineered in type IIB string theory from the (p, q)-branes web diagram. To this diagram is superimposed a web of representations of the Ding-Iohara-Miki (DIM) algebra that acts on the partition function. In this correspondence, each segment is associated to a representation, and the (topological string) vertex is identified with the intertwiner operator constructed by Awata, Feigin and Shiraishi. We define a new intertwiner acting on the representation spaces of levels (1, n) ⊗ (0, m) → (1, n + m), thereby generalizing to higher rank m the original construction. It allows us to use a folded version of the usual (p, q)-web diagram, bringing great simplifications to actual computations. As a result, the characterization of Gaiotto states and vertical intertwiners, previously obtained by some of the authors, is uplifted to operator relations acting in the Fock space of horizontal representations. We further develop a method to build qq-characters of linear quivers based on the horizontal action of DIM elements. While fundamental qq-characters can be built using the coproduct, higher ones require the introduction of a (quantum) Weyl reflection acting on tensor products of DIM generators.

No abstract

Reflection states are introduced in the vertical and horizontal modules of the Ding-Iohara-Miki (DIM) algebra (quantum toroidal gl 1 ). Webs of DIM representations are in correspondence with (p, q)-web diagrams of type IIB string theory, under the identification of the algebraic intertwiner of Awata, Feigin and Shiraishi with the refined topological vertex. Extending the correspondence to the vertical reflection states, it is possible to engineer the N = 1 quiver gauge theory of D-type (with unitary gauge groups). In this way, the Nekrasov instanton partition function is reproduced from the evaluation of expectation values of intertwiners. This computation leads to the identification of the vertical reflection state with the orientifold plane of string theory. We also provide a translation of this construction in the Iqbal-Kozcaz-Vafa refined topological vertex formalism.

We study the operator product expansion (OPE) for scalar conformal defects of any codimension in CFT. The OPE for defects is decomposed into "defect OPE blocks", the irreducible representations of the conformal group, each of which packages the contribution from a primary operator and its descendants. We use the shadow formalism to deduce an integral representation of the defect OPE blocks. They are shown to obey a set of constraint equations that can be regarded as equations of motion for a scalar field propagating on the moduli space of the defects. By employing the Radon transform between the AdS space and the moduli space, we obtain a formula of constructing an AdS scalar field from the defect OPE block for a conformal defect of any codimension in a scalar representation of the conformal group, which turns out to be the Euclidean version of the HKLL formula. We also introduce a duality between conformal defects of different codimensions and prove the equivalence between the defect OPE block for codimension-two defects and the OPE block for a pair of local operators.

Abstract:Recently an orthogonal basis of W N -algebra (AFLT basis) labeled by N -tuple Young diagrams was found in the context of 4D/2D duality. Recursion relations among the basis are summarized in the form of an algebra SH c which is universal for any N . We show that it has an S 3 automorphism which is referred to as triality. We study the levelrank duality between minimal models, which is a special example of the automorphism. It is shown that the nonvanishing states in both systems are described by N or M Young diagrams with the rows of boxes appropriately shuffled. The reshuffling of rows implies there exists partial ordering of the set which labels them. For the simplest example, one can compute the partition functions for the partially ordered set (poset) explicitly, which reproduces the Rogers-Ramanujan identities. We also study the description of minimal models by SH c . Simple analysis reproduces some known properties of minimal models, the structure of singular vectors and the N -Burge condition in the Hilbert space.