---
title: Quadratic Rank-Two Jacobi Algebra
url: https://www.emergentmind.com/topics/quadratic-rank-two-jacobi-algebra
type: topic
---

# Quadratic Rank-Two Jacobi Algebra

Searching arXiv for the core papers on the rank-two/quadratic Jacobi algebra and closely related contexts.
The quadratic rank two Jacobi algebra is the quadratic algebra generated by the bispectral operators of the two-variable Jacobi polynomials orthogonal on the triangle. In its standard presentation, it is generated by five operators,
\[
L,\qquad L_1,\qquad L_3,\qquad X_1,\qquad X_3,
\]
where \(L,L_1,L_3\) are differential operators and \(X_1=x\), \(X_3=1-x-y\) are multiplication operators. It is called *quadratic* because its nested commutators close on polynomial expressions of degree at most two in the generators, and *rank two* because it governs a genuinely bivariate Jacobi system rather than the classical one-variable case. In recent work, the same algebra has been identified both as the structural algebra behind the two-variable Jacobi polynomials on the triangle and as the dynamical algebra of the generic quadratic superintegrable model on the two-sphere [2507.07766] [2509.07949] [2604.26122].

## 1. Rank-one antecedent and passage to rank two

The immediate antecedent of the rank-two theory is the rank-one quadratic Jacobi algebra associated with the hypergeometric operator
\[
L=x(1-x)\partial_x^2+\bigl(a+1-(a+b+2)x\bigr)\partial_x,
\]
together with the multiplication operator \(X\), \(Xf(x)=x f(x)\). In that setting, the generators
\[
K_1=L,\qquad K_2=X,\qquad K_3=[K_1,K_2]
\]
satisfy quadratic relations, encode simultaneously the differential equation and three-term recurrence of the Jacobi polynomials, and admit a central Casimir-like element. The same work shows that tridiagonalization of the hypergeometric operator produces the quadratic Racah–Wilson algebra; Wilson polynomials arise in the infinite-dimensional spectral problem, Racah polynomials in finite-dimensional truncations, and Hahn polynomials in a degenerate first-order limit [1506.07803].

This rank-one picture is the conceptual template for the rank-two construction. In the bivariate case, the algebra no longer closes on a single differential operator and one multiplication operator. Instead, closure requires five generators and reveals, inside one structure, several rank-one Jacobi subalgebras together with a rank-one Racah subalgebra. This is not merely an analogy: the later rank-two papers make those subalgebras explicit and use them to organize basis changes, overlap coefficients, and symmetry transformations [2507.07766].

## 2. Definition from the bivariate Jacobi system

The defining polynomial family is the two-variable Jacobi system on the triangle,
\[
J_{n,k}^{(a,b,c)}(x,y)
=
J_{n-k}^{(a,b+c+2k+1)}(x)\,(1-x)^k\,
J_k^{(b,c)}\!\left(\frac{y}{1-x}\right),
\qquad n\ge k\ge 0,
\]
orthogonal on
\[
0\le x,\qquad 0\le y,\qquad x+y\le 1.
\]
These polynomials satisfy two fundamental differential eigenvalue equations,
\[
L\,J_{n,k}^{(a,b,c)}=-n(n+a+b+c+2)\,J_{n,k}^{(a,b,c)},
\]
\[
L_1\,J_{n,k}^{(a,b,c)}=-k(k+b+c+1)\,J_{n,k}^{(a,b,c)},
\]
with
\[
L= x(1-x)\partial_{xx}+y(1-y)\partial_{yy}-2xy\partial_{xy}
+\bigl(a+1-(a+b+c+3)x\bigr)\partial_x
+\bigl(b+1-(a+b+c+3)y\bigr)\partial_y,
\]
\[
L_1= ((b+1)(1-x)-(b+c+2)y)\partial_y+y(1-x-y)\partial_{yy}.
\]
The recurrence operators are simply multiplication by the coordinate functions
\[
X_1=x,\qquad X_3=1-x-y.
\]

Closure of the commutator algebra generated by \(L,L_1,X_1,X_3\) forces the introduction of a further second-order operator,
\[
L_3= ((a+1)y-(b+1)x)(\partial_x-\partial_y) +xy(\partial_{xx}+\partial_{yy}-2\partial_{xy}).
\]
The total operator decomposes as
\[
L=L_1^{(b,c)}+L_2^{(a,c)}+L_3^{(a,b)},
\]
and one may also introduce
\[
L_2=L-L_1-L_3,\qquad X_2=1-X_1-X_3.
\]
The quadratic rank two Jacobi algebra is then defined as the algebra generated by
\[
\{L,L_1,L_3,X_1,X_3\}
\]
under commutators, with all triple commutators expressible as quadratic polynomials in these generators [2507.07766].

## 3. Quadratic closure and defining relations

The algebra is characterized by a mixture of commuting pairs, first commutators, and quadratic triple-commutator identities. Its basic commuting relations are
\[
[L,L_1]=0,\qquad [L,L_3]=0,\qquad [L_1,X_1]=0,\qquad [L_3,X_3]=0,\qquad [X_1,X_3]=0.
\]
The primary nontrivial commutators are
\[
[L,X_1]=N_1,\qquad [L,X_3]=N_3,\qquad [L_1,X_3]=M_3,\qquad [L_3,X_1]=J_1,
\]
with explicit first-order operators
\[
N_1=2x(1-x)\partial_x-2xy\partial_y+a+1-(a+b+c+3)x,
\]
\[
N_3=2(x+y-1)(x\partial_x+y\partial_y)+c+1+(a+b+c+3)(x+y-1),
\]
\[
M_3=2y(x+y-1)\partial_y+(b+1)(x+y-1)+(c+1)y,
\]
\[
J_1=2xy(\partial_x-\partial_y)+((a+1)y-(b+1)x).
\]

Quadraticity appears at the next level. For example,
\[
[N_1,X_1]=-2X_1^2+2X_1,\qquad [N_1,X_3]=-2X_1X_3,
\]
and
\[
[N_1,L]
=
2\{X_1,L\}-2L+2L_1
-(a+b+c+1)\bigl((a+b+c+3)X_1-(a+1)I\bigr).
\]
The appendix formulation gives the same phenomenon in nested-commutator form:
\[
[[L,X_1],L]
=
2\{X_1,L\}-2L+2L_1-(a+b+c+1)\bigl((a+b+c+3)X_1-(a+1)I\bigr),
\]
\[
[[L,X_1],X_1]=-2X_1^2+2X_1,
\]
with analogous formulas for the pairs \((L,X_3)\), \((L_1,X_3)\), \((L_3,X_1)\), and \((L_1,L_3)\) [2507.07766] [2509.07949].

The pair \((L_1,L_3)\) furnishes the Racah-type sector. Its defining relations include
\[
[L_1,[L_1,L_3]]
=
-2\{L_1,L_3\}-2L_1^2+2L_1L+\cdots,
\]
\[
[L_3,[L_3,L_1]]
=
-2\{L_1,L_3\}-2L_3^2+2L_3L+\cdots,
\]
with the omitted terms given explicitly in the defining presentation. Because the central element in this sector is \(L\), the resulting structure is a centrally extended rank-one Racah algebra rather than an isolated Racah algebra. This is the algebraic source of the Racah connection coefficients that appear in the polynomial theory.

## 4. Subalgebras, pentagonal organization, and overlap interpretation

A central structural result is that the algebra contains several rank-one Jacobi algebras and one rank-one Racah algebra. The rank-one Jacobi sectors arise from the pairs \((L,X_1)\), \((L,X_3)\), \((L_1,X_3)\), and \((L_3,X_1)\), each with an appropriate central parameter or shifted normalization. The pair \((L_1,L_3)\) realizes the centrally extended rank-one Racah algebra. This makes the rank-two algebra a composite object in which two nested Jacobi mechanisms are coupled by a Racah mechanism [2507.07766].

The same structure is organized in later work through a pentagonal graph of five maximal abelian subalgebras,
\[
(X_1,X_3),\qquad (L,L_1),\qquad (L,L_3),\qquad (X_1,L_1),\qquad (X_3,L_3).
\]
After introducing
\[
L_2=L-L_1-L_3,\qquad X_2=1-X_1-X_3,
\]
one obtains an equivalent cyclic picture involving \((X_1,X_2)\), \((X_2,X_3)\), and related pairs. The four edge-centralizers are centrally extended rank-one Jacobi algebras, while the bottom centralizer \(C_L(\mathfrak J_2)=\langle L_1,L_3\rangle\) is a centrally extended rank-one Racah algebra [2509.07949].

This pentagonal organization governs basis changes. The “top” basis \(|x,y\rangle\) diagonalizes \(X_1\) and \(X_3\), while the “bottom-left” basis \(|n,k;a,b,c\rangle\) diagonalizes \(L\) and \(L_1\), and the “bottom-right” basis diagonalizes \(L\) and \(L_3\). Moving along an edge corresponds to a rank-one Jacobi overlap, so the standard product formula for \(J_{n,k}^{(a,b,c)}(x,y)\) is recovered by factoring the top-to-bottom overlap through an intermediate basis. The mutual overlap of the two bottom bases is governed by Racah polynomials. This explains why permutations of the variables \(x,y,z=1-x-y\) and the parameters \((a,b,c)\) produce Racah expansion coefficients. The same framework encodes the order-three symmetry associated with the dihedral group \(D_3\simeq S_3\), acting on the three polynomial families
\[
J_{n,k}^{(a,b,c)}(x,y),\qquad
J_{n,k}^{(c,b,a)}(1-x-y,y),\qquad
J_{n,k}^{(b,a,c)}(y,x)
\]
[2509.07949].

## 5. Dual realizations, bispectrality, and superintegrable dynamics

The algebra has two complementary realizations. In the variable representation, the generators act as differential or multiplication operators on functions of \((x,y)\). In the degree representation, they act as difference operators on the polynomial basis \(\{|n,k;a,b,c\rangle\}\), where
\[
\langle x,y|n,k;a,b,c\rangle = J_{n,k}^{(a,b,c)}(x,y).
\]
The diagonal operators are
\[
\widehat L=-n(n+a+b+c+2),\qquad \widehat L_1=-k(k+b+c+1).
\]
The operator \(\widehat X_1\) is tridiagonal in \(n\), \(\widehat L_3\) is tridiagonal in \(k\), and \(\widehat X_3\) acts by a nine-term relation mixing both \(n\) and \(k\). The same commutation relations hold in the degree model:
\[
\mathcal O\,J_{n,k}^{(a,b,c)}(x,y)=\widehat{\mathcal O}\,J_{n,k}^{(a,b,c)}(x,y),
\]
for each generator \(\mathcal O\in\{L,L_1,L_3,X_1,X_3\}\). This is the algebraic form of bispectrality: differential equations in the variables and recurrence relations in the degrees are encoded by one and the same quadratic algebra [2507.07766].

The commutator algebra also yields explicit structure relations. Among the three main examples are
\[
\Bigl[2x(1-x)\partial_x-2xy\partial_y+\bigl(a+1-(a+b+c+3)x\bigr)\Bigr]J_{n,k}^{(a,b,c)} = \widehat N_1\,J_{n,k}^{(a,b,c)},
\]
\[
\Bigl[2x(x+y-1)\partial_x+2y(x+y-1)\partial_y +\bigl((a+b+c+3)(x+y)-a-b-2\bigr)\Bigr]J_{n,k}^{(a,b,c)} = \widehat N_3\,J_{n,k}^{(a,b,c)},
\]
\[
\Bigl[2y(x+y-1)\partial_y+\bigl((b+1)(x+y-1)+(c+1)y\bigr)\Bigr]J_{n,k}^{(a,b,c)} = \widehat M_3\,J_{n,k}^{(a,b,c)}.
\]
These are multivariate analogues of classical rank-one structure relations.

A further realization identifies the same rank-two Jacobi algebra as the dynamical algebra of the generic second-order superintegrable model on the unit two-sphere. In that setting, the Hamiltonian is realized inside \(\mathfrak{su}(1,1)^{\otimes 3}\), the symmetry algebra is the rank-one Racah algebra generated by intermediate Casimirs, and adjoining the position-like operators
\[
X_1=2J_0^{(1)}+J_+^{(1)}+J_-^{(1)},\qquad
X_3=2J_0^{(3)}+J_+^{(3)}+J_-^{(3)}
\]
produces the full dynamical algebra \(\mathfrak J_2\). In the differential model,
\[
X_1=x_1^2,\qquad X_3=x_3^2,
\]
and on the sphere one imposes \(X_1+X_2+X_3=1\). The exact spectrum is
\[
E_n=(2(n+1)+a+b+c)^2-\frac14,\qquad n=0,1,2,\dots,
\]
with degeneracy \(n+1\). The physical wavefunctions are
\[
\phi_{n,k}^{(a,b,c)}(x,y)
=
x^{a/2}y^{b/2}(1-x-y)^{c/2}\,J_{n,k}^{(a,b,c)}(x,y),
\]
so the two-variable Jacobi polynomials arise directly as matrix elements of the rank-two Jacobi algebra representation [2604.26122].

## 6. Terminological scope and related but distinct uses

The phrase “rank-two Jacobi algebra” is not unique to the bivariate orthogonal-polynomial setting. One distinct usage appears in the theory of invariant differential operator algebras for scalar slash actions of real Jacobi groups. There the relevant algebra is
\[
D_{k,L}=D(G^N\times K_J,\mathbb C_{k,L}),
\]
and the rank-two case is the first genuinely higher-rank example beyond the classical rank-one situation. For invertible index \(L\), this invariant differential operator algebra is noncommutative, generated by operators of orders \(2\) and \(3\), and its center is a polynomial algebra in one variable generated by the image of the Jacobi Casimir operator. In rank exceeding \(1\) there are exactly two characters, in contrast with the richer rank-one case [1402.7021].

Another distinct usage appears in the theory of weak Jacobi forms indexed by integral lattices of rank two. There the object called the rank-two Jacobi algebra is a bigraded ring
\[
\mathcal J=\bigoplus_{a,b,c\ge 0}\ \bigoplus_{k\in\mathbb Z}
J^w_{k,\begin{psmallmatrix}a+b&b\\ b&c+b\end{psmallmatrix}},
\]
which is finitely generated, and for each fixed lattice index \(L\), the module \(J^w_{*,L}\) is free over \(\mathbb C[E_4,E_6]\) of rank \(\det(L)\). Its generators come from rank-one Jacobi forms in the three directions \(z\), \(w\), and \(z+w\), together with a small number of genuinely rank-two generators [2102.11190].

A further possible confusion is with work on *quadratic polynomial maps with Jacobian rank two*, where “quadratic” and “rank two” refer to polynomial maps and low-rank Jacobian matrices rather than to any Jacobi algebra. That literature classifies Jacobian matrices of degree at most \(1\) and rank at most \(2\), proves normal forms after linear changes of coordinates, and derives consequences for transcendence degree and nilpotent triangularization [1601.00579].

Within this terminological landscape, the quadratic rank two Jacobi algebra in the narrow sense is the five-generator quadratic algebra attached to the two-variable Jacobi polynomials on the triangle. Its distinctive features are the simultaneous differential and difference realizations, the embedded Jacobi and Racah subalgebras, the pentagonal organization of commuting pairs, and the superintegrable \(S^2\) realization. These features identify it as the bivariate extension of the classical quadratic Jacobi algebra, rather than as a Jacobi-group invariant differential operator algebra, a ring of lattice-index Jacobi forms, or a low-rank Jacobian classification problem.

Source: https://www.emergentmind.com/topics/quadratic-rank-two-jacobi-algebra