Entanglement entropy and edge modes in topological string theory. Part II. The dual gauge theory story

This is the second in a two-part paper devoted to studying entanglement entropy and edge modes in the A model topological string theory. This theory enjoys a gauge-string (Gopakumar-Vafa) duality which is a topological analogue of AdS/CFT. In part 1, we defined a notion of generalized entropy for the topological closed string theory on the resolved conifold. We provided a canonical interpretation of the generalized entropy in terms of the q-deformed entanglement entropy of the Hartle-Hawking state. We found string edge modes transforming under a quantum group symmetry and interpreted them as entanglement branes. In this work, we provide the dual Chern-Simons gauge theory description. Using Gopakumar-Vafa duality, we map the closed string theory Hartle-Hawking state to a Chern-Simons theory state containing a superposition of Wilson loops. These Wilson loops are dual to closed string worldsheets that determine the partition function of the resolved conifold. We show that the undeformed entanglement entropy due to cutting these Wilson loops reproduces the bulk generalized entropy and therefore captures the entanglement underlying the bulk spacetime. Finally, we show that under the Gopakumar-Vafa duality, the bulk entanglement branes are mapped to a configuration of topological D-branes, and the non-local entanglement boundary condition in the bulk is mapped to a local boundary condition in the gauge theory dual. This suggests that the geometric transition underlying the gauge-string duality may also be responsible for the emergence of entanglement branes.

Entanglement entropy and edge modes in topological string theory. Part I. Generalized entropy for closed strings

Progress in identifying the bulk microstate interpretation of the Ryu-Takayanagi formula requires understanding how to define entanglement entropy in the bulk closed string theory. Unfortunately, entanglement and Hilbert space factorization remains poorly understood in string theory. As a toy model for AdS/CFT, we study the entanglement entropy of closed strings in the topological A-model in the context of Gopakumar-Vafa duality. We will present our results in two separate papers. In this work, we consider the bulk closed string theory on the resolved conifold and give a self-consistent factorization of the closed string Hilbert space using extended TQFT methods. We incorporate our factorization map into a Frobenius algebra describing the fusion and splitting of Calabi-Yau manifolds, and find string edge modes transforming under a q-deformed surface symmetry group. We define a string theory analogue of the Hartle-Hawking state and give a canonical calculation of its entanglement entropy from the reduced density matrix. Our result matches with the geometrical replica trick calculation on the resolved conifold, as well as a dual Chern-Simons theory calculation which will appear in our next paper [1]. We find a realization of the Susskind-Uglum proposal identifying the entanglement entropy of closed strings with the thermal entropy of open strings ending on entanglement branes. We also comment on the BPS microstate counting of the entanglement entropy. Finally we relate the nonlocal aspects of our factorization map to analogous phenomenon recently found in JT gravity.

Weyl invariant Jacobi forms along Higgsing trees

Using topological string techniques, we compute BPS counting functions of 5d gauge theories which descend from 6d superconformal field theories upon circle compactification. Such theories are naturally organized in terms of nodes of Higgsing trees. We demonstrate that the specialization of the partition function as we move from the crown to the root of a tree is determined by homomorphisms between rings of Weyl invariant Jacobi forms. Our computations are made feasible by the fact that symmetry enhancements of the gauge theory which are manifest on the massless spectrum are inherited by the entire tower of BPS particles. In some cases, these symmetry enhancements have a nice relation to the 1-form symmetry of the associated gauge theory.

BPS Quivers of Five-Dimensional SCFTs, Topological Strings and q-Painlevé Equations

We study the discrete flows generated by the symmetry group of the BPS quivers for Calabi–Yau geometries describing five-dimensional superconformal quantum field theories on a circle. These flows naturally describe the BPS particle spectrum of such theories and at the same time generate bilinear equations of q-difference type which, in the rank one case, are q-Painlevé equations. The solutions of these equations are shown to be given by grand canonical topological string partition functions which we identify with $$\tau $$ τ -functions of the cluster algebra associated to the quiver. We exemplify our construction in the case corresponding to five-dimensional SU(2) pure super Yang–Mills and $$N_f=2$$ N f = 2 on a circle.

Topological strings on toric geometries in the presence of Lagrangian branes

We propose expressions for refined open topological string partition function on certain non-compact Calabi Yau 3-folds with topological branes wrapped on the special lagrangian submanifolds. The corresponding web diagrams are partially compact and a lagrangian brane is inserted on one of the external legs. Partial compactification introduces a mass deformation in the corresponding gauge theory. We propose conjectures that equate these open topological string partition functions with the generating function of equivaraint indices on certain quiver moduli spaces. To obtain these conjectures we use the identification of topological string partition functions with equivariant indices on the instanton moduli spaces.

Blocks and vortices in the 3d ADHM quiver gauge theory

We study the hemisphere partition function of a three-dimensional $$ \mathcal{N} $$ N = 4 supersymmetric U(N) gauge theory with one adjoint and one fundamental hypermultiplet — the ADHM quiver theory. In particular, we propose a distinguished set of UV boundary conditions which yield Verma modules of the quantised chiral rings of the Higgs and Coulomb branches. In line with a recent proposal by two of the authors in collaboration with M. Bullimore, we show explicitly that the hemisphere partition functions recover the characters of these modules in two limits, and realise blocks gluing exactly to the partition functions of the theory on closed three-manifolds. We study the geometry of the vortex moduli space and investigate the interpretation of the vortex partition functions as equivariant indices of quasimaps to the Hilbert scheme of points in ℂ2. We also investigate half indices of the ADHM quiver gauge theory in the presence of a line operator and discuss their geometric interpretation. Along the way we find interesting relations between our hemisphere blocks and related quantities in topological string theory and equivariant quantum K-theory.

Bootstrapping ADE M-strings

We study elliptic genera of ADE-type M-strings in 6d (2,0) SCFTs from their modularity and explore the relation to topological string partition functions. We find a novel kinematical constraint that elliptic genera should follow, which determines elliptic genera at low base degrees and helps us to conjecture a vanishing bound for the refined Gopakumar-Vafa invariants of related geometries. Using this, we can bootstrap the elliptic genera to arbitrary base degree, including D/E-type theories for which explicit formulas are only partially known. We utilize our results to obtain the 6d Cardy formulas and the superconformal indices for (2,0) theories.

Holomorphic anomaly equation for and the Nekrasov-Shatashvili limit of local

We prove a higher genus version of the genus $0$ local-relative correspondence of van Garrel-Graber-Ruddat: for $(X,D)$ a pair with X a smooth projective variety and D a nef smooth divisor, maximal contact Gromov-Witten theory of $(X,D)$ with $\lambda _g$ -insertion is related to Gromov-Witten theory of the total space of ${\mathcal O}_X(-D)$ and local Gromov-Witten theory of D. Specializing to $(X,D)=(S,E)$ for S a del Pezzo surface or a rational elliptic surface and E a smooth anticanonical divisor, we show that maximal contact Gromov-Witten theory of $(S,E)$ is determined by the Gromov-Witten theory of the Calabi-Yau 3-fold ${\mathcal O}_S(-E)$ and the stationary Gromov-Witten theory of the elliptic curve E. Specializing further to $S={\mathbb P}^2$ , we prove that higher genus generating series of maximal contact Gromov-Witten invariants of $({\mathbb P}^2,E)$ are quasimodular and satisfy a holomorphic anomaly equation. The proof combines the quasimodularity results and the holomorphic anomaly equations previously known for local ${\mathbb P}^2$ and the elliptic curve. Furthermore, using the connection between maximal contact Gromov-Witten invariants of $({\mathbb P}^2,E)$ and Betti numbers of moduli spaces of semistable one-dimensional sheaves on ${\mathbb P}^2$ , we obtain a proof of the quasimodularity and holomorphic anomaly equation predicted in the physics literature for the refined topological string free energy of local ${\mathbb P}^2$ in the Nekrasov-Shatashvili limit.

Riemann-Hilbert correspondence and blown up surface defects

The relationship of two dimensional quantum field theory and isomonodromic deformations of Fuchsian systems has a long history. Recently four-dimensional N = 2 gauge theories joined the party in a multitude of roles. In this paper we study the vacuum expectation values of intersecting half-BPS surface defects in SU(2) theory with Nf = 4 fundamental hypermultiplets. We show they form a horizontal section of a Fuchsian system on a sphere with 5 regular singularities, calculate the monodromy, and define the associated isomonodromic tau-function. Using the blowup formula in the presence of half-BPS surface defects, initiated in the companion paper, we obtain the GIL formula, establishing an unexpected relation of the topological string/free fermion regime of supersymmetric gauge theory to classical integrability.

Functional equations and separation of variables for exact g-function

The g-function is a measure of degrees of freedom associated to a boundary of two-dimensional quantum field theories. In integrable theories, it can be computed exactly in a form of the Fredholm determinant, but it is often hard to evaluate numerically. In this paper, we derive functional equations — or equivalently integral equations of the thermodynamic Bethe ansatz (TBA) type — which directly compute the g-function in the simplest integrable theory; the sinh-Gordon theory at the self-dual point. The derivation is based on the classic result by Tracy and Widom on the relation between Fredholm determinants and TBA, which was used also in the context of topological string. We demonstrate the efficiency of our formulation through the numerical computation and compare the results in the UV limit with the Liouville CFT. As a side result, we present multiple integrals of Q-functions which we conjecture to describe a universal part of the g-function, and discuss its implication to integrable spin chains.