{"id":"51d7fee0-e0c4-4a3a-bfc8-d1f34d6d71ab","arxiv_id":"2411.13078","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The ıHall algebra of a weighted projective line with involution realizes, via an explicit algebra homomorphism, the quasi-split ıquantum loop algebra of the associated star-shaped graph.","lead":"This paper introduces ρ-complexes, a new generalization of complexes and periodic complexes, and uses their Hall algebras to construct a map from quasi-split ıquantum loop algebras into the ıHall algebra of a weighted projective line with an involution. If correct, this gives a geometric realization of the quasi-split ıquantum loop algebras of star-shaped and affine ADE type.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof of the key relation (10.1) between ⋆ and [i,1] in the non-invariant case rests on an omitted cancellation in Proposition 10.3 that is not justified by the cited split-case arguments; Theorem 7.4 is not established until this gap is filled.","rationale":"The reader identified reliance on external results and omitted computations as the weakest point, which is correct. I sharpen this to a specific internal gap: Proposition 10.3, the proof of which is omitted and which is not covered by the cited split-case arguments. This is load-bearing because (10.3) is the crux of relation (10.1), one of the Drinfeld relations that must hold in the Hall algebra for Ω to be a homomorphism. The paper itself flags the omission, and the surrounding claims that proofs are 'completely same' as [LR24] are not obviously valid in the non-invariant setting, where the category changes from C_Z1 to C_Z2 and the root vectors come from the full quantum group rather than the ıquantum group. I do not claim the theorem is false; rather, as written, the proof is incomplete at exactly the point where the quasi-split case differs from the split case. The proposed computation for weight type (2,2), r=1,2 would provide a concrete check of the omitted cancellation. If it passes, the concern is reduced to an expository gap; if it fails, the central claim collapses. The reader's CONDITIONAL verdict remains appropriate: the construction is plausible and much of the framework is independently developed in the paper (Sections 2-3), but the proof of the main homomorphism needs completion at this step. Hence the verdict should remain CONDITIONAL/UNCHANGED, with the specific requirement that Proposition 10.3 be proved in full.","tokens_in":59729,"tokens_out":7595,"duration_ms":74785,"concrete_test":"Independently verify Proposition 10.3 in the smallest non-split case: take the weighted projective line of weight type (2,2) with ρ exchanging the two exceptional points, and compute both sides of (10.3) for r=1 and r=2 in the ıHall algebra using the explicit formulas for Θ̂_[1,1],r from (9.5), Θ̂_⋆,m from (7.31), and the Hall multiplication formula (3.13). This can be done symbolically in the Hall algebra of C_Z2(rep_k(C_2)). If equality fails for either r, Theorem 7.4 is false; if it holds, it corroborates the omitted cancellation, though a general proof would still be needed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 7.4 asserts a homomorphism Ω from Dr Uı_v to the ıHall algebra, and the proof reduces to verifying Drinfeld relations. The genuinely new case is the relation between the central vertex ⋆ and vertices [i,1] when ρ(i)≠i, i.e., when the branch tube is not invariant. In Section 10.1, relation (10.1) is shown to be equivalent to identity (10.3), and Proposition 10.3 states that (10.3) follows from Lemmas 10.1 and 10.2 by 'easy (but tedious) cancellations, which we omit here'. Lemma 10.1's proof is omitted as 'the same as [LR24, Lemma 9.3]', and Lemma 10.2's proof ends with 'the remaining proof is completely the same as [LR24, Lemma 9.4]'. However, [LR24] treats the split case ρ=Id, where the relevant Hall algebra is ı ~H(kC_pi, Id) built from 1-periodic complexes of a single invariant tube. In the quasi-split non-invariant case here, the category is C_Z2(rep(kC_pi)) with the involution swapping two tubes, and the root vectors are images of x± and imaginary root vectors from the full quantum group via the Drinfeld–Beck isomorphism, not from the ıquantum group. The counts of morphisms f:O→ρ(M) in the proof of Lemma 10.2 (e.g., the decomposition by Im(f)≅S^{(kp1)}_{2,0} or S^{(kp1-1)}_{2,0}) have no direct counterpart in [LR24]. If the omitted cancellation in Proposition 10.3 is incorrect, relation (10.1) fails, and Ω would not preserve the Drinfeld relation (5.31) for H_[i,1] and B_⋆,l. This is the single most load-bearing unverified step in the proof of the central claim.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces, for a hereditary k-linear abelian category with an involution ρ, the category C_ρ(A) of ρ-complexes and the associated twisted semi-derived Ringel-Hall algebra, called the ıHall algebra. For a weighted projective line X with an involution induced by an involution of the associated star-shaped graph Γ, the authors define explicit elements in the ıHall algebra corresponding to the generators of the quasi-split ıquantum loop algebra Dr~Uı in its Drinfeld-type presentation, and claim in Theorem 7.4 that these assignments define a Q(v)-algebra homomorphism. The proof is organized as a verification of the Drinfeld relations (5.29)–(5.37), using prior results for cyclic quivers and for the split case, with the new quasi-split non-invariant tube case treated in Sections 9–10. The main new conceptual ingredients are the category of ρ-complexes, the derived equivalence D_ρ(A) ≃ D^b(A)/Σ∘ρ̂ (Theorem A), and the Euler-form identities in Theorem C.","tokens_in":60103,"tokens_out":6009,"duration_ms":59696,"significance":"If Theorem 7.4 is correct, the paper provides a geometric realization of quasi-split ıquantum loop algebras of star-shaped type—covering quasi-split affine ADE types—as subalgebras of a twisted semi-derived Hall algebra. This is a substantial extension of the split-type realizations in [LR24] and gives independent motivation for the new framework of ρ-complexes. The paper contains a large amount of explicit computation, including detailed root-vector formulas in tubes, and it is careful about the distinction between invariant and non-invariant tubes. No machine-checked proofs or code are provided; the contribution is theoretical.","major_comments":[{"comment":"The proof of (10.3) is the linchpin of the relation (10.1) between H_[i,1] and [O(l⃗ c)], and hence of Theorem 7.4 through relation (5.31). The proof is reduced to Lemmas 10.1 and 10.2, but Lemma 10.1 is dismissed with 'the proof is the same as [LR24, Lemma 9.3]', and Lemma 10.2 ends with 'the remaining proof is completely the same as [LR24, Lemma 9.4]'. The present quasi-split non-invariant case (ρ(i)≠i) is not the split case: the category is C_ρ(coh(X)) with ρ swapping two tubes, and the root vectors are images of the full quantum group via the Drinfeld–Beck isomorphism, not of the ıquantum group. In particular, the morphism counts in the displayed part of Lemma 10.2 (Im(f) ≅ S^{(kp_1)}_{2,0} or S^{(kp_1-1)}_{2,0}) have no direct counterpart in [LR24]. Therefore the identity (10.3) is not actually verified in the manuscript. The authors should either supply the full cancellation or provide a detailed derivation of (10.3) adapted to the non-invariant situation; this is necessary to establish the central claim.","section":"§10.1, Proposition 10.3"},{"comment":"The proofs of relations (9.8) and (9.9) are declared 'completely same' to [LR24, Propositions 8.5 and 8.6] at the end of a section whose standing assumption is ρ(i)≠i. Since [LR24] concerns the split/invariant case, this citation is not automatically sufficient for the quasi-split non-invariant case. The same objection as for Proposition 10.3 applies: the omitted computations involve products of line-bundle classes with tube root vectors under the involution swapping two tubes. Please spell out the modifications needed for the quasi-split non-invariant case, or give the computations explicitly.","section":"§9.4, Propositions 9.7 and 9.8"},{"comment":"In the non-invariant case the root vectors are defined through the composition ι_i∘Ω_{C_{p_i}}, where ι_i : SDH_{Z2}(kC_{p_i}) → ıH(X,ρ) is not injective; the paper itself notes after (7.5) that ι_i([K_δ]) = [K_δ] = ι_i([K*_δ]). The paper does not discuss whether the kernel of ι_i can interfere with the Drinfeld relations verified in the target algebra. This is not necessarily an error, but since all tube relations in Section 8 are proved by passing through this non-injective map, the authors should state explicitly why the identified elements are harmless for the specific combinations appearing in (7.6)–(7.8).","section":"§7.1.2, equations (7.6)–(7.8)"}],"minor_comments":[{"comment":"In the proof of Theorem 2.16 the identity ⟨K,A⟩ = ⟨Im(d),A⟩ + ⟨ρ(Im(d)),A⟩ is derived twice, with a repeated sentence beginning 'Using (2.10), we have'; please remove the duplication.","section":"§2.7, Theorem 2.16"},{"comment":"There are minor typographical errors, for example 'an d' in the abstract and 'folllowing' in Proposition 3.1; a careful proofreading pass is recommended.","section":"Abstract and Proposition 3.1"},{"comment":"The action of G = diag(1,-1) ∈ PGL(2,k) and the condition λ_{2i-1} = -λ_{2i} should be stated in an explicit affine chart, especially because the base field is finite.","section":"§4.4, proof of Proposition 4.5"},{"comment":"The passage from identities in the composition subalgebra of ıH(kC_n, Id) to identities in the associated graded algebra ~H(kC_n) is only sketched in one sentence; please expand the argument and state the filtration compatibility explicitly.","section":"§6.3, Proposition 6.3"},{"comment":"Remark 7.5 asserts that injectivity 'can be proved' by following [LR23, Theorem 3.2], but no proof is included; since Theorem 7.4 only asserts a homomorphism, please rephrase this either as a conjecture or provide the proof.","section":"Remark 7.5"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is part of a series and repeatedly refers the reader to the authors' earlier papers for substantial computations. This is acceptable when the cited results are literally applicable, but in the quasi-split non-invariant case the omitted cancellations of Proposition 10.3 and the 'same as [LR24]' claims in Propositions 9.7–9.8 are not literally covered by the split-case statements. I recommend asking for a complete proof of Proposition 10.3 and explicit statements for the non-invariant parts of Section 9 before considering the paper further."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper introduces ρ-complexes, which is real novelty: the category unifies 1-periodic complexes, 2-periodic complexes, and ıquiver modules, and the homological machinery (Theorems 2.12, 2.16, Proposition 2.13) is careful and gives the semi-derived Hall algebra a proper foundation. The main theorem, existence of the algebra homomorphism Ω from the Drinfeld-type ıquantum loop algebra to the ıHall algebra of a weighted projective line with involution, is the expected next step after the split-type work of Lu–Ruan, and the explicit assignment of generators is reasonable. The strategy follows the established semi-derived Hall algebra program, and I see no circularity: the cited external results are published theorems, not assumptions of the target statement.\n\nThe soft spots are real but localized. First, the paper calls this a “realization” in the abstract, but Theorem 7.4 only constructs a homomorphism; injectivity is not proved. The authors say in Remark 7.5 that injectivity can follow from earlier arguments for finite or affine type, but no proof is given. The reader should keep that gap in mind.\n\nSecond, and more seriously, the proof of the key relation between ⋆ and [i,1] in the non-invariant case rests on Proposition 10.3, whose proof is omitted: “easy (but tedious) cancellations.” Lemma 10.1 is also omitted as “the same as [LR24, Lemma 9.3],” and Lemma 10.2 ends with “completely the same as [LR24, Lemma 9.4].” The stress-test note is right that this is not obviously a harmless transfer. In [LR24] the involution is identity and the category is 1-periodic complexes of a single tube; here the non-invariant case is C_{Z2}(rep(kC_pi)) with a swap involution, and the root vectors come from the full quantum group via the Drinfeld–Beck isomorphism, not from the ıquantum group. The morphism counts in Lemma 10.2 (e.g., decompositions by Im(f) ≅ S^{(kp1)}_{2,0} or S^{(kp1-1)}_{2,0}) have no direct counterpart in the split case. So the omitted cancellation is load-bearing, and the cited “same as” arguments do not obviously cover it.\n\nThis is a paper for specialists in Hall algebras, ıquantum groups, and weighted projective lines. The ρ-complex framework alone makes it worth citing. But the current write-up is not fully convincing at the one point where it matters most. I would send it to a serious referee, with a clear request to write out the proof of Proposition 10.3 (or to give a detailed reduction to the split case), and to state explicitly that the main theorem is a homomorphism, not an embedding.","headline":"A genuinely new ρ-complex framework and a plausible realization of quasi-split ıquantum loop algebras, but the load-bearing non-invariant relation is deferred to an omitted cancellation that the split-case citations do not obviously cover.","tokens_in":60710,"tokens_out":2944,"would_cite":true,"duration_ms":28833,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B37","16E60","18G80"],"pacs":[],"model":"deepseek-v4-flash","headline":"Quasi-split ıquantum loop algebras appear inside geometrically defined ıHall algebras of weighted projective lines.","keywords":["Hall algebras","ıQuantum groups","Quantum symmetric pairs","ρ-complexes","weighted projective lines","Drinfeld type presentation","semi-derived Ringel-Hall algebras"],"falsifier":"Compute directly in the ıHall algebra of a small weighted projective line (for example, weight type (2,2), where the involution swaps the two branches) the image under Ω of the Drinfeld relation (5.33) between B⋆,k and B[i,1],l for q=2 and small k,l; if the two sides do not coincide as elements of the Hall algebra, Theorem 7.4 is false. A more targeted check is whether the composition Ω_{C_p} preserves the relation [B_{i,k}, B_{i,l+1}]_{$v^{{-2}}$} − $v^{{-2}}$[B_{i,k+1}, B_{i,l}]_{$v^{2}$} inside the Hall algebra of the cyclic quiver C_p.","tokens_in":59462,"feed_emoji":"📐","tokens_out":5931,"duration_ms":52586,"temperature":0.7,"pith_summary":"The paper introduces ρ-complexes, a generalization of periodic complexes and ıquiver modules, for any abelian category with an involution, and uses them to build an ıHall algebra from the coherent sheaves of a weighted projective line. It then proves that the quasi-split ıquantum loop algebra in its Drinfeld-type presentation maps homomorphically into this ıHall algebra by sending every Drinfeld generator to an explicit sheaf-theoretic element. If the construction is correct, the quasi-split ıquantum groups of affine ADE and star-shaped type acquire a geometric realization as subalgebras of a Hall algebra, extending the classical Hall-algebra realizations of quantum groups to the coideal setting.","feed_headline":"Quasi-split ıquantum loop algebras realized geometrically","feed_subtitle":"Coherent sheaves on weighted projective lines now host the Drinfeld-type presentation of affine ADE quantum symmetric pairs.","key_machinery":"The load-bearing object is the category C_ρ(A) of ρ-complexes: a pair (M, d) with M ∈ A and d: M → ρ(M) satisfying ρ(d)∘d = 0. For A = coh(X), the category of coherent sheaves on a weighted projective line with an involution ρ, the paper proves C_ρ(A) has the homological finiteness needed to support the machinery of semi-derived Ringel-Hall algebras: acyclic objects have projective and injective dimension at most one, and a relative derived category equivalence D_ρ(A) ≅ D^b(A)/(Σ∘ρ̂) holds. The ıHall algebra is the twisted semi-derived Ringel-Hall algebra of C_ρ(A). The homomorphism Ω is assembled from three ingredients: the embeddings ψ_{C_{p_i}} of the ıquantum group of sl_{p_i} into the ıHall algebra of the cyclic quiver at each invariant tube, the Drinfeld–Beck isomorphism Φ from the Drinfeld presentation to the usual presentation of the affine quantum group, and the natural embedding of the projective-line ıHall algebra into that of the weighted projective line. The root vectors in the tubes are defined as images under these embeddings, and the relations between ⋆ and [i,1] are checked by explicit computations with torsion sheaves.","core_discovery":"The central result is Theorem 7.4: for a star-shaped graph Γ with an involution ρ that lifts to an involution of a weighted projective line X, there exists a Q(v)-algebra homomorphism Ω from the quasi-split ıquantum loop algebra Dr ~Uı_v to the ıHall algebra ı ~H(X_k, ρ). The map sends the Drinfeld generators K⋆, K[i,j], C, B⋆,l, Θ⋆,r, H⋆,r, B[i,j],l, Θ[i,j],r, H[i,j],r to explicit elements of the ıHall algebra: the structure sheaf and its shifts, torsion sheaves arising from the tubes, and the universal series built from torsion sheaves supported at points. The bulk of the proof consists in verifying the Drinfeld relations (5.29)–(5.37) inside the ıHall algebra, with the genuinely new computations concentrated in the relations between the star vertex and the first vertex of each branch (Sections 9–10).","pith_inferences":["If injectivity is established for finite and affine type (as the authors indicate), the ıHall algebra would yield a PBW-type basis of the quasi-split ıquantum loop algebra indexed by coherent sheaves, mirroring Schiffmann's basis for quantum loop algebras.","The ρ-complex category C_ρ(A) may be useful beyond weighted projective lines: any hereditary category with an involution satisfying the homological propositions would produce an ıHall algebra, so the same construction could be tested on other categories such as modules over canonical algebras or higher genus curves (a direction the paper itself flags).","A direct testable consequence of the construction is that the images of the Drinfeld generators in the ıHall algebra should satisfy the same integrality and positivity constraints as their counterparts in the split case; checking these for small q and small weights could provide independent evidence for the homomorphism's correctness."],"forward_implications":["The Drinfeld-type presentation of the quasi-split ıquantum loop algebra of star-shaped type, including quasi-split affine ADE, is realized inside the ıHall algebra of a weighted projective line with involution.","The relations (5.29)–(5.37) of the quasi-split ıquantum loop algebra are verified inside the ıHall algebra, so the latter contains the full Drinfeld-type algebra as a subalgebra if injectivity holds.","The ρ-complex formalism provides a uniform framework covering 1-periodic, 2-periodic, and ıquiver Hall algebras; in particular the split-type realizations are recovered as the ρ = Id case.","The paper states that following the arguments of [LR23] one can prove Ω is injective for g of finite or affine type, which would make the realization a genuine embedding for the star-shaped ADE cases.","The Euler form computations (Theorem C) give a systematic way to compute Hall products in the ıHall algebra, reducing them to Euler forms and extension counts in the underlying category of coherent sheaves."],"supporting_citations":[{"why":"Supplies the embedding ψ_{C_p} of the ıquantum group of sl_p into the ıHall algebra of a cyclic quiver, used to define the root vectors in invariant tubes (Theorem 9.6 cited in Section 7.1.1).","marker":"[LW23]"},{"why":"Supplies the Drinfeld–Beck isomorphism Φ: Dr U_v(sl_p) → U_v(sl_p) used to transport Drinfeld generators into Hall algebra expressions for the non-invariant tubes (Section 7.1.2).","marker":"[Be94]"},{"why":"Provides the framework of semi-derived Ringel-Hall algebras that the ıHall algebra construction adapts to the category of ρ-complexes (Sections 1.2 and 3.2).","marker":"[LP21]"},{"why":"The original realization of quantum loop algebras via Hall algebras of weighted projective lines, which the present paper extends to the quasi-split ıquantum setting.","marker":"[Sch04]"},{"why":"Provides the q-Onsager case (Theorem F) that the star-vertex part of the homomorphism generalizes, including the explicit formulas for Θ and H.","marker":"[LRW23]"},{"why":"The split-type predecessor whose root-vector formulas and relation verifications are generalized here to quasi-split type.","marker":"[LR24]"},{"why":"Supplies the Drinfeld-type presentation Definition 5.1 of quasi-split ıquantum loop algebras that the paper realizes geometrically.","marker":"[LWZ23]"}],"fun_headline_variants":["ıHall algebras realize Drinfeld presentation","Weighted projective lines host quasi-split quantum groups","Drinfeld relations proven in ıHall algebras","Sheaf categories yield quasi-split ıquantum loop algebras","Geometric realization of affine ADE quantum pairs"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Everything rests on two previously established external results being valid in exactly the form used: the embedding of the ıquantum group of sl_p into the ıHall algebra of a cyclic quiver, and the Drinfeld–Beck isomorphism identifying the two presentations of the affine quantum group; if either fails inside the Hall algebra context, the definition of the root vectors in the tubes collapses and the asserted homomorphism may not preserve the Drinfeld relations.","fun_headline_variants_meta":{"raw":{"variants":["ıHall algebras realize Drinfeld presentation","Weighted projective lines host quasi-split quantum groups","Drinfeld relations proven in ıHall algebras","Sheaf categories yield quasi-split ıquantum loop algebras","Geometric realization of affine ADE quantum pairs"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000194,"raw_usage":{"total_tokens":1362,"prompt_tokens":961,"completion_tokens":401,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":577,"completion_tokens_details":{"reasoning_tokens":325}},"tokens_in":577,"tokens_out":401,"duration_ms":4055,"temperature":1.0,"reasoning_tokens":325,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T16:51:28.762711+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute directly in the ıHall algebra of a small weighted projective line (for example, weight type (2,2), where the involution swaps the two branches) the image under Ω of the Drinfeld relation (5.33) between B⋆,k and B[i,1],l for q=2 and small k,l; if the two sides do not coincide as elements of the Hall algebra, Theorem 7.4 is false. A more targeted check is whether the composition Ω_{C_p} preserves the relation [B_{i,k}, B_{i,l+1}]_{$v^{{-2}}$} − $v^{{-2}}$[B_{i,k+1}, B_{i,l}]_{$v^{2}$} inside the Hall algebra of the cyclic quiver C_p.","supporting_citations":[],"review_version":1}