No Arabic abstract
We find and propose an explanation for a large variety of modularity-related symmetries in problems of 3-manifold topology and physics of 3d $mathcal{N}=2$ theories where such structures a priori are not manifest. These modular structures include: mock modular forms, $SL(2,mathbb{Z})$ Weil representations, quantum modular forms, non-semisimple modular tensor categories, and chiral algebras of logarithmic CFTs.
Reducing a 6d fivebrane theory on a 3-manifold $Y$ gives a $q$-series 3-manifold invariant $widehat{Z}(Y)$. We analyse the large-$N$ behaviour of $F_K=widehat{Z}(M_K)$, where $M_K$ is the complement of a knot $K$ in the 3-sphere, and explore the relationship between an $a$-deformed ($a=q^N$) version of $F_{K}$ and HOMFLY-PT polynomials. On the one hand, in combination with counts of holomorphic annuli on knot complements, this gives an enumerative interpretation of $F_K$ in terms of counts of open holomorphic curves. On the other, it leads to closed form expressions for $a$-deformed $F_K$ for $(2,2p+1)$-torus knots. They suggest a further $t$-deformation based on superpolynomials, which can be used to obtain a $t$-deformation of ADO polynomials, expected to be related to categorification. Moreover, studying how $F_K$ transforms under natural geometric operations on $K$ indicates relations to quantum modularity in a new setting.
In recent work, we conjectured that Calabi-Yau threefolds defined over $mathbb{Q}$ and admitting a supersymmetric flux compactification are modular, and associated to (the Tate twists of) weight-two cuspidal Hecke eigenforms. In this work, we will address two natural follow-up questions, of both a physical and mathematical nature, that are surprisingly closely related. First, in passing from a complex manifold to a rational variety, as we must do to study modularity, we are implicitly choosing a rational model for the threefold; how do different choices of rational model affect our results? Second, the same modular forms are associated to elliptic curves over $mathbb{Q}$; are these elliptic curves found anywhere in the physical setup? By studying the F-theory uplift of the supersymmetric flux vacua found in the compactification of IIB string theory on (the mirror of) the Calabi-Yau hypersurface $X$ in $mathbb{P}(1,1,2,2,2)$, we find a one-parameter family of elliptic curves whose associated eigenforms exactly match those associated to $X$. Actually, we find two such families, corresponding to two different choices of rational models for the same family of Calabi-Yaus.
One of the main challenges in 3d-3d correspondence is that no existent approach offers a complete description of 3d $N=2$ SCFT $T[M_3]$ --- or, rather, a collection of SCFTs as we refer to it in the paper --- for all types of 3-manifolds that include, for example, a 3-torus, Brieskorn spheres, and hyperbolic surgeries on knots. The goal of this paper is to overcome this challenge by a more systematic study of 3d-3d correspondence that, first of all, does not rely heavily on any geometric structure on $M_3$ and, secondly, is not limited to a particular supersymmetric partition function of $T[M_3]$. In particular, we propose to describe such collection of SCFTs in terms of 3d $N=2$ gauge theories with non-linear matter fields valued in complex group manifolds. As a result, we are able to recover familiar 3-manifold invariants, such as Turaev torsion and WRT invariants, from twisted indices and half-indices of $T[M_3]$, and propose new tools to compute more recent $q$-series invariants $hat Z (M_3)$ in the case of manifolds with $b_1 > 0$. Although we use genus-1 mapping tori as our case study, many results and techniques readily apply to more general 3-manifolds, as we illustrate throughout the paper.
We study 4D systems in which parameters of the theory have position dependence in one spatial direction. In the limit where these parameters jump, this can lead to 3D interfaces supporting localized degrees of freedom. A priori, this sort of position dependence can occur at either weak or strong coupling. Demanding time-reversal invariance for $U(1)$ gauge theories with a duality group $Gamma subset SL(2,mathbb{Z})$ leads to interfaces at strong coupling which are characterized by the real component of a modular curve specified by $Gamma$. This provides a geometric method for extracting the electric and magnetic charges of possible localized states. We illustrate these general considerations by analyzing some 4D $mathcal{N} = 2$ theories with 3D interfaces. These 4D systems can also be interpreted as descending from a six-dimensional theory compactified on a three-manifold generated by a family of Riemann surfaces fibered over the real line. We show more generally that 6D superconformal field theories compactified on such spaces also produce trapped matter by using the known structure of anomalies in the resulting 4D bulk theories.
The relation between open topological strings and representation theory of symmetric quivers is explored beyond the original setting of the knot-quiver correspondence. Multiple cover generalizations of the skein relation for boundaries of holomorphic disks on a Lagrangian brane are observed to generate dual quiver descriptions of the geometry. Embedding into M-theory, a large class of dualities of 3d $mathcal{N}=2$ theories associated to quivers is obtained. The multi-cover skein relation admits a compact formulation in terms of quantum torus algebras associated to the quiver and in this language the relations are similar to wall-crossing identities of Kontsevich and Soibelman.