{"id":"e795c2ab-4ec2-4225-87e8-7293e9e11f11","arxiv_id":"2411.14764","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The quantum queer supergroup is realized as a superalgebra of formal infinite series, with a new basis and explicit generator multiplication formulas.","lead":"This paper gives a new construction of the quantum queer supergroup, a deformed symmetry algebra, from finite Hecke-Clifford superalgebras. It produces an explicit basis and multiplication rules, opening a finite-algebra route to representations of these supergroups.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The omitted proofs of Propositions 5.4 and 5.5 carry the entire odd-generator verification; a single incorrect coefficient or missing term would invalidate the homomorphism ξ_{n,r} and the realization theorem.","rationale":"The reader's weakest_assumption identifies Propositions 5.4 and 5.5 as the critical unverified link, and my independent review reaches the same conclusion. The proof roadmap otherwise has independent anchors: the PBW basis in Proposition 9.1 is cited from [Ol] and [DW1], the injectivity argument uses that basis plus the monomial basis M, and the even parts of the multiplication theory are parallel to the established gl_n framework. The genuine gap is narrow but load-bearing: the two omitted odd-case calculations are used directly to check the defining relations and to control the triangular decomposition, so an error there propagates to the final basis theorem. I found no evidence of circular reasoning or internal inconsistency, but the absence of proofs for such intricate formulas, combined with no machine-checked verification, justifies keeping the verdict conditional. My recommended verdict is therefore unchanged from the reader's CONDITIONAL: accept only after the formulas in Propositions 5.4 and 5.5 are supplied and checked.","tokens_in":70581,"tokens_out":3671,"duration_ms":45571,"concrete_test":"Independently re-derive Propositions 5.4 and 5.5 from Lemma 4.3 via the same standardization computation used in Section 4, then test the resulting formulas by direct multiplication in Q^s_v(n,r) for small cases, e.g. n=3 and r=3,4, using the explicit standard basis and the known fundamental multiplication formulas from [DGLW] translated by Proposition 2.4 and Proposition 3.5. Check every A⋆ satisfying the SDP hypotheses and all relevant j∈Z^n; any mismatch in a coefficient, exponent, or sign would disprove Theorem 6.3. A successful match on these nontrivial small cases would substantially de-risk the gap.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central construction hinges on the long multiplication formulas for the odd generators (O|E_{h,h+1}) and (O|E_{h+1,h}) stated in Propositions 5.4 and 5.5. The paper explicitly says 'Their detailed proofs are omitted' immediately after both propositions, and Remark 5.6(1) concedes that without the SDP hypothesis even the existence of a B⋆(j,r)-expansion is unknown. These formulas are not decorative: Theorem 6.3 uses them to verify relations (QQ3)–(QQ6) in Q^s_v(n,r), and Corollary 6.5 uses them as the head parts in the triangular decomposition that later determines the image of ξ_n and the basis in Theorem 8.3. If any of the numerous powers of v, signs involving ~a^1_{h,k}, or the j-dependent shifts in Proposition 5.4 or 5.5 is wrong, then ξ_{n,r} is not a superalgebra homomorphism, the monomial/triangular relations in Section 7 collapse, and the main theorem does not follow. The surrounding arguments are coherent and the structure of the proof is plausible, but the load is concentrated in exactly the two formulas whose derivations are not supplied.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a new realization of the quantum queer supergroup U_v(q_n) as a superalgebra A_v(n) of formal infinite series built from Hecke–Clifford superalgebras and queer q-Schur superalgebras. The route is: standardize the natural basis of queer q-Schur superalgebras, derive multiplication formulas for standard basis elements, introduce long elements A*(j,r) whose structure constants are independent of r, use these to define homomorphisms ξ_{n,r}: U_v(q_n) → Q^s_v(n,r), take a limit over r to define a map ξ_n from U_v(q_n) to A_v(n), and then prove that ξ_n is an isomorphism by comparing a monomial basis with a PBW-type basis. The main theorem (Theorem 1.4) asserts an explicit basis {A*(j)} of U_v(q_n) together with explicit multiplication rules for the generators K_i, E_h, F_h, and K̄_n.","tokens_in":70789,"tokens_out":4222,"duration_ms":43353,"significance":"If the construction is correct, this is a substantial contribution: it provides a BLM-type finite-algebra realization of the quantum queer supergroup, with explicit structure constants for a global basis, and it opens a route toward integral and modular representation theory of U_v(q_n). The paper is carefully organized, and the overall proof strategy is coherent: the injectivity argument via a monomial basis and PBW basis, and the surjectivity argument via triangular relations, are natural and well motivated. Strengths include the explicit nature of the claimed multiplication rules, the systematic bookkeeping of v-powers and signs in Sections 4–5, and the heavy but transparent use of the earlier foundations in [DGLW], [DW1], and [DW2]. However, the verification currently has two load-bearing gaps: the long odd-generator multiplication formulas in Propositions 5.4 and 5.5 are stated with proofs omitted, and parts of the relation check in Theorem 6.3 are asserted by analogy or by reference to the q-Schur algebra case.","major_comments":[{"comment":"The paper states immediately after these propositions that “Their detailed proofs are omitted.” These two long multiplication formulas are load-bearing: Theorem 6.3 uses them to verify the odd relations (QQ3)–(QQ6), and Corollary 6.5 uses them to identify the head parts H^e and H^f in the triangular decomposition that determines the image of ξ_n and the basis in Theorem 8.3. A wrong v-power, a wrong sign involving ~a^1_{h,k}, or a shifted j-index would invalidate the homomorphism ξ_{n,r} and hence the main theorem. Moreover, Proposition 5.4 is derived from Lemma 4.3(1), whose proof is also omitted in Section 4 (“the proof of (1) is similar to that of Lemma 4.1(2) and is omitted”). Thus the derivation of the odd multiplication formulas is not supplied at any level of detail. This gap must be filled before the central claim can be accepted.","section":"Section 5, Propositions 5.4 and 5.5"},{"comment":"The proof of Theorem 6.3 contains several verifications by analogy rather than by explicit computation. For example, in the check of (QQ3), case R4 is dismissed with “can be proved similarly”; in the check of (QQ5), the Y-case is said to be proved symmetrically; and in the check of (QQ6), only the j = i−1 case for X is written down, with the j = i+1 case and the whole Y-case left to “similarly” arguments. Even the even relations are handled by saying they “can be checked as in the q-Schur algebra case,” without a precise reference to a lemma in this paper. Since ξ_{n,r} is the foundation for the limit map ξ_n, each defining relation of U_v(q_n) should either be verified explicitly or be traced to a named lemma whose proof is complete. As it stands, the existence of the homomorphism is not fully established.","section":"Section 6, Theorem 6.3"},{"comment":"Remark 5.6(1) concedes that without the SDP hypothesis the paper does not even know whether an odd-generator product is a linear combination of some B*(j,r), and says this will be proved in the next section. The proof is then given in Corollary 6.4, but it uses the homomorphism ξ_{n,r} from Theorem 6.3, whose verification is precisely what depends on the omitted formulas in Propositions 5.3–5.5. The argument is not circular if Theorem 6.3 is fully proved, but because of the gap in the proof of Theorem 6.3, the claim of Corollary 6.4 currently rests on the same unverified computational core. The exposition should separate the SDP-case product formula from the general existence statement and should supply the missing SDP computations so that the reader can check both the head terms and the tail terms independently.","section":"Section 5, Remark 5.6(1), and Section 6, Corollary 6.4"}],"minor_comments":[{"comment":"The statement of the main theorem refers to notations defined in (5.1.1) and Propositions 5.1–5.3, but the reader is not told until much later what f^0_{h,k}, g^1_{h,k}, and similar symbols mean. A short paragraph immediately after Theorem 1.4 defining these symbols would make the main statement self-contained.","section":"Section 1.4, Main Theorem"},{"comment":"The proposition says “the following multiplication formulas hold” but only one formula is displayed. Either the plural is inaccurate, or a second formula has been omitted from the display; please rephrase or add the missing display.","section":"Section 5, Proposition 5.5"},{"comment":"In Definition 7.11, the notation α_{i,j} is defined as ǫ_i − ǫ_{i+1}, so the subscript j does not occur on the right-hand side. This is confusing in a definition where both i and j are used systematically; please rename the root to α_i or explain the convention.","section":"Section 7, Definition 7.11"},{"comment":"Several places in the arXiv text show the dot product as “squaresmallsolid” (for example in the definition of λ·j in (5.0.2)). Please ensure the final typeset version uses a single, consistent symbol for the dot product and that no such artifacts remain.","section":"Throughout"},{"comment":"The text refers to an “unpublished manuscript [dglw]” and to “[DGLW]” as a published or forthcoming item. Since the current paper relies substantially on [DGLW] for the fundamental multiplication formulas in the SDP case, the dependence should be made precise, and the status of [dglw] should be clarified in the references.","section":"Section 1.5, Remarks on the history of the project"}],"recommendation":"major_revision","confidential_remarks":"The paper is within the scope of math.QA and represents a plausible and potentially valuable realization of the quantum queer supergroup. My recommendation of major revision is driven by the two load-bearing gaps: the omitted proofs of Propositions 5.4 and 5.5, and the compressed verification of odd relations in Theorem 6.3. The authors state that the project has been in progress for many years and that the computations are highly complex; it is likely that the missing derivations exist in some form. I would advise the editor that acceptance should wait until those derivations are either included in full or made checkable through a detailed supplement, since the current text does not allow a referee to verify the central homomorphism independently."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This is a substantial and credible BLM-style construction of the quantum queer supergroup. The main result, Theorem 1.4, gives a new realization of U_v(q_n) as A_v(n) with an explicit basis and multiplication rules by generators. The novelty is real: the standardization of the natural basis, the long elements, and the formal infinite series limit are new, and the paper clearly states what comes from prior work. The even-generator formulas in Sections 4-5 are worked out in detail, with proofs, and the injection proof in Section 9 using the known PBW basis is clean and independent. The authors also deserve credit for being candid about what is not done.\n\nThe soft spot is exactly where the stress-test note points. Propositions 5.4 and 5.5 state the long multiplication formulas for the odd generators (O|E_{h,h+1}) and (O|E_{h+1,h}) under the SDP condition, and the paper says in plain text that their detailed proofs are omitted. These formulas are not decorative: Theorem 6.3 uses them to verify the defining relations (QQ3)-(QQ6), and Corollary 6.5 uses them as the head terms in the triangular decomposition. If any coefficient, sign, or shift in these formulas is wrong, the homomorphism xi_{n,r} is not a superalgebra homomorphism, and the realization theorem collapses. The paper does provide the surrounding machinery - the head-plus-tail forms, the triangular relations, and the monomial basis - but the two omitted derivations are load-bearing, and they are not replaced by a later proof. That is a genuine gap in the preprint, though not a reason to dismiss the work.\n\nMy overall read: the proof structure is coherent, the main theorem is new and important, and the reliance on the authors' own prior work is appropriate rather than circular. The paper is for researchers in quantum groups and representation theory who work on Schur-Weyl duality and BLM-type realizations. It deserves a serious referee, but the referee should be asked to verify Propositions 5.4 and 5.5 (or demand that the authors supply the proofs) before the result is accepted as fully established.","headline":"The paper is the first Hecke-Clifford realization of the quantum queer supergroup and the main theorem is plausible, but the omitted proofs of the odd multiplication formulas (Props. 5.4/5.5) carry the load and must be checked.","tokens_in":71364,"tokens_out":2524,"would_cite":true,"duration_ms":26905,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B37","17A70","20G42","20C08"],"pacs":[],"model":"deepseek-v4-flash","headline":"The quantum queer supergroup $U_v(\\mathfrak{q}_n)$ has an explicit basis of long elements with closed multiplication formulas, realizing it as a superalgebra of formal infinite series.","keywords":["quantum queer supergroup","Hecke-Clifford superalgebra","queer q-Schur superalgebra","long elements","standard basis","triangular relations","PBW basis","formal infinite series"],"falsifier":"For $n=2$, $r=2$, $h=2$, $A^\\star=(O|E_{1,1})$ and $j=0$, compute the product $K_2 \\cdot A^\\star(0)$ in $Q^s_v(2,2)$ by the definitions of the standard basis, and compare its coefficients with the formula in Main Theorem (4); any nonzero difference would invalidate Theorem 6.3 and the isomorphism.","tokens_in":70339,"feed_emoji":"🧮","tokens_out":18071,"duration_ms":154041,"temperature":0.7,"pith_summary":"This paper proves that the quantum queer supergroup $U_v(\\mathfrak{q}_n)$—the quantized enveloping superalgebra of the queer Lie superalgebra—carries an explicit basis $\\{A^\\star(j)\\}$ on which multiplication by the generators $K_i^{\\pm1}$, $E_h$, $F_h$, and $K_n$ is given by closed formulas. If correct, this provides a regular-representation description of the quantum queer supergroup, in the spirit of the classical Schur-algebra construction for quantum $\\mathfrak{gl}_n$. The construction passes through the standardized queer $v$-Schur superalgebras $Q^s_v(n,r)$, where certain long elements have multiplication coefficients independent of $r$; taking formal limits in the direct product yields the algebra $A_v(n)$, and the paper proves $U_v(\\mathfrak{q}_n) \\cong A_v(n)$. The explicit basis and structure constants are the natural starting point for integral duality between the quantum queer supergroup and Hecke–Clifford algebras, for modular representation theory at roots of unity, and for canonical-basis theory.","feed_headline":"Quantum queer supergroup gains explicit basis and realization","feed_subtitle":"Formal limits of long elements yield explicit multiplication rules, opening integral and modular representation theory.","key_machinery":"The construction is carried by the long elements $A^\\star(j,r)=\\sum_{\\lambda\\in\\Lambda(n,r-|A|)} v^{\\lambda\\cdot j}[A^{\\bar0}+\\lambda|A^{\\bar1}]$ in the standardized queer $v$-Schur superalgebras $Q^s_v(n,r)$, where $[B^\\star]$ is the standard basis obtained from the natural basis by a power-of-$v$ normalization. Their multiplication formulas have coefficients depending on the matrix data $A^\\star$ and the shift $j$ but not on $r$, so passing to the direct product over all $r\\ge1$ produces formal infinite series $A^\\star(j)$ spanning $A_v(n)$. The odd-generator formulas require the semi-direct product (SDP) condition, a commutation hypothesis between Clifford generators and the distinguished Hecke representative that makes the head terms of those products computable. A triangular relation comparing a monomial basis to the standard basis determines the image of $\\xi_n$, and a PBW-type basis proves injectivity.","core_discovery":"The paper's central claim is that $U_v(\\mathfrak{q}_n)$, the quantum queer supergroup, has a basis $\\{A^\\star(j)\\}$ indexed by $A^\\star=(A^{\\bar0}|A^{\\bar1})\\in M_n(\\mathbb{N}|\\mathbb{N}_2)^\\pm$ and $j\\in\\mathbb{Z}^n$, satisfying the explicit multiplication rules stated in Main Theorem 1.4. The proof constructs superalgebra homomorphisms $\\xi_{n,r}: U_v(\\mathfrak{q}_n)\\to Q^s_v(n,r)$ for every $r\\ge1$, proves their surjectivity, and then takes limits of long elements to obtain a homomorphism $\\xi_n$ from $U_v(\\mathfrak{q}_n)$ onto the algebra $A_v(n)$ of formal infinite series. A triangular relation between a monomial basis and the standard basis identifies the image of $\\xi_n$, and a PBW-type basis for $U_v(\\mathfrak{q}_n)$ proves injectivity. The conclusion is that $\\xi_n$ is an isomorphism, so $A_v(n)$ is a new realization of $U_v(\\mathfrak{q}_n)$ built directly from Hecke–Clifford superalgebras.","pith_inferences":["An extension the paper leaves implicit: the $r$-independence of the structure constants should allow the whole construction to be made integrally over $\\mathbb{Z}[v,v^{-1}]$, yielding modular reductions of $U_v(\\mathfrak{q}_n)$ at roots of unity.","The same long-element limit should adapt to an idempotented 'modified' quantum queer supergroup, with the shifts $j$ playing the role of inserted idempotents; the paper does not discuss this modified version.","The SDP hypothesis enters through the omitted proofs of Propositions 5.4 and 5.5; finding closed formulas for their tail terms would replace the inductive triangular argument with direct odd-generator multiplication formulas."],"forward_implications":["$U_v(\\mathfrak{q}_n)$ is isomorphic to $A_v(n)$, so the quantum queer supergroup has a realization as a subalgebra of formal infinite series with a computable leading-term order.","The basis $\\{A^\\star(j)\\}$ gives explicit, $r$-independent formulas for multiplication by $K_i^{\\pm1}$, $E_h$, $F_h$, and $K_n$, i.e. a regular-representation description of the supergroup.","Each map $\\xi_{n,r}: U_v(\\mathfrak{q}_n)\\to Q^s_v(n,r)$ is surjective, exhibiting every queer $v$-Schur superalgebra as a finite-dimensional quotient of $U_v(\\mathfrak{q}_n)$.","The monomial basis built from divided powers is triangularly related to the PBW-type basis, and this triangularity is what establishes injectivity of $\\xi_n$ without a geometric argument."],"supporting_citations":[{"why":"Supplies the fundamental multiplication formulas in queer q-Schur superalgebras, including the SDP-condition formulas for odd generators that this paper standardizes and extends.","marker":"[DGLW]"},{"why":"Defines the natural basis $\\{\\varphi_{A^\\star}\\}$ of the queer q-Schur superalgebra and the special elements $T_{A^\\star}$ used throughout.","marker":"[DW2]"},{"why":"Provides the presentation and PBW-type basis of $U_v(\\mathfrak{q}_n)$ used for the triangular decomposition and the injectivity proof.","marker":"[DW1]"},{"why":"Introduces the quantum queer supergroup $U_v(\\mathfrak{q}_n)$, its defining relations, and the duality with Hecke–Clifford algebras that motivates the homomorphisms.","marker":"[Ol]"},{"why":"Supplies the long-element and limit method for realizing quantum $\\mathfrak{gl}_n$ that the paper adapts to the queer setting.","marker":"[BLM]"},{"why":"Shows how fundamental multiplication formulas can be derived from Hecke algebras, guiding the Hecke–Clifford route used here.","marker":"[DGZ]"}],"fun_headline_variants":["Quantum queer supergroup gains explicit basis from Hecke-Clifford","New explicit realization of quantum queer supergroup via limits of long elements","Explicit multiplication rules for quantum queer supergroup","Hecke-Clifford superalgebras give new quantum queer supergroup","Formal limits yield explicit quantum queer supergroup realization"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction depends on the long odd-generator multiplication formulas of Propositions 5.4 and 5.5, which are stated under the semi-direct product (SDP) commutation condition with proofs omitted; if any coefficient or exponent in those formulas is wrong, the homomorphism $\\xi_{n,r}$ and the final isomorphism can fail.","fun_headline_variants_meta":{"raw":{"variants":["Quantum queer supergroup gains explicit basis from Hecke-Clifford","New explicit realization of quantum queer supergroup via limits of long elements","Explicit multiplication rules for quantum queer supergroup","Hecke-Clifford superalgebras give new quantum queer supergroup","Formal limits yield explicit quantum queer supergroup realization"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000544,"raw_usage":{"total_tokens":2732,"prompt_tokens":1205,"completion_tokens":1527,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":821,"completion_tokens_details":{"reasoning_tokens":1452}},"tokens_in":821,"tokens_out":1527,"duration_ms":44701,"temperature":1.0,"reasoning_tokens":1452,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T14:54:58.377864+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For $n=2$, $r=2$, $h=2$, $A^\\star=(O|E_{1,1})$ and $j=0$, compute the product $K_2 \\cdot A^\\star(0)$ in $Q^s_v(2,2)$ by the definitions of the standard basis, and compare its coefficients with the formula in Main Theorem (4); any nonzero difference would invalidate Theorem 6.3 and the isomorphism.","supporting_citations":[],"review_version":1}