Pith. sign in

REVIEW 5 minor 38 references

Analogue of Feigin's map on $\imath$quantum group of split type

T0 review · 0 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read This paper establishes an explicit algebra homomorphism from every universal ıquantum group of split type to a quantum torus, giving an ı-analogue of Feigin's map.

desk verdict The paper proves what it claims, and the reader's Lemma A.3 objection is a misreading—the parameter d is 2ℓ, not 4ℓ—so the combinatorial core stands. read the letter →

arxiv 2502.09430 v1 pith:FIOBH6B4 submitted 2025-02-13 math.QA math.RAmath.RT

Ming Lu , Shiquan Ruan , Haicheng Zhang This is my paper · ORCID
classification math.QAmath.RAmath.RT MSC 17B3705E1017B67
keywords ıQuantumgroupQuantumtorusFeigin'smapIntegrationsymmetricpairsSerre–LusztigrelationsValuedquiver
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper proves that every universal ıquantum group of split type — a family of algebras arising as coideal subalgebras of Drinfeld double quantum groups in quantum symmetric pair theory — admits an algebra homomorphism to a quantum torus. The map sends each generator $B_i$ to the sum $x_k+x_k^{-1}$ over those letters of a chosen word that equal $i$, and sends $k_i$ to a fixed scalar multiple of the product of the two sums. This is an ı-analogue of Feigin's map, a classical homomorphism that realizes the positive part of a quantum group inside a quantum torus and underlies monomial bases and cluster realisations. The proof verifies the ıSerre relations by reducing them to three quantum binomial identities, which are first proved for quivers without 2-cycles and then transferred to arbitrary valued quivers using higher-order Serre–Lusztig relations.

What carries the argument

The core mechanism is the reduction of the ıSerre relations to coefficient comparisons in the quantum torus. The authors define ıdivided powers $y^{(m)}_{i,\bar{0}}$ and $y^{(m)}_{i,\bar{1}}$ inside $T_{\mathbf{i}}(Q)$ that mirror the ıdivided powers of the generators $B_i$, then use a commutation lemma to expand each term $y^{(m)}_{i,\bar{p}}(X_j+Y_j)y^{(n)}_{i,\bar{q}}$ into monomials. Comparing coefficients turns every ıSerre relation into one of three quantum binomial identities, (4.4), (4.6), and (4.14). These identities are first proved for quivers without 2-cycles using the generating-function lemmas in Appendix A; then Proposition 2.2, the non-standard Serre–Lusztig relations, shows that an arbitrary valued quiver can be replaced by an acyclic quiver with a larger Cartan matrix whose quantum torus is isomorphic to the original, transferring the identities to the general case.

What would settle it

Specialize the quantum parameter $v$ to an integer (say $v=2$) and compute the left-hand side of identity (4.4) for a parameter pair where the lemma's condition fails, for instance $m=3$, $\ell=2$, $b=1$. If the sum is not identically zero as a rational function, the map $\phi_{\mathbf{i}}$ does not preserve the $\imath$Serre relation and Theorem 2.4 collapses; if it is zero for such cases, the paper's argument can likely be repaired.

Watch

Extended reading notes

Core claim

Theorem 2.4 states that for any valued quiver $Q$ associated to a symmetrizable generalized Cartan matrix $C$ and any word $\mathbf{i}$, there exists an algebra homomorphism $\phi_{\mathbf{i}}:\widetilde{U}^{\imath}\to T_{\mathbf{i}}(Q)$ from the universal ıquantum group of split type to the quantum torus $T_{\mathbf{i}}(Q)$. On generators it is given by $B_i\mapsto\sum_{i_k=i}(x_k+x_k^{-1})$ and $k_i\mapsto -v_i^{-1}(v_i-v_i^{-1})^2\bigl(\sum_{i_k=i}x_k\bigr)\bigl(\sum_{i_k=i}x_k^{-1}\bigr)$. The authors show that these assignments preserve the ıSerre relations, which form a presentation of $\widetilde{U}^{\imath}$ by Theorem 2.1, and that the image of $k_i$ is central because it is a product of a Laurent monomial and its inverse. A corollary for the word $(1,2,\ldots,N)$ yields an integration map $\phi:U^{\imath}\to T(Q)$ with $B_i\mapsto x_i+x_i^{-1}$ for the Letzter ıquantum group with distinguished parameters $\varsigma^\diamond$.

Load-bearing premise

The whole construction rests on three binomial summation identities being identically zero; the paper's proof of these identities invokes a supporting lemma under conditions the lemma does not explicitly allow, so the truth of those identities is the load-bearing assumption.

Editorial extensions

If this is right

  • Every universal ıquantum group of split type now carries an explicit Feigin-type homomorphism to a quantum torus, defined directly on the generators $B_i$ and $k_i$.
  • For the word $(1,2,\ldots,N)$ and distinguished parameters $\varsigma^\diamond$, the map descends to an integration map on the Letzter ıquantum group $U^{\imath}$, with $B_i\mapsto x_i+x_i^{-1}$.
  • The three quantum binomial identities (4.4), (4.6), and (4.14) are established, so the paper supplies a family of summation formulas of independent combinatorial interest.
  • This is the first step toward cluster realisations of arbitrary split universal ıquantum groups, extending the known construction for type AI.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the homomorphism is injective for words from reduced expressions — a property the paper does not address — it would produce monomial bases for split universal ıquantum groups, paralleling Reineke's bases in the quantum group case.
  • The same coefficient-comparison strategy could plausibly be adapted to quasi-split ıquantum groups, where generators carry extra parameters, yielding analogous but more involved binomial identities.
  • A quick computational check of (4.4), (4.6), and (4.14) at specialized values of $v$ for small $m,\ell,b$ would settle whether the Lemma A.3 range issue is fatal or merely a gap in presentation.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 5 minor

Summary. The paper constructs, for any symmetrizable generalized Cartan matrix C, any associated valued quiver Q, and any word i, an algebra homomorphism phi_i from the universal iota-quantum group of split type to the quantum torus T_i(Q). The map sends B_i to the sum of x_k + x_k^{-1} over all positions k with i_k = i, and k_i to a scalar multiple of X_i Y_i. The proof reduces the iota-Serre relations to three combinatorial identities (4.4), (4.6), and (4.14); it first proves these identities for quivers without 2-cycles by a direct argument, then derives the general case using the non-standard Serre-Lusztig relations of [CLW21b]. A corollary gives an integration map from U^iota with distinguished parameters to a quantum torus. I also verified that the concern raised in the accompanying review about a misapplication of Lemma A.3 in Lemma 5.2 does not land: the exponent -4k*ell in (5.5) is -2k*d with d = 2*ell, and the hypothesis |d| <= 2p of Lemma A.3 is exactly 2*ell <= 2m, which holds for 0 <= ell < m; the same check applies to the -4k*ell - 4k terms with d = 2*(ell+1).

Significance. The result is a natural iota-analogue of Feigin's map and provides a concrete step toward cluster realizations of split iota-quantum groups. The proof is explicit and largely self-contained after the reduction: the combinatorial verifications are checkable, and the paper relies on established external theorems (Serre presentation, non-standard Serre-Lusztig relations) rather than on ad-hoc assumptions. The map itself is explicit and the main theorem is cleanly stated. The paper contains no fitted parameters, and the key identities are amenable to independent verification. If correct, the theorem gives a new structural description of universal iota-quantum groups as subalgebras of quantum tori, extending the work of Song on type AI and Goff on the q-Onsager algebra.

minor comments (5)
  1. [Abstract] The phrase 'are as a vast generalization' in the abstract should be corrected to 'are a vast generalization'.
  2. [Section 4.2.1] After equation (4.8), the word 'obatin' should be 'obtain'.
  3. [Proposition 3.5] The statement says that the iota-Serre relation holds 'if and only if' (3.13) holds, but the proof only uses the forward direction and the text does not justify the converse. Since the Y_j-part of (3.12) is the sigma-image of the X_j-part, the forward direction is sufficient for the paper; please either remove the claimed equivalence or add a sentence explaining why the converse also holds (e.g., by the symmetry b -> -b of the combinatorial identities in Section 4).
  4. [Section 6] In the verification that gamma : T_i(Q') -> T_i(Q) is an isomorphism, the commutation relation is checked only for the case i_l = j and i_k = i; the other cases follow by the same computation and could be mentioned for completeness.
  5. [Lemmas 5.2 and 5.3] The multiplier used to reduce (5.4) and (5.6) to the displayed identities is introduced without derivation; adding a brief explanation of how this multiplier is obtained from the quantum binomial coefficients would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the explicit Feigin-type map is verified through independent presentation theorems and elementary q-binomial identities.

full rationale

The central claim is an explicit, parameter-free map phi_i from the universal iota quantum group to a quantum torus, defined by (2.14)-(2.15); nothing is fitted and no prediction is extracted from data. The proof chain is: Theorem 2.1 gives a presentation by iota-Serre relations; Section 3 computes images of iota-divided powers in the quantum torus; Section 4 shows the iota-Serre relations are equivalent to the concrete quantum binomial identities (4.4), (4.6), and (4.14); Section 5 proves those identities in the no-2-cycle case using elementary lemmas (A.1-A.3, A.4-A.5); and Section 6 reduces the general valued-quiver case to the no-2-cycle case via an explicit torus isomorphism gamma and the non-standard Serre-Lusztig relations from Proposition 2.2. The external citations [LW23, Theorem 4.2] and [CLW21b, Theorem B] are parameter-free theorems about presentations and relations of the same algebra; their assumptions do not include the existence of the Feigin-type map, so they are independent evidence rather than a self-citation loop. The paper openly notes that the general binomial identities are not proved directly, but this is a proof-strategy choice, not circularity. The reviewer's Lemma A.3 concern would be a correctness issue if it landed; it does not bear on circularity, and in the actual application the parameter is d = 2*ell (or 2*(ell+1)), with |d| <= 2m for ell < m, so the cited lemma is used within its hypotheses.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

No fitted numbers are introduced; the distinguished parameters and the word are fixed inputs. The proof depends on previously published presentation and Serre-Lusztig results, several from the same research group, which is a normal but notable dependency. The main risk is not circularity but an unjustified application of a combinatorial lemma.

assumptions (3)
  • domain assumption The Serre presentation of the universal iota quantum group U~iota of split type is complete, as stated in Theorem 2.1 citing LW23.
    The main theorem and the proof that phi_i is a homomorphism are formulated in terms of this presentation and its iota Serre relations.
  • domain assumption The non-standard Serre-Lusztig relations from CLW21b, Proposition 2.2, hold in the required generality.
    Section 6 uses these relations to lift the homomorphism from the modified Cartan matrix C' back to the original set-up.
  • standard math Standard quantum binomial identities (2.1), (2.2), and Lemmas A.1-A.3 are valid in the forms used.
    These identities are cited from Lusztig and Jantzen, but Lemma A.3 is applied outside its stated range in Lemma 5.2, which is the identified flaw.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Analogue of Feigin's map on $\imath$quantum group of split type." pith.science (2026). https://pith.science/paper/FIOBH6B4

@misc{pith2026250209430,
  author       = {Pith},
  title        = {Pith review of: Analogue of Feigin's map on $\imath$quantum group of split type},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/FIOBH6B4}},
  note         = {Machine review of arXiv:2502.09430}
}
abstract

The (universal) $\imath$quantum groups are as a vast generalization of (Drinfeld double) quantum groups. We establish an algebra homomorphism from universal $\imath$quantum group of split type to a certain quantum torus, which can be viewed as an $\imath$analogue of Feigin's map on the quantum group.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

38 extracted references · 32 canonical work pages

  1. [1]

    H. Bao, W. Wang, A new approach to Kazhdan-Lusztig theory of type B via quantum symmetric pairs , Ast\'erisque 402 , 2018, vii+134pp

    work page 2018

  2. [2]

    Berenstein, D

    A. Berenstein, D. Rupel, Quantum cluster characters of Hall algebras, Sel. Math. New Ser. 21 (2015), 1121--1176

    work page 2015

  3. [3]

    Berenstein, A

    A. Berenstein, A. Zelevinsky, Quantum cluster algebras, Adv. Math. 195 (2005), 405--455

    work page 2005

  4. [4]

    Berman, W

    C. Berman, W. Wang, Formulae of -divided powers in U _q( sl _2) , J. Pure Appl. Algebra 222 (2018), 2667--2702

    work page 2018

  5. [5]

    Caldero, F

    P. Caldero, F. Chapoton, Cluster algebras as Hall algebras of quiver representations, Comm. Math. Helv. 81 (2006), 595--616

    work page 2006

  6. [6]

    Caldero, B

    P. Caldero, B. Keller, From triangulated categories to cluster algebras, Invent. Math. 172 (2008), 169--211

    work page 2008

  7. [7]

    X. Chen, M. Ding, H. Zhang, The cluster multiplication theorem for acyclic quantum cluster algebras, Int. Math. Res. Not. 2023 (2023), 20533--20573

    work page 2023

  8. [8]

    X. Chen, M. Lu, W. Wang, A Serre presentation for the quantum groups , Transform. Groups 26 (2021), 827--857

    work page 2021

Show all 38 references
  1. [9]

    X. Chen, M. Lu, W. Wang, Serre-Lusztig relations for quantum groups , Comm. Math. Phys. 382 (2021), 1015--1059

    2021

  2. [10]

    B. Deng, J. Du, B. Parshall, J. Wang, Finite Dimensional Algebras and Quantum Groups , Mathematical Surveys and Monographs, vol. 150 , Amer. Math. Soc., Providence, 2008

    2008

  3. [11]

    Fei, Counting using Hall algebras I

    J. Fei, Counting using Hall algebras I. Quivers, J. Algebra 372 (2012), 542--559

    2012

  4. [12]

    Fomin, A

    S. Fomin, A. Zelevinsky, Cluster algebras. I. Foundations, J. Amer. Math. Soc. 15 (2002), 497--529

    2002

  5. [13]

    Fu, Feigin's map revisited, J

    C. Fu, Feigin's map revisited, J. Pure Appl. Algebra 222 (12) (2018), 4199--4222

    2018

  6. [14]

    C. Fu, L. Peng, H. Zhang, Quantum cluster characters of Hall algebras revisited, Selecta Math. (N.S.) 29 (1) (2023), Paper No. 4, 29 pp

    2023

  7. [15]

    Goncharov, L

    A. Goncharov, L. Shen, Quantum geometry of moduli spaces of local systems and representation theory, arXiv:1904.10491v4

    1904 arXiv

  8. [16]

    Goff, The q -Onsager algebra and the quantum torus, J

    O. Goff, The q -Onsager algebra and the quantum torus, J. Combin. Theory Ser. A 208 (2024), Paper No. 105939, 22 pp

    2024

  9. [17]

    Green, Hall algebras, hereditary algebras and quantum groups , Invent

    J.A. Green, Hall algebras, hereditary algebras and quantum groups , Invent. Math. 120 (1995), 361--377

    1995

  10. [18]

    Iohara, F

    K. Iohara, F. Malikov, Rings of skew polynomials and Gel'fand-Kirillov conjecture for quantum groups, Commun. Math. Phys. 164 (2) (1994), 217--237

    1994

  11. [19]

    Jantzen, Lectures on Quantum Groups, Graduate Studies in Mathematics, vol

    J.C. Jantzen, Lectures on Quantum Groups, Graduate Studies in Mathematics, vol. 6 , American Mathematical Society, Providence, RI (1996)

    1996

  12. [20]

    Joseph, Sur une conjecture de Feigin, C

    A. Joseph, Sur une conjecture de Feigin, C. R. Acd. Sci. Paris Serie I 320 (1995), 1441--1444

    1995

  13. [21]

    Kolb, Quantum symmetric Kac-Moody pairs , Adv

    S. Kolb, Quantum symmetric Kac-Moody pairs , Adv. Math. 267 (2014), 395--469

    2014

  14. [22]

    Letzter, Symmetric pairs for quantized enveloping algebras , J

    G. Letzter, Symmetric pairs for quantized enveloping algebras , J. Algebra 220 (1999), 729--767

    1999

  15. [23]

    Letzter, Coideal subalgebras and quantum symmetric pairs , New directions in Hopf algebras (Cambridge), MSRI publications, 43 , Cambridge Univ

    G. Letzter, Coideal subalgebras and quantum symmetric pairs , New directions in Hopf algebras (Cambridge), MSRI publications, 43 , Cambridge Univ. Press, 2002, pp. 117--166

    2002

  16. [24]

    M. Lu, W. Wang, Hall algebras and quantum symmetric pairs II: reflection functors, Commun. Math. Phys. 381 (2021), 799--855

    2021

  17. [25]

    M. Lu, W. Wang, Hall algebras and quantum symmetric pairs I: foundations , Proc. London Math. Soc. 124 (3) (2022), no. 1, 1--82

    2022

  18. [26]

    M. Lu, W. Wang, Hall algebras and quantum symmetric pairs of Kac-Moody type , Adv. Math. 430 (2023), Paper No. 109215, 56 pp

    2023

  19. [27]

    Lusztig, Introduction to Quantum Groups, Birkh\" a user, Boston, 1993

    G. Lusztig, Introduction to Quantum Groups, Birkh\" a user, Boston, 1993

    1993

  20. [28]

    Qin, Quantum groups via cyclic quiver varieties I , Compos

    F. Qin, Quantum groups via cyclic quiver varieties I , Compos. Math. 152 (2016), 299--326

    2016

  21. [29]

    Reineke, Feigin's map and monomial bases for quantized enveloping algebras, Math

    M. Reineke, Feigin's map and monomial bases for quantized enveloping algebras, Math. Z. 237 (2001), 639--667

    2001

  22. [30]

    Reineke, The Harder-Narasimhan system in quantum groups and cohomology of quiver moduli, Invent

    M. Reineke, The Harder-Narasimhan system in quantum groups and cohomology of quiver moduli, Invent. Math. 152 (2) (2003), 349--368

    2003

  23. [31]

    Ringel, Hall algebras and quantum groups , Invent

    C.M. Ringel, Hall algebras and quantum groups , Invent. Math. 101 (1990), 583--592

    1990

  24. [32]

    C. M. Ringel, Hall algebras , in: S. Balcerzyk, et al. (Eds.), Topics in Algebra, Part 1, in: Banach Center Publ. 26 (1990), 433--447

    1990

  25. [33]

    Rupel, On a quantum analogue of the Caldero-Chapoton Formula, Int

    D. Rupel, On a quantum analogue of the Caldero-Chapoton Formula, Int. Math. Res. Not. 14 (2011), 3207--3236

    2011

  26. [34]

    Rupel, Quantum cluster characters for valued quivers, Trans

    D. Rupel, Quantum cluster characters for valued quivers, Trans. Amer. Math. Soc. 367 (10) (2015), 7061--7102

    2015

  27. [35]

    Schrader, A

    G. Schrader, A. Shapiro, A cluster realization of U_q( sl _n) from quantum character varieties, Invent. Math. 216 (3) (2019), 799--846

    2019

  28. [36]

    Song, Cluster realisations of quantum groups of type AI , Proc

    J. Song, Cluster realisations of quantum groups of type AI , Proc. Lond. Math. Soc. 129 (3) (2024), no. 4, Paper No. e12636, 48 pp

    2024

  29. [37]

    Terwilliger, The subconstituent algebra of an association scheme (Part III), J

    P. Terwilliger, The subconstituent algebra of an association scheme (Part III), J. Algebraic Combin. 2 (1993), 177--210

    1993

  30. [38]

    Wang, Quantum symmetric pairs, Proceedings of ICM 2022, Vol

    W. Wang, Quantum symmetric pairs, Proceedings of ICM 2022, Vol. 4 , 3080--3102

    2022

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.