Search

Using a long-standing conjecture from combinatorial group theory, we explore, from multiple angles, the challenges of finding rare instances carrying disproportionately high rewards. Based on lessons learned in the mathematical context defined by the Andrews-Curtis conjecture, we propose algorithmic improvements that can be relevant in other domains with ultra-sparse reward problems. Although our case study can be formulated as a game, its shortest winning sequences are potentially $10^6$ or $10^9$ times longer than those encountered in chess. In the process of our study, we demonstrate that one of the potential counterexamples due to Akbulut and Kirby, whose status escaped direct mathematical methods for 39 years, is stably AC-trivial., Comment: 39 pages, 18 figures, 1 table

In this paper, we present a geometric description of foams, which are prevalent in topological quantum field theories (TQFTs) based on quantum algebra, and reciprocally explore the geometry of Rozansky-Witten (RW) theory from an algebraic perspective. This approach illuminates various aspects of decorated TQFTs via geometry of the target space $X$ of RW theory. Through the formulation of the Knizhnik-Zamolodchikov (KZ) equation within this geometric framework, we derive the corresponding braiding and associator morphisms. We discuss applications where the target space of RW theory emerges as the Coulomb branch of a compactified 6d SCFT or Little String Theory, with the latter being particularly intriguing as it results in a compact $X$., Comment: 47 pages, 23 figures

We explore statistical properties of BPS q-series for 3d N=2 strongly coupled supersymmetric theories that correspond to a particular family of 3-manifolds Y. We discover that gaps between exponents in the q-series are statistically more significant at the beginning of the q-series compared to gaps that appear in higher powers of q. Our observations are obtained by calculating saliencies of q-series features used as input data for principal component analysis, which is a standard example of an explainable machine learning technique that allows for a direct calculation and a better analysis of feature saliencies., Comment: 11 pages, 4 figures, 3 tables

We consider a finite-dimensional oscillatory integral which provides a "finite-dimensional model" for analytically continued $SU(2)$ Chern-Simons theory on closed 3-manifolds that are described by plumbing trees. This model allows an efficient description of Stokes phenomenon for perturbative expansions in Chern-Simons theory around classical solutions - $SL(2,\mathbb{C})$ flat connections. Moreover, the Stokes coefficients can be categorified, i.e. promoted to graded vector spaces, in terms of this finite-dimensional model. At least naively, the categorification gives BPS spectrum of 5d maximally supersymmetric Yang-Mills theory on the 3-manifold times a line with appropriate boundary conditions. We also comment on necessity of taking into account "flat connections at infinity" to capture Stokes phenomenon for certain 3-manifolds., Comment: 79 pages, 27 figures

Machine learning techniques are increasingly powerful, leading to many breakthroughs in the natural sciences, but they are often stochastic, error-prone, and blackbox. How, then, should they be utilized in fields such as theoretical physics and pure mathematics that place a premium on rigor and understanding? In this Perspective we discuss techniques for obtaining rigor in the natural sciences with machine learning. Non-rigorous methods may lead to rigorous results via conjecture generation or verification by reinforcement learning. We survey applications of these techniques-for-rigor ranging from string theory to the smooth $4$d Poincar\'e conjecture in low-dimensional topology. One can also imagine building direct bridges between machine learning theory and either mathematics or theoretical physics. As examples, we describe a new approach to field theory motivated by neural network theory, and a theory of Riemannian metric flows induced by neural network gradient descent, which encompasses Perelman's formulation of the Ricci flow that was utilized to resolve the $3$d Poincar\'e conjecture., Comment: 13 pages. Preprint of edited version in Nature Reviews Physics. Please cite journal version

Using resurgent analysis we offer a novel mathematical perspective on a curious bijection (duality) that has many potential applications ranging from the theory of vertex algebras to the physics of SCFTs in various dimensions, to q-series invariants in low-dimensional topology that arise, e.g. in Vafa-Witten theory and in non-perturbative completion of complex Chern-Simons theory. In particular, we introduce explicit numerical algorithms that efficiently implement this bijection. This bijection is founded on preservation of relations, a fundamental property of resurgent functions. Using resurgent analysis we find new structures and patterns in complex Chern-Simons theory on closed hyperbolic 3-manifolds obtained by surgeries on hyperbolic twist knots. The Borel plane exhibits several intriguing hints of a new form of integrability. An important role in this analysis is played by the twisted Alexander polynomials and the adjoint Reidemeister torsion, which help us determine the Stokes data. The method of singularity elimination enables extraction of geometric data even for very distant Borel singularities, leading to detailed non-perturbative information from perturbative data. We also introduce a new double-scaling limit to probe 0-surgeries from the limiting $r\to\infty$ behavior of 1/r surgeries, and apply it to the family of hyperbolic twist knots., Comment: 115 pages; 32 figures

Based on the observed behavior of the superconformal index in three-dimensional $\mathcal{N}=2$ theories, we propose a quantity that can be considered as an analogue of the "effective central charge." We discuss the general properties of this quantity and ways of computing it in a variety of different theories, including simple Lagrangian theories as well as more interesting strongly coupled examples that come from 3d-3d correspondence., Comment: 18 pages, 3 figures

We apply Bayesian optimization and reinforcement learning to a problem in topology: the question of when a knot bounds a ribbon disk. This question is relevant in an approach to disproving the four-dimensional smooth Poincar\'e conjecture; using our programs, we rule out many potential counterexamples to the conjecture. We also show that the programs are successful in detecting many ribbon knots in the range of up to 70 crossings., Comment: 23 pages, 10 figures

We study $q$-series invariants of 3-manifolds $\hat{Z}_b$ defined by Gukov--Pei--Putrov--Vafa using techniques from the theory of normal surface singularities such as splice diagrams. This provides a link between algebraic geometry with quantum topology. We show that the (suitably normalized) sum of all $\hat{Z}_b$ depends only on the splice diagram, and in particular, it agrees for manifolds with the same universal Abelian cover. Using these ideas we find simple formulas for $\hat{Z}_b$ invariants of Seifert manifolds that resemble equivariant Poincar\'e series of corresponding quasihomogeneous singularity. Applications include a better understanding of the vanishing of the $q$-series $\hat{Z}_b$., Comment: 39 pages, comments welcome

We initiate explicit computations of Vafa-Witten invariants of 3-manifolds, analogous to Floer groups in the context of Donaldson theory. In particular, we explicitly compute the Vafa-Witten invariants of 3-manifolds in a family of concrete examples relevant to various surgery operations (the Gluck twist, knot surgeries, log-transforms). We also describe the structural properties that are expected to hold for general 3-manifolds, including the modular group action, relation to Floer homology, infinite-dimensionality for an arbitrary 3-manifold, and the absence of instantons., Comment: 27 pages, 5 figures

Using brane quantization, we study the representation theory of the spherical double affine Hecke algebra of type $A_1$ in terms of the topological A-model on the moduli space of flat SL(2,C)-connections on a once-punctured torus. In particular, we provide an explicit match between finite-dimensional representations and A-branes with compact support; one consequence is the discovery of new finite-dimensional indecomposable representations. We proceed to embed the A-model story in an M-theory brane construction, closely related to the one used in the 3d/3d correspondence; as a result, we identify modular tensor categories behind particular finite-dimensional representations with PSL(2,Z) action. Using a further connection to the fivebrane system for the class S construction, we go on to study the relationship of Coulomb branch geometry and algebras of line operators in 4d N=2* theories to the double affine Hecke algebra., Comment: 95 pages, 22 figures, 2 tables

We study quantum fluctuations in the lightcone metric of the 4-d Einstein-Hilbert action via dimensional reduction to Jackiw-Teitelboim (JT) gravity. In particular, we show that, in Einstein gravity, the causal development of a region in flat Minkowski spacetime, near a horizon defined by light sheets, can be described by an effective two-dimensional dilaton theory. This enables us to make use of known solutions of the JT action, where the spacetime position of a horizon has quantum uncertainty due to metric fluctuations. This quantum uncertainty can be then directly related to the original 4-d light cone coordinates, allowing us to compute the uncertainty in the time of a photon to travel from tip-to-tip of a causal diamond in flat 4-d Minkowski space. We find that both Planck and infrared scales (with the latter set by the size of the causal diamond) enter the uncertainty in photon travel time, such that the quantum fluctuation in the arrival time may be observably large., Comment: 25 pages, 5 figures

By studying the properties of $q$-series $\widehat Z$-invariants, we develop a dictionary between 3-manifolds and vertex algebras. In particular, we generalize previously known entries in this dictionary to Lie groups of higher rank, to 3-manifolds with toral boundaries, and to BPS partition functions with line operators. This provides a new physical realization of logarithmic vertex algebras in the framework of the 3d-3d correspondence and opens new avenues for their future study. For example, we illustrate how invoking a knot-quiver correspondence for $\widehat{Z}$-invariants leads to many infinite families of new fermionic formulae for VOA characters., Comment: 85 pages, 3 figures, 6 tables

We construct special Lagrangian 3-spheres in non-K\"ahler compact threefolds equipped with the Fu-Li-Yau geometry. These non-K\"ahler geometries emerge from topological transitions of compact Calabi-Yau threefolds. From this point of view, a conifold transition exchanges holomorphic 2-cycles for special Lagrangian 3-cycles., Comment: 36 pages

We study (generalized) discrete symmetries of 2d semisimple TQFTs. These are 2d TQFTs whose fusion rules can be diagonalized. We show that, in this special basis, the 0-form symmetries always act as permutations while 1-form symmetries act by phases. This leads to an explicit description of the gauging of these symmetries. One application of our results is a generalization of the equivariant Verlinde formula to the case of general Lie groups. The generalized formula leads to many predictions for the geometry of Hitchin moduli spaces, which we explicitly check in several cases with low genus and SO(3) gauge group., Comment: 39 pages, 6 figures

We generalize the $F_K$ invariant, i.e. $\widehat{Z}$ for the complement of a knot $K$ in the 3-sphere, the knots-quivers correspondence, and $A$-polynomials of knots, and find several interconnections between them. We associate an $F_K$ invariant to any branch of the $A$-polynomial of $K$ and we work out explicit expressions for several simple knots. We show that these $F_K$ invariants can be written in the form of a quiver generating series, in analogy with the knots-quivers correspondence. We discuss various methods to obtain such quiver representations, among others using $R$-matrices. We generalize the quantum $a$-deformed $A$-polynomial to an ideal that contains the recursion relation in the group rank, i.e. in the parameter $a$, and describe its classical limit in terms of the Coulomb branch of a 3d-5d theory. We also provide $t$-deformed versions. Furthermore, we study how the quiver formulation for closed 3-manifolds obtained by surgery leads to the superpotential of 3d $\mathcal{N}=2$ theory $T[M_3]$ and to the data of the associated modular tensor category $\text{MTC} [M_3]$., Comment: 99 pages, 13 figures

We propose and in some cases prove a precise relation between 3-manifold invariants associated with quantum groups at roots of unity and at generic $q$. Both types of invariants are labeled by extra data which plays an important role in the proposed relation. Bridging the two sides - which until recently were developed independently, using very different methods - opens many new avenues. In one direction, it allows to study (and perhaps even to formulate) $q$-series invariants labeled by spin$^c$ structures in terms of non-semisimple invariants. In the opposite direction, it offers new insights and perspectives on various elements of non-semisimple TQFT's, bringing the latter into one unifying framework with other invariants of knots and 3-manifolds that recently found realization in quantum field theory and in string theory.

We study reductions of 6d theories on a $d$-dimensional manifold $M_d$, focusing on the interplay between symmetries, anomalies, and dynamics of the resulting $(6-d)$-dimensional theory $T[M_d]$. We refine and generalize the notion of "polarization" to "polarization on $M_d$," which serves to fix the spectrum of local and extended operators in $T[M_d]$. Another important feature of theories $T[M_d]$ is that they often possess higher-group symmetries, such as 2-group and 3-group symmetries. We study the origin of such symmetries as well as physical implications including symmetry breaking and symmetry enhancement in the renormalization group flow. To better probe the IR physics, we also investigate the 't Hooft anomaly of 5d Chern-Simons matter theories. The present paper focuses on developing the general framework as well as the special case of $d=0$ and 1, while an upcoming paper will discuss the case of $d=2$, $3$ and $4$., Comment: 110 pages + appendices; 13 figures

We introduce natural language processing into the study of knot theory, as made natural by the braid word representation of knots. We study the UNKNOT problem of determining whether or not a given knot is the unknot. After describing an algorithm to randomly generate $N$-crossing braids and their knot closures and discussing the induced prior on the distribution of knots, we apply binary classification to the UNKNOT decision problem. We find that the Reformer and shared-QK Transformer network architectures outperform fully-connected networks, though all perform well. Perhaps surprisingly, we find that accuracy increases with the length of the braid word, and that the networks learn a direct correlation between the confidence of their predictions and the degree of the Jones polynomial. Finally, we utilize reinforcement learning (RL) to find sequences of Markov moves and braid relations that simplify knots and can identify unknots by explicitly giving the sequence of unknotting actions. Trust region policy optimization (TRPO) performs consistently well for a wide range of crossing numbers and thoroughly outperformed other RL algorithms and random walkers. Studying these actions, we find that braid relations are more useful in simplifying to the unknot than one of the Markov moves., Comment: 51 pages, 16 figures, 6 algorithms, 2 tables

Many BPS partition functions depend on a choice of additional structure: fluxes, Spin or Spin$^c$ structures, etc. In a context where the BPS generating series depends on a choice of Spin$^c$ structure we show how different limits with respect to the expansion variable $q$ and different ways of summing over Spin$^c$ structures produce different invariants of homology cobordisms out of the BPS $q$-series., Comment: 30 pages, 4 figures

Motivated by string dualities we propose topological gravity as the early phase of our universe. The topological nature of this phase naturally leads to the explanation of many of the puzzles of early universe cosmology. A concrete realization of this scenario using Witten's four dimensional topological gravity is considered. This model leads to the power spectrum of CMB fluctuations which is controlled by the conformal anomaly coefficients $a,c$. In particular the strength of the fluctuation is controlled by $1/a$ and its tilt by $c g^2$ where $g$ is the coupling constant of topological gravity. The positivity of $c$, a consequence of unitarity, leads automatically to an IR tilt for the power spectrum. In contrast with standard inflationary models, this scenario predicts $\mathcal{O}(1)$ non-Gaussianities for four- and higher-point correlators and the absence of tensor modes in the CMB fluctuations., Comment: 27 pages, 3 figures

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., Comment: 42 pages, 4 figures

By studying Rozansky-Witten theory with non-compact target spaces we find new connections with knot invariants whose physical interpretation was not known. This opens up several new avenues, which include a new formulation of $q$-series invariants of 3-manifolds in terms of affine Grassmannians and a generalization of Akutsu-Deguchi-Ohtsuki knot invariants., Comment: 33 pages, 1 figure, 7 tables

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., Comment: 53 pages, 8 figures

We study dynamics of two-dimensional N=(0,1) supersymmetric gauge theories. In particular, we propose that there is an infrared triality between certain triples of theories with orthogonal and symplectic gauge groups. The proposal is supported by matching of anomalies and elliptic genera. This triality can be viewed as a (0,1) counterpart of the (0,2) triality proposed earlier by two of the authors and A. Gadde. We also describe the relation between global anomalies in gauge theoretic and sigma-model descriptions, filling in a gap in the present literature., Comment: 34 pages, 3 figures

While the study of bordered (pseudo-)holomorphic curves with boundary on Lagrangian submanifolds has a long history, a similar problem that involves (special) Lagrangian submanifolds with boundary on complex surfaces appears to be largely overlooked in both physics and math literature. We relate this problem to geometry of coassociative submanifolds in $G_2$ holonomy spaces and to $Spin(7)$ metrics on 8-manifolds with $T^2$ fibrations. As an application to physics, we propose a large class of brane models in type IIA string theory that generalize brane brick models on the one hand and 2d theories $T[M_4]$ on the other., Comment: 38 pages, 19 figures

The physical 3d $\mathcal{N}=2$ theory T[Y] was previously used to predict the existence of some 3-manifold invariants $\hat{Z}_{a}(q)$ that take the form of power series with integer coefficients, converging in the unit disk. Their radial limits at the roots of unity should recover the Witten-Reshetikhin-Turaev invariants. In this paper we discuss how, for complements of knots in $S^3$, the analogue of the invariants $\hat{Z}_{a}(q)$ should be a two-variable series $F_K(x,q)$ obtained by parametric resurgence from the asymptotic expansion of the colored Jones polynomial. The terms in this series should satisfy a recurrence given by the quantum A-polynomial. Furthermore, there is a formula that relates $F_K(x,q)$ to the invariants $\hat{Z}_{a}(q)$ for Dehn surgeries on the knot. We provide explicit calculations of $F_K(x,q)$ in the case of knots given by negative definite plumbings with an unframed vertex, such as torus knots. We also find numerically the first terms in the series for the figure-eight knot, up to any desired order, and use this to understand $\hat{Z}_a(q)$ for some hyperbolic 3-manifolds., Comment: 79 pages; final version, to appear in Quantum Topology

We build a connection between topology of smooth 4-manifolds and the theory of topological modular forms by considering topologically twisted compactification of 6d (1,0) theories on 4-manifolds with flavor symmetry backgrounds. The effective 2d theory has (0,1) supersymmetry and, possibly, a residual flavor symmetry. The equivariant topological Witten genus of this 2d theory then produces a new invariant of the 4-manifold equipped with a principle bundle, valued in the ring of equivariant weakly holomorphic (topological) modular forms. We describe basic properties of this map and present a few simple examples. As a byproduct, we obtain some new results on 't Hooft anomalies of 6d (1,0) theories and a better understanding of the relation between 2d (0,1) theories and TMF spectra., Comment: 74 pages

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., Comment: 119 pages, 10 figures and 20 tables

We construct a new class of three-dimensional topological quantum field theories (3d TQFTs) by considering generalized Argyres-Douglas theories on $S^1 \times M_3$ with a non-trivial holonomy of a discrete global symmetry along the $S^1$. For the minimal choice of the holonomy, the resulting 3d TQFTs are non-unitary and semisimple, thus distinguishing themselves from theories of Chern-Simons and Rozansky-Witten types respectively. Changing the holonomy performs a Galois transformation on the TQFT, which can sometimes give rise to more familiar unitary theories such as the $(G_2)_1$ and $(F_4)_1$ Chern-Simons theories. Our construction is based on an intriguing relation between topologically twisted partition functions, wild Hitchin characters, and chiral algebras which, when combined together, relate Coulomb branch and Higgs branch data of the same 4d $\mathcal{N}=2$ theory. We test our proposal by applying localization techniques to the conjectural $\mathcal{N}=1$ UV Lagrangian descriptions of the $(A_1,A_2)$, $(A_1,A_3)$ and $(A_1,D_3)$ theories., Comment: 6 pages

We take a peek at a general program that associates vertex (or, chiral) algebras to smooth 4-manifolds in such a way that operations on algebras mirror gluing operations on 4-manifolds and, furthermore, equivalent constructions of 4-manifolds give rise to equivalences (dualities) of the corresponding algebras., Comment: 40 pp, a new figure, many improvements and references added

Searching for the simplest non-abelian 2d gauge theory with $\mathcal{N}=(0,2)$ supersymmetry and non-trivial IR physics, we propose a new duality for $SU(2)$ SQCD with $N_f = 4$ chiral flavors. The chiral algebra of this theory is found to be $\mathfrak{so}(8)_{-2}$, the same as in 4d $\mathcal{N}=2$ $SU(2)$ gauge theory with four hypermultiplets., Comment: 4 pages plus references; v2: typos corrected, references added

We propose a way to define and compute invariants of general smooth 4-manifolds based on topological twists of non-Lagrangian 4d N=2 and N=3 theories in which the problem is reduced to a fairly standard computation in topological A-model, albeit with rather unusual targets, such as compact and non-compact Gepner models, asymmetric orbifolds, N=(2,2) linear dilaton theories, "self-mirror" geometries, varieties with complex multiplication, etc., Comment: 49 pages, 8 figures, 8 tables, v2: a reference added

We propose a way of computing 4-manifold invariants, old and new, as chiral correlation functions in half-twisted 2d $\mathcal{N}=(0,2)$ theories that arise from compactification of fivebranes. Such formulation gives a new interpretation of some known statements about Seiberg-Witten invariants, such as the basic class condition, and gives a prediction for structural properties of the multi-monopole invariants and their non-abelian generalizations., Comment: 67 pages, 11 figures

We provide a physical definition of new homological invariants $\mathcal{H}_a (M_3)$ of 3-manifolds (possibly, with knots) labeled by abelian flat connections. The physical system in question involves a 6d fivebrane theory on $M_3$ times a 2-disk, $D^2$, whose Hilbert space of BPS states plays the role of a basic building block in categorification of various partition functions of 3d $\mathcal{N}=2$ theory $T[M_3]$: $D^2\times S^1$ half-index, $S^2\times S^1$ superconformal index, and $S^2\times S^1$ topologically twisted index. The first partition function is labeled by a choice of boundary condition and provides a refinement of Chern-Simons (WRT) invariant. A linear combination of them in the unrefined limit gives the analytically continued WRT invariant of $M_3$. The last two can be factorized into the product of half-indices. We show how this works explicitly for many examples, including Lens spaces, circle fibrations over Riemann surfaces, and plumbed 3-manifolds., Comment: v2: 80 pages, 7 figures, typos corrected, exposition improved with three newly added subsections (2.3, 2.4, 2.10)

We study the web of dualities relating various enumerative invariants, notably Gromov-Witten invariants and invariants that arise in topological gauge theory. In particular, we study Donaldson-Thomas gauge theory and its reductions to D=4 and D=2 which are relevant to the local theory of surfaces in Calabi-Yau threefolds., Comment: 38 pages, To Appear in Adv. Theor. Math. Phys. (2017)

Interpreting RG flows as dynamical systems in the space of couplings we produce a variety of constraints, global (topological) as well as local. These constraints, in turn, rule out some of the proposed RG flows and also predict new phases and fixed points, surprisingly, even in familiar theories such as O(N) model, QED-3, or QCD-4., Comment: 62 pp, 25 figures, 6 tables; remarks and references added

We propose and prove the Verlinde formula for the quantization of the Higgs bundle moduli spaces and stacks for any simple and simply-connected group. This generalizes the equivariant Verlinde formula for the case of $SU(n)$ proposed previously by the second and third author. We further establish a Verlinde formula for the quantization of parabolic Higgs bundle moduli spaces and stacks. Finally, we prove that these dimensions form a one-parameter family of $1+1$-dimensional TQFT, uniquely classified by the complex Verlinde algebra, which is a one-parameter family of Frobenius algebras. We construct this one-parameter family of Frobenius algebras as a deformation of the classical Verlinde algebra for $G$., Comment: 39 pages; references added, misprints corrected and exposition improved

We study resurgence properties of partition function of SU(2) Chern-Simons theory (WRT invariant) on closed three-manifolds. We check explicitly that in various examples Borel transforms of asymptotic expansions posses expected analytic properties. In examples that we study we observe that contribution of irreducible flat connections to the path integral can be recovered from asymptotic expansions around abelian flat connections. We also discuss connection to Floer instanton moduli spaces, disk instantons in 2d sigma models, and length spectra of "complex geodesics" on the A-polynomial curve., Comment: 56 pages, 19 figures. v2: references added

In this paper, we show the equivalence between two seemingly distinct 2d TQFTs: one comes from the "Coulomb branch index" of the class S theory $T[\Sigma,G]$ on $L(k,1) \times S^1$, the other is the $^LG$ "equivariant Verlinde formula", or equivalently partition function of $^LG_{\mathbb{C}}$ complex Chern-Simons theory on $\Sigma\times S^1$. We first derive this equivalence using the M-theory geometry and show that the gauge groups appearing on the two sides are naturally $G$ and its Langlands dual $^LG$. When $G$ is not simply-connected, we provide a recipe of computing the index of $T[\Sigma,G]$ as summation over indices of $T[\Sigma,\tilde{G}]$ with non-trivial background 't Hooft fluxes, where $\tilde{G}$ is the simply-connected group with the same Lie algebra. Then we check explicitly this relation between the Coulomb index and the equivariant Verlinde formula for $G=SU(2)$ or $SO(3)$. In the end, as an application of this newly found relation, we consider the more general case where $G$ is $SU(N)$ or $PSU(N)$ and show that equivariant Verlinde algebra can be derived using field theory via (generalized) Argyres-Seiberg duality. We also attach a Mathematica notebook that can be used to compute the $SU(3)$ equivariant Verlinde coefficients., Comment: 40 pages, 7 figures, Mathematica Notebook attached; v2: misprints corrected; v3: Acknowledgement added, corrections made based on the journal version

Motivated by physical constructions of homological knot invariants, we study their analogs for closed 3-manifolds. We show that fivebrane compactifications provide a universal description of various old and new homological invariants of 3-manifolds. In terms of 3d/3d correspondence, such invariants are given by the Q-cohomology of the Hilbert space of partially topologically twisted 3d N=2 theory T[M_3] on a Riemann surface with defects. We demonstrate this by concrete and explicit calculations in the case of monopole/Heegaard Floer homology and a 3-manifold analog of Khovanov-Rozansky link homology. The latter gives a categorification of Chern-Simons partition function. Some of the new key elements include the explicit form of the S-transform and a novel connection between categorification and a previously mysterious role of Eichler integrals in Chern-Simons theory., Comment: 85 pages, 14 figures

This paper provides both a detailed study of color-dependence of link homologies, as realized in physics as certain spaces of BPS states, and a broad study of the behavior of BPS states in general. We consider how the spectrum of BPS states varies as continuous parameters of a theory are perturbed. This question can be posed in a wide variety of physical contexts, and we answer it by proposing that the relationship between unperturbed and perturbed BPS spectra is described by a spectral sequence. These general considerations unify previous applications of spectral sequence techniques to physics, and explain from a physical standpoint the appearance of many spectral sequences relating various link homology theories to one another. We also study structural properties of colored HOMFLY homology for links and evaluate Poincare polynomials in numerous examples. Among these structural properties is a novel "sliding" property, which can be explained by using (refined) modular S-matrix. This leads to the identification of modular transformations in Chern-Simons theory and 3d N=2 theory via the 3d/3d correspondence. Lastly, we introduce the notion of associated varieties as classical limits of recursion relations of colored superpolynomials of links, and study their properties., Comment: 160 pages, 69 figures, 4 tables; Don't be intimidated by the length - each section can be read more or less independently.; v2 and v3, minor corrections, a Mathematica file is attached as an ancillary file

We show how networks of Wilson lines realize quantum groups U_q(sl(m)), for arbitrary m, in 3d SU(N) Chern-Simons theory. Lifting this construction to foams of surface operators in 4d theory we find that rich structure of junctions is encoded in combinatorics of planar diagrams. For a particular choice of surface operators we reproduce known mathematical constructions of categorical representations and categorified quantum groups., Comment: 62 pages, 33 figures, minor changes, references added