{"id":"1221af32-a7f6-4eb5-8aa0-97c11bd0c22f","arxiv_id":"1908.08395","paper_version":4,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"New shuffle algebra presentations of the top and bottom halves of U_{q,q}(gl_n) yield a topological coproduct extending the Drinfeld-Jimbo coproduct on the horizontal subalgebra.","lead":"The paper constructs new shuffle algebra presentations for the top and bottom halves of the quantum toroidal algebra U_{q,q}(gl_n), and uses them to define a new topological coproduct. This gives a fresh structural decomposition of a central object in quantum group theory that may simplify future representation-theoretic and integrable-model computations.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 6.6's pairing is not shown well-defined: the residue-vanishing under contour reordering is proved only for the longest permutation, with general σ left to the reader; if a residue survives, the Drinfeld double and Theorem 1.5 collapse.","rationale":"The reader's weakest_assumption identifies exactly the same gap: the well-definedness of the pairing in Proposition 6.6 is the pivot of Section 6, and the proof for general permutations is explicitly omitted. I agree this is the most load-bearing concern. The reliance on the unpublished preprint [17] is also a dependency, but the pairing gap is an internal missing verification: if a nonzero residue exists for some σ, the Drinfeld double construction in Theorem 1.5 fails regardless of the validity of [17]. The proposed check is concrete and feasible: for small n and k, all R-matrices and f factors are explicit rational functions, and the iterated residue can be evaluated symbolically. A single non-vanishing residue would refute Proposition 6.6 and hence the proof of Theorem 1.5 as written. If the residue vanishes in this test, the proof would still require a general argument, but the test would at least clear the simplest nontrivial case beyond the longest permutation. Therefore I recommend keeping the reader's CONDITIONAL verdict: the central claim is plausible, but the manuscript is not complete without this verification.","tokens_in":64822,"tokens_out":5558,"duration_ms":50921,"concrete_test":"Take n=2, k=3, and σ=(1 3) in Eq. (6.19). Using the explicit R-matrix (3.87), ~R_± from (4.2)/(6.1), and f from (4.7), compute the residue at z_1 q_+^2 = z_3 of the integrand in (6.19) for generic matrices I_a, J_a with symbolic entries, and check whether the trace vanishes. If the residue is nonzero, the two contour orders give different answers, so the pairing (6.13) is not well-defined and Proposition 6.6 fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In the proof of Proposition 6.6, the pairing (6.13) is defined by two a priori different formulas, (6.14) and (6.15). Their equality for elements of the form (6.12) is reduced to the equality of (6.16) and (6.17), which requires changing the integration contour from |z1|≪...≪|zk| to |zσ(1)|≪...≪|zσ(k)|. The only poles encountered involve z_i q_+^2 = z_j (and the analogous q_- poles). The paper proves the vanishing of the residue only for σ=ω_k, using the trace identity (6.23). For general σ, the text states: 'We leave the visual depiction of this fact to the interested reader' and asserts that the relevant blue and green strands do not cross except at two points. This is not merely a tedious omitted computation: it is the step that makes the pairing well-defined. The bialgebra pairing of Proposition 6.7, the double (6.30), and the chain of isomorphisms proving Theorem 1.5 all rely on (6.13) being a single-valued bilinear form. If for some σ the residue at z_i q_+^2 = z_j is nonzero, formulas (6.14) and (6.15) define different functionals, the pairing is not well-defined, and the Drinfeld double identification collapses. The argument given is also delicate because the proof for σ=ω_k uses explicit braid moves and the fact that all strands cross; for arbitrary σ the assertion that the two relevant strands do not cross elsewhere is plausible but unproved.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces a new family of matrix-valued shuffle algebras A^+ and A^- built from the R-matrix with spectral parameter of U_q(gl_n), and claims that these algebras are isomorphic to the 'up' and 'down' halves D^+ and D^- of the quantum toroidal algebra U_{q,q}(gl_n double dot) that appear in a new triangular decomposition. The author constructs extended algebras ~A^+ and ~A^- with topological coproducts, defines a bialgebra pairing between them, forms the Drinfeld double, and asserts that this double is isomorphic to the full quantum toroidal algebra. The main theorem, Theorem 1.5, also states that the resulting topological coproduct extends the Drinfeld-Jimbo coproduct on the horizontal subalgebra U_q(gl_n). The proof is largely a comparison with the author's earlier PBW presentation of U_{q,q}(gl_n double dot) from [17].","tokens_in":65301,"tokens_out":7131,"duration_ms":72588,"significance":"If the main theorem is correct, the paper gives a genuinely new shuffle-algebra description of the 'top' and 'bottom' halves of the quantum toroidal algebra, complementary to the known left/right shuffle presentations. The new topological coproduct extending the Drinfeld-Jimbo coproduct is a concrete and falsifiable structural claim. The construction itself is explicit and parameter-free: the shuffle algebras are defined directly from the universal R-matrix, and the claimed isomorphisms are reduced to a finite set of algebraic checks. The paper is well organized and the overall architecture is coherent. Its main weakness is that a load-bearing contour-reordering step in the construction of the bialgebra pairing is not proved in general, and the proof of the Drinfeld double realization inherits this gap.","major_comments":[{"comment":"The pairing (6.13) is not proved to be well-defined. To show that the two defining formulas (6.14) and (6.15) agree on elements of the form (6.12), the proof must justify changing the integration contour from |z1|≪...≪|zk| to |zσ(1)|≪...≪|zσ(k)| in (6.20)–(6.21). The only poles that can be met are at zi q_+^2 = zj and the analogous q_- poles. The paper explicitly shows the vanishing of the residue only for the longest permutation σ=ω_k, using identity (6.23). For general σ, the text says: 'We leave the visual depiction of this fact to the interested reader' and asserts that the relevant blue and green strands do not cross except at two points. This is not a cosmetic omission: if for some σ and some i<j with σ^{-1}(i)>σ^{-1}(j) the residue at zi q_+^2 = zj is nonzero, then formulas (6.14) and (6.15) define different functionals, the pairing (6.13) is not single-valued, and the Drinfeld double construction in (6.30) collapses. Proposition 6.7, the double (6.30), and the realization of U_{q,q}(gl_n double dot) in Theorem 1.5 all depend on this pairing. A complete proof of the residue vanishing for all σ, or an alternative contour-independent definition of the pairing, is required.","section":"§6.6, Eqs. (6.14)–(6.15)"},{"comment":"The construction of the Drinfeld double relies on several substantial checks that are delegated rather than proved. The proof of Proposition 6.7 says it 'follows that of Proposition 2.11 very closely' and leaves the verification of (2.29) and several cases to the reader; the displayed verification of (6.27) itself ends with the sentence 'We may move R_{ω_k} to the very right of the expression above', which hides exactly the kind of braid manipulation that is problematic in Proposition 6.6. Likewise, relations (6.31)–(6.33) are asserted with proofs left as exercises. Since these relations are what match the commutation relations of D and thereby produce the algebra isomorphism in the final proof of Theorem 1.5, the double realization is only as solid as the unproved pairwise checks. They should be written out or given precise references to where they are proved.","section":"§6.7–6.9"}],"minor_comments":[{"comment":"The proof refers to 'Braid 1' through 'Braid 6' on the previous page, but these braid diagrams are not present in the text under review; without them, the displayed braid moves cannot be checked by the reader. If the diagrams exist in the published version, this is not an issue, but they should be included.","section":"§6.6, proof of Proposition 6.6"},{"comment":"Several statements are justified with 'left as an exercise to the interested reader', including Proposition 2.11, formulas (3.115)–(3.117), Proposition 3.39, and parts of Propositions 5.17 and 6.11. While many of these are routine, some are non-trivial and are used later in load-bearing positions; the author should indicate which of these exercises are genuinely routine and which are needed for the main theorem.","section":"Throughout"},{"comment":"The nonstandard residue convention, by which (α−x)^{-1} has residue 1 at x=α, is stated only in passing. Since all later contour computations depend on it, this convention should be prominently displayed and used consistently.","section":"§4.3"},{"comment":"The author notes that no closed formula is known for the imaginary generators P^μ_{lδ,r} in (5.56). This is acceptable, but it should be stated more prominently, since the isomorphism Υ_μ : E^+_μ → B^+_μ is only defined through the existence of these generators.","section":"§5.22"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is a serious research paper, and the claimed results are significant, but the evaluation is heavily dependent on the author's prior preprint [17] and on a sequence of unproved 'exercises'. The most critical issue is the contour-reordering gap in Proposition 6.6, which is load-bearing for the well-definedness of the pairing and hence for the Drinfeld double realization. I would be willing to reconsider a revised version in which this gap is closed and the key delegated checks are either proved or explicitly located."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Natasha, here's the take. The paper is a solid, creative piece: it gives the first top/bottom shuffle presentations for U_{q,q}(gl_n), builds the extended algebras, and packages them into a Drinfeld double with a topological coproduct extending Drinfeld-Jimbo. I believe the main architecture is correct and the result is significant. The general shuffle-with-R-matrix framework in Section 2 is clean, and Section 5's PBW basis is a genuine technical achievement.\n\nWhere I'd push back: the well-definedness of the pairing in Proposition 6.6 is not fully demonstrated. The stress-test note is on point. Equality of the two integral formulas requires changing contours from |z1| << ... << |zk| to any permuted order, and the only obstruction is nonzero residues at z_i = z_j q_+^2. The author proves vanishing for the longest permutation, then leaves general sigma to the reader with 'We leave the visual depiction of this fact to the interested reader.' That's a load-bearing identity, not a side remark—if some residue survives, the pairing is double-valued and the Drinfeld double collapses. I think the vanishing is probably true: the braid argument for sigma = omega_k is explicit, and the generalization only needs the green and blue strands to be unlinked except at the two specified points, which does look right from the figures. But in a paper this ambitious, a statement like that should be proved, not delegated. A referee should insist on a complete argument.\n\nThe other soft spot is structural: the chain of isomorphisms D \\cong S \\cong U goes through the author's preprint [17]. The circularity burden is low, and I agree it's not circular—[17] is an independent PBW construction. But it is still unpublished, and some of the relations in Section 3.26 are only stated 'sufficient' with a proof sketched. That's a verification burden for the community, not a flaw.\n\nThe many 'exercises to the interested reader' are mostly routine, but a few (e.g., the sigma = - analogues of Prop 6.7) are less trivial than the label suggests. These are proportional concerns; the paper is not hand-wavy in its main conceptual steps.\n\nWho benefits? Anyone working on shuffle algebras, quantum toroidal algebras, or Drinfeld doubles. It deserves a serious referee. My recommendation: send it to peer review, and require the author to fill the Prop 6.6 gap and specify exactly which parts of [17] are being used.","headline":"Strong new shuffle realization of the quantum toroidal algebra, but the key pairing in Prop 6.6 is not fully proved as written.","tokens_in":65678,"tokens_out":2762,"would_cite":true,"duration_ms":27039,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B37","16T25"],"pacs":[],"model":"deepseek-v4-flash","headline":"Top and bottom shuffle algebras decompose quantum toroidal gl_n","keywords":["quantum toroidal algebra","shuffle algebra","Drinfeld double","R-matrix","topological coproduct","PBW basis","quantum affine algebra","wheel conditions"],"falsifier":"Compute the trace identity behind Proposition 6.6 for $k=4$ and a permutation $\\sigma$ that is not the longest element, take the iterated residue of the integrand at $z_i q^2 = z_j$ for an inversion pair $(i,j)$ of $\\sigma$, and check whether the residue vanishes. A single nonzero residue for any such $\\sigma$ would show that the claimed bialgebra pairing is not well-defined, and with it the realization of the algebra as a Drinfeld double.","tokens_in":64621,"feed_emoji":"🪢","tokens_out":9537,"duration_ms":86924,"temperature":0.7,"pith_summary":"The paper sets out to prove that the quantum toroidal algebra of $\\mathfrak{gl}_n$, usually built from its left and right halves, can equally be decomposed into top and bottom halves. Both new halves are shuffle algebras: spaces of matrix-valued rational functions in many variables, multiplied using the R-matrix of the evaluation representation of the quantum affine group. The payoff is a new topological coproduct on the whole algebra that extends the usual Drinfeld-Jimbo coproduct on the horizontal quantum affine subalgebra, together with a realization of the whole algebra as the Drinfeld double of the two extended halves. If the construction is right, the quantum toroidal algebra carries a second, genuinely different triangular decomposition, parallel to the classical left-right one.","feed_headline":"Top and bottom shuffle algebras decompose quantum toroidal gl_n","feed_subtitle":"The top and bottom halves come from the R-matrix of the evaluation representation and glue into a Drinfeld double.","key_machinery":"The central object is a matrix-valued shuffle algebra $A^+$ with spectral parameter. Its elements are $\\mathrm{End}(V^{\\otimes k})$-valued rational functions in variables $z_1,\\dots,z_k$, symmetric in a braided sense, with only simple poles at $z_a = z_b q^2$ and with iterated residues constrained by the wheel conditions. The product is assembled from the R-matrix $R(x)$ and its mate $\\tilde{R}(x)$, and associativity follows from Reidemeister-type moves; the extended algebra $\\tilde{A}^+$ adds generating series $S(x)$ and $T(x)$, a topological coproduct, and a bialgebra pairing defined by iterated residues. The slope subalgebras $B^+_\\mu$, with PBW generators $F^\\mu_{[i;j)}$ and $\\bar{F}^\\mu_{[i;j)}$, organize the comparison with the explicit algebra $D$ that is already known to be isomorphic to $U_{q,q}(\\ddot{gl}_n)$.","core_discovery":"The paper's central claim is Theorem 1.5: there exist injective algebra homomorphisms $A^+ \\hookrightarrow U_{q,q}(\\ddot{gl}_n)$ and $A^{-,\\mathrm{op}} \\hookrightarrow U_{q,q}(\\ddot{gl}_n)$, whose images $U^{\\mathrm{up}}$ and $U^{\\mathrm{down}}$ satisfy $U_{q,q}(\\ddot{gl}_n) \\cong U^{\\mathrm{up}} \\otimes U^{\\mathrm{down}}$. The extended shuffle algebras $\\tilde{A}^+ = A^+ \\otimes U^{\\geq}_q(\\dot{gl}_n)$ and $\\tilde{A}^{-,\\mathrm{op}} = (A^- \\otimes U^{\\leq}_q(\\dot{gl}_n))^{\\mathrm{op}}$ carry topological coproducts, and $U_{q,q}(\\ddot{gl}_n)$ is their Drinfeld double. This new coproduct extends the Drinfeld-Jimbo coproduct on the horizontal subalgebra $U_q(\\dot{gl}_n)\\subset U_{q,q}(\\ddot{gl}_n)$.","pith_inferences":["Editorial inference: the general R-matrix shuffle construction opens a concrete testbed for other affine types: feed in a unitary R-matrix of a representation, form the double shuffle algebra, and check whether it is isomorphic to the corresponding quantum affinization; the paper itself floats a connection to q-deformed extended Yangians outside type A.","Editorial inference: the success of the whole argument is concentrated in the contour-reordering step of the pairing; a natural stress test is to compute the residue for a small non-longest permutation, such as $k=4$, before relying on the Drinfeld-double statement.","Editorial inference: in the $n=1$ limit the top-bottom decomposition is the left-right decomposition conjugated by the $SL_2(\\mathbb{Z})$ rotation, whereas for $n>1$ the two decompositions are genuinely non-isomorphic; this suggests the new coproduct is a new structure rather than a reindexing of the old one."],"forward_implications":["The quantum toroidal algebra gains a top-bottom triangular decomposition alongside the usual left-right one; unlike the left-right halves, the top half in degree $\\mathbb{Z}^n \\times \\{1\\}$ is generated by elements indexed by all roots of $U_q(\\dot{sl}_n)$, not just positive roots.","The new topological coproduct makes $U_{q,q}(\\ddot{gl}_n)$ into a Drinfeld double of two extended shuffle algebras, so the pairing between the halves is encoded in explicit commutation relations among the generators.","The shuffle presentation yields a PBW basis: ordered products of slope-$\\mu$ generators over increasing $\\mu$ form a linear basis, with dimension controlled by the number of unordered interval collections.","For any quantum group with a representation $V$ and a unitary R-matrix, the Section 2 machinery produces a double shuffle algebra; specializing to $V = \\mathbb{C}^n(z)$ with the standard R-matrix recovers the quantum toroidal algebra."],"supporting_citations":[{"why":"Supplies the R-matrix and RTT presentation of $U_q(\\dot{gl}_n)$ that the new shuffle algebras are built from.","marker":"[7]"},{"why":"Introduces the original shuffle-algebra construction and the wheel conditions that the matrix-valued version generalizes.","marker":"[10]"},{"why":"Gives the shuffle presentations for the left and right halves of quantum toroidal algebras, the presentations that the paper rotates to top and bottom.","marker":"[6]"},{"why":"Provides the isomorphism between the classical shuffle algebras and the quantum toroidal halves, as well as the bialgebra identification $E \\cong U_q(\\dot{gl}_n)$.","marker":"[16]"},{"why":"Supplies the PBW basis and the explicit algebra $D$ isomorphic to $U_{q,q}(\\ddot{gl}_n)$ that the new shuffle algebra must match.","marker":"[17]"},{"why":"Contains the R-matrix shuffle construction for a general vector space $V$ that Section 2 adapts and extends with a coproduct and a double.","marker":"[14]"},{"why":"Provides the commutative-algebra wheel conditions whose matrix-valued analogue defines the new shuffle algebra and controls its poles.","marker":"[8]"}],"fun_headline_variants":["Shuffle algebras yield new coproduct on quantum toroidal","Top and bottom shuffles form Drinfeld double","New topological coproduct from two shuffle algebras","Quantum toroidal as Drinfeld double of shuffles","R-matrix halves yield new coproduct"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that a certain contour-reordering step in the bialgebra pairing never picks up leftover residues; the paper verifies this vanishing only for the longest permutation and leaves the general case to the reader. If any such residue is nonzero, the pairing is not well-defined and the Drinfeld-double realization of the quantum toroidal algebra collapses.","fun_headline_variants_meta":{"raw":{"variants":["Shuffle algebras yield new coproduct on quantum toroidal","Top and bottom shuffles form Drinfeld double","New topological coproduct from two shuffle algebras","Quantum toroidal as Drinfeld double of shuffles","R-matrix halves yield new coproduct"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000485,"raw_usage":{"total_tokens":2351,"prompt_tokens":862,"completion_tokens":1489,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":478,"completion_tokens_details":{"reasoning_tokens":1412}},"tokens_in":478,"tokens_out":1489,"duration_ms":11489,"temperature":1.0,"reasoning_tokens":1412,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:39:33.637158+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the trace identity behind Proposition 6.6 for $k=4$ and a permutation $\\sigma$ that is not the longest element, take the iterated residue of the integrand at $z_i q^2 = z_j$ for an inversion pair $(i,j)$ of $\\sigma$, and check whether the residue vanishes. A single nonzero residue for any such $\\sigma$ would show that the claimed bialgebra pairing is not well-defined, and with it the realization of the algebra as a Drinfeld double.","supporting_citations":[{"cited_title":"J.1(1990) 193–226","cited_arxiv_id":null,"evidence_quote":"Supplies the R-matrix and RTT presentation of $U_q(\\dot{gl}_n)$ that the new shuffle algebras are built from."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the original shuffle-algebra construction and the wheel conditions that the matrix-valued version generalizes."},{"cited_title":"Groups 5 (2000), no","cited_arxiv_id":null,"evidence_quote":"Gives the shuffle presentations for the left and right halves of quantum toroidal algebras, the presentations that the paper rotates to top and bottom."},{"cited_title":"Math., Volume 372 (2020), 107288","cited_arxiv_id":null,"evidence_quote":"Provides the isomorphism between the classical shuffle algebras and the quantum toroidal halves, as well as the bialgebra identification $E \\cong U_q(\\dot{gl}_n)$."},{"cited_title":"The PBW basis of $U_{q,\\bar{q}}(\\ddot{\\mathfrak{gl}}_n)$","cited_arxiv_id":"1905.06277","evidence_quote":"Supplies the PBW basis and the explicit algebra $D$ isomorphic to $U_{q,q}(\\ddot{gl}_n)$ that the new shuffle algebra must match."},{"cited_title":"I., Reflection equation and twisted Yangians , Journal of Mathematical Physics 48, 093501 (2007)","cited_arxiv_id":null,"evidence_quote":"Contains the R-matrix shuffle construction for a general vector space $V$ that Section 2 adapts and extends with a coproduct and a double."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the commutative-algebra wheel conditions whose matrix-valued analogue defines the new shuffle algebra and controls its poles."}],"review_version":1}