-
Knot-quiver correspondence: a brief review
Authors:
Piotr Kucharski,
Dmitry Noshchenko
Abstract:
This note is an overview of the knot-quiver correspondence, which relates symmetric quivers and their partition functions, a.k.a. motivic Donaldson-Thomas generating series, to quantum invariants of knots and links in $S^3$.
This note is an overview of the knot-quiver correspondence, which relates symmetric quivers and their partition functions, a.k.a. motivic Donaldson-Thomas generating series, to quantum invariants of knots and links in $S^3$.
△ Less
Submitted 8 May, 2025;
originally announced May 2025.
-
What makes math problems hard for reinforcement learning: a case study
Authors:
Ali Shehper,
Anibal M. Medina-Mardones,
Lucas Fagan,
Bartłomiej Lewandowski,
Angus Gruen,
Yang Qiu,
Piotr Kucharski,
Zhenghan Wang,
Sergei Gukov
Abstract:
Using a long-standing conjecture from combinatorial group theory, we explore, from multiple perspectives, the challenges of finding rare instances carrying disproportionately high rewards. Based on lessons learned in the context defined by the Andrews-Curtis conjecture, we propose algorithmic enhancements and a topological hardness measure with implications for a broad class of search problems. As…
▽ More
Using a long-standing conjecture from combinatorial group theory, we explore, from multiple perspectives, the challenges of finding rare instances carrying disproportionately high rewards. Based on lessons learned in the context defined by the Andrews-Curtis conjecture, we propose algorithmic enhancements and a topological hardness measure with implications for a broad class of search problems. As part of our study, we also address several open mathematical questions. Notably, we demonstrate the length reducibility of all but two presentations in the Akbulut-Kirby series (1981), and resolve various potential counterexamples in the Miller-Schupp series (1991), including three infinite subfamilies.
△ Less
Submitted 11 February, 2025; v1 submitted 27 August, 2024;
originally announced August 2024.
-
3d Modularity Revisited
Authors:
Miranda C. N. Cheng,
Ioana Coman,
Piotr Kucharski,
Davide Passaro,
Gabriele Sgroi
Abstract:
The three-manifold topological invariants $\hat Z$ capture the half-index of the three-dimensional theory with ${\cal N}=2$ supersymmetry obtained by compactifying the M5 brane theory on the closed three-manifold. In 2019, surprising general relations between the $\hat Z$-invariants, quantum modular forms, and vertex algebras, have been proposed. In the meanwhile, an extensive array of examples ha…
▽ More
The three-manifold topological invariants $\hat Z$ capture the half-index of the three-dimensional theory with ${\cal N}=2$ supersymmetry obtained by compactifying the M5 brane theory on the closed three-manifold. In 2019, surprising general relations between the $\hat Z$-invariants, quantum modular forms, and vertex algebras, have been proposed. In the meanwhile, an extensive array of examples have been studied, but several general important structural questions remain. First, for many three-manifolds it was observed that the different $\hat Z$-invariants for the same three-manifolds are quantum modular forms that span a subspace of a Weil representation for the modular group $SL_2(Z)$, corresponding to the structure of vector-valued quantum modular forms. We elucidate the meaning of this vector-valued quantum modular form structure by first proposing the analogue $\hat Z$-invariants with supersymmetric defects, and subsequently showing that the full vector-valued quantum modular form is precisely the object capturing all the $\hat Z$-invariants, with and without defects, of a given three-manifold. Second, it was expected that matching radial limits is a key feature of $\hat Z$-invariants when changing the orientation of the plumbed three-manifold, suggesting the relevance of mock modularity. We substantiate the conjecture by providing explicit proposals for such $\hat Z$-invariants for an infinite family of three-manifolds and verify their mock modularity and limits. Third, we initiate the study of the vertex algebra structure of the mock type invariants by showcasing a systematic way to construct cone vertex operator algebras associated to these invariants, which can be viewed as the partner of logarithmic vertex operator algebras in this context.
△ Less
Submitted 25 March, 2024; v1 submitted 21 March, 2024;
originally announced March 2024.
-
Categorification of quiver diagonalization and Koszul algebras
Authors:
Vladimir Dotsenko,
Evgeny Feigin,
Piotr Kucharski,
Markus Reineke
Abstract:
In earlier work of three of the authors of the present paper, a supercommutative quadratic algebra was associated to each symmetric quiver, and a new proof of positivity of motivic Donaldson-Thomas invariants of symmetric quivers was given using the so called numerical Koszul property of these algebras. It was furthermore conjectured that for each symmetric quiver such an algebra is Koszul. In thi…
▽ More
In earlier work of three of the authors of the present paper, a supercommutative quadratic algebra was associated to each symmetric quiver, and a new proof of positivity of motivic Donaldson-Thomas invariants of symmetric quivers was given using the so called numerical Koszul property of these algebras. It was furthermore conjectured that for each symmetric quiver such an algebra is Koszul. In this work, we lift the linking and unlinking operations on symmetric quivers of Ekholm, Longhi and the third author to the level of quadratic algebras, and use those lifts to prove the Koszulness conjecture.
△ Less
Submitted 20 February, 2024;
originally announced February 2024.
-
Unlinking symmetric quivers
Authors:
Piotr Kucharski,
Hélder Larraguível,
Dmitry Noshchenko,
Piotr Sułkowski
Abstract:
We analyse the structure of equivalence classes of symmetric quivers whose generating series are equal. We consider such classes constructed using the basic operation of unlinking, which increases a size of a quiver. The existence and features of such classes do not depend on a particular quiver but follow from the properties of unlinking. We show that such classes include sets of quivers assemble…
▽ More
We analyse the structure of equivalence classes of symmetric quivers whose generating series are equal. We consider such classes constructed using the basic operation of unlinking, which increases a size of a quiver. The existence and features of such classes do not depend on a particular quiver but follow from the properties of unlinking. We show that such classes include sets of quivers assembled into permutohedra, and all quivers in a given class are determined by one quiver of the largest size, which we call a universal quiver. These findings generalise the previous ones for permutohedra graphs for knots. We illustrate our results with generic examples, as well as specialisations related to the knots-quivers correspondence.
△ Less
Submitted 22 December, 2023;
originally announced December 2023.
-
Translation algorithms for graph covers
Authors:
Jan Boroński,
Henk Bruin,
Przemysław Kucharski
Abstract:
Graph covers are a way to describe continuous maps (and homeomorphisms) of a Cantor set, more generally than e.g.\ Bratteli-Vershik systems. Every continuous map on a zero-dimensional compact set can be expressed by a graph cover (e.g.\ non-minimality or aperiodicty are no restrictions). We give a survey on the construction, properties and some special cases of graph covers.
Graph covers are a way to describe continuous maps (and homeomorphisms) of a Cantor set, more generally than e.g.\ Bratteli-Vershik systems. Every continuous map on a zero-dimensional compact set can be expressed by a graph cover (e.g.\ non-minimality or aperiodicty are no restrictions). We give a survey on the construction, properties and some special cases of graph covers.
△ Less
Submitted 22 September, 2024; v1 submitted 31 October, 2023;
originally announced October 2023.
-
Strange attractors for the generalized Lozi-like family
Authors:
Przemysław Kucharski
Abstract:
We generalize the Lozi-like family introduced in Misiurewicz and Štimac work from 2017. The generalized Lozi-like family encompasses in particular certain Lozi-like maps, orientation preserving or reversing Lozi maps or large parameter regions of 2-dimensional border collision normal forms. We prove that it possesses a strange attractor, arising as a homoclinic class.
We generalize the Lozi-like family introduced in Misiurewicz and Štimac work from 2017. The generalized Lozi-like family encompasses in particular certain Lozi-like maps, orientation preserving or reversing Lozi maps or large parameter regions of 2-dimensional border collision normal forms. We prove that it possesses a strange attractor, arising as a homoclinic class.
△ Less
Submitted 15 August, 2023; v1 submitted 9 February, 2023;
originally announced February 2023.
-
Quiver diagonalization and open BPS states
Authors:
Jakub Jankowski,
Piotr Kucharski,
Hélder Larraguível,
Dmitry Noshchenko,
Piotr Sułkowski
Abstract:
We show that motivic Donaldson-Thomas invariants of a~symmetric quiver $Q$, captured by the generating function $P_Q$, can be encoded in another quiver $Q^{(\infty)}$ of (almost always) infinite size, whose only arrows are loops, and whose generating function $P_{Q^{(\infty)}}$ is equal to $P_Q$ upon appropriate identification of generating parameters. Consequences of this statement include a gene…
▽ More
We show that motivic Donaldson-Thomas invariants of a~symmetric quiver $Q$, captured by the generating function $P_Q$, can be encoded in another quiver $Q^{(\infty)}$ of (almost always) infinite size, whose only arrows are loops, and whose generating function $P_{Q^{(\infty)}}$ is equal to $P_Q$ upon appropriate identification of generating parameters. Consequences of this statement include a generalization of the proof of integrality of Donaldson-Thomas and Labastida-Mariño-Ooguri-Vafa invariants that count open BPS states, as well as expressing motivic Donaldson-Thomas invariants of an arbitrary symmetric quiver in terms of invariants of $m$-loop quivers. In particular, this means that the already known combinatorial interpretation of invariants of $m$-loop quivers extends to arbitrary symmetric quivers.
△ Less
Submitted 8 December, 2022;
originally announced December 2022.
-
Strange attractors for the family of orientation preserving Lozi maps
Authors:
Przemysław Kucharski
Abstract:
We extend the result of Michal Misiurewicz assuring the existence of strange attractors for the parametrized family $\{f_{(a,b)}\}$ of orientation reversing Lozi maps to the orientation preserving case. That is, we rigorously determine an open subset of the parameter space for which an attractor $\mathcal{A}_{(a,b)}$ of $f_{(a,b)}$ always exists and exhibits chaotic properties. Moreover, we prove…
▽ More
We extend the result of Michal Misiurewicz assuring the existence of strange attractors for the parametrized family $\{f_{(a,b)}\}$ of orientation reversing Lozi maps to the orientation preserving case. That is, we rigorously determine an open subset of the parameter space for which an attractor $\mathcal{A}_{(a,b)}$ of $f_{(a,b)}$ always exists and exhibits chaotic properties. Moreover, we prove that the attractor is maximal in some open parameter region, and arises as the closure of the unstable manifold of a fixed point, on which $f_{(a,b)}|_{\mathcal{A}_{(a,b)}}$ is mixing. We also show that $\mathcal{A}_{(a,b)}$ vary continuously with parameter $(a,b)$ in the Hausdorff metric.
△ Less
Submitted 21 August, 2023; v1 submitted 18 November, 2022;
originally announced November 2022.
-
Branches, quivers, and ideals for knot complements
Authors:
Tobias Ekholm,
Angus Gruen,
Sergei Gukov,
Piotr Kucharski,
Sunghyuk Park,
Marko Stošić,
Piotr Sułkowski
Abstract:
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 wri…
▽ More
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]$.
△ Less
Submitted 26 October, 2021;
originally announced October 2021.
-
Knot homologies and generalized quiver partition functions
Authors:
Tobias Ekholm,
Piotr Kucharski,
Pietro Longhi
Abstract:
We conjecture a relation between generalized quiver partition functions and generating functions for symmetrically colored HOMFLY-PT polynomials and corresponding HOMFLY-PT homology Poincaré polynomials of a knot $K$. We interpret the generalized quiver nodes as certain basic holomorphic curves with boundary on the knot conormal $L_K$ in the resolved conifold, and the adjacency matrix as measuring…
▽ More
We conjecture a relation between generalized quiver partition functions and generating functions for symmetrically colored HOMFLY-PT polynomials and corresponding HOMFLY-PT homology Poincaré polynomials of a knot $K$. We interpret the generalized quiver nodes as certain basic holomorphic curves with boundary on the knot conormal $L_K$ in the resolved conifold, and the adjacency matrix as measuring their boundary linking. The simplest such curves are embedded disks with boundary in the primitive homology class of $L_K$, other basic holomorphic curves consists of two parts: an embedded punctured sphere and a multiply covered punctured disk with boundary in a multiple of the primitive homology class of $L_K$. We also study recursion relations for the partition functions connected to knot homologies. We show that, after a suitable change of variables, any (generalized) quiver partition function satisfies the recursion relation of a single toric brane in $\mathbb{C}^3$.
△ Less
Submitted 13 January, 2022; v1 submitted 28 August, 2021;
originally announced August 2021.
-
On Cartwright-Littlewood Fixed Point Theorem
Authors:
Przemysław Kucharski
Abstract:
We prove the following generalization of the Cartwright-Littlewood fixed point theorem. Suppose $ h\colon~{\mathbb R}^{2}\to{\mathbb R}^{2} $ is an orientation preserving planar homeomorphism, and $ X $ is an acyclic continuum. Let $ C $ be a component of $ X \cap h(X) $. If there is a $ c \in C $ such that $ {\mathcal O}_{+} (c) \subseteq C $ or $ {\mathcal O}_{-} (c) \subseteq C $ then $ C $ als…
▽ More
We prove the following generalization of the Cartwright-Littlewood fixed point theorem. Suppose $ h\colon~{\mathbb R}^{2}\to{\mathbb R}^{2} $ is an orientation preserving planar homeomorphism, and $ X $ is an acyclic continuum. Let $ C $ be a component of $ X \cap h(X) $. If there is a $ c \in C $ such that $ {\mathcal O}_{+} (c) \subseteq C $ or $ {\mathcal O}_{-} (c) \subseteq C $ then $ C $ also contains a fixed point of $ h$. Our result also generalizes earlier results of Ostrovski and Boroński, and answers the Question from Boroński's work in 2017. The proof is inspired by a short proof of the result of Cartwright and Littlewood due to Hamilton.
△ Less
Submitted 28 January, 2022; v1 submitted 5 August, 2021;
originally announced August 2021.
-
Permutohedra for knots and quivers
Authors:
Jakub Jankowski,
Piotr Kucharski,
Hélder Larraguível,
Dmitry Noshchenko,
Piotr Sułkowski
Abstract:
The knots-quivers correspondence states that various characteristics of a knot are encoded in the corresponding quiver and the moduli space of its representations. However, this correspondence is not a bijection: more than one quiver may be assigned to a given knot and encode the same information. In this work we study this phenomenon systematically and show that it is generic rather than exceptio…
▽ More
The knots-quivers correspondence states that various characteristics of a knot are encoded in the corresponding quiver and the moduli space of its representations. However, this correspondence is not a bijection: more than one quiver may be assigned to a given knot and encode the same information. In this work we study this phenomenon systematically and show that it is generic rather than exceptional. First, we find conditions that characterize equivalent quivers. Then we show that equivalent quivers arise in families that have the structure of permutohedra, and the set of all equivalent quivers for a given knot is parameterized by vertices of a graph made of several permutohedra glued together. These graphs can be also interpreted as webs of dual 3d $\mathcal{N}=2$ theories. All these results are intimately related to properties of homological diagrams for knots, as well as to multi-cover skein relations that arise in counting of holomorphic curves with boundaries on Lagrangian branes in Calabi-Yau three-folds.
△ Less
Submitted 25 May, 2021;
originally announced May 2021.
-
Entropy of Toeplitz systems over residually finite groups
Authors:
Przemysław Kucharski
Abstract:
The purpose of this work is to bound sofic topological entropy of Toeplitz systems over residually finite groups and to prove the Krieger Theorem about attaining arbitrary entropy by the Toeplitz systems. To achieve these results, we discuss certain properties of the sofic topological entropy in the context of finitely indexed normal subgroups of the group. It will help us to formulate results alm…
▽ More
The purpose of this work is to bound sofic topological entropy of Toeplitz systems over residually finite groups and to prove the Krieger Theorem about attaining arbitrary entropy by the Toeplitz systems. To achieve these results, we discuss certain properties of the sofic topological entropy in the context of finitely indexed normal subgroups of the group. It will help us to formulate results almost independently of the natural sofic approximation sequences of residually finite groups.
△ Less
Submitted 2 December, 2020;
originally announced December 2020.
-
Graph covers of higher dimensional dynamical systems
Authors:
Przemysław Kucharski
Abstract:
We generalize the notion of an inverse sequence of graph covers from the zero-dimensional dynamical systems to any dynamical system.
We generalize the notion of an inverse sequence of graph covers from the zero-dimensional dynamical systems to any dynamical system.
△ Less
Submitted 25 March, 2022; v1 submitted 14 November, 2020;
originally announced November 2020.
-
Quivers for 3-manifolds: the correspondence, BPS states, and 3d $\mathcal{N}$=2 theories
Authors:
Piotr Kucharski
Abstract:
We introduce and explore the relation between quivers and 3-manifolds with the topology of the knot complement. This idea can be viewed as an adaptation of the knots-quivers correspondence to Gukov-Manolescu invariants of knot complements (also known as $F_K$ or $\hat{Z}$). Apart from assigning quivers to complements of $T^{(2,2p+1)}$ torus knots, we study the physical interpretation in terms of t…
▽ More
We introduce and explore the relation between quivers and 3-manifolds with the topology of the knot complement. This idea can be viewed as an adaptation of the knots-quivers correspondence to Gukov-Manolescu invariants of knot complements (also known as $F_K$ or $\hat{Z}$). Apart from assigning quivers to complements of $T^{(2,2p+1)}$ torus knots, we study the physical interpretation in terms of the BPS spectrum and general structure of 3d $\mathcal{N}=2$ theories associated to both sides of the correspondence. We also make a step towards categorification by proposing a $t$-deformation of all objects mentioned above.
△ Less
Submitted 11 August, 2020; v1 submitted 27 May, 2020;
originally announced May 2020.
-
$\widehat{Z}$ at large $N$: from curve counts to quantum modularity
Authors:
Tobias Ekholm,
Angus Gruen,
Sergei Gukov,
Piotr Kucharski,
Sunghyuk Park,
Piotr Sułkowski
Abstract:
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…
▽ More
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.
△ Less
Submitted 27 May, 2020;
originally announced May 2020.
-
Multi-cover skeins, quivers, and 3d $\mathcal{N}=2$ dualities
Authors:
Tobias Ekholm,
Piotr Kucharski,
Pietro Longhi
Abstract:
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…
▽ More
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.
△ Less
Submitted 10 February, 2020; v1 submitted 14 October, 2019;
originally announced October 2019.
-
Physics and geometry of knots-quivers correspondence
Authors:
Tobias Ekholm,
Piotr Kucharski,
Pietro Longhi
Abstract:
The recently conjectured knots-quivers correspondence relates gauge theoretic invariants of a knot $K$ in the 3-sphere to representation theory of a quiver $Q_{K}$ associated to the knot. In this paper we provide geometric and physical contexts for this conjecture within the framework of the large $N$ duality of Ooguri and Vafa, that relates knot invariants to counts of holomorphic curves with bou…
▽ More
The recently conjectured knots-quivers correspondence relates gauge theoretic invariants of a knot $K$ in the 3-sphere to representation theory of a quiver $Q_{K}$ associated to the knot. In this paper we provide geometric and physical contexts for this conjecture within the framework of the large $N$ duality of Ooguri and Vafa, that relates knot invariants to counts of holomorphic curves with boundary on $L_{K}$, the conormal Lagrangian of the knot in the resolved conifold, and corresponding M-theory considerations. From the physics side, we show that the quiver encodes a 3d ${\mathcal N}=2$ theory $T[Q_{K}]$ whose low energy dynamics arises on the worldvolume of an M5 brane wrapping the knot conormal and we match the (K-theoretic) vortex partition function of this theory with the motivic generating series of $Q_{K}$. From the geometry side, we argue that the spectrum of (generalized) holomorphic curves on $L_{K}$ is generated by a finite set of basic disks. These disks correspond to the nodes of the quiver $Q_{K}$ and the linking of their boundaries to the quiver arrows. We extend this basic dictionary further and propose a detailed map between quiver data and topological and geometric properties of the basic disks that again leads to matching partition functions. We also study generalizations of A-polynomials associated to $Q_{K}$ and (doubly) refined version of LMOV invariants.
△ Less
Submitted 9 June, 2020; v1 submitted 7 November, 2018;
originally announced November 2018.
-
Knots-quivers correspondence
Authors:
Piotr Kucharski,
Markus Reineke,
Marko Stosic,
Piotr Sułkowski
Abstract:
We introduce and explore the relation between knot invariants and quiver representation theory, which follows from the identification of quiver quantum mechanics in D-brane systems representing knots. We identify various structural properties of quivers associated to knots, and identify such quivers explicitly in many examples, including some infinite families of knots, all knots up to 6 crossings…
▽ More
We introduce and explore the relation between knot invariants and quiver representation theory, which follows from the identification of quiver quantum mechanics in D-brane systems representing knots. We identify various structural properties of quivers associated to knots, and identify such quivers explicitly in many examples, including some infinite families of knots, all knots up to 6 crossings, and some knots with thick homology. Moreover, based on these properties, we derive previously unknown expressions for colored HOMFLY-PT polynomials and superpolynomials for various knots. For all knots, for which we identify the corresponding quivers, the LMOV conjecture for all symmetric representations (i.e. integrality of relevant BPS numbers) is automatically proved.
△ Less
Submitted 13 July, 2017;
originally announced July 2017.
-
BPS states, knots and quivers
Authors:
Piotr Kucharski,
Markus Reineke,
Marko Stosic,
Piotr Sułkowski
Abstract:
We argue how to identify supersymmetric quiver quantum mechanics description of BPS states, which arise in string theory in brane systems representing knots. This leads to a surprising relation between knots and quivers: to a given knot we associate a quiver, so that various types of knot invariants are expressed in terms of characteristics of a moduli space of representations of the corresponding…
▽ More
We argue how to identify supersymmetric quiver quantum mechanics description of BPS states, which arise in string theory in brane systems representing knots. This leads to a surprising relation between knots and quivers: to a given knot we associate a quiver, so that various types of knot invariants are expressed in terms of characteristics of a moduli space of representations of the corresponding quiver. This statement can be regarded as a novel type of categorification of knot invariants, and among its various consequences we find that Labastida-Mariño-Ooguri-Vafa (LMOV) invariants of a knot can be expressed in terms of motivic Donaldson-Thomas invariants of the corresponding quiver; this proves integrality of LMOV invariants, conjectured originally based on string theory and M-theory arguments.
△ Less
Submitted 10 July, 2017;
originally announced July 2017.
-
BPS counting for knots and combinatorics on words
Authors:
Piotr Kucharski,
Piotr Sułkowski
Abstract:
We discuss relations between quantum BPS invariants defined in terms of a product decomposition of certain series, and difference equations (quantum A-polynomials) that annihilate such series. We construct combinatorial models whose structure is encoded in the form of such difference equations, and whose generating functions (Hilbert-Poincaré series) are solutions to those equations and reproduce…
▽ More
We discuss relations between quantum BPS invariants defined in terms of a product decomposition of certain series, and difference equations (quantum A-polynomials) that annihilate such series. We construct combinatorial models whose structure is encoded in the form of such difference equations, and whose generating functions (Hilbert-Poincaré series) are solutions to those equations and reproduce generating series that encode BPS invariants. Furthermore, BPS invariants in question are expressed in terms of Lyndon words in an appropriate language, thereby relating counting of BPS states to the branch of mathematics referred to as combinatorics on words. We illustrate these results in the framework of colored extremal knot polynomials: among others we determine dual quantum extremal A-polynomials for various knots, present associated combinatorial models, find corresponding BPS invariants (extremal Labastida-Mariño-Ooguri-Vafa invariants) and discuss their integrality.
△ Less
Submitted 23 August, 2016;
originally announced August 2016.
-
Knots, BPS states, and algebraic curves
Authors:
Stavros Garoufalidis,
Piotr Kucharski,
Piotr Sułkowski
Abstract:
We analyze relations between BPS degeneracies related to Labastida-Marino-Ooguri-Vafa (LMOV) invariants, and algebraic curves associated to knots. We introduce a new class of such curves that we call extremal A-polynomials, discuss their special properties, and determine exact and asymptotic formulas for the corresponding (extremal) BPS degeneracies. These formulas lead to nontrivial integrality s…
▽ More
We analyze relations between BPS degeneracies related to Labastida-Marino-Ooguri-Vafa (LMOV) invariants, and algebraic curves associated to knots. We introduce a new class of such curves that we call extremal A-polynomials, discuss their special properties, and determine exact and asymptotic formulas for the corresponding (extremal) BPS degeneracies. These formulas lead to nontrivial integrality statements in number theory, as well as to an improved integrality conjecture stronger than the known M-theory integrality predictions. Furthermore we determine the BPS degeneracies encoded in augmentation polynomials and show their consistency with known colored HOMFLY polynomials. Finally we consider refined BPS degeneracies for knots, determine them from the knowledge of super-A-polynomials, and verify their integrality. We illustrate our results with twist knots, torus knots, and various other knots with up to 10 crossings.
△ Less
Submitted 23 April, 2015;
originally announced April 2015.
