REVIEW 2 major objections 5 minor 26 references
Examples of scalar extension Hopf algebroids over a universal enveloping algebra
T0 review · 2 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read The adjoint representation's matrix coefficients give the universal enveloping algebra a Yetter–Drinfeld module structure, making function–enveloping smash products into scalar-extension Hopf algebroids without completed tensor products.
desk verdict Solid example-construction paper with a real but fillable proof gap in the finite-dual section; the advertised Hopf algebroid results are very likely correct but need fuller proofs. 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 central object is the matrix $O$ of the adjoint representation (and its functional analogue $U$), with components $O_i^j$ viewed as representative functions on $G$. The load-bearing identities (15)–(17) say that applying a left-invariant derivation to $O_i^j$ gives the structure constant $C^i_{kj}$, that the matrix intertwines the structure constants ($COO=OC$), and that $O$ and $\bar O$ are mutual inverses; together they encode that $\operatorname{Ad}_g$ is a Lie algebra automorphism whose inverse is supplied by the antipode. The coaction $\lambda:U(\mathfrak{g}_L)\to H \# U(\mathfrak{g}_L)$, $\lambda(X_j)=\sum_i \bar O_i^j \otimes X_i$, is what carries the argument: it converts the adjoint action into a comodule structure, and the identities are exactly what is needed for $\lambda$ to respect the Lie bracket and for the Yetter–Drinfeld and braided-commutativity axioms to hold.
What would settle it
Take a finite-dimensional Lie algebra $\mathfrak{g}$ and define functionals $U_i^j$ by $\langle X_k, U_i^j\rangle = C^i_{kj}$, then compute whether identity (26), $\sum_{l,m} C^k_{lm}U^l_iU^m_j = \sum_r U^k_rC^r_{ij}$, holds; a single structure-constant matrix where it fails would give a Hopf algebra $U(\mathfrak{g})_{\min}$ for which the proposed coaction $\lambda(X_j)=\sum_i \bar U^i_j\otimes X_i$ does not descend to $U(\mathfrak{g})$, and the smash product would not be a Hopf algebroid by this construction.
Extended reading notes
Core claim
The central claim is that the adjoint representation mediates between left- and right-invariant differential operators and thereby supplies the coaction that makes the enveloping algebra a Yetter–Drinfeld module algebra over functions. Concretely, for a basis of the Lie algebra, let $O_i^j$ be the matrix coefficients of the adjoint action and $\bar O_i^j$ their inverse; if these coefficients lie in a Hopf algebra $H$ of representative functions, then $\lambda(X_j)=\sum_i \bar O_i^j \otimes X_i$ extends to an antimultiplicative left coaction on $U(\mathfrak{g}_L)$, the right action $D \triangleright f=\sum \langle D_{(1)},f\rangle D_{(2)}$ is a Hopf action, and the Yetter–Drinfeld and braided-commutativity axioms hold. In the functional picture, the same role is played by functionals $U_i^j$ whose pairing with Lie algebra generators reproduces the structure constants. The conclusion is that $H \# U(\mathfrak{g}_L) \cong U(\mathfrak{g}_R) \# H$ is a scalar-extension Hopf algebroid over $U(\mathfrak{g}_R),U(\mathfrak{g}_L)$, and the finite dual smash product $U(\mathfrak{g})^{\circ} \# U(\mathfrak{g})$ is one over $U(\mathfrak{g})^{\mathrm{op}},U(\mathfrak{g})$.
Load-bearing premise
The load-bearing premise is that the Hopf algebra $H$ contains the matrix coefficients of the adjoint representation and of its inverse, with these coefficients satisfying identities (15)–(17) (or (26)–(27) in the functional case) that encode that conjugation by a group element is a Lie algebra automorphism; if those identities fail, the coaction $\lambda$ is not an algebra homomorphism and the Yetter–Drinfeld structure collapses.
Editorial extensions
If this is right
- The algebra of regular differential operators $\operatorname{Diff}(G) \cong O(G) \# U(\mathfrak{g}_L)$ is a scalar-extension Hopf algebroid over $U(\mathfrak{g}_R),U(\mathfrak{g}_L)$, and with the mirror coaction also over $U(\mathfrak{g}_L),U(\mathfrak{g}_R)$.
- For any Hopf algebra $H$ of representative functions on an affine algebraic group or Lie group satisfying $O_{\min}(G) \subset H \subset O(G)$ (or $H \subset C^\infty(G)\cap R$ in the Lie group case), the smash product $H \# U(\mathfrak{g}_L)$ is such a Hopf algebroid.
- The finite dual Heisenberg double $U(\mathfrak{g})^{\circ} \# U(\mathfrak{g})$ is a scalar-extension Hopf algebroid over $U(\mathfrak{g})^{\mathrm{op}},U(\mathfrak{g})$, with minimal version $U(\mathfrak{g})_{\min} \# U(\mathfrak{g})$.
- The construction and all structure-map formulas are independent of the chosen basis of the Lie algebra $\mathfrak{g}$.
- As a corollary, for a finite-dimensional Leibniz algebra $\mathfrak{h}$, the smash product $O(\operatorname{Aut}(\mathfrak{h})) \# U(\operatorname{Der}(\mathfrak{h}))$ is a scalar-extension Hopf algebroid over $U(\operatorname{Der}(\mathfrak{h}))^{\mathrm{op}},U(\operatorname{Der}(\mathfrak{h}))$.
Reading between the lines
- Because only the identities (15)–(17) (or (26)–(27)) are used, any Hopf algebra equipped with elements playing the role of adjoint matrix coefficients would yield the same Hopf algebroid construction even without an underlying classical group or Lie algebra.
- The construction can be read as an algebraic, completion-free replacement for the fully completed Heisenberg double of $U(\mathfrak{g})$; testing whether $U(\mathfrak{g})_{\min} \# U(\mathfrak{g})$ already detects all information of the completed version would clarify how much of the completed structure is genuinely needed.
- In the functional case, the matrix $U$ is determined by the structure constants, so the Hopf algebroid structure on $U(\mathfrak{g})^{\circ} \# U(\mathfrak{g})$ is an invariant of the Lie algebra $\mathfrak{g}$ itself; this suggests a route to computing the antipode and counit explicitly in structure-constant terms for concrete Lie algebras.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs explicit families of scalar extension Hopf algebroids over the universal enveloping algebra U(g). The main mechanism is to show that U(g_L) (or U(g)) is a braided commutative right-left Yetter-Drinfeld module algebra over a Hopf algebra H of representative functions (for affine algebraic groups and Lie groups) or of representative functionals (for the finite dual of U(g)). The necessary structure is encoded in a matrix O of adjoint-representation matrix coefficients (or its finite-dual analogue U), and the paper proves the relevant matrix identities, constructs the coaction, verifies the Yetter-Drinfeld property, and then imports the Hopf algebroid conclusion from the author's earlier scalar extension theorem [22]. Section 7 displays explicit formulas for the Hopf algebroid structure maps in four isomorphic smash-product presentations.
Significance. If the constructions are correct, the paper provides a broad and explicit class of Hopf algebroids with noncommutative base algebras U(g)^op and U(g), covering the algebra of regular differential operators on an affine algebraic group and the finite dual Heisenberg double without completed tensor products. The paper is carefully organized and gives many concrete formulas. Its main strengths are the explicit construction of the minimal Hopf algebras O_min(G) and U(g)_min, the proof of basis-independence, and the reduction of the Hopf algebroid conclusion to checking concrete identities in a Hopf algebra of functions or functionals. The reliance on the author's earlier theorem [22] is appropriate, since the work here verifies the required Yetter-Drinfeld module algebra hypotheses. The central ideas are sound and the presentation is mostly clear, but one load-bearing proof in the finite-dual section is incomplete as written.
major comments (2)
- [Theorem 5.1, identity (26)] The proof of (26) verifies the claimed equality only after pairing both sides with the generators X_s of g, but equality in H, a subalgebra of the finite dual of U(g), is detected by pairing with all of U(g), not merely with g. The sentence 'The equality is now proven similarly as in calculation (28)' does not supply the required induction over monomials in U(g); calculation (28) concerns the well-definedness of U as a functional, which is a related but different assertion. Since Proposition 5.3 and Theorem 5.5 rely on (26) for the well-definedness of the coaction lambda and for the Yetter-Drinfeld property, this gap is load-bearing and should be repaired by an explicit induction over monomials (using multiplicativity of the pairing and the comultiplication formulas for U) or by a direct argument that both sides have the same pairing with every element of U(g).
- [Theorem 5.1, identity (27)] Identity (27) is stated without proof. It should follow from the Hopf algebra antipode axiom applied to the relations S(U^i_j) = anti-U^i_j, namely m composed with (S tensor id) composed with Delta = epsilon and m composed with (id tensor S) composed with Delta = epsilon, but the text does not make this deduction. The authors should add a one-sentence derivation or an explicit reference to the relevant axiom, since (27) is needed for the matrix inversion properties of U and anti-U used in the coaction definitions.
minor comments (5)
- [Definition 5.2] The definition calls U(g)_min the 'smallest subalgebra' generated by the components of U and anti-U; the following sentence clarifies that it is a Hopf subalgebra, but the definition should say 'smallest Hopf subalgebra' for precision.
- [Theorem 5.5 proof] In the first sentence of the proof, 'for all X in U(g_L)' should read 'for all X in U(g)'; the notation g_L is not used in Section 5.
- [Section 1.2.2] The phrase 'for a Lie algebra G' should be 'for a Lie group G'.
- [Section 7.2 tables] The formulas contain expressions of the form sum_i C^i_ij in the target, counit, and antipode maps; since the trace of the adjoint representation vanishes over any field, these sums are zero, but the notation is confusing and should either be explained or removed (unless a different convention is intended).
- [Throughout] There are several typographical errors that should be corrected during revision: 'diferential' in the proof of Proposition 4.5, 'finite-dimesional' in the abstract, 'componets' in Section 6, and 'for for' in the proof of Theorem 5.5.
Circularity Check
No significant circularity: the Yetter-Drinfeld module algebra structures are derived from the adjoint representation, and the final Hopf algebroid step uses the author's general scalar-extension theorem as legitimate independent support.
full rationale
The paper's derivation chain is not circular. The coaction matrices O and U are not fitted parameters or renamed predictions: O is identified with the matrix of the adjoint representation (Theorem 4.12, Eq. (21): O^i_j(g)=[Ad g]^i_j), and U is defined by xX_k,U^i_jy=C^i_{kj} (Theorem 5.1). The load-bearing identities (15)-(17) and (26)-(27) are derived as consequences of Ad_g being a Lie algebra automorphism and of the Jacobi identity, not assumed as the target conclusion. The theorems assume exactly that H contains the minimal Hopf algebra generated by these matrices, and the braided commutative Yetter-Drinfeld module algebra structure is then proved from that hypothesis. The final step to 'scalar extension Hopf algebroid' is imported from the first author's general theorem [22] (Corollaries 4.18 and 5.6: 'See Remark 4.1 and Theorem 4.2 in [22]'). This is a self-citation, but it is a parameter-free external construction theorem whose assumptions consist of a braided commutative Yetter-Drinfeld module algebra, not the specific target of this paper; the present paper independently proves those assumptions. The only caveat is a proof-completeness detail in Theorem 5.1: the verification of identity (26) pairs only with the Lie-algebra generators X_s and refers to calculation (28) for the general Poincare-Birkhoff-Witt monomials, and identity (27) is left implicit rather than explicitly derived from S(U)=bar-U and the Hopf algebra axiom. These are terseness or completeness gaps, not circular reductions: no prediction is equivalent to an input by construction.
Assumptions & free parameters
assumptions (5)
- domain assumption For an affine algebraic group, regular functions form a Hopf algebra of representative functions, and the tangent space of differentiations is finite-dimensional.
- domain assumption The spaces of derivations are freely generated as F-modules by the left invariant or right invariant derivations.
- standard math The adjoint representation is a Lie algebra automorphism, giving CO=OC, O anti-O = I, and the dual identities for U.
- standard math The finite dual U(g)^circ is a Hopf algebra and the pairing with U(g) is a Hopf pairing.
- ad hoc to paper The Hopf algebra H contains the matrix coefficients O_i^j, anti-O_i^j, or U_i^j, anti-U_i^j.
Cite this review
Pith. "Pith review of Examples of scalar extension Hopf algebroids over a universal enveloping algebra." pith.science (2026). https://pith.science/paper/QN4IPYML
@misc{pith2026250603125,
author = {Pith},
title = {Pith review of: Examples of scalar extension Hopf algebroids over a universal enveloping algebra},
year = {2026},
howpublished = {\url{https://pith.science/paper/QN4IPYML}},
note = {Machine review of arXiv:2506.03125}
}
read the original abstract
We present several related examples of Hopf algebroids over a universal enveloping algebra which are of the scalar extension Hopf algebroid type and explain their origin in Lie and algebraic group theory.
Reference graph
Works this paper leans on
-
[21]
Z. ˇSkoda, M. Stoji´c, Enveloping algebra of a Lie algebra as a Yetter-Drinfeld module algebra over Hopf algebra of regular functions on automorphism group of Lie algebra , arXiv:2308.15467
-
[22]
M. Stoji´c, Scalar extension Hopf algebroids , Journal of Algebra and its Appli- cations, (2023) arXiv:2208.11696
arXiv 2023
- [1]
-
[2]
B ¨ohm, Hopf algebroids , in Handbook of Algebra, Vol
G. B ¨ohm, Hopf algebroids , in Handbook of Algebra, Vol. 6, ed. by M. Hazewinkel, Elsevier 2009, 173–236. arXiv:0805.3806. 35
arXiv 2009
-
[3]
Hopf algebroids with bijective antipodes: axioms, integrals and duals
G. B ¨ohm, K. Szlach ´anyi, Hopf algebroids with bijective antipodes: axioms, integrals and duals , Comm. Alg. 32 (11) (2004) 4433–4464. arxiv.org/abs/math/0302325
work page Pith review arXiv 2004
-
[4]
´E. Borel, Sur quelques points de la th´ eorie des fonctions, Annales scientifiques de l’ ´Ecole Normale Sup´ erieure, S´ er. 3, 12 (1895), p. 9–55
-
[5]
Bourbaki, Lie groups and algebras, Ch
N. Bourbaki, Lie groups and algebras, Ch. I-III, Hermann, Paris, 1971 (Ch.I), 1972 (Ch.II-III) (French); Springer 1975, 1989 (Ch. I-III, English)
work page 1971
-
[6]
Bialgebroids, $\times_{A}$-bialgebras and duality
T. Brzezi´nski, G. Militaru, Bialgebroids,ˆA-bialgebras and duality, J. Alg. 251: 279–294 (2002) arxiv.org/abs/math/0012164
work page Pith review arXiv 2002
Show all 26 references
-
[7]
Brzezi ´nski, R
T. Brzezi ´nski, R. Wisbauer , Corings and comodules , London Math. Soc. Lect. Note Ser. 309, Cambridge Univ. Press 2003
2003
-
[8]
Cartier, A primer of Hopf algebras , Frontiers in number theory, physics, and geometry II, 537–615, Springer 2007.; preprint IH ´ES 2006
P. Cartier, A primer of Hopf algebras , Frontiers in number theory, physics, and geometry II, 537–615, Springer 2007.; preprint IH ´ES 2006. http:// preprints.ihes.fr/2006/M/M-06-40.pdf
2007
-
[9]
Cannas da Silva, A
A. Cannas da Silva, A. Weinstein , Geometric models for non- commutative algebras , Berkeley Math. Lec. Notes Series, AMS 1999. math.berkeley.edu/ alanw/Models.pdf
1999
-
[10]
Helgason , Differential geometry, Lie groups and symmetric spaces , Acad
S. Helgason , Differential geometry, Lie groups and symmetric spaces , Acad. Press 1978; Amer. Math. Soc. 2001
1978
-
[11]
G. P. Hochschild , Basic theory of algebraic groups and Lie algebras Grad. Texts in Math. 75, Springer-Verlag, New York (1981)
1981
-
[12]
Hochschild, G
G. Hochschild, G. D. Mostow , Representations and representative func- tions of Lie groups , Annals of Mathematics, Second ser. 66 (1957) 495–542
1957
-
[13]
J. C. Jantzen , Representations of algebraic groups , Acad. Press 1987
1987
-
[14]
Lu, Hopf algebroids and quantum groupoids , Int
J-H. Lu, Hopf algebroids and quantum groupoids , Int. J. Math. 7 (1996) 47–70. arxiv.org/abs/q-alg/9505024
1996 arXiv
-
[15]
Majid , Foundations of quantum group theory , Cambridge University Press 1995
S. Majid , Foundations of quantum group theory , Cambridge University Press 1995
1995
-
[16]
Meljanac, Z
S. Meljanac, Z. ˇSkoda, M. Stoji ´c, Lie algebra type noncommutative phase spaces are Hopf algebroids , Lett. Math. Phys. 107:3, 475–503 (2017) arXiv:1409.8188
2017 arXiv
-
[17]
Montgomery, Some remarks on filtrations of Hopf algebras , Comm
S. Montgomery, Some remarks on filtrations of Hopf algebras , Comm. Alge- bra 21, No 3, 999–1007 (1993). 36
1993
-
[18]
D. E. Radford, Hopf algebras, World Scientific 2012
2012
-
[19]
ˇSkoda, Heisenberg double versus deformed derivatives , Int
Z. ˇSkoda, Heisenberg double versus deformed derivatives , Int. J. Mod. Phys. A 26, Nos. 27 & 28 (2011) 4845–4854. arXiv:0806.0978
2011 arXiv
-
[20]
ˇSkoda, M
Z. ˇSkoda, M. Stoji ´c, Hopf algebroids with balancing subalgebra , J. Alg. 598:445–469 (2022) arXiv:1610.0383
2022
-
[23]
M. Stoji ´c, Completed Hopf algebroids , disertation in Croatian language (of the title Upotpunjeni Hopfovi algebroidi ), University of Zagreb (2017) web.math.pmf.unizg.hr/ stojic/Stojic-disertacija.pdf
2017
-
[24]
Stoji´c, Internal Hopf algebroid , arXiv:2308.14546
M. Stoji´c, Internal Hopf algebroid , arXiv:2308.14546
-
[25]
Timmermann , An invitation to quantum groups and duality , Eur
T. Timmermann , An invitation to quantum groups and duality , Eur. Math. Soc. 2008
2008
-
[26]
Xu , Quantum groupoids , Commun
P. Xu , Quantum groupoids , Commun. Math. Phys., 216:539–581 (2001) arXiv:math/9905192 37
2001 arXiv
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.