---
title: 'Jucys–Murphy Twists: Basis Changes & Deformations'
url: https://www.emergentmind.com/topics/jucys-murphy-twists
type: topic
---

# Jucys–Murphy Twists: Basis Changes & Deformations

Searching arXiv for recent and foundational papers on Jucys–Murphy-related constructions.
Jucys–Murphy twists are representation-theoretic basis transformations, spectral deformations, or central/operator-valued weightings built from Jucys–Murphy (JM) elements. Across symmetric groups, Hecke algebras, generalized blob algebras, Soergel bimodules, reflection groups, and condensed-matter applications, the common mechanism is the use of a commuting JM family to reorganize modules into canonical, symmetry-adapted components, often indexed by tableaux or contents, and to express operators of interest in a block-diagonal, triangular, or fully diagonal form. In the literature surveyed here, the phrase itself is often interpretive rather than native to the source, but the underlying structure is explicit: JM elements act as spectral coordinates, and “twisting” refers to changing basis, deforming traces, or weighting combinatorial expansions by functions of those coordinates [1409.5545], [2506.08883], [1005.0151], [2506.04002].

## 1. Commuting JM families and content spectra

In the symmetric-group setting, the Jucys–Murphy elements are the sums of transpositions
\[
J_k=(1,k)+(2,k)+\cdots +(k-1,k),\qquad J_1=0,
\]
viewed in \(\mathbb C[S_n]\) [1005.0151], [1005.2346]. These elements pairwise commute and belong to the Gelfand–Tsetlin subalgebra, so they can be simultaneously diagonalized in irreducible representations [1005.0151]. In the Young basis, the eigenvalues are contents of boxes, and for any symmetric function \(f\), the element \(f(J_1,\dots,J_n)\) acts by the scalar \(f(A_\lambda)\) on the irreducible indexed by \(\lambda\), where \(A_\lambda\) is the content alphabet of the Young diagram [1005.0151], [1005.2346].

This content-eigenvalue paradigm persists in deformed settings. In the type \(A\) Iwahori–Hecke algebra \(H_n(q)\), the additive \(q\)-Jucys–Murphy elements
\[
J_k(q)=q^{1-k}T_{(1\,k)}+\cdots + q^{-1}T_{(k-1\,k)}
\]
again commute, and in the Hecke seminormal form satisfy
\[
J_k(q)\,\pi_T=[c_k(T)]_q\,\pi_T,
\qquad [m]_q=\frac{q^m-1}{q-1},
\]
with eigenvalues given by \(q\)-contents [2506.08883]. In cyclotomic Hecke algebras \(H(m,1,n)\), the JM elements are defined recursively by
\[
J_1=T,\qquad J_{i+1}=\sigma_iJ_i\sigma_i,
\]
and their common spectrum is identified with content strings of standard Young \(m\)-tableaux [1206.0612].

Other algebraic settings replace ordinary contents by modified versions. In the Sergeev superalgebra \(\mathcal S_n\), the even JM elements \(x_a=\sqrt2\,m_ac_a\) pairwise commute and act with eigenvalues given by signed contents \(\kappa_a(T)=\sqrt{o_a(o_a+1)}\) on shifted tableaux, with barred variants carrying the negative sign [2502.18096]. In the \(b\)-deformed picture associated with pair partitions and Jack-theoretic structures, conjectural eigenvalues are \(b\)-contents
\[
c_b(\Box)=(b+1)(j-1)-(i-1),
\]
again indexed by standard Young tableaux [2506.04002]. In generalized blob algebras, the JM elements \(\mathcal L_k\) are obtained by transporting Hecke JM elements through the Brundan–Kleshchev–Rouquier isomorphism, with triangular action controlled by residues and contents \(q^{\operatorname{res}(t(k))}\) [1812.11143].

A common structural consequence is that symmetric functions in the JM family define central or cellularly well-behaved operators. In \(\mathbb C[S_n]\), Jucys’ theorem states that every central element is of the form \(f(J_1,\dots,J_n)\) for some symmetric function \(f\) [2506.08883], [1005.2346]. In \(H_n(q)\), the Francis–Wang analogue identifies \(Z(H_n(q))\) with \(\{f(\Xi_n(q)):f\in\Lambda\}\), where \(\Xi_n(q)\) denotes the \(q\)-JM alphabet [2506.08883]. This suggests that a JM twist is, at minimum, a functional calculus on a maximal or distinguished commuting family.

## 2. Basis changes, idempotents, and twist operators

One precise form of a Jucys–Murphy twist is a canonical change of basis implemented by projectors or seminormal idempotents built from JM elements. In the one-dimensional Hubbard model, the operators
\[
M_j=\sum_{1\le j'<j}(j,j')
\]
are the symmetric-group JM operators acting on lattice-site labels [1409.5545]. Their joint eigenbasis is the Young orthogonal basis, indexed by standard Young tableaux \(y\), with eigenvalues
\[
m_j(y)=c_j(y)-r_j(y),
\]
the difference of column and row positions of \(j\) in \(y\) [1409.5545]. The paper constructs projectors
\[
e_{\lambda y}
\]
as products of rational functions of the \(M_j\), recursively isolating the eigenspaces corresponding to a given tableau [1409.5545]. Applying these projectors to the raw electron-configuration basis yields a Young orthogonal basis in which the Hamiltonian becomes quasi-diagonal. This is an explicit instance of a JM twist as a representation-theoretically defined basis transformation [1409.5545].

A similar projector mechanism appears in the Sergeev superalgebra. There, primitive idempotents \(e_U\) are constructed inductively from the commuting even JM elements \(x_a\), using the signed contents of addable boxes in shifted barred tableaux [2502.18096]. The resulting idempotents satisfy
\[
x_\alpha e_U=e_Ux_\alpha=\kappa_\alpha(U)e_U,
\]
and refine further via Clifford idempotents to primitive idempotents \(e_U^{(r)}\) realizing irreducible modules [2502.18096]. The same idempotents are recovered from a fusion procedure built from the universal rational element
\[
\Phi(u_1,\dots,u_n)=\prod_{1\le a<b\le n}^{\to}Y_{ab}(u_a,u_b),
\]
after consecutive evaluation at JM eigenvalues \(\kappa_a(U)\) [2502.18096]. This is a stronger form of twist: the algebra possesses a universal spectral object whose specialization reproduces the JM projectors.

Cyclotomic Hecke algebras furnish another seminormal realization. The paper on \(H(m,1,n)\) introduces a smash-product-like algebra whose cross-relations encode how Hecke generators move across tableau labels with coefficients expressed in contents [1206.0612]. In the resulting seminormal basis indexed by standard Young \(m\)-tableaux, the JM elements act diagonally, and the braid generators act by explicit \(2\times2\)-type formulas depending on adjacent JM eigenvalues [1206.0612]. Primitive idempotents are then written as rational functions of \(J_n\) and the contents of addable nodes [1206.0612]. This suggests a general pattern: a JM twist can be described either as the passage to the joint eigenbasis, or as the corresponding idempotent calculus inside the algebra.

In generalized blob algebras, the construction is more cellular than fully diagonal. The basis elements
\[
m_{st}=\psi_{d(s)}^*\,e(i^\lambda)\,\psi_{d(t)}
\]
form a graded cellular basis, and the transported JM elements \(\mathcal L_k\) satisfy Mathas’s triangularity axiom:
\[
m_{st}\mathcal L_k=c_t(k)m_{st}+\sum_{v\triangleright_\lambda t} r_{sv}(k)\,m_{sv}\pmod{B^{>\lambda}}.
\]
The diagonal part is still controlled by tableau contents \(c_t(k)=q^{\operatorname{res}(t(k))}\) [1812.11143]. Here the twist is not a full simultaneous diagonalization inside the algebra itself, but a compatible filtration by JM eigenvalues on cell modules.

## 3. Central JM twists, class expansions, and factorization problems

A second major meaning of JM twists is central deformation: symmetric functions in JM elements define central operators whose coefficients encode combinatorial enumeration. In \(\mathbb C[S_n]\), the evaluation map \(f\mapsto f(\Xi_n)\), where \(\Xi_n=\{J_1,\dots,J_n,0,0,\dots\}\), sends every symmetric function to a central element [1005.0151]. The complete symmetric functions satisfy
\[
h_k(\Xi_n)=\sum_{\pi\in S_n}\#\{\text{primitive factorizations of }\pi\text{ into }k\text{ transpositions}\}\,\pi,
\]
so the coefficients of class sums in \(h_k(\Xi_n)\) count primitive factorizations [1005.0151]. Likewise, monomial symmetric functions \(m_\lambda(\Xi_n)\) encode primitive factorizations of type \(\lambda\) [1005.0151].

The spectral side of this story is the Jucys character expansion
\[
f(\Xi_n)=\sum_{\lambda\vdash n}\frac{f(A_\lambda)}{H_\lambda}\,\chi^\lambda,
\]
which identifies the action of a central JM twist on each irreducible representation by the scalar \(f(A_\lambda)\) [1005.0151]. This is the sense in which operators \(T_f=f(J_1,\dots,J_n)\) may be regarded as content twists: they reweight each isotypic component according to a symmetric function of its contents.

Lassalle’s work studies this principle systematically through class expansions
\[
f(J_1,\dots,J_n)=\sum_{\mu\vdash n} a_\mu^{(f)}(n)\,C_\mu,
\]
with particular emphasis on power sums, complete functions, and one-row Hall–Littlewood functions \(P_k(z)\) [1005.2346]. The Hall–Littlewood family interpolates between \(h_k\) at \(z=0\) and \(p_k\) at \(z=1\), so \(P_k(J;z)\) gives a one-parameter family of central JM twists whose leading coefficients are governed by deformed Catalan/Narayana polynomials [1005.2346]. The paper derives recurrences for the coefficients \(c_\rho^{(k)}(z)\) in the \(n\)-stable expansion and shows that top-degree terms are products of \(C_{\rho_i-1}(1-z)\), where \(C_r(z)\) are Narayana-type polynomials [1005.2346].

This picture extends to matrix-model interpretations. The resolvent-like element
\[
(N+J_1)^{-1}\cdots (N+J_n)^{-1}
\]
encodes primitive factorization numbers through its class expansion, and the same coefficients appear in asymptotic expansions of unitary matrix integrals [1005.0151]. A plausible implication is that resolvent products in JM elements constitute a particularly natural family of analytic JM twists: they interpolate between representation-theoretic spectra and Weingarten-type expansions.

The Hecke deformation of this theory is developed for long-cycle factorizations in \(H_n(q)\). There, the \(q\)-analogues
\[
a_q(n;j)=[T_{\sfc}]\,e_{1^j}(\Xi_n(q)),\qquad
b_q(n;j)=[T_{\sfc}]\,h_j(\Xi_n(q)),\qquad
c_q(n;p_1,\dots,p_m)=[T_{\sfc}]\,e_{(p_1,\dots,p_m)}(\Xi_n(q))
\]
are defined by replacing \(J_k\) with \(J_k(q)\) and the long cycle \(\sfc\) with \(T_{\sfc}\) [2506.08883]. The main formulas produce \(q\)-binomial, \(q\)-Catalan, and \(q\)-Narayana numbers as long-cycle coefficients of these Hecke JM twists [2506.08883]. The reciprocity theorem
\[
[T_{\sfc}]\,f(\Xi_n(q))=\frac{q^{-\binom{n}{2}}}{[n]_q}\,ps_f(n;q)
\]
expresses the long-cycle coefficient of a JM twist directly by the \(q\)-principal specialization of \(f\) [2506.08883]. This sharpens the idea that the twist is implemented spectrally: central JM evaluation becomes principal specialization after projection to the long-cycle coefficient.

## 4. Diagrammatic, cellular, and categorical twists

JM twists also appear in categorified or diagrammatic settings, where the commuting family acts triangularly on cellular bases rather than directly as central operators. In the Elias–Williamson diagrammatic category of Soergel bimodules, for a fixed Bott–Samelson object \(\underline w=s_{i_1}\cdots s_{i_k}\), the endomorphism algebra \(A_{\underline w}\) admits a family of degree-two endomorphisms \(L_j\), obtained by placing a dot near the bottom and top of the \(j\)-th strand [1607.03470]. These \(L_j\) commute, are self-adjoint, and form a family of JM-elements for the cellular algebra \(A_{\underline w}\) with respect to the light-leaves basis [1607.03470].

Their content function is explicit. For a subexpression \(\mathbf e\) and a position \(a\), one has
\[
c_{\mathbf e}(a)=0
\]
for \(U1\) or \(D1\) positions, and
\[
c_{\mathbf e}(a)=s_{i_1}^{e_1}\cdots s_{i_{a-1}}^{e_{a-1}}(\alpha_{i_a})
\]
for \(U0\) or \(D0\) positions [1607.03470]. Over the fraction field, these contents separate tableaux, and the JM family diagonalizes the bilinear form on cell modules [1607.03470]. The paper derives determinant formulas and Jantzen-type sum formulas from this diagonalization. In this context, a JM twist is not merely a basis change but a mechanism for passing from a cellular basis to a seminormal basis in which Gram forms factor through content differences.

In generalized blob algebras, the graded cellular basis \(m_{st}\) and the family \(\mathcal L_k\) satisfying Mathas’s axioms yield a closely related structure [1812.11143]. The significance lies in compatibility with the KLR/cyclotomic Hecke isomorphism and the zero-weighting order on one-column multipartitions. The paper does not construct explicit twisting functors, but it provides the exact data needed for such constructions: a commuting, self-adjoint JM family acting triangularly on a graded cellular basis [1812.11143].

The 2025 work on generalized Markov traces makes the twist interpretation explicit at the level of traces. In types \(A\), \(B\), and \(D\), Markov traces on Hecke towers are realized as pairings with central elements that are symmetric polynomials in multiplicative JM elements [2507.19896]. For the uniform family,
\[
\zeta_n=\prod_{i=1}^n (1+a^{-1}J_i^X),
\]
the trace \(\phi_n(h)=\langle \zeta_n,h\rangle\) satisfies the Markov conditions with parameters \(\rho=1+a\) and \(\mu=v-v^{-1}\) [2507.19896]. In type \(B\), a more general family uses
\[
\beta_n(y)=\prod_{i=1}^n \bigl(1+(\overline y+\alpha_0)j_i^B+a^{-1}J_i^B\bigr),
\]
while in type \(D\) only the even-degree part survives as
\[
\delta_n(y)=P_n^+\bigl(j_1^D,\dots,j_n^D;y\bigr)
\]
[2507.19896]. These are precisely trace twists by JM-central elements.

A plausible implication is that the phrase “JM twist” is best understood categorically as an operation that inserts relative Serre-type endomorphisms along a tower of inclusions, with multiplicative JM elements \(J_n^X=S(X_n)^{-1}S(X_{n-1})\) measuring the relative full twist [2507.19896].

## 5. Deformations beyond type A: reflection groups, Jack/Hecke/orthogonal variants

Beyond symmetric and Hecke algebras, several recent works reinterpret JM families as deformations indexed by group towers, pair partitions, or Jack parameters.

For well-generated complex reflection groups \(W\), a parabolic tower
\[
\{1\}=W_0\subset W_1\subset\cdots\subset W_n=W
\]
defines generalized JM elements
\[
J_{T,i}=\sum_{\tau\in \mathcal R\cap (W_i\setminus W_{i-1})}\tau
\]
in \(\mathbb C[W]\) [2012.04519]. These commute, and the weighted element
\[
\mathbf A(\bm\omega)=\sum_{i=1}^n \omega_iJ_{T,i}
\]
controls weighted enumeration of Coxeter-element factorizations [2012.04519]. The central notion of tower equivalence compares virtual characters only on the commutative subalgebras \(\mathbb C[\mathbf J_T]\), and the main theorem states that
\[
\sum_{\chi\in\widehat W}\chi(c^{-1})\,\chi
\sim
\sum_{k=0}^n(-1)^k\chi_{\wedge^k V}
\]
for every tower \(T\), where \(c\) is a Coxeter element [2012.04519]. This is a distinctly representation-theoretic JM twist: the Coxeter-weighted character behaves, on every JM subalgebra, like the alternating exterior algebra of the reflection representation. The resulting product formulas for factorization generating functions and the \(W\)-Laplacian
\[
L_W(\bm\omega)=\sum_{\tau\in\mathcal R}\mathbf w(\tau)(I-\rho_V(\tau))
\]
then follow from the spectrum of \(\mathbf A(\bm\omega)\) and its Lie-like behavior [2012.04519].

In orthogonal and Jack-deformed settings, the relevant family often uses odd or modified JM elements. For the Gelfand pair \((S_{2n},H_n)\), symmetric functions in odd-indexed JM elements,
\[
F(J_1,J_3,\dots,J_{2n-1})P_n,
\]
belong to the Hecke algebra of double cosets and act by modified contents
\[
A_\lambda'=\{2j-i-1\mid (i,j)\in\lambda\}
\]
on zonal spherical functions [1001.2345]. This can be viewed as an orthogonal JM twist: the usual content alphabet is replaced by a modified one, and class expansions become double-coset expansions [1001.2345]. The orthogonal Weingarten function then admits the expansion
\[
\mathrm{Wg}^{O(N)}_n=\sum_{k=0}^\infty (-1)^kN^{-(n+k)}h_k(J_1,J_3,\dots,J_{2n-1})P_n,
\]
so the passage from unitary to orthogonal integration is implemented by a twist in the JM variables and projection operator [1001.2345].

The 2025 real-Grassmannian work introduces \(b\)-deformed JM operators on the vector space of pair partitions \(V_k=\mathbb C(b)[P_k]\) [2506.04002]. The operators are defined by weighted adjacency in a \(b\)-Weingarten graph:
\[
J_i(m)=\sum_{a=1}^{2i-2}\omega^{(b)}((a\,\,2i-1)\cdot m,m)\,((a\,\,2i-1)\cdot m),
\]
with weights in \(\{0,1,b\}\) [2506.04002]. These are not group-algebra elements, but they conjecturally commute on a natural subspace \(X(k)\), admit a tableau-indexed eigenbasis, and act with \(b\)-contents \(c_b(\Box)\) as eigenvalues [2506.04002]. Symmetric functions in these operators are conjectured to act diagonally with eigenvalues \(f(\mathrm{cont}_b(\lambda))\), and the \(b\)-deformed Frobenius characteristic map links them to Jack polynomials and the Laplace–Beltrami operator \(D(b)\) [2506.04002]. This is the most explicit modern use of “deformation” language: a JM twist here interpolates between unitary and orthogonal Weingarten calculi and refines monotone Hurwitz numbers by flip and hive statistics.

Asymptotic freeness furnishes yet another deformation principle. In \(\mathbb C[S_{2n+1}]\), the normalized partial JM sums
\[
X_n=n^{-1/2}\sum_{i=1}^n(i,2n+1),\qquad
Y_n=n^{-1/2}\sum_{i=n+1}^{2n}(i,2n+1)
\]
are asymptotically free with respect to a state derived from an outer tensor product of two \(S_n\)-representations [1202.0888]. Their limiting distributions are Kerov transition measures, and the distribution of \(X_n+Y_n\) converges to the free convolution \(\mu_{\Lambda_1}\boxplus \mu_{\Lambda_2}\) [1202.0888]. This suggests that in asymptotic representation theory, combining JM twists from disjoint blocks naturally produces free rather than classical convolution.

## 6. Applications, interpretations, and scope of the term

The most concrete physical application in the surveyed literature is the one-dimensional Hubbard model. There the symmetric-group JM operators reorganize the Hilbert space into symmetry-adapted sectors, and in the \(N=4\), half-filled, attractive case the 12-dimensional Hamiltonian becomes quasi-diagonal with three three-dimensional and three one-dimensional blocks [1409.5545]. The paper does not use the term “twist,” but the underlying operation is exactly a JM-based basis twist from raw site occupations to a Young orthogonal basis [1409.5545].

In combinatorics, central JM twists encode factorizations of permutations and Coxeter elements [1005.0151], [2506.08883], [2012.04519]. In representation theory, they yield seminormal forms, idempotent calculus, graded cellular filtrations, and determinant formulas [2502.18096], [1206.0612], [1812.11143], [1607.03470]. In random matrix theory and Weingarten calculus, they appear as resolvent-type products or odd-indexed/weighted variants tied to unitary, orthogonal, and Grassmannian integrals [1005.0151], [1001.2345], [2506.04002]. In knot-theoretic settings, they twist canonical traces by central JM elements to produce Markov traces in types \(A\), \(B\), and \(D\) [2507.19896].

Two cautions are necessary. First, “Jucys–Murphy twist” is often an interpretive umbrella rather than a standardized term in the original papers. The Hubbard paper, for example, constructs projectors from JM elements and uses them for block diagonalization, but does not itself name the basis change a twist [1409.5545]. Second, the precise algebraic meaning varies by context. In some works it denotes a basis change or projector calculus [1409.5545], [2502.18096], [1206.0612]; in others a central operator \(f(J)\) acting by contents [1005.0151], [1005.2346]; in yet others a deformed family of commuting operators with new content functions [2506.04002], or a trace obtained by pairing against a JM-central element [2507.19896].

This suggests a broad but coherent definition. A Jucys–Murphy twist is any construction in which a distinguished commuting JM family provides the spectral data used to transform a basis, deform a trace, weight a class expansion, or define a new family of commuting operators. The enduring invariants of the notion are commutativity, tableau/path labeling, content-type eigenvalues, and compatibility with branching or cellular structures. Across the literature, those features are stable even when the ambient algebra, deformation parameter, or application changes [1409.5545], [1812.11143], [2506.08883], [2506.04002].

Source: https://www.emergentmind.com/topics/jucys-murphy-twists