REVIEW 3 major objections 5 minor 39 references
Constructing the quantum queer supergroup using Hecke-Clifford superalgebras
T0 review · 3 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read 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.
desk verdict 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. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
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.
What would settle it
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.
Extended reading notes
Core claim
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.
Load-bearing premise
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.
Editorial extensions
If this is right
- $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.
Reading between the lines
- 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.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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.
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 (3)
- [Section 5, Propositions 5.4 and 5.5] 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 6, Theorem 6.3] 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 5, Remark 5.6(1), and Section 6, Corollary 6.4] 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.
minor comments (5)
- [Section 1.4, Main Theorem] 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 5, Proposition 5.5] 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 7, Definition 7.11] 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.
- [Throughout] 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 1.5, Remarks on the history of the project] 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.
Circularity Check
No circularity: the new basis and the isomorphism to A_v(n) are obtained from explicit finite-algebra multiplication formulas and an independent PBW-type basis, not from the target algebra by construction.
full rationale
The derivation chain is self-contained in the relevant sense. The new basis {A*(j)} for U_v(q_n) is defined from formal limits of long elements in the finite superalgebras Q^s_v(n,r), and the multiplication rules of Theorem 1.4 are consequences of Propositions 5.1–5.3, whose proofs are supplied via Lemmas 4.1–4.3 and explicit computations of coefficients and v-powers. The odd-generator formulas in Propositions 5.4 and 5.5 are stated with proofs omitted and are genuinely load-bearing for the verification of relations (QQ3)–(QQ6) in Theorem 6.3; however, this is a completeness or correctness risk, not circularity, because those formulas are explicitly presented as standardizations of the multiplication formulas of [DGLW, Ths. 6.2–4], which are derived from Hecke-Clifford commutation relations rather than from the quantum queer supergroup being constructed. Remark 5.6(1) even concedes that, without the SDP hypothesis, it is unknown whether the product is a linear combination of the B*(j,r); this is an honest limitation, not a disguised input. Injectivity of ξ_n is proved by comparing the monomial basis image with the PBW-type basis of U_v(q_n) taken from Olshanski and [DW1], which is an independent presentation of the same algebra, and the triangularity argument in Theorem 7.13 is carried out inside the finite queer v-Schur superalgebras. No fitted constants, no input-dependent target results, and no prediction reducing to its own definition appear in the paper.
Assumptions & free parameters
assumptions (4)
- domain assumption The Drinfeld-Jimbo type presentation (QQ1)-(QQ6) in Definition 3.1 defines the quantum queer supergroup U_v(q_n).
- domain assumption PBW type basis theorem for U_v(q_n), Proposition 9.1, from Olshanski and DW1.
- domain assumption Fundamental multiplication formulas and SDP condition results from [DGLW], specifically Theorems 5.3, 6.2-4, and 4.6-4.7.
- domain assumption Schur-Weyl-Olshanski duality, Proposition 3.3, from [Ol] and [DW1].
Cite this review
Pith. "Pith review of Constructing the quantum queer supergroup using Hecke-Clifford superalgebras." pith.science (2026). https://pith.science/paper/IKVAMT2Q
@misc{pith2026241114764,
author = {Pith},
title = {Pith review of: Constructing the quantum queer supergroup using Hecke-Clifford superalgebras},
year = {2026},
howpublished = {\url{https://pith.science/paper/IKVAMT2Q}},
note = {Machine review of arXiv:2411.14764}
}
abstract
In [DGLW], we use certain special elements and their commutation relations in the Hecke-Clifford algebras $H^c_{r,R}$ to derive some fundamental multiplication formulas associated with the natural bases in queer $q$-Schur superalgebras $Q_q(n,r;R)$ introduced in [DW2]. Here a natural basis element is defined by a special element $T_{A^{\star}}$ in $H^c_{r,R}$ associated with a pair of certain $n\times n$ matrices $A^{\star}=(A^{\bar0}|A^{\bar1})$ over $\mathbb{N}$ with entries sum to $r$. The definition of $T_{A^\star}$ consists of an element $c_{A^{\star}}$ in the Clifford superalgebra and an element $T_A$ in the Hecke algebra, where $A=A^{\bar0}+A^{\bar1}$. Note that all $T_A$ can be used to define the natural basis for the corresponding $q$-Schur algebra $S_q(n,r)$. This paper is a continuation of [DGLW]. We start with standardized queer $v$-Schur superalgebras $ Q^s_v(n,r)$, for $R=\mathbb{Z}[v,v^{-1}]$ and $q=v^2$, and their natural bases. With the $v$-Schur algebra ${ S}_v(n,r)$ at the background, the first key ingredient is a standardisation of the natural basis for $Q^s_v(n,r)$ and their associated standard multiplication formulas. By introducing some long elements of finite sums, we then extend the formulas to these long elements which allow us to explicitly define $\mathbb{Q}(v)$-superalgebra homomorphisms $\xi_{n,r}$ from the quantum queer supergroup $\boldsymbol{U}_v(\mathfrak{q}_n)$ to queer $q$-Schur superalgebras $\boldsymbol{Q}^s_v(n,r)$, for all $r\geq1$. Finally, taking limits of long elements yields certain infinitely long elements as formal infinite series which eventually lead to a new construction for $\boldsymbol{U}_v(\mathfrak{q}_n)$.
Reference graph
Works this paper leans on
- [1]
-
[2]
H. Bao, J. Kujawa, Y. Li and W. Wang, Geometric Schur Duality of Classical Type , Transf. Groups 23 (2018), 329--389
work page 2018
-
[3]
A. Beilinson, G. Lusztig, R. MacPherson, A geometric setting for the quantum deformation of GL_n , Duke Math. J. 61 (1990) 655--677
work page 1990
-
[4]
Benkart, G., N. Guay, J. Jung, S.-J. Kang, and S. Wilcox, Quantum Walled Brauer-Clifford
-
[5]
J. Brundan, A. Kleshchev, Projective representations of symmetric groups via Sergeev duality, Math. Zeit. 239 (2002), 27--68
work page 2002
-
[6]
J. Brundan, A. Kleshchev, Modular representations of the supergroup Q(n) , I , J. Algebra 260 (2003), 64-98
work page 2003
-
[7]
J. Brundan, J. Kujawa, A new proof of the Mullineux conjecture , J. Algebraic Combin. 18 (2003), 13--39
work page 2003
- [8]
Show all 39 references
-
[9]
B. Deng, J. Du, Q. Fu, A double Hall algebra approach to quantum Schur--Weyl theory, London Math. Soc., Lecture Note Series, Vol. 401, Cambridge University Press, 2012
2012
-
[10]
B. Deng, J. Du, B. Parshall, J. Wang, Finite Dimensional Algebras and Quantum Groups, Math. Surveys Monogr., vol. 150, Amer. Math. Soc., Providence, RI, 2008
2008
-
[11]
Du, Cells in certain sets of matrices, T\^ohoku Math
J. Du, Cells in certain sets of matrices, T\^ohoku Math. J., 48 (1996), 417--427
1996
-
[12]
Du and Q
J. Du and Q. Fu, A modified BLM approach to quantum affine gl _ n , Math. Z. 266 (2010), 747--781
2010
-
[13]
J. Du, Q. Fu, Quantum affine gl _n via Hecke algebras , Adv. Math. 282 (2015), 23--46
2015
-
[14]
J. Du, H. Gu, A realization of the quantum supergroup U( gl _ m|n ) , Journal of Algebra 404 (2014), 60--99
2014
-
[15]
J. Du , H. Gu, Z. Zhou, Multiplication formulas and semisimplicity for q-Schur superalgebras, Nagoya Math. 237 (2020) 98--126
2020
-
[16]
J. Du, H. Gu, Z. Li, J. Wan, Approaching quantum queer supergroups using finite dimensional superalgebras (Preliminary version), arXiv:2208.13212 (not published)
-
[17]
J. Du, H. Gu, Z. Li, J. Wan, Some multiplication formulas in queer q-Schur superalgebras, Transf. Groups, doi: org/10.1007/s00031-024-09882-z
-
[18]
Du, J. and H. Rui, Quantum Schur superalgebras and Kazhdan--Lusztig combinatorics
-
[19]
J. Du, Y. Lin, Z. Zhou, Quantum queer supergroups via -differential operators, Journal of Algebra, 599 (2022), 48-103
2022
-
[20]
Du and J
J. Du and J. Wan, Presenting queer Schur superalgebras, Int. Math. Res. Not. IMRN 2015, no.8, 2210--2272
2015
-
[21]
Du and J
J. Du and J. Wan, The queer q -Schur superalgebra , J. Aust. Math. Soc. 105 (2018), 316--346, doi:10.1017/S 1446788717000337
2018 doi
-
[22]
Du and Y
J. Du and Y. Wu, A new realisation of the i -quantum group U ^ (n) , J. Pure App. Algebra, 226 (2022), no. 1, Paper No. 106793, 27 pp
2022
-
[23]
Du and Y
J. Du and Y. Wu, The i -quantum group U ^ (n) , Pacific J. Math., 320 (2022), 61--101
2022
-
[24]
Du and Z
J. Du and Z. Zhou, The regular representation of quantum Proc. Amer. Math. Soc. 148 (2020), 111--124
2020
-
[25]
Fu, On Schur algebras and little Schur algebras, Journal of Algebra, 322 (2009), 1637--1652
Q. Fu, On Schur algebras and little Schur algebras, Journal of Algebra, 322 (2009), 1637--1652
2009
-
[26]
Ginzburg, E
V. Ginzburg, E. Vasserot, Langlands reciprocity for affine quantum groups of type A_n . Internat. Math. Res. Notices 3 (1993), 67--85,
1993
-
[27]
Grantcharov, J
D. Grantcharov, J. H. Jung, S.-J. Kang, and M. Kim. Highest weight modules over quantum queer superalgebra U_q( q(n)) , Comm. Math. Phys. 296 (2010), 827--860
2010
-
[28]
Grantcharov, J
D. Grantcharov, J. H. Jung, S.-J. Kang, M. Kashiwara, and M. Kim, Crystal bases for the quantum queer superalgebra and semistandard decomposition tableaux Trans. Amer. Math. Soc. 366 (2014), 457-489
2014
-
[29]
H. Gu, Z. Li, Y. Lin, The integral Schur-Weyl-Sergeev duality, Journal of Pure and Applied Algebra 226 (2022)
2022
-
[30]
Jantzen, Lectures on quantum groups , Graduate Studies in Mathematics, Vol.6, Amer
J.C. Jantzen, Lectures on quantum groups , Graduate Studies in Mathematics, Vol.6, Amer. Math. Soc., Providence R.I, 1996
1996
-
[31]
Lusztig, Aperiodicity in quantum affine gl _n , Asian J
G. Lusztig, Aperiodicity in quantum affine gl _n , Asian J. Math. 3 (1999), 147--177
1999
-
[32]
G. I. Olshanski, Quantized Universal Enveloping Superalgebra of Type Q and a Super-Extension of the Hecke Algebra, Lett. Math. Phys. 24 (1992), 93--102
1992
-
[33]
A. N. Sergeev, The tensor algebra of the identity representation as a module over the lie superalgebra Sl (n,m) and Q(n) , Math. USSR Sbornik 51 (1985), 419--427
1985
-
[34]
Brundan, and J
J. Brundan, and J. Kujawa, A New Proof of the Mullineux Conjecture, Journal of Algebraic Combinatorics 18, 139 (2003)
2003
-
[35]
V.Chari, A.Pressley, A guide to quantum groups, Cambridge University Press (1994)
1994
-
[36]
J. Du, Q. Fu and J.-P. Wang, Infinitesimal quantum gln and little q -Schur algebras, J. Algebra 287 (2005), 199-233
2005
-
[37]
Donkin, Symmetric and exterior powers, linear source modules and representations of Schur superalgebras, Proceedings of the London Mathematical Society, 83(3) (2001), 647-680
S. Donkin, Symmetric and exterior powers, linear source modules and representations of Schur superalgebras, Proceedings of the London Mathematical Society, 83(3) (2001), 647-680. doi:10.1112/plms/83.3.647
2001 doi
-
[38]
Jozefiak, Semisimple superalgebras, 1988
T. Jozefiak, Semisimple superalgebras, 1988
1988
-
[39]
USSR Sbornik 51 (1985), 419--427
A.N.Sergeev, The tensor algebra of the identity representation as a module over the lie superalgebra Sl (n,m) and Q(n) , Math. USSR Sbornik 51 (1985), 419--427
1985
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.