[論文レビュー] The colored HOMFLY polynomial is q-holonomic

Stavros Garoufalidis|arXiv (Cornell University)|Nov 27, 2012

Algebraic structures and combinatorial models参考文献 30被引用数 7

ひとこと要約

本稿は、$flexible homologypolynomial of a link, when colored by symmetric or exterior powers of the fundamental representation of $fl}_N$, is $q$-holonomic with respect to the color parameters. The result establishes the existence of a rigorously defined $(a,q)$-super-polynomial for all knots in 3-space, extending the $q$-holonomic structure of the colored Jones polynomial to the HOMFLY setting and supporting conjectures in quantum topology and Chern-Simons theory.

ABSTRACT

We prove that the colored HOMFLY polynomial of a link, colored by symmetric or exterior powers of the fundamental representation, is q-holonomic with respect to the color parameters. As a result, we obtain the existence of an (a,q) super-polynomial of all knots in 3-space. Our result has implications on the quantization of the SL(2,C) character variety of knots using ideal triangulations or the topological recursion, and motivates questions on the web approach to representation theory.

研究の動機と目的

• To establish the $q$-holonomicity of the colored HOMFLY polynomial with respect to symmetric or exterior power colorings of the fundamental representation of $\mathfrak{sl}_N$.
• To demonstrate that this $q$-holonomic structure implies the existence of a well-defined $(a,q)$-super-polynomial for all knots in 3-space.
• To provide a rigorous mathematical foundation for the super-polynomial conjectured in mathematical physics, particularly in relation to BPS state counting and Khovanov-Rozansky homology.
• To motivate deeper connections between skein theory, web algebras, and the quantization of $\mathrm{SL}(2,\mathbb{C})$ character varieties via ideal triangulations or topological recursion.
• To lay the groundwork for extending $q$-holonomicity to arbitrary representations of $\mathfrak{sl}_N$ in future work.

提案手法

• Utilizes the theory of $q$-holonomic functions and the $q$-Weyl algebra to analyze recursion relations of the colored HOMFLY polynomial.
• Applies the MOY graph calculus (Murakami-Ohtsuki-Okada) to represent colored HOMFLY polynomials as evaluations on planar graphs with colored edges.
• Employs the Jeong-Kim evaluation algorithm for MOY graphs, which is shown to be $q$-holonomic due to $q$-proper hypergeometric coefficients in the linear relations.
• Relies on the closure of $q$-holonomic functions under summation and multiplication to prove that the entire evaluation process preserves $q$-holonomicity.
• Uses the creative telescoping method (Zeilberger's algorithm) to compute recursions from multi-sum expressions, as demonstrated in computations for twist knots.
• Leverages the topological recursion and matrix model formulations for torus links to provide independent verification of the result in special cases.

実験結果

リサーチクエスチョン

• RQ1 Is the colored HOMFLY polynomial of a link, colored by symmetric powers of the fundamental representation, $q$-holonomic with respect to the color parameters?
• RQ2 Can a well-defined $(a,q)$-super-polynomial be constructed for all knots in 3-space based on the $q$-holonomic structure of the colored HOMFLY polynomial?
• RQ3 How do the recursion coefficients of the colored HOMFLY polynomial depend on the rank $N$ of $\mathfrak{sl}_N$?
• RQ4 What is the specialization of the $q$-holonomic recursion to $q=1$, and does it yield a two-variable polynomial related to the $A$-polynomial?
• RQ5 To what extent can the $q$-holonomic structure be extended to arbitrary representations of $\mathfrak{sl}_N$?

主な発見

• The colored HOMFLY polynomial of a link, colored by symmetric or exterior powers of the fundamental representation of $\mathfrak{sl}_N$, is $q$-holonomic with respect to the color parameters.
• For any knot, the colored HOMFLY polynomial with $n$-th symmetric power coloring satisfies a linear recursion with coefficients in $\mathbb{Z}[q, a]$, where $a = q^N$.
• The existence of such a recursion implies the existence of a well-defined $(a,q)$-super-polynomial for all knots in 3-space.
• Specializing the recursion to $q=1$ yields a two-variable polynomial independent of $N$, which is conjectured to be the $A$-polynomial of the knot.
• The $q$-holonomicity is established via the Jeong-Kim evaluation algorithm on MOY graphs, whose coefficients are $q$-proper hypergeometric functions.
• The result is verified independently for torus links using matrix models and topological recursion, confirming the general theorem in this case.