Pith. sign in

REVIEW 2 major objections 4 minor 19 references

Quantum upper triangular matrix algebras

T0 review · 2 major / 4 minor · reviewed 2026-08-03 · deepseek-v4-flash

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

Pith's one-line read Quantum upper triangular matrices form a Hopf algebra

desk verdict A genuinely new family of pointed Hopf algebras on upper triangular matrices, with a clean bialgebra construction and useful n=2 classifications, but the antipode depends on an unproved commutation lemma that referees should not wave through. read the letter →

arxiv 2512.19664 v2 pith:Q6HBKUM6 submitted 2025-12-22 math.QA math.RA

Érica Z. Fornaroli , Mykola Khrypchenko , Samuel A. Lopes , Ednei A. Santulo Jr This is my paper · ORCID
classification math.QAmath.RA MSC 16T2016S3616W2016W2516E40
keywords quantumuppertriangularmatrixalgebrabialgebraHopfantipodedeterminantaffinespaceHochschildcohomologyautomorphismgroup
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 constructs a bialgebra T_q(n) and a Hopf algebra UT_q(n) that quantize the coordinate rings of upper triangular matrices and their invertible group, for any nonzero parameter q. The key is a matrix-style comultiplication Δ(a_ij)=Σ_{k=i}^j a_ik⊗a_kj, which is compatible with the defining relations. The antipode is built explicitly from cofactor-like elements b_ij, giving a structure that is neither commutative nor cocommutative. For n=2 the paper computes the derivations, automorphisms, and low-degree Hochschild cohomology, showing the new algebra is concrete enough for explicit use.

What carries the argument

The central object is the algebra T_q(n) with generators a_ij (1≤i≤j≤n) and relations (3)–(6), obtained by requiring that both AX and ρ(A)X be points of the quantum affine space A_n(q). The comultiplication Δ(a_ij)=Σ_{k=i}^j a_ik⊗a_kj mimics matrix multiplication, and the antipode is carried by elements b_ij defined in (22)–(23), which play the role of quantum cofactors, together with the extra generator t that inverts the quantum determinant. The automorphism σ(a_ij)=q^{2(i−j)}a_ij is what allows the skew polynomial extension T_q(n)[t;σ] to carry the bialgebra structure.

What would settle it

For n=3, take q transcendental over ℚ, expand the elements b_ij defined in (22)–(23) as explicit polynomials in the generators a_ij, and check whether b_kl σ(b_ij)=q^{−m} b_ij σ(b_kl) holds for all pairs i<j and k<l. A single failure would invalidate the antipode construction; success for n=3 would corroborate but not prove the general case.

Watch

Extended reading notes

Core claim

The authors define T_q(n) by relations (3)–(6), which make both row combinations x'_i=Σ_{j≥i} a_ij⊗x_j and their reflected counterparts x''_i form points of the quantum affine space A_n(q). This guarantees that the comultiplication Δ(a_ij)=Σ_{k=i}^j a_ik⊗a_kj is an algebra homomorphism, making T_q(n) a bialgebra. Localizing T_q(n) at powers of the quantum determinant det_q(n)=∏ a_ii yields the Hopf algebra UT_q(n). Its antipode is explicit: S(a_ij)=t b_ij, where b_ij are alternating sums of off-diagonal generators and diagonal factors; the structure is neither commutative nor cocommutative, so UT_q(n) is a genuine quantum group.

Load-bearing premise

The entire Hopf-algebra structure rests on the commutation relation (31) among the cofactor-like elements b_ij, whose proof is omitted in Lemma 3.17; if that relation fails, the antipode need not exist.

Editorial extensions

If this is right

  • If correct, this gives a natural starting point for quantizing incidence algebras of finite posets, which sit inside upper triangular matrix algebras.
  • UT_q(n) coacts on the quantum affine space A_n(q), providing a family of quantum symmetries.
  • For n=2 and q not a root of unity, the paper determines the full derivation Lie algebra and automorphism group: dim HH^1(T_q(2))=5 and HH^1(UT_q(2)) is free of rank 3 over K[z^{±1}], with Aut(T_q(2))≅K^*×GL_2(K).
  • The antipode has order two, and when q is fixed by an involution of the base field, UT_q(n) carries a Hopf ∗-algebra structure.

Reading between the lines

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

  • Because the proof of Lemma 3.17 is omitted, a direct computer-algebra check for n=3 over ℚ(q) would immediately test whether the antipode is well-defined; a single failure would require a modified definition of the b_ij.
  • Since T_q(n) is not a subalgebra of the usual quantum matrix algebra M_q(n), this points to a family of quantizations of the upper triangular coordinate ring parameterized by choices of the involution ρ, which could be explored.
  • The explicit cofactor-like formulas for b_ij hint at a noncommutative analogue of Laplace expansion for upper triangular matrices, potentially linking to divided-difference operators.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 4 minor

Summary. The paper defines, for q in K^*, a quadratic algebra T_q(n) generated by upper triangular entries a_ij with relations (3)-(6), and proves it is a bialgebra with matrix comultiplication. It then forms the skew polynomial extension T_q(n)[t; sigma] and localizes at the quantum determinant to obtain a bialgebra UT_q(n). The main structural claim is that UT_q(n) is a Hopf algebra, with antipode S(a_ij)=t b_ij, where b_ij are explicit elements defined by a cofactor-type formula. The paper also claims UT_q(n) is pointed, studies Hopf *-structures, and gives a detailed analysis for n=2 of derivations, Hochschild cohomology, and automorphism groups.

Significance. If the main construction is correct, the paper provides a new explicit family of noncommutative, noncocommutative pointed Hopf algebras quantizing the coordinate ring of invertible upper triangular matrices, with a natural motivation from incidence algebras. The bialgebra proof in Section 2 is careful and the n=2 derivations and automorphism theorems are explicit and very concrete. The construction is parameter-free and the relations are transparent, which makes the paper potentially useful as a source of examples. However, the central Hopf algebra claim currently rests on an omitted proof of a nontrivial commutation lemma, so the paper cannot be accepted in its present form.

major comments (2)
  1. [§3, Lemma 3.17 and Theorem 3.18] Lemma 3.17, Eq. (31), is load-bearing: the proof of Theorem 3.18 that {S(a_ij)} is a UT_q(n)-point of T_{q^{-1}}(n) uses exactly the scalar q^{-m} from this lemma. The proof of Lemma 3.17 is explicitly omitted ('This proof will be omitted'), and the exponent m has five nontrivial cases depending on the relative positions of the intervals. This is not a formal consequence of Lemmas 3.14-3.16 without a substantial case analysis. A wrong exponent would destroy the anti-homomorphism property of S and hence the Hopf algebra claim. Please include a complete proof of Lemma 3.17.
  2. [§3, Remark 3.19] The abstract advertises UT_q(n) as a pointed Hopf algebra, but Remark 3.19 only says 'It can be shown, just as in the proof of [9, Proposition 3.1.1]' that UT_q(n) is pointed. No proof is supplied. Since pointedness is a structural claim used in the abstract and introduction, either provide a proof or explicitly state it as a conjecture and remove it from the main claims.
minor comments (4)
  1. [§3, Theorem 3.18 proof] There is a typo: 'Since taii = aiit for all 1 ≤ i ≤ t' should read 'for all 1 ≤ i ≤ n'. Also, the notation t a_ii = a_ii t is correct but should be stated cleanly.
  2. [§3, Proposition 3.21] The proof asserts 'By Lemmas 3.1, 3.14 and 3.16, it follows that sigma^{-1}(a_kj)b_ik = q b_ik a_kj'. This is true but not immediate; please spell out the derivation, especially the case i=k<j and the exceptional case i=k=j.
  3. [Abstract/metadata] The abstract supplied with the submission states that UT_q(n) can be seen as a Hopf quotient of Takeuchi's two-parameter quantization of GL(n), but the body of the paper does not mention or prove such a relation. Please either remove this claim or add the proof/reference.
  4. [§2, Proposition 2.3] The proof that rho is an automorphism of T_q(n) is by 'symmetry of the diagram (13)'. A direct verification of rho on each relation would be more robust and would avoid relying on the reader's interpretation of the diagram.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: bialgebra and Hopf constructions are self-contained; the omitted proof of Lemma 3.17 and the self-citation [11] are correctness concerns, not circular inputs.

full rationale

The central derivation is self-contained. T_q(n) is defined by relations (3)-(6), which Lemma 2.1 derives as the exact conditions for X' and X'' to be A_n(q)-points; Definition 2.2 is not an assumption of the comultiplication. Theorem 2.12 proves well-definedness of Δ by Lemma 2.11, not by imposing Δ. For the Hopf algebra, the b_ij are defined explicitly by (22)-(23), Lemma 3.13 establishes the inverse-matrix identities (25), and Theorem 3.18 verifies that S(a_ij)=t b_ij is an anti-homomorphism using Lemmas 3.14-3.17. Lemma 3.17 is load-bearing and its proof is omitted ('This proof will be omitted.'), but this is a technical verification gap (a case analysis), not a circular step: no prediction is fitted and no result is assumed in its own proof. The only self-citation, [11] by coauthor Lopes, is invoked in Theorem 5.4 for n=2 derivations; it does not support the Hopf-algebra construction, and there is no indication that the cited theorem is merely a restatement of the paper's own conclusions. No fitted parameter is called a prediction, and no uniqueness theorem from the authors is used to force a choice. Therefore the paper's central claims do not reduce to their inputs.

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

The construction rests on standard quantum affine space techniques, one unproved technical lemma (3.17), and imported derivation theorems. There is no numerical fitting and no unverified new entity: the new algebras and the elements b_ij are explicitly defined and used in proofs. q is a generic deformation parameter, not a fitted constant.

assumptions (4)
  • domain assumption The base field K has characteristic different from 2.
    Stated at the start of Section 1; used in Lemma 2.1 to split equations (9) and (12) into the independent relations (5) and (6). In characteristic 2 the presentation may require different relations.
  • standard math T_q(n) is a noetherian domain with a monomial basis, via the isomorphism to a multiparameter quantum affine space (Corollary 2.5).
    Used throughout Section 3 to cancel nonzero elements in localization arguments and in Lemmas 3.13, 3.15, and Theorem 3.18. This follows from standard quantum affine space theory, not proved in the paper.
  • domain assumption In Sections 5 and 6, q is assumed not to be a root of unity.
    Explicitly assumed for the derivations and automorphism classifications; used to rule out monomial central elements and to make polynomial arguments such as the Claim in Theorem 6.3 valid. Not needed for the bialgebra/Hopf construction.
  • standard math The imported derivation results [14, Corollary 2.6] and [11, Theorem 2.1] remain valid for the central Laurent extension used in Theorem 5.4.
    The paper invokes these results to decompose Der(UT_q(2)); [11] is co-authored by Lopes. The extension from polynomial to Laurent central extension is stated to have the same proof but is not carried out.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Quantum upper triangular matrix algebras." pith.science (2026). https://pith.science/paper/Q6HBKUM6

@misc{pith2026251219664,
  author       = {Pith},
  title        = {Pith review of: Quantum upper triangular matrix algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/Q6HBKUM6}},
  note         = {Machine review of arXiv:2512.19664}
}
abstract

Following the ideas in~\cite{yM88}, \cite{T90} and inspiration from~\cite{KO24}, we construct a bialgebra $T_q(n)$ and a pointed Hopf algebra $UT_q(n)$ which quantize the coordinate rings of the algebra of upper triangular matrices and of the group of invertible upper triangular matrices of size $n\geq 2$, respectively, where $q$ is a nonzero parameter. The resulting structure on $UT_q(n)$ is neither commutative nor cocommutative and it can be seen as a Hopf quotient of the Takeuchi's two-parameter quantization~\cite{T90} of ${\rm GL}(n)$ corresponding to a specific choice of parameters. The motivation comes from the idea of quantizing the incidence algebra of a finite poset, as the latter can be embedded as a subalgebra of the algebra of upper triangular matrices. We further study and compare the Lie algebras of derivations, the automorphism groups and the low degree Hochschild cohomology of these algebras in case $n=2$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

19 extracted references · 1 linked inside Pith

  1. [1]

    Derivations and automorphism of certain quantum algebras.Commun

    Alev, J., and Chamarie, M. Derivations and automorphism of certain quantum algebras.Commun. Algebra 20, 6 (1992), 1787–1802

    1992

  2. [2]

    Artin, M., Schelter, W., and Tate, J.Quantum deformations of GLn. Comm. Pure Appl. Math. 44, 8-9 (1991), 879–895

    1991

  3. [3]

    B., and Lesnick, M.An introduction to multiparameter persistence

    Botnan, M. B., and Lesnick, M.An introduction to multiparameter persistence. InRepresentations of algebras and related structures, EMS Ser. Congr. Rep. EMS Press, Berlin, [2023]©2023, pp. 77–150

    2023

  4. [4]

    Pure Appl

    Cibils, C.Cohomology of incidence algebras and simplicial complexes.J. Pure Appl. Algebra 56, 3 (1989), 221–232

    1989

  5. [5]

    D.Simplicial cohomology is Hochschild cohomology.J

    Gerstenhaber, M., and Schack, S. D.Simplicial cohomology is Hochschild cohomology.J. Pure Appl. Algebra 30, 2 (1983), 143–156

    1983

  6. [6]

    R., and Warfield, R

    Goodearl, K. R., and Warfield, R. B. j.An introduction to noncommutative Noetherian rings., 2nd ed., vol. 61 of Lond. Math. Soc. Stud. Texts. Cambridge: Cambridge University Press, 2004

    2004

  7. [7]

    Iyama, O., and Marczinzik, R.Distributive lattices and Auslander regular algebras.Adv. Math. 398(2022), Paper No. 108233, 27

    2022

  8. [8]

    155 ofGrad

    Kassel, C.Quantum groups, vol. 155 ofGrad. Texts Math.New York, NY: Springer-Verlag, 1995

    1995

Show all 19 references
  1. [9]

    B.Hopf algebra (co)actions on rational functions.Algebr

    Krähmer, U., and Oni, B. B.Hopf algebra (co)actions on rational functions.Algebr. Represent. Theory 27, 6 (2024), 2187–2216. 20 ÉRICA Z. FORNAROLI, MYKOLA KHRYPCHENKO, SAMUEL A. LOPES, AND EDNEI A. SANTULO JR

    2024

  2. [10]

    R., and Lenagan, T

    Krause, G. R., and Lenagan, T. H.Growth of algebras and Gelfand-Kirillov dimension., revised ed., vol. 22 ofGrad. Stud. Math.Providence, RI: American Mathematical Society, 2000

    2000

  3. [11]

    A., and Oppong, I.Derivations and Hochschild cohomology of quantum nilpotent algebras

    Launois, S., Lopes, S. A., and Oppong, I.Derivations and Hochschild cohomology of quantum nilpotent algebras. arXiv:2505.06205 (2025)

    2025 arXiv

  4. [12]

    I.Quantum groups and noncommutative geometry

    Manin, Y. I.Quantum groups and noncommutative geometry. Université de Montréal, Centre de Recherches Mathéma- tiques, Montreal, QC, 1988

    1988

  5. [13]

    V., and Steinberg, B.Cell complexes, poset topology and the representation theory of algebras arising in algebraic combinatorics and discrete geometry.Mem

    Margolis, S., Saliola, F. V., and Steinberg, B.Cell complexes, poset topology and the representation theory of algebras arising in algebraic combinatorics and discrete geometry.Mem. Amer. Math. Soc. 274, 1345 (2021), xi+135

    2021

  6. [14]

    M., and Passman, D

    Osborn, J. M., and Passman, D. S.Derivations of skew polynomial rings.J. Algebra 176, 2 (1995), 417–448

    1995

  7. [15]

    I., and Silva, D

    Quispe Urure, R. I., and Silva, D. C.Involutions of the second kind for upper triangular matrix algebras.Commun. Algebra 51, 6 (2023), 2326–2333

    2023

  8. [16]

    E.Hopf algebras., vol

    Radford, D. E.Hopf algebras., vol. 49 ofSer. Knots Everything. Hackensack, NJ: World Scientific, 2012

    2012

  9. [17]

    Y., Takhtadzhyan, L

    Reshetikhin, N. Y., Takhtadzhyan, L. A., and Faddeev, L. D.Quantization of Lie groups and Lie algebras.Algebra i Analiz 1, 1 (1989), 178–206

    1989

  10. [18]

    J.Incidence algebras, vol

    Spiegel, E., and O’Donnell, C. J.Incidence algebras, vol. 206 ofPure Appl. Math., Marcel Dekker. New York, NY: Marcel Dekker, 1997

    1997

  11. [19]

    P.Enumerative combinatorics

    Stanley, R. P.Enumerative combinatorics. Volume 1, seconded., vol.49of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2012. Departamento de Matemática, Universidade Estadual de Maringá, Maringá, PR, CEP: 87020–900, Brazil Email address: ezanc...

    2012

Pith tools

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