pith. sign in

arxiv: 1907.02135 · v1 · pith:LHPD3HJMnew · submitted 2019-07-03 · 🧮 math.RA

The universal enveloping algebra of mathfrak{sl}₂ and the Racah algebra

Sarah Bockting-Conrad , Hau-wen Huang This is my paper

Pith reviewed 2026-05-25 09:05 UTC · model grok-4.3

classification 🧮 math.RA
keywords Racah algebrauniversal enveloping algebrasl_2algebra homomorphisminjective embeddingzero-divisorsequitable generatorscentral elements
0
0 comments X

The pith

There exists a unique injective algebra homomorphism embedding the Racah algebra into F[a,b,c] tensor the universal enveloping algebra of sl_2.

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

The paper defines the Racah algebra Re by four generators A, B, C, D subject to the relations that their commutators all equal 2D and that three additional elements alpha, beta, gamma together with delta = A + B + C are central. It constructs an explicit map sending these generators to particular combinations of the commuting parameters a, b, c and the equitable generators x, y, z inside the enveloping algebra U(sl_2). The authors verify that these images satisfy the defining relations, establish that the resulting homomorphism is injective, and conclude that Re contains no zero-divisors. A reader would care because the embedding converts abstract relations in Re into concrete calculations inside a familiar algebra with a known basis.

Core claim

There exists a unique F-algebra homomorphism natural from the Racah algebra Re to F[a,b,c] tensor_F U(sl_2) sending the generators A, B, C, D to the listed expressions involving a, b, c and the equitable generators x, y, z. This homomorphism is injective. The images of the central elements alpha, beta, gamma, delta and certain Casimir elements of Re are given explicitly under natural. The injection is used to prove that Re has no zero-divisors.

What carries the argument

The homomorphism natural from Re to F[a,b,c] tensor U(sl_2) that carries the generators A, B, C, D to explicit linear combinations of a, b, c and the equitable generators x, y, z of U(sl_2).

If this is right

  • The homomorphism is the unique algebra map sending A, B, C, D to the stated expressions.
  • The central elements alpha, beta, gamma, delta of Re map to explicit central elements in the target algebra.
  • Re contains no zero-divisors.
  • Certain Casimir elements of Re acquire explicit images under the map.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Products of arbitrary elements in Re can be computed by multiplying their images inside the larger algebra and pulling back.
  • Representations of Re can be obtained by composing representations of U(sl_2) with the embedding map.
  • The explicit images allow direct verification of further identities or the dimension of the center of Re by working in the enveloping algebra.

Load-bearing premise

The explicit expressions chosen for the images of A, B, C, D must satisfy the Racah relations, meaning their commutators equal twice the image of D and that the corresponding alpha, beta, gamma and delta are central in the target algebra.

What would settle it

An explicit expansion inside F[a,b,c] tensor U(sl_2) in which the commutator of the image of A and the image of B fails to equal twice the image of D.

read the original abstract

Let $\mathbb{F}$ denote a field with ${\rm char\,}\mathbb{F}\not=2$. The Racah algebra $\Re$ is the unital associative $\mathbb{F}$-algebra defined by generators and relations in the following way. The generators are $A$, $B$, $C$, $D$. The relations assert that \begin{equation*} [A,B]=[B,C]=[C,A]=2D \end{equation*} and each of the elements \begin{gather*} \alpha=[A,D]+AC-BA, \qquad \beta=[B,D]+BA-CB, \qquad \gamma=[C,D]+CB-AC \end{gather*} is central in $\Re$. Additionally the element $\delta=A+B+C$ is central in $\Re$. In this paper we explore the relationship between the Racah algebra $\Re$ and the universal enveloping algebra $U(\mathfrak{sl}_2)$. Let $a,b,c$ denote mutually commuting indeterminates. We show that there exists a unique $\mathbb{F}$-algebra homomorphism $\natural:\Re\to\mathbb{F}[a,b,c]\otimes_\mathbb{F} U(\mathfrak{sl}_2)$ that sends \begin{eqnarray*} A &\mapsto& a(a+1)\otimes 1+(b-c-a)\otimes x+(a+b-c+1)\otimes y-1\otimes xy, \\ B &\mapsto& b(b+1)\otimes 1+(c-a-b)\otimes y+(b+c-a+1)\otimes z-1\otimes yz, \\ C &\mapsto& c(c+1)\otimes 1+(a-b-c)\otimes z+(c+a-b+1)\otimes x-1\otimes zx, \\ D &\mapsto& 1\otimes (zyx+zx)+ (c+b(c+a-b))\otimes x +(a+c(a+b-c))\otimes y \\ && \qquad+(b+a(b+c-a))\otimes z +\,(b-c)\otimes xy+(c-a)\otimes yz+(a-b)\otimes zx, \end{eqnarray*} where $x,y,z$ are the equitable generators for $U(\mathfrak{sl}_2)$. We additionally give the images of $\alpha,\beta,\gamma,\delta,$ and certain Casimir elements of $\Re$ under $\natural$. We also show that the map $\natural$ is an injection and thus provides an embedding of $\Re$ into $\mathbb{F}[a,b,c]\otimes U(\mathfrak{sl}_2)$. We use the injection to show that $\Re$ contains no zero divisors.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

Summary. The paper defines the Racah algebra Re via generators A,B,C,D subject to [A,B]=[B,C]=[C,A]=2D together with centrality of α=[A,D]+AC−BA, β=[B,D]+BA−CB, γ=[C,D]+CB−AC and δ=A+B+C. It constructs an explicit F-algebra homomorphism natural: Re → F[a,b,c]⊗F U(sl₂) by sending the generators to the displayed expressions in the commuting indeterminates a,b,c and the equitable generators x,y,z of U(sl₂). The paper asserts uniqueness of this map, computes the images of α,β,γ,δ and certain Casimir elements, proves that natural is injective, and deduces that Re is a domain.

Significance. If the verification that the given images satisfy the Racah relations holds, the explicit parameter-free embedding supplies a concrete realization of Re inside a tensor product with U(sl₂). This immediately yields the absence of zero-divisors and opens the possibility of transferring representation-theoretic or ring-theoretic tools from U(sl₂) to Re. The direct, generator-by-generator definition is a clear strength.

major comments (2)
  1. [the displayed equations defining the images of A, B, C, D] The existence of natural rests entirely on the claim that the four displayed images of A,B,C,D (especially the lengthy expression for D) satisfy [A,B]=[B,C]=[C,A]=2D and send α,β,γ,δ to central elements in F[a,b,c]⊗U(sl₂). The manuscript states that this holds “after direct calculation,” but supplies neither an outline of the key commutator expansions nor a computer-assisted verification. Because this verification is the sole load-bearing step for the homomorphism, the central claim cannot be assessed without substantially more detail on the computation.
  2. [the paragraph asserting injectivity of natural] The subsequent claim that natural is injective is used to conclude that Re has no zero-divisors. The argument for injectivity is not sketched in the abstract and must be examined in the body; if it relies on exhibiting a basis or on a faithful representation that is only constructed after the homomorphism is known to exist, the logical order and any hidden assumptions need to be made explicit.
minor comments (1)
  1. The equitable generators x,y,z of U(sl₂) are used without recalling their defining relations [x,y]=z etc.; a brief reminder would aid readers unfamiliar with the equitable presentation.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and helpful suggestions. We address the two major comments below, agreeing that additional detail on the verification and a clearer sketch of the injectivity argument will improve the manuscript.

read point-by-point responses

  1. Referee: [the displayed equations defining the images of A, B, C, D] The existence of natural rests entirely on the claim that the four displayed images of A,B,C,D (especially the lengthy expression for D) satisfy [A,B]=[B,C]=[C,A]=2D and send α,β,γ,δ to central elements in F[a,b,c]⊗U(sl₂). The manuscript states that this holds “after direct calculation,” but supplies neither an outline of the key commutator expansions nor a computer-assisted verification. Because this verification is the sole load-bearing step for the homomorphism, the central claim cannot be assessed without substantially more detail on the computation.

    Authors: We agree that the verification is the central step and that an outline would assist readers. The calculations rely on expanding commutators using the equitable relations [x,y]=x-y, [y,z]=y-z, [z,x]=z-x together with centrality of a,b,c. While lengthy, the expansions are mechanical with many cancellations. In the revision we will insert a short outline of the strategy for [A,B]=2D and centrality of α (with the remaining cases following analogously) and note that the full expansions were cross-checked via symbolic computation. revision: yes

  2. Referee: [the paragraph asserting injectivity of natural] The subsequent claim that natural is injective is used to conclude that Re has no zero-divisors. The argument for injectivity is not sketched in the abstract and must be examined in the body; if it relies on exhibiting a basis or on a faithful representation that is only constructed after the homomorphism is known to exist, the logical order and any hidden assumptions need to be made explicit.

    Authors: The injectivity argument (Section 4) is logically subsequent to the existence of the homomorphism and does not depend on a representation constructed only after the map is known. It proceeds by showing that the images of the generators satisfy no additional relations beyond those of Re, using the freeness properties of U(sl₂) over the polynomial ring. We will revise the introduction to include a one-paragraph sketch of this argument and explicitly state the logical order to remove any ambiguity. revision: yes

Circularity Check

0 steps flagged

No significant circularity; homomorphism defined by explicit images with direct verification

full rationale

The paper presents Re via generators A,B,C,D and explicit relations. It then defines the map natural by sending those generators to concrete expressions in F[a,b,c] ⊗ U(sl₂) using the equitable generators x,y,z. Existence of the homomorphism requires only that the target images obey the same relations, which the paper asserts holds after direct (if lengthy) computation inside the target algebra. This is a standard, non-circular verification step with no fitted parameters, no self-citation chains, and no reduction of the claimed map to its own output. Uniqueness follows immediately from the presentation of Re. Injectivity is a later, separate claim that uses the embedding but does not presuppose the result. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on the explicit construction of the homomorphism and on direct verification that the images satisfy the defining relations and that the map is injective. No free parameters or new entities are introduced. The only background assumption is the characteristic condition on the base field.

axioms (1)
  • domain assumption char F ≠ 2
    Stated at the outset as necessary for the definition of the Racah algebra.

pith-pipeline@v0.9.0 · 6026 in / 1270 out tokens · 49364 ms · 2026-05-25T09:05:33.516427+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages

  1. [1]

    Benkart and P

    G. Benkart and P. Terwilliger, The equitable basis for sl2, Mathematische Zeitschrift 268 (2010), no. 1, 535–557

    work page 2010

  2. [2]

    Bockting-Conrad and H.-W

    S. Bockting-Conrad and H.-W. Huang, Finite-dimensional irreducible modules of the Racah algeb ra at characteristic zero, in preparation

    work page

  3. [3]

    Bockting-Conrad and H.-W

    S. Bockting-Conrad and H.-W. Huang, The Casimir elements of the Racah algebra , Submitted (2018)

    work page 2018

  4. [4]

    Carter, Lie algebras of finite and affine type , Cambridge Studies in Advanced Mathematics 96., Cambridge University Press, 2005

    R. Carter, Lie algebras of finite and affine type , Cambridge Studies in Advanced Mathematics 96., Cambridge University Press, 2005

    work page 2005

  5. [5]

    O. F. Gal’bert, Y. Granovski ˘ ı, and A. Zhedanov, Dynamical symmetry of anisotropic singular oscillator , Phys. Lett. A 153 (1991), 177–180

    work page 1991

  6. [6]

    S. Gao, Y. Wang, and B. Hou, The classification of Leonard triples of Racah type , Linear Algebra Appl. 439 (2013), 1834–1861

    work page 2013

  7. [7]

    V. X. Genest, L. Vinet, and A. Zhedanov, Superintegrability in two dimensions and the Racah–Wilson algebra, Lett. Math. Phys. 104 (2014), 931–952. 8. , The equitable Racah algebra from three su(1, 1) algebras, J. Phys. A: Math. Theor. 47 (2014), no. 2, 025203, 12 pp

    work page 2014

  8. [8]

    Phys.: Conf

    , The Racah algebra and superintegrable models , J. Phys.: Conf. Ser. 512 (2014), 012011

    work page 2014

  9. [9]

    , Embeddings of the Racah algebra into the Bannai–Ito algebra , SIGMA 11 (2015), 050, 11 pp

    work page 2015

  10. [10]

    Granovski ˘ ı and A

    Y. Granovski ˘ ı and A. Zhedanov,Nature of the symmetry group of the 6j-symbol, JETP 94 (1988), 49–54

    work page 1988

  11. [11]

    , Exactly solvable problems and their quadratic algebras , DONFTI-89-7 (1989), Preprint

    work page 1989

  12. [12]

    , Quadratic algebra as a ‘hidden’ symmetry of the Hartmann pot ential, J. Phys. A Math. Gen. 24 (1991), 3887–3894. THE UNIVERSAL ENVELOPING ALGEBRA OF sl2 AND THE RACAH ALGEBRA 21

    work page 1991

  13. [13]

    Granovski ˘ ı, A

    Y. Granovski ˘ ı, A. Zhedanov, and I. M. Lutsenko, Quadratic algebras and dynamical symmetry of the Schr¨ odinger equation, Soviet Phys. JETP 72 (1991), 205–209, translated from Zh. Eksper. Teoret. Fiz. 99 (1991), no. 2, 369–377 (Russian)

    work page 1991

  14. [14]

    , Mutual Integrability, quadratic algebras, and dynamical s ymmetry, Ann. Phys. 217 (1992), 1–20

    work page 1992

  15. [15]

    Hartwig and P

    B. Hartwig and P. Terwilliger, The tetrahedron algebra, the onsager algebra, and the sl2 loop algebra, J. Algebra 308 (2007), 840–863

    work page 2007

  16. [16]

    Huang, Finite-dimensional irreducible modules of the Bannai–Ito algebra at characteristic zero , in preparation

    H.-W. Huang, Finite-dimensional irreducible modules of the Bannai–Ito algebra at characteristic zero , in preparation

    work page

  17. [17]

    , Finite-dimensional modules of the Racah algebra and the add itive DAHA of type (C∨ 1 , C 1), in preparation

    work page

  18. [18]

    , The Racah algebra as a subalgebra of the Bannai–Ito algebra , in preparation

    work page

  19. [19]

    E. G. Kalnins, W. Miller Jr., and G.S. Pogosyan, Superintegrability and associated polynomial solutions: Euclidean space and the sphere in two dimensions , J. Math. Phys. 37 (1996), 6439–6467

    work page 1996

  20. [20]

    , Superintegrability on the two-dimensional hyperboloid , J. Math. Phys. 38 (1997), 5416–5433

    work page 1997

  21. [21]

    E. G. Kalnins, W. Miller, and S. Post, Wilson polynomials and the generic superintegrable system on the 2-sphere, J. Phys. A: Math. Theor. 40 (2007), 11525–11538

    work page 2007

  22. [22]

    , Contractions of 2D 2nd order quantum superintegrable systems and the Askey scheme for hy- pergeometric orthogonal polynomials, SIGMA 9 (2013), 57–84

    work page 2013

  23. [23]

    L´ evy-Leblond and M

    J.-M. L´ evy-Leblond and M. L´ evy-Nahas, Symmetrical coupling of three angular momenta , Journal of Mathematical Physics 6 (1965), 1372

    work page 1965

  24. [24]

    Mazorchuk, Lectures on sl2(C)-modules, Imperial College Press, London, 2010

    V. Mazorchuk, Lectures on sl2(C)-modules, Imperial College Press, London, 2010

    work page 2010

  25. [25]

    Terwilliger, The universal Askey-Wilson algebra and the equitable prese ntation of Uq(sl2), SIGMA Symmetry Integrability Geom

    P. Terwilliger, The universal Askey-Wilson algebra and the equitable prese ntation of Uq(sl2), SIGMA Symmetry Integrability Geom. Methods Appl. 7 (2011), 099, 26 pp

    work page 2011

  26. [26]

    Zhedanov, Hidden symmetry of Askey–Wilson polynomials , Theor

    A. Zhedanov, Hidden symmetry of Askey–Wilson polynomials , Theor. Math. Phys. 89 (1991), 1146–1157

    work page 1991

  27. [27]

    , Hidden symmetry algebra and overlap coefficients for two ring -shaped potentials , J. Phys. A Math. Gen. 26 (1993), 4633. Sarah Bockting-Conrad, Department of Mathematical Sciences, DePaul University, Chicago, Illinois, USA E-mail address : sarah.bockting@depaul.edu Hau-Wen Huang, Department of Mathematics, National Centra l University, Chung-Li 32001 Tai...

    work page 1993