arXiv subjects

Sergei Gukov

Publications and source records attributed to Sergei Gukov.

At least 37 records · Page 2Linked to original sources

arXiv2024

On categorification of Stokes coefficients in Chern-Simons theory

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.

hep-th↗

arXiv2024

Rigor with Machine Learning from Field Theory to the Poincar\'e Conjecture

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.

hep-th↗

arXiv2023

Going to the Other Side via the Resurgent Bridge

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.

hep-th↗

arXiv2023

$c_{\text{eff}}$ for 3d $\mathcal{N}=2$ theories

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.

hep-th↗

arXiv2023

Searching for ribbons with machine learning

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.

math.GT↗

arXiv2023

$\widehat{Z}$ and Splice Diagrams

We study quantum $q$-series invariants of 3-manifolds $\widehat{Z}_\sigma$ of Gukov-Pei-Putrov-Vafa, using techniques from the theory of normal surface singularities such as splice diagrams. We show that the (suitably normalized) sum of all $\widehat{Z}_\sigma$ depends only on the splice diagram, and in particular, it agrees for manifolds with the same universal abelian cover. We use these ideas to find simple formulas for $\widehat{Z}_\sigma$ invariants of Seifert manifolds. Applications include a better understanding of the vanishing of the $q$-series $\widehat{Z}_\sigma$. Additionally, we study moduli spaces of flat $\operatorname{SL}_2(\mathbb{C})$ connections on Seifert manifolds and their relation to spectra of surface singularities, extending a result of Boden and Curtis for Brieskorn spheres to Seifert rational homology spheres with 3 singular fibers and to Seifert homology spheres with any number of fibers.

math.GT↗

arXiv2022

3-manifolds and Vafa-Witten theory

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.

math.GT↗

arXiv2022

Branes and DAHA Representations

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.

hep-th↗

arXiv2022

Near-Horizon Quantum Dynamics of 4-d Einstein Gravity from 2-d JT Gravity

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.

hep-th↗

arXiv2022

3-Manifolds and VOA Characters

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.

hep-th↗

arXiv2021

Special Lagrangian cycles and Calabi-Yau transitions

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.

math.DG↗

arXiv2021

Symmetries of 2d TQFTs and Equivariant Verlinde Formulae for General Groups

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.

hep-th↗

arXiv2021

Branches, quivers, and ideals for knot complements

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]$.

hep-th↗

arXiv2021

Non-Semisimple TQFT's and BPS $q$-Series

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.

math.GT↗

arXiv2020

Generalized Global Symmetries of $T[M]$ Theories. I

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$.

hep-th↗

arXiv2020

Learning to Unknot

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.

math.GT↗

arXiv2020

Cobordism invariants from BPS q-series

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.

hep-th↗

arXiv2020

Topological Gravity as the Early Phase of Our Universe

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.

hep-th↗