{"id":"434b1dca-c895-4b1b-b242-e36a931b6540","arxiv_id":"2605.12871","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":8.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Proves degeneration isomorphism identifying the affine Yangian as the associated graded of the quantum toroidal algebra, yielding PBW bases and classical limit U(g[u]).","lead":"The paper proves that affine Yangians arise as the associated graded of quantum toroidal algebras under a canonical filtration for all untwisted affine Kac-Moody types. This extends a known finite-dimensional result and supplies PBW bases plus the classical limit identification.","discovery_kind":"unclear","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"Reader's weakest assumption correctly isolates the novel PBW step. Because the provided abstract and claim description contain no detectable gap in the logical chain once that step is granted, the UNVERDICTED status is left unchanged; a concrete low-rank verification would still be useful but does not alter the current assessment.","tokens_in":1756,"tokens_out":271,"duration_ms":15398,"concrete_test":"For the sl_2 case, explicitly compute the first few filtered pieces of U_ℏ(sl_2^tor) using the defining relations, apply the claimed torsion-freeness to extract a basis, form the associated graded, and check whether it matches the known presentation of Y_ℏ(sl_2) up to degree 4.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim rests on a new torsion-freeness argument plus topological Nakayama lemma to obtain a PBW basis for U_ℏ(g^tor), from which the associated-graded isomorphism to Y_ℏ(g) follows. No internal inconsistency, hidden assumption on the filtration, or failure of the classical limit is visible in the stated construction; the argument is presented as uniform across untwisted affine types and analogous to already-established finite-type results.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript proves that for every untwisted affine Kac-Moody Lie algebra g the affine Yangian Y_ℏ(g) is isomorphic, as a ℂ[ℏ]-algebra, to the associated graded algebra of the quantum toroidal algebra U_ℏ(g^tor) with respect to a canonical filtration. The proof proceeds by establishing a PBW basis for U_ℏ(g^tor) via a new torsion-freeness argument together with the topological Nakayama lemma; the isomorphism then yields PBW bases for the affine Yangians in all untwisted types and identifies their classical limits with U(g[u]).","tokens_in":1828,"tokens_out":356,"duration_ms":22642,"significance":"If the central isomorphism holds, the work supplies the affine analogue of the degeneration results of Gautam–Toledano Laredo and Guay–Ma, thereby resolving the natural extension of Drinfeld’s conjecture to the affine setting. The new torsion-freeness argument for quantum toroidal algebras is of independent interest and permits a uniform treatment across all untwisted affine types. The resulting PBW bases and classical-limit identifications are fundamental structural facts that were previously unavailable.","major_comments":[],"minor_comments":[{"comment":"The definition of the canonical filtration on U_ℏ(g^tor) is invoked throughout but is not restated in the introduction; a brief recap in §1 would improve readability.","section":"Introduction"},{"comment":"Notation for the generators of the quantum toroidal algebra occasionally differs from the conventions in the cited literature on toroidal algebras; a short comparison paragraph would help readers.","section":null}],"recommendation":"accept","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the positive assessment of our manuscript and the recommendation to accept. The referee's summary accurately captures the main results on the degeneration isomorphism, the PBW bases, and the classical limit identification.","responses":[],"tokens_in":1297,"tokens_out":61,"duration_ms":13917,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main result is the isomorphism Y_ℏ(g) ≅ gr U_ℏ(g^tor) as ℂ[ℏ]-algebras for untwisted affine g. This directly gives a PBW basis for the affine Yangians and identifies the classical limit with U(g[u]).\n\nIt extends the finite-type work of Gautam-Toledano Laredo and Guay-Ma in a uniform way across types. The new torsion-freeness argument plus topological Nakayama lemma to first get a PBW basis for the toroidal algebra itself is the key technical step, and it looks like a solid way to avoid circularity.\n\nThe construction appears proportionate to the claim: the filtration is canonical, the isomorphism follows from the graded pieces, and the applications are straightforward once the isomorphism is in hand. No internal contradictions or hidden assumptions on the filtration show up in the stated setup.\n\nA minor soft spot is that the torsion-freeness needs to hold without extra type-specific adjustments; if the full argument checks out for all untwisted cases, that concern disappears. The abstract presents it as uniform, so the paper stands or falls on whether that step is clean.\n\nThis is for people working on quantum groups, Yangians, or Kac-Moody representations who need explicit bases and limits in the affine setting. It fills a clear gap with usable structural results.\n\nI would send it to peer review. The claim is important enough and the approach is grounded enough to merit referee time.","headline":"The paper proves the affine analogue of the Drinfeld conjecture by showing affine Yangians are the associated graded of quantum toroidal algebras, which yields PBW bases and the classical limit.","tokens_in":2316,"tokens_out":386,"would_cite":true,"duration_ms":19070,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"The affine Yangian is isomorphic to the associated graded algebra of the quantum toroidal algebra under a canonical filtration.","keywords":["affine Yangians","quantum toroidal algebras","associated graded algebras","PBW basis","degeneration isomorphism","Kac-Moody algebras","quantum algebras","current algebras"],"falsifier":"An explicit check, for the affine algebra of type A_1^(1), that some defining relation of the affine Yangian fails to survive in the associated graded algebra of the toroidal algebra.","tokens_in":2655,"feed_emoji":"","tokens_out":730,"duration_ms":26383,"temperature":0.7,"pith_summary":"The paper proves that for any untwisted affine Kac-Moody Lie algebra the affine Yangian Y_ℏ(g) is isomorphic as a C[ℏ]-algebra to the associated graded of the quantum toroidal algebra U_ℏ(g^tor) taken with respect to a canonical filtration. This supplies the affine version of a relation between Yangians and quantum loop algebras that was already known in the finite-dimensional setting. The isomorphism immediately yields a Poincaré-Birkhoff-Witt basis for the affine Yangian in every untwisted affine type and shows that its classical limit is the universal enveloping algebra of the polynomial current Lie algebra g[u]. A supporting result of independent interest is the construction of a PBW basis for the quantum toroidal algebra itself, obtained via a new torsion-freeness argument together with the topological Nakayama lemma.","feed_headline":"Affine Yangian equals graded limit of quantum toroidal algebra","feed_subtitle":"The isomorphism yields PBW bases for all untwisted affine types and identifies the classical limit as U(g[u]).","key_machinery":"The canonical filtration on the quantum toroidal algebra U_ℏ(𝔤^tor) whose associated graded algebra is shown to be isomorphic to the affine Yangian Y_ℏ(𝔤).","core_discovery":"We establish that the affine Yangian Y_ℏ(𝔤) is isomorphic, as a ℂ[ℏ]-algebra, to the associated graded algebra of the quantum toroidal algebra U_ℏ(𝔤^tor) with respect to a canonical filtration. This holds for all untwisted affine Kac-Moody Lie algebras 𝔤 and constitutes the affine analogue of Drinfeld's conjecture. Two immediate consequences are a Poincaré-Birkhoff-Witt basis for Y_ℏ(𝔤) in every untwisted affine type and the identification of the classical limit of Y_ℏ(𝔤) with the universal enveloping algebra U(𝔤[u]) of the polynomial current Lie algebra.","pith_inferences":["The isomorphism supplies a route for transferring structural results from quantum toroidal algebras to affine Yangians.","The torsion-freeness technique developed for the toroidal algebra may be reusable for establishing bases in other filtered quantum algebras."],"forward_implications":["The affine Yangian admits a Poincaré-Birkhoff-Witt basis in every untwisted affine type.","The classical limit of the affine Yangian is the universal enveloping algebra U(g[u]) of the polynomial current Lie algebra.","The quantum toroidal algebra itself possesses a PBW basis constructed via torsion-freeness and the topological Nakayama lemma."],"fun_headline_variants":["Affine Yangian isomorphic to graded quantum toroidal algebra","Toroidal algebras degenerate to affine Yangians in all types","Establishes affine Drinfeld conjecture for Yangians","PBW basis for Yangians from toroidal algebra filtration","Classical limit of affine Yangian is polynomial current algebra"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The quantum toroidal algebra admits a PBW basis, which is proved by a new torsion-freeness argument and the topological Nakayama lemma.","fun_headline_variants_meta":{"raw":{"variants":["Affine Yangian isomorphic to graded quantum toroidal algebra","Toroidal algebras degenerate to affine Yangians in all types","Establishes affine Drinfeld conjecture for Yangians","PBW basis for Yangians from toroidal algebra filtration","Classical limit of affine Yangian is polynomial current algebra"]},"model":"grok-4.3","cost_usd":0.003262,"raw_usage":{"total_tokens":1795,"prompt_tokens":765,"num_sources_used":0,"completion_tokens":74,"cost_in_usd_ticks":32624500,"prompt_tokens_details":{"text_tokens":765,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":956,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":765,"tokens_out":74,"duration_ms":7620,"temperature":1.0,"reasoning_tokens":956,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-30T21:36:46.813336+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit check, for the affine algebra of type A_1^(1), that some defining relation of the affine Yangian fails to survive in the associated graded algebra of the toroidal algebra.","supporting_citations":[],"review_version":1}