REVIEW 3 major objections 5 minor 29 references
The skein valued mirror of the topological vertex
T0 review · 3 major / 5 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read This paper proves that the topological vertex — the combinatorial partition function of topological string theory — is the skein-valued count of holomorphic curves in C3 with boundary on three toric Lagrangian solid tori.
desk verdict Impressive algebraic core, honest geometric sketch; worth a serious referee but needs the triangle cancellation written out. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central objects are the three skein-valued operators A1, A2, A3 in the skein algebra of R \times $T^{2}$, each a signed monomial combination of P_{i,j} curves on the three boundary tori. They are obtained from the boundary of 1-dimensional moduli spaces: after Morsifying the Reeb chords, rigid holomorphic disks and triangles at infinity are counted, and Proposition 15 chooses signs, framing monomials, and capping paths so that the six triangle contributions cancel in pairs. The operators act on the W_{\$\lambda$,\emptyset} basis of the annulus skein, and the action formulas from [26] translate A_i \cdot Z = 0 into a recursion (R^i_j) on the coefficients T_{\lambda_1,\lambda_2,\lambda_3}. Skew Schur and Pieri identities show that this recursion has a unique solution, which is the topological vertex formula.
What would settle it
Compute the coefficient of W_{\square,\emptyset} \otimes W_{\square,\emptyset} \otimes W_{\emptyset,\emptyset} in the geometric count directly from Lemma 9 (one disk plus one nodal annulus) and compare it with the vertex formula value 1 + ($q^{{1/2}}$ - $q^{{-1/2}}$)^{-2}; more decisively, list the six triangle terms of Proposition 15 with their proven signs and framing monomials and verify the pairwise cancellation explicitly, since a single surviving triangle would produce a nonzero term in A1 \cdot Z that the recursion forbids.
Extended reading notes
Core claim
Working in the skein-valued curve counting formalism of [18], the paper considers Z_{C3,L1,L2,L3}, the partition function of holomorphic curves in C3 with boundary on three toric Lagrangian solid tori L1, L2, L3, expanded in the basis W_{\lambda_1,\emptyset} \otimes W_{\lambda_2,\emptyset} \otimes W_{\lambda_3,\emptyset} of the skein of the three-torus boundary. The main geometric theorem is that three explicit skein elements A1, A2, A3, built from the P_{i,j} basis of the skein algebra of R \times $T^{2}$, annihilate this count: A_i \cdot Z = 0. These operators are obtained by counting rigid curves in the symplectization at infinity and cancelling the triangle contributions in pairs after a Morsification of the Reeb chords; the same operators dequantize to the augmentation variety of the Legendrian link. An algebraic theorem shows that the annihilation equations, with initial condition T_{\emptyset,\emptyset,\emptyset} = 1, have the unique solution T_{\lambda_1,\lambda_2,\lambda_3} = (-1)^{|\lambda_1|+|\lambda_2|+|\lambda_3|} C_{\lambda_1^t,\lambda_2^t,\lambda_3^t}, where C is the topological vertex defined by skew Schur functions. Hence the vertex is the skein-valued curve count.
Load-bearing premise
The proof rests on a cancellation computation carried out by hand and figures: after a small generic perturbation of the contact form at infinity, the only boundary configurations are three disk families and two triangle families, and the triangles cancel in pairs once signs, framing monomials, and capping paths are chosen; if any hidden configuration or a sign mismatch survives, the claimed operator equations and the identification with the vertex do not follow.
Editorial extensions
If this is right
- The topological vertex is not merely a combinatorial rule: it is the skein-valued holomorphic curve count for three toric Lagrangian solid tori in C3, giving the first rigorous geometric proof of its original string-theoretic interpretation.
- The recursion system (R^i_j) with initial condition T_{\emptyset,\emptyset,\emptyset} = 1 characterizes the vertex uniquely, so any future geometric or algebraic construction satisfying these equations must agree with the vertex.
- The operators A_i annihilate the count and dequantize to the augmentation variety of the Legendrian link at infinity, so the paper constructs a skein-valued quantization of that mirror curve.
- The framework extends to the other three fillings of the same Legendrian link, where the same cancellation argument yields explicit skein-valued partition functions for disk, annulus, and twisted annulus contributions.
Reading between the lines
- One could turn Proposition 15 into a fully computational check: enumerate the six triangle configurations with explicit signs and framing monomials in a computer algebra implementation; if any pair fails to cancel, the operator equation would be corrected before the rest of the paper is affected.
- Because the algebraic uniqueness theorem shows the vertex is the only solution of the A_i equations, the same skein-valued mirror construction might be carried out for other toric Calabi-Yau geometries with toric Lagrangian boundaries, replacing the three torus factors by more general skein modules.
- The U(1) specialization and dequantization suggest a concrete testable bridge: the same recursion, specialized to one-row partitions, should reproduce the augmentation variety of the Legendrian link; comparing with existing DGA computations would provide an independent check of the sign conventions.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the skein-valued count of holomorphic curves in C^3 with boundary on three special Lagrangian solid tori, and claims that this count is computed by the topological vertex. The argument has three parts: an algebraic recursion (Theorem 1) showing that a certain system of six operator equations, together with the empty configuration count 1, uniquely determines the coefficients T_{λ1,λ2,λ3} as signed versions of the topological vertex; a symmetric-function and skein-algebra computation (Proposition 2) showing that the operator equations A_i · Z = 0 are equivalent to that recursion; and a geometric derivation (Theorem 3) of the operator equations from curve counts at infinity, relying on a Morsification of the Reeb chord families and Proposition 15, which asserts cancellation of all triangle contributions. The paper concludes with Corollary 4 identifying the geometric count with the topological vertex, and with appendices containing U(1) specializations and conjectural formulas for other fillings.
Significance. If the main theorem is correct, this is a landmark result: it would be the first rigorous geometric proof that the topological vertex, defined combinatorially by skew Schur functions, equals a holomorphic curve count with Lagrangian boundary in C^3. The algebraic part of the paper — Theorem 1 and Proposition 2 — is clean, checkable, and appears sound; it gives a genuinely useful recursion for the vertex. The geometric part is much more delicate: Theorem 3 rests on a skein-valued SFT compactness/gluing framework and on Proposition 15, whose proof is only sketched with figures and choices. The paper is honest about this, explicitly calling the search for canceling combinations 'an art rather than a science' (Section 3.1), but for the central claim to be load-bearing the cancellation must be demonstrated with explicit, checkable data. The appendices are exploratory and would need separate justification if they are intended as theorems. Overall the result is significant and plausible, but the geometric proof as written is not complete enough for the announced conclusion.
major comments (3)
- [§3.6, Proposition 15] Proposition 15 is the load-bearing step in the proof of Theorem 3: it asserts that after Morsification all triangle contributions to the capped operators A_j cancel in pairs, leaving the three disk families whose skein classes are identified with the P^{(k)}_{i,j} terms. The proof as written is not checkable. It says that cancellation is 'at least plausible', then asserts 'We next show there in fact is such a cap' and refers to Figures 4–10, but the six triangle tangles are never written down explicitly: their boundary arcs on each Λ_j, negative Reeb-chord endpoints, framings, capping paths, spin-structure signs, and a-monomials are not listed. The reader cannot verify the pairwise cancellation, the signs, or the framing monomials from the text. Since the equation A_j · Z_{C^3,L_1,L_2,L_3} = 0 is derived exclusively from this cancellation, a hidden surviving triangle, wrong sign, or framing mismatch would invalidate Theorem 3 and hence Corollary 4. I request an explicit accounting of the six triangle contributions and their pairings, rather than a figure-based assertion.
- [§3.6, after Lemma 11] The Morsification step must not only cancel the two families of triangles appearing in Lemma 11(ii), but also ensure that the perturbation does not create additional rigid curves or additional flow trees with the chosen positive puncture at c_{k,k}. The proof invokes [9, Theorem 1.1] in one sentence, but does not enumerate the possible Morse flow trees after the perturbation. Lemma 11 enumerates Bott-rigid curves before Morsification; it does not automatically control all rigid configurations after perturbing the contact form and adding Morse flows. This gap is separate from the sign/framing issue in Proposition 15 and needs to be addressed explicitly, for example by showing that the only flow trees with positive puncture at a minimum are exactly the five types listed.
- [§3.7, coefficient determination] The final step of the proof of Theorem 3 determines the nine coefficients a^{(k)}_{i,j} of A_1 by matching leading terms in A_1 · Z, using the fact that the a^{(k)}_{i,j} are monomials and the sign pattern (−1)^{i+j}. This step is sound only if the set of P^{(k)}_{i,j} terms is exactly the nine listed and if Proposition 15 provides the asserted geometric identification of those terms. Since Proposition 15 is not demonstrated, the coefficient determination inherits the same gap. In addition, the sign rule 'any two disks have the same sign if and only if the restriction of the spin structure to their boundaries is the same' is asserted without a precise comparison of the spin-structure restrictions for the nine disks; a short derivation from the chosen spin structure in Section 3.5 would make this checkable.
minor comments (5)
- [§3.3, Lemma 9] The phrase 'nodal annuls' should read 'nodal annuli'; also, the proof of part (b) relies on a Floer gluing theorem for a family of disks but does not specify the version of the gluing theorem used or the exact perturbation setup, which would be helpful for readers who want to verify the transversality claim.
- [§3.6, proof of Proposition 15] The text says 'we pick the location ... to lie close to the evaluation map' and refers to dashed circles in the figures, but the figures are not accompanied by a legend explaining how red dots, dashed circles, black dots, and curve segments correspond to evaluation maps, neighborhoods, chord minima, and Morse flows. A precise caption or an explicit coordinate description would substantially improve readability and checkability.
- [§3.7, sign rule] The statement 'the sign in front of a^{(k)}_{i,j} is always (−1)^{i+j}' is introduced without deriving it from the chosen spin structures and framings; as written it is a claim that the reader must take on faith, even though it is used to fix two of the coefficients a^{(1)}_{0,1} and a^{(1)}_{1,0}.
- [Appendix B] Several formulas in Appendix B are introduced by 'one can show' or 'we content ourselves with recording without proof'; if these are meant to be conjectural, they should be labeled as such, and if they are meant to be theorems, they need proofs or at least precise statements of the geometric input used.
- [Throughout] There are several typographical and wording issues: 'obtianed' in Proposition 15, 'postive' in the caption of Figure 8, 'wtite' in the discussion of ⋆_f in Appendix B, and inconsistent use of 'a' vs. 'a_i' in the operator formulas in the introduction versus Section 3.7. These do not affect the mathematics but should be corrected.
Circularity Check
No circularity: geometric operator equations are calibrated by independent disk/annulus counts, and the topological vertex formula enters only as the unique algebraic solution.
full rationale
The claimed derivation is not circular. Theorem 1 establishes by Schur-function manipulation that T_{λ1,λ2,λ3}=(-1)^{|λ1|+|λ2|+|λ3|} C_{λ1^t,λ2^t,λ3^t} is the unique solution of the recursion system (R^i_j) with T_{∅,∅,∅}=1; the recursion is derived from a skew-Schur/Pieri identity, not from the geometric count. Proposition 2 converts the recursion into the operator equations A_i·Z=0 using the action formulas for P_{i,j} on W_{λ,∅}, quoted from the independent Morton–Samuelson paper [26]. Theorem 3 derives A_i·Z=0 from SFT compactness and gluing, the explicit rigid curves in Lemma 11, and the triangle-cancellation argument of Proposition 15. The undetermined monomial coefficients in A_i are fixed in Section 3.7 by matching the geometrically computed leading coefficients z_{∅,∅,∅}=1, z_{∅,∅,□}=-(q^{1/2}-q^{-1/2})^{-1}, and z_{∅,□,□}=z_{□,∅,□}=1+(q^{1/2}-q^{-1/2})^{-2}; these are inputs computed from disks and annuli (Lemma 9), not from the topological vertex formula. The vertex appears only at the end, as the unique algebraic solution of the resulting equations. Spin-structure and framing choices that affect signs and monomials are conventions defining the skein-valued count, and the paper explicitly notes that other choices would shift signs and transposes. The main weakness is that Proposition 15 is proven by a figure-based sketch, but a gap or unverified geometric claim is a correctness risk, not a circular reduction. No equation is defined in terms of the target, and no fitted parameter is renamed as a prediction.
Assumptions & free parameters
assumptions (6)
- domain assumption Skein-valued curve counting is well-defined and invariant.
- domain assumption SFT compactness and gluing at transverse Reeb chords.
- domain assumption No low-index Reeb orbit breaking in the S5 boundary.
- domain assumption Morse flow tree correspondence of [9, Theorem 1.1].
- domain assumption Floer gluing theorem for annuli in Lemma 9(b).
- standard math Skew Schur and Pieri/Littlewood-Richardson identities.
Cite this review
Pith. "Pith review of The skein valued mirror of the topological vertex." pith.science (2026). https://pith.science/paper/SU3FLYGB
@misc{pith2026241215454,
author = {Pith},
title = {Pith review of: The skein valued mirror of the topological vertex},
year = {2026},
howpublished = {\url{https://pith.science/paper/SU3FLYGB}},
note = {Machine review of arXiv:2412.15454}
}
read the original abstract
We count holomorphic curves in complex 3-space with boundaries on three special Lagrangian solid tori. The count is valued in the HOMFLYPT skein module of the union of the tori. Using 1-parameter families of curves at infinity, we derive three skein valued operator equations which must annihilate the count, and which dequantize to a mirror of the geometry. We show algebraically that the resulting equations determine the count uniquely, and that the result agrees with the topological vertex from topological string theory.
Figures
Figures from the paper (7 more)
Reference graph
Works this paper leans on
-
[1]
Topological strings and integrable hierarchies
Mina Aganagic, Robbert Dijkgraaf, Albrecht Klemm, Marcos Marino, and Cumrun Vafa. Topological strings and integrable hierarchies. Communications in mathematical physics , 261:451–516, 2006
work page 2006
-
[2]
Topological Strings, D-Model, and Knot Contact Homology
Mina Aganagic, Tobias Ekholm, Lenhard Ng, and Cumrun Vafa. Topological Strings, D-Model, and Knot Contact Homology. Adv. Theor. Math. Phys. , 18(4):827–956, 2014
work page 2014
-
[3]
Mina Aganagic, Albrecht Klemm, Marcos Marino, and Cumrun Vafa. The Topological vertex. Commun. Math. Phys. , 254:425–478, 2005. THE SKEIN V ALUED MIRROR OF THE TOPOLOGICAL VERTEX 27
work page 2005
-
[4]
Large N duality, mirror symmetry, and a Q-deformed A-polynomial for knots
Mina Aganagic and Cumrun Vafa. Large N duality, mirror symmetry, and a Q-deformed A-polynomial for knots. arXiv:1204.4709
-
[5]
Mirror symmetry, D-branes and counting holomorphic discs
Mina Aganagic and Cumrun Vafa. Mirror symmetry, D-branes and counting holomorphic discs. hep- th/0012041
-
[6]
Sami Assaf and Peter McNamara. A Pieri rule for skew shapes. Journal of Combinatorial Theory, Series A, 118(1):277–290, 2011
work page 2011
-
[7]
F. Bourgeois, Y. Eliashberg, H. Hofer, K. Wysocki, and E. Zehnder. Compactness results in symplectic field theory. Geom. Topol., 7:799–888, 2003
work page 2003
-
[8]
Knot contact homology, string topol- ogy, and the cord algebra
Kai Cieliebak, Tobias Ekholm, Janko Latschev, and Lenhard Ng. Knot contact homology, string topol- ogy, and the cord algebra. J. ´Ec. polytech. Math. , 4:661–780, 2017
work page 2017
Show all 29 references
-
[9]
Morse flow trees and Legendrian contact homology in 1-jet spaces
Tobias Ekholm. Morse flow trees and Legendrian contact homology in 1-jet spaces. Geom. Topol., 11:1083–1224, 2007
2007
-
[10]
Rational symplectic field theory over Z2 for exact Lagrangian cobordisms
Tobias Ekholm. Rational symplectic field theory over Z2 for exact Lagrangian cobordisms. J. Eur. Math. Soc. (JEMS), 10(3):641–704, 2008
2008
-
[11]
Duality between Lagrangian and Legendrian invariants
Tobias Ekholm and Yankı Lekili. Duality between Lagrangian and Legendrian invariants. Geometry & Topology, 27(6):2049–2179, 2023
2023
-
[12]
The worldsheet skein D-module and basic curves on Lagrangian fillings of the Hopf link conormal
Tobias Ekholm, Pietro Longhi, and Lukas Nakamura. The worldsheet skein D-module and basic curves on Lagrangian fillings of the Hopf link conormal. arxiv:2407.09836
-
[13]
Higher genus knot contact homology and recursion for colored HOMFLY-PT polynomials
Tobias Ekholm and Lenhard Ng. Higher genus knot contact homology and recursion for colored HOMFLY-PT polynomials. Adv. Theor. Math. Phys. , 24(8):2067–2145, 2020
2020
-
[14]
Colored HOMFLYPT counts holomorphic curves, arXiv:2101.00619
Tobias Ekholm and Vivek Shende. Colored HOMFLYPT counts holomorphic curves, arXiv:2101.00619
- [15]
-
[16]
Ghost bubble censorship
Tobias Ekholm and Vivek Shende. Ghost bubble censorship. arXiv:2212.05835
-
[17]
Skein recursion for holomorphic curves and invariants of the unknot
Tobias Ekholm and Vivek Shende. Skein recursion for holomorphic curves and invariants of the unknot. arXiv:2012.15366
2012 arXiv
-
[18]
Skeins on branes, arXiv:1901.08027
Tobias Ekholm and Vivek Shende. Skeins on branes, arXiv:1901.08027
1901 arXiv
-
[19]
Eliashberg, A
Y. Eliashberg, A. Givental, and H. Hofer. Introduction to symplectic field theory. pages 560–673. 2000. GAF A 2000 (Tel Aviv, 1999)
2000
-
[20]
Sectorial descent for wrapped Fukaya categories
Sheel Ganatra, John Pardon, and Vivek Shende. Sectorial descent for wrapped Fukaya categories. Journal of the American Mathematical Society , 37(2):499–635, 2024
2024
-
[21]
A basis for the full Homfly skein of the annulus
Richard Hadji and Hugh Morton. A basis for the full Homfly skein of the annulus. Mathematical Pro- ceedings of the Cambridge Philosophical Society , 141(1):81–100, 2006
2006
-
[22]
Applications of polyfold theory I: The polyfolds of Gromov-Witten theory
Helmut Hofer, Krzysztof Wysocki, and Eduard Zehnder. Applications of polyfold theory I: The polyfolds of Gromov-Witten theory. Mem. Amer. Math. Soc. , 248(1179), 2017
2017
-
[23]
A mathematical theory of the topological vertex
Jun Li, Chiu-Chu Melissa Liu, Kefeng Liu, and Jian Zhou. A mathematical theory of the topological vertex. Geom. Topol., 13(1):527–621, 2009
2009
-
[24]
Gromov–Witten theory and Donaldson–Thomas theory, I
Davesh Maulik, Nikita Nekrasov, Andrei Okounkov, and Rahul Pandharipande. Gromov–Witten theory and Donaldson–Thomas theory, I. Compositio Mathematica, 142(5):1263–1285, 2006
2006
-
[25]
Gromov- Witten/Donaldson-Thomas correspondence for toric 3-folds
Davesh Maulik, Alexei Oblomkov, Andrei Okounkov, and Rahul Pandharipande. Gromov- Witten/Donaldson-Thomas correspondence for toric 3-folds. Inventiones mathematicae , 186:435–479, 2011
2011
-
[26]
The HOMFLYPT skein algebra of the torus and the elliptic Hall algebra
Hugh Morton and Peter Samuelson. The HOMFLYPT skein algebra of the torus and the elliptic Hall algebra. Duke Mathematical Journal , 166(5):801–854, 2017
2017
-
[27]
Quantum Calabi-Yau and Classical Crystals
Andrei Okounkov, Nikolai Reshetikhin, and Cumrun Vafa. Quantum Calabi-Yau and Classical Crystals. Progress in Mathematics, 244:597–618, 2006
2006
-
[28]
Knot invariants and topological strings
Hirosi Ooguri and Cumrun Vafa. Knot invariants and topological strings. Nucl. Phys. , B577:419–438, 2000
2000
-
[29]
Quantum mirrors of cubic planar graph Legendrians
Matthias Scharitzer and Vivek Shende. Quantum mirrors of cubic planar graph Legendrians. arXiv:2304.01872. 28 TOBIAS EKHOLM, PIETRO LONGHI, AND VIVEK SHENDE Department of Mathematics and Centre for Geometry and Physics Uppsala University, Box 480, 751 06 Uppsala, Sweden and In...
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.