{"id":"a31a873f-5e7d-462a-9cc7-9c431cc1310b","arxiv_id":"2509.02939","paper_version":1,"verdict":"UNVERDICTED","confidence":"MODERATE","novelty_score":1.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"This is a survey, not a new result: it reviews the q-series invariants Zhat, F_K, F_L and their supergroup analogues, collecting known conjectures, theorems, and examples.","lead":"This review surveys the q-series invariants of 3-manifolds and links known as Zhat and F_L, along with their supergroup extensions, covering modularity, surgery, quivers, and connections to older invariants. It is a map of a fast-moving literature rather than a new mathematical result.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Equation (31) displays a strand-asymmetric exponent (j'+j') that breaks the Yang-Baxter equation; the R-matrix definition of F_L in §3.2–3.3 is therefore not reproducible as written.","rationale":"The paper is a survey, so its central value is accurate transcription of known definitions and theorems. The R-matrix is the foundation of Section 3: F_L, the inverted state sums, the surgery formulas, and the knot-quiver examples all use it. The repeated j' in Eq. (31) is an internal red flag because it breaks the expected symmetry and is inconsistent with the Yang-Baxter equation printed in the same paragraph. This is a concrete, checkable defect, and it is more specific than the reader's general warning about transcription fallibility. The reader's weakest_assumption correctly pointed to transcription errors and the undefined 'Conjecture 1.1' in Theorem 2.5, but did not identify the R-matrix exponent; hence partial agreement. I would not change the UNVERDICTED verdict: the paper introduces no new theorems, and this formula-level issue means it cannot be used standalone for F_L until corrected and checked against [93]/[94].","tokens_in":41208,"tokens_out":11874,"duration_ms":128994,"concrete_test":"Compare Eq. (31) with the large-color R-matrix in [93] (Park, arXiv:2004.02087, §3.2) and Eqs. (33)–(36) with [94] (arXiv:2106.03942). Then evaluate the Yang-Baxter identity R12 R23 R12 = R23 R12 R23 on the smallest nontrivial Verma module sector using the review's printed exponents. If the identity fails or the exponents differ from [93]/[94], the displayed R-matrix must be corrected to (j'+j+1)/2 and the examples in §3.10 recomputed. If the source also has j'+j', the concern is resolved and the review is accurate.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central link-level claim—that F_L is a well-defined q-series invariant—rests on the large-color R-matrix in §3.2. In Eq. (31) both occurrences of the exponent are printed as q^{(j'+j'+1)/2} x^{-(j'+j'+1)/2}; the same repeated j' appears in the extended R-matrices (33)–(36). The standard U_q(sl(2)) Verma R-matrix is symmetric and requires exponent (j'+j+1)/2. With the printed exponent, the R-matrix is not invariant under swapping the two strand labels, so the displayed formula cannot satisfy the quantum Yang-Baxter equation stated immediately after it. Because Theorem 3.9 defines F_L from these R-matrices via the inverted state sum, a reader using the review's formulas cannot verify the link invariant or the examples in §3.10. This is a load-bearing transcription error in the construction, not a stylistic issue. A separate undefined 'Conjecture 1.1' in Theorem 2.5 also blocks verification of the closed-manifold WRT decomposition, but the R-matrix error is more central to the definition of F_L.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper is a review of two families of q-series invariants in 3-manifold topology: the 3-manifold invariant \\hat{Z} and the link-complement invariant F_L, together with their supergroup analogues. After recapping the plumbed-manifold definition of \\hat{Z}, the paper reviews quantum modularity, line operators, effective central charge, relations to Rokhlin/Witt invariants, and orientation reversal. For F_L, it reviews the large-color R-matrix construction, inverted state sums, inverted Habiro series, Dehn surgery formulas, ADO polynomials, and the knot-quiver correspondence. A final section covers the sl(2|1) generalization \\hat{Z}_{b,c} and super F_K. The paper is purely a survey; no new theorems are proved.","tokens_in":41333,"tokens_out":12588,"duration_ms":132514,"significance":"The review is potentially useful as an entry point to a rapidly growing literature. Its strengths are the breadth of topics covered, the inclusion of many explicit formulas and examples, and the clear separation of theorems and conjectures. In particular, the presentation of the R-matrix formulation, the surgery formulas, and the supergroup extension collects material that is otherwise scattered. However, because the value of a review depends on reliable transcription, the errors identified below need to be fixed before the paper can be used as a reference. No machine-checked proofs or code are supplied, but the paper's role is expository rather than computational.","major_comments":[{"comment":"The large-color R-matrix is written with q^{(j'+j'+1)/2} x^{-(j'+j'+1)/2} in the displayed formula, and the same repeated-j' exponent appears in the extended R-matrix (33) and (35). The exponent must be symmetric in the two strand labels; the standard U_q(sl(2)) expression uses (j'+j+1)/2. With the printed exponent, the R-matrix is not invariant under exchanging the two strands and cannot satisfy the quantum Yang-Baxter equation stated immediately after Eq. (31). Since Theorem 3.9 and the examples in Section 3.10 depend on these matrices, the definition of F_L is not reproducible as written. Please correct the exponent and verify all R-matrix formulas against [93,94].","section":"Section 3.2, Eq. (31)"},{"comment":"The theorem states that 'Conjecture 1.1 holds for negative definite plumbed 3-manifolds', but no Conjecture 1.1 is defined anywhere in the manuscript. The only plausible reading is Conjecture 2.1 (the WRT decomposition), but the mismatch makes the attribution to [82] unverifiable. The conjecture should be explicitly renumbered or redefined before publication.","section":"Theorem 2.5"},{"comment":"The theorem defines F_L := (x^{1/2}-x^{-1/2}) Z_inv(β_L) with a single variable x and 'the parameter associated to the open strand', while Remark 3.10 states that F_L is a function of x_1,...,x_l for an l-component link L. For l > 1, the prefactor should presumably be a product over all components (or the variables should be encoded in Z_inv). As written, the definition is ambiguous and cannot reproduce the link surgery formula in Conjecture 3.20. Please align the notation with [94].","section":"Section 3.3, Theorem 3.9"}],"minor_comments":[{"comment":"The sentence 'It was shown in [ ?] that sign of e determines...' contains an unresolved citation placeholder. Please fill in the reference.","section":"Section 2.1"},{"comment":"The text says 'We find that m = 3', but the subsequent notation σ_{18+9} and the formula 4m = lcm(8,12,36,3) = 72 imply m = 18. This inconsistency should be corrected.","section":"Section 2.3, first example"},{"comment":"The parentheticals '(cf.(4))' and '(cf.(5))' after the definitions of w(Y) and def_3(Θ) should refer to Eqs. (24) and (25), respectively, where those quantities are actually defined.","section":"Section 2.6"},{"comment":"The remark says 'We will see in the origin of the diverging constant in Section 5 and 6', but the manuscript has no Section 6. This cross-reference should be corrected.","section":"Remark 4.4"},{"comment":"The text refers to 'Theorem 2.57', which does not exist; the intended reference is presumably Theorem 5.2 in the same section.","section":"Section 5.2"},{"comment":"The exponent 'deg(v_s)' should presumably be 'deg(v)'; the subscript s is undefined.","section":"Section 4.1, Eq. (56)"}],"recommendation":"major_revision","confidential_remarks":"The manuscript appears to have been submitted before a careful proofreading pass: broken cross-references, an unresolved citation placeholder, and typographical errors in several central formulas are too frequent for a review article. The heavy use of the author's own prior work ([9]-[13]) in Sections 3.8 and 5 is not by itself problematic, but the editor may want to ask an expert to confirm that the transcription of [13] is faithful. The R-matrix exponent error is the most serious issue; it must be corrected before the paper can serve as a reliable reference."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a real survey, not a disguised research paper. It collects a large amount of material on \\hat{Z}, F_K/F_L, and the superalgebra analogues, and it is organized well enough that a newcomer can see the shape of the subject. But it is not self-contained or reliable as a formula source. The worst issue is in §3.2: Eq (31) writes the exponent as (j'+j'+1)/2 in both places. That cannot be right; the standard large-color R-matrix is symmetric in the two strand labels and needs (j'+j+1)/2. With the printed exponent the matrix is not invariant under swapping labels, so the stated quantum Yang-Baxter equation cannot hold. Since Theorem 3.9 builds F_L from these matrices, a reader cannot verify the definition from this paper alone. That is a load-bearing typo, and it needs fixing. There are also smaller editorial problems: Theorem 2.5 cites a 'Conjecture 1.1' that never appears, §5.2 refers to a 'Theorem 2.57' that doesn't exist, Remark 4.4 points to a nonexistent Section 6, and there is a [?] placeholder in §2.1. These accumulate and make the paper feel rushed.\n\nWhat it does well: the selection of topics is sensible and the author clearly knows the literature. The sections on quantum modularity, line operators, surgery formulas, and the ADO/quiver connections give a fair picture of what is known and what is conjectural. The examples for torus knots and the figure-eight knot are useful. The survey of the supergroup extension in Sections 4–5 is a genuine service, since that material is recent and scattered. The author's own prior work on cable knots and supergroup knot complements is cited appropriately, though Sections 4–5 are in effect reviews of [27] and [13] and that could be stated more explicitly.\n\nProportion: the R-matrix typo is the only thing I'd call load-bearing. The rest are proofreading issues. I did not find a deeper conceptual flaw: the conjectures are labeled as conjectures and the attributions to Gukov–Pei–Putrov–Vafa, Park, Ferrari–Putrov, and others look right.\n\nThis is for a reader who wants a map of the subject, not someone who needs to verify a proof. With a careful revision—especially fixing the R-matrix and cross-references—it would be a reasonable review. I'd send it out to a referee rather than desk reject, because the survey is useful and the mistakes are fixable. I just wouldn't cite it for any formula until the corrected version appears.","headline":"A useful but under-polished survey of \\hat{Z} and F_L; the R-matrix formula as printed has a typo that breaks the Yang-Baxter check, so treat the equations as notes, not definitions.","tokens_in":42019,"tokens_out":3358,"would_cite":false,"duration_ms":38389,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This review assembles the evidence that the q-series invariants \\hat Z_b and F_L are a coherent family: they are quantum modular, built from infinite-dimensional Verma modules, expressible as quiver series, and linked at roots of unity to W","keywords":["q-series invariants","3-manifold invariants","knot invariants","quantum modularity","Verma modules","knot-quiver correspondence","ADO polynomials","Lie superalgebras"],"falsifier":"Compute $F_{4_1}(x,q)$ at $q=\\zeta_5$ and compare with $(x^{1/2}-x^{-1/2}) ADO_5(4_1;x)/\\Delta_{4_1}(x^5)$; any discrepancy disproves the conjectured root-of-unity connection to ADO polynomials (Conjecture 3.31).","tokens_in":40911,"feed_emoji":"🔗","tokens_out":11792,"duration_ms":121911,"temperature":0.7,"texified_at":"2026-08-05T20:23:54.577350+00:00","pith_summary":"The review's subject is a pair of q-series invariants: $\\hat{Z}_b$ for closed 3-manifolds and $F_L$ for link complements, both originating in a three-dimensional supersymmetric quantum field theory of Chern-Simons type. The paper assembles definitions, computational techniques, theorems, and conjectures to show these invariants are not isolated objects. They exhibit quantum modularity under the modular group, admit an R-matrix construction using infinite-dimensional Verma modules, expand into quiver generating series, and reduce at roots of unity to classical invariants such as the WRT invariant, ADO polynomials, and Witt invariants. A separate thread extends the whole picture to the Lie superalgebra $sl(2|1)$, where the invariants carry two Spinc labels. The goal is to present these q-series as a unified bridge between physics, low-dimensional topology, and quantum algebra.","texify_model":"deepseek-v4-flash","texify_usage":{"total_tokens":11090,"prompt_tokens":774,"completion_tokens":10316,"prompt_tokens_details":{"cached_tokens":0},"prompt_cache_hit_tokens":0,"prompt_cache_miss_tokens":774,"completion_tokens_details":{"reasoning_tokens":9610}},"feed_headline":"Q-series invariants unify 3-manifold and link invariants","feed_subtitle":"The survey ties quantum 3-manifold and knot invariants to modular forms, representation theory, and quivers.","key_machinery":"The central objects are two q-series invariants. For a plumbed 3-manifold $Y$, $\\hat{Z}_b$ is a principal-value contour integral of a theta function built from the plumbing matrix; this is the object whose modular properties and root-of-unity limits are analyzed. For a link $L$, $F_L$ is defined through an inverted state sum: a braid representative is evaluated with large-color $R$-matrices acting on infinite-dimensional highest and lowest weight Verma modules of $U_q(sl(2))$ (with multicolor generalizations), then closed by a reduced quantum trace. These $R$-matrices supply the infinite-dimensional representation theory behind $F_L$, while a quiver generating series gives an alternative packaging of the sam","core_discovery":"On the paper's own terms, the central discovery being reviewed is that the q-series invariants $\\hat{Z}_b(Y;q)$ and $F_L(x_i,q)$ form a coherent family with a characteristic set of properties. $\\hat{Z}_b$, originally predicted as the BPS partition function of a 3d $N=2$ theory on a manifold $Y$, is a convergent integral q-series conjecturally equal to the graded Euler characteristic of a homology categorifying the WRT invariant. $F_L$, defined for link complements first through plumbing and then through large-color R-matrices, obeys the same patterns of modularity, recursion, and root-of-unity specialization. The review records evidence that these series are quantum modular forms, that their perturbative","pith_inferences":["One testable extension suggested by the review: the inverted-state-sum machinery for homogeneous links may extend to arbitrary braid closures if the crossing-sign assignments are made coordinate-free, which would make F_L an invariant of all links rather than only homogeneous ones.","The pair of Spinc labels in \\hat Z_{b,c}^{sl(2|1)} may admit an interpretation as a super analogue of Heegaard Floer correction terms; the paper does not pursue this, but the structure of its examples invites the comparison.","The orientation-reversal pairs of false and mock theta functions suggest the super series should also come in Weyl-symmetric pairs under y \\leftrightarrow y^{-1}, z \\leftrightarrow z^{-1}; this symmetry appears in the computed examples and could be promoted to a general conjecture.","If the quiver forms of F_K are canonical, quiver mutation could relate different surgery presentations of the same 3-manifold, giving a combinatorial check of the surgery formulas."],"forward_implications":["If the WRT decomposition conjecture holds, the WRT invariant of every rational homology 3-sphere becomes a finite linear combination of radial limits of \\hat Z_b, making the q-series the fundamental building block of the quantum invariant.","If the regularized surgery formulas hold, \\hat Z_b can in principle be computed for any 3-manifold obtained by Dehn surgery on a link in S^3, going well beyond plumbed examples.","The theorem that F_L's \\hbar-expansion agrees with the Melvin\\u2013Morton\\u2013Rozansky expansion implies F_L encodes the Alexander\\u2013Conway function and higher perturbative data of links.","The quantum modularity results place each \\hat Z_b into a representation of a covering of SL(2,Z), so modular transformations of false and mock theta functions transfer computations between a manifold and its orientation reversal.","The super extension implies that non-semisimple invariants of plumbed manifolds decompose into \\hat Z_{b,c}^{sl(2|1)}, so supergroup invariants inherit the same surgery and modularity framework."],"supporting_citations":[{"why":"Defines \\hat Z_b and states the WRT-decomposition conjecture that organizes Section 2.","marker":"[53]"},{"why":"Defines the two-variable series F_K for plumbed knot complements and the plumbed surgery formula.","marker":"[48]"},{"why":"Introduces the large-color R-matrix and infinite-dimensional Verma module formalism for F_K.","marker":"[93]"},{"why":"Extends the construction to links via inverted state sums and supplies the regularized surgery and inverted Habiro conjectures.","marker":"[94]"},{"why":"Shows quantum modularity of \\hat Z for Seifert fibered manifolds by expressing it in terms of false theta functions.","marker":"[14]"},{"why":"Constructs the super \\hat Z_{b,c} for sl(2|1) and its decomposition of the non-semisimple invariant.","marker":"[27]"},{"why":"Conjectures the root-of-unity relation between F_K and ADO polynomials.","marker":"[46]"},{"why":"Establishes the knot-quiver correspondence used to express deformed F_K as a quiver series.","marker":"[35]"},{"why":"Proves the WRT decomposition for negative definite plumbed 3-manifolds, the result the text labels Theorem 2.5.","marker":"[82]"}],"fun_headline_variants":["q-series invariants unify 3-manifold and link topology","From manifolds to quivers: the q-series revolution","Quantum modularity meets knot and 3-manifold invariants","Superalgebra extension enriches q-series invariants","Survey: Z-hat and F_L reveal new invariant family"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The review's unifying picture rests on several unproved conjectures (WRT decomposition, surgery formulas, inverted Habiro series, super decomposition), and its account is only as reliable as its transcriptions: Theorem 2.5 attributes a proof to a 'Conjecture 1.1' that is never defined, so that particular attribution cannot be checked.","fun_headline_variants_meta":{"raw":{"variants":["q-series invariants unify 3-manifold and link topology","From manifolds to quivers: the q-series revolution","Quantum modularity meets knot and 3-manifold invariants","Superalgebra extension enriches q-series invariants","Survey: Z-hat and F_L reveal new invariant family"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000266,"raw_usage":{"total_tokens":1378,"prompt_tokens":608,"completion_tokens":770,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":352,"completion_tokens_details":{"reasoning_tokens":686}},"tokens_in":352,"tokens_out":770,"duration_ms":7434,"temperature":1.0,"reasoning_tokens":686,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T11:15:59.750303+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute $F_{4_1}(x,q)$ at $q=\\zeta_5$ and compare with $(x^{1/2}-x^{-1/2}) ADO_5(4_1;x)/\\Delta_{4_1}(x^5)$; any discrepancy disproves the conjectured root-of-unity connection to ADO polynomials (Conjecture 3.31).","supporting_citations":[],"review_version":1}