Jucys–Murphy Twists: Basis Changes & Deformations

• Jucys–Murphy twists are representation-theoretic constructions that use commuting JM elements to reorganize modules into symmetry-adapted bases, typically indexed by tableaux or content spectra.
• They enable both explicit basis transformations via projector calculus and central deformations through symmetric functions, yielding block-diagonal or triangular forms in various algebras.
• Applications range from combinatorial factorizations in symmetric groups and Hecke algebras to analytic deformations in random matrix theory and categorification in diagrammatic settings.

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 (Jakubczyk et al., 2014, Bastidas et al., 10 Jun 2025, Matsumoto et al., 2010, Coulter et al., 4 Jun 2025).

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]$ (Matsumoto et al., 2010, Lassalle, 2010). These elements pairwise commute and belong to the Gelfand–Tsetlin subalgebra, so they can be simultaneously diagonalized in irreducible representations (Matsumoto et al., 2010). 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 (Matsumoto et al., 2010, Lassalle, 2010).

This content-eigenvalue paradigm persists in deformed settings. In the type $A$ Iwahori–Hecke algebra $H_n(q)$, the additive $q$-Jucys–Murphy elements

$\mathbb C[S_n]$0

again commute, and in the Hecke seminormal form satisfy

$\mathbb C[S_n]$1

with eigenvalues given by $\mathbb C[S_n]$2-contents (Bastidas et al., 10 Jun 2025). In cyclotomic Hecke algebras $\mathbb C[S_n]$3, the JM elements are defined recursively by

$\mathbb C[S_n]$4

and their common spectrum is identified with content strings of standard Young $\mathbb C[S_n]$5-tableaux (Ogievetsky et al., 2012).

Other algebraic settings replace ordinary contents by modified versions. In the Sergeev superalgebra $\mathbb C[S_n]$6, the even JM elements $\mathbb C[S_n]$7 pairwise commute and act with eigenvalues given by signed contents $\mathbb C[S_n]$8 on shifted tableaux, with barred variants carrying the negative sign (Kashuba et al., 25 Feb 2025). In the $\mathbb C[S_n]$9-deformed picture associated with pair partitions and Jack-theoretic structures, conjectural eigenvalues are $f$0-contents

$f$1

again indexed by standard Young tableaux (Coulter et al., 4 Jun 2025). In generalized blob algebras, the JM elements $f$2 are obtained by transporting Hecke JM elements through the Brundan–Kleshchev–Rouquier isomorphism, with triangular action controlled by residues and contents $f$3 (Lobos et al., 2018).

A common structural consequence is that symmetric functions in the JM family define central or cellularly well-behaved operators. In $f$4, Jucys’ theorem states that every central element is of the form $f$5 for some symmetric function $f$6 (Bastidas et al., 10 Jun 2025, Lassalle, 2010). In $f$7, the Francis–Wang analogue identifies $f$8 with $f$9, where $f(J_1,\dots,J_n)$0 denotes the $f(J_1,\dots,J_n)$1-JM alphabet (Bastidas et al., 10 Jun 2025). 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

$f(J_1,\dots,J_n)$2

are the symmetric-group JM operators acting on lattice-site labels (Jakubczyk et al., 2014). Their joint eigenbasis is the Young orthogonal basis, indexed by standard Young tableaux $f(J_1,\dots,J_n)$3, with eigenvalues

$f(J_1,\dots,J_n)$4

the difference of column and row positions of $f(J_1,\dots,J_n)$5 in $f(J_1,\dots,J_n)$6 (Jakubczyk et al., 2014). The paper constructs projectors

$f(J_1,\dots,J_n)$7

as products of rational functions of the $f(J_1,\dots,J_n)$8, recursively isolating the eigenspaces corresponding to a given tableau (Jakubczyk et al., 2014). 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 (Jakubczyk et al., 2014).

A similar projector mechanism appears in the Sergeev superalgebra. There, primitive idempotents $f(J_1,\dots,J_n)$9 are constructed inductively from the commuting even JM elements $f(A_\lambda)$0, using the signed contents of addable boxes in shifted barred tableaux (Kashuba et al., 25 Feb 2025). The resulting idempotents satisfy

$f(A_\lambda)$1

and refine further via Clifford idempotents to primitive idempotents $f(A_\lambda)$2 realizing irreducible modules (Kashuba et al., 25 Feb 2025). The same idempotents are recovered from a fusion procedure built from the universal rational element

$f(A_\lambda)$3

after consecutive evaluation at JM eigenvalues $f(A_\lambda)$4 (Kashuba et al., 25 Feb 2025). 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 $f(A_\lambda)$5 introduces a smash-product-like algebra whose cross-relations encode how Hecke generators move across tableau labels with coefficients expressed in contents (Ogievetsky et al., 2012). In the resulting seminormal basis indexed by standard Young $f(A_\lambda)$6-tableaux, the JM elements act diagonally, and the braid generators act by explicit $f(A_\lambda)$7-type formulas depending on adjacent JM eigenvalues (Ogievetsky et al., 2012). Primitive idempotents are then written as rational functions of $f(A_\lambda)$8 and the contents of addable nodes (Ogievetsky et al., 2012). 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

$f(A_\lambda)$9

form a graded cellular basis, and the transported JM elements $\lambda$0 satisfy Mathas’s triangularity axiom: $\lambda$1 The diagonal part is still controlled by tableau contents $\lambda$2 (Lobos et al., 2018). 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 $\lambda$3, the evaluation map $\lambda$4, where $\lambda$5, sends every symmetric function to a central element (Matsumoto et al., 2010). The complete symmetric functions satisfy

$\lambda$6

so the coefficients of class sums in $\lambda$7 count primitive factorizations (Matsumoto et al., 2010). Likewise, monomial symmetric functions $\lambda$8 encode primitive factorizations of type $\lambda$9 (Matsumoto et al., 2010).

The spectral side of this story is the Jucys character expansion

$A_\lambda$0

which identifies the action of a central JM twist on each irreducible representation by the scalar $A_\lambda$1 (Matsumoto et al., 2010). This is the sense in which operators $A_\lambda$2 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

$A_\lambda$3

with particular emphasis on power sums, complete functions, and one-row Hall–Littlewood functions $A_\lambda$4 (Lassalle, 2010). The Hall–Littlewood family interpolates between $A_\lambda$5 at $A_\lambda$6 and $A_\lambda$7 at $A_\lambda$8, so $A_\lambda$9 gives a one-parameter family of central JM twists whose leading coefficients are governed by deformed Catalan/Narayana polynomials (Lassalle, 2010). The paper derives recurrences for the coefficients $A$0 in the $A$1-stable expansion and shows that top-degree terms are products of $A$2, where $A$3 are Narayana-type polynomials (Lassalle, 2010).

This picture extends to matrix-model interpretations. The resolvent-like element

$A$4

encodes primitive factorization numbers through its class expansion, and the same coefficients appear in asymptotic expansions of unitary matrix integrals (Matsumoto et al., 2010). 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 $A$5. There, the $A$6-analogues

$A$7

are defined by replacing $A$8 with $A$9 and the long cycle $H_n(q)$0 with $H_n(q)$1 (Bastidas et al., 10 Jun 2025). The main formulas produce $H_n(q)$2-binomial, $H_n(q)$3-Catalan, and $H_n(q)$4-Narayana numbers as long-cycle coefficients of these Hecke JM twists (Bastidas et al., 10 Jun 2025). The reciprocity theorem

$H_n(q)$5

expresses the long-cycle coefficient of a JM twist directly by the $H_n(q)$6-principal specialization of $H_n(q)$7 (Bastidas et al., 10 Jun 2025). 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 $H_n(q)$8, the endomorphism algebra $H_n(q)$9 admits a family of degree-two endomorphisms $q$0, obtained by placing a dot near the bottom and top of the $q$1-th strand (Ryom-Hansen, 2016). These $q$2 commute, are self-adjoint, and form a family of JM-elements for the cellular algebra $q$3 with respect to the light-leaves basis (Ryom-Hansen, 2016).

Their content function is explicit. For a subexpression $q$4 and a position $q$5, one has

$q$6

for $q$7 or $q$8 positions, and

$q$9

for $\mathbb C[S_n]$00 or $\mathbb C[S_n]$01 positions (Ryom-Hansen, 2016). Over the fraction field, these contents separate tableaux, and the JM family diagonalizes the bilinear form on cell modules (Ryom-Hansen, 2016). 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 $\mathbb C[S_n]$02 and the family $\mathbb C[S_n]$03 satisfying Mathas’s axioms yield a closely related structure (Lobos et al., 2018). 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 (Lobos et al., 2018).

The 2025 work on generalized Markov traces makes the twist interpretation explicit at the level of traces. In types $\mathbb C[S_n]$04, $\mathbb C[S_n]$05, and $\mathbb C[S_n]$06, Markov traces on Hecke towers are realized as pairings with central elements that are symmetric polynomials in multiplicative JM elements (Tolmachov et al., 26 Jul 2025). For the uniform family,

$\mathbb C[S_n]$07

the trace $\mathbb C[S_n]$08 satisfies the Markov conditions with parameters $\mathbb C[S_n]$09 and $\mathbb C[S_n]$10 (Tolmachov et al., 26 Jul 2025). In type $\mathbb C[S_n]$11, a more general family uses

$\mathbb C[S_n]$12

while in type $\mathbb C[S_n]$13 only the even-degree part survives as

$\mathbb C[S_n]$14

(Tolmachov et al., 26 Jul 2025). 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 $\mathbb C[S_n]$15 measuring the relative full twist (Tolmachov et al., 26 Jul 2025).

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 $\mathbb C[S_n]$16, a parabolic tower

$\mathbb C[S_n]$17

defines generalized JM elements

$\mathbb C[S_n]$18

in $\mathbb C[S_n]$19 (Chapuy et al., 2020). These commute, and the weighted element

$\mathbb C[S_n]$20

controls weighted enumeration of Coxeter-element factorizations (Chapuy et al., 2020). The central notion of tower equivalence compares virtual characters only on the commutative subalgebras $\mathbb C[S_n]$21, and the main theorem states that

$\mathbb C[S_n]$22

for every tower $\mathbb C[S_n]$23, where $\mathbb C[S_n]$24 is a Coxeter element (Chapuy et al., 2020). 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 $\mathbb C[S_n]$25-Laplacian

$\mathbb C[S_n]$26

then follow from the spectrum of $\mathbb C[S_n]$27 and its Lie-like behavior (Chapuy et al., 2020).

In orthogonal and Jack-deformed settings, the relevant family often uses odd or modified JM elements. For the Gelfand pair $\mathbb C[S_n]$28, symmetric functions in odd-indexed JM elements,

$\mathbb C[S_n]$29

belong to the Hecke algebra of double cosets and act by modified contents

$\mathbb C[S_n]$30

on zonal spherical functions (Matsumoto, 2010). 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 (Matsumoto, 2010). The orthogonal Weingarten function then admits the expansion

$\mathbb C[S_n]$31

so the passage from unitary to orthogonal integration is implemented by a twist in the JM variables and projection operator (Matsumoto, 2010).

The 2025 real-Grassmannian work introduces $\mathbb C[S_n]$32-deformed JM operators on the vector space of pair partitions $\mathbb C[S_n]$33 (Coulter et al., 4 Jun 2025). The operators are defined by weighted adjacency in a $\mathbb C[S_n]$34-Weingarten graph: $\mathbb C[S_n]$35 with weights in $\mathbb C[S_n]$36 (Coulter et al., 4 Jun 2025). These are not group-algebra elements, but they conjecturally commute on a natural subspace $\mathbb C[S_n]$37, admit a tableau-indexed eigenbasis, and act with $\mathbb C[S_n]$38-contents $\mathbb C[S_n]$39 as eigenvalues (Coulter et al., 4 Jun 2025). Symmetric functions in these operators are conjectured to act diagonally with eigenvalues $\mathbb C[S_n]$40, and the $\mathbb C[S_n]$41-deformed Frobenius characteristic map links them to Jack polynomials and the Laplace–Beltrami operator $\mathbb C[S_n]$42 (Coulter et al., 4 Jun 2025). 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_n]$43, the normalized partial JM sums

$\mathbb C[S_n]$44

are asymptotically free with respect to a state derived from an outer tensor product of two $\mathbb C[S_n]$45-representations (Jankowski, 2012). Their limiting distributions are Kerov transition measures, and the distribution of $\mathbb C[S_n]$46 converges to the free convolution $\mathbb C[S_n]$47 (Jankowski, 2012). 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 $\mathbb C[S_n]$48, half-filled, attractive case the 12-dimensional Hamiltonian becomes quasi-diagonal with three three-dimensional and three one-dimensional blocks (Jakubczyk et al., 2014). 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 (Jakubczyk et al., 2014).

In combinatorics, central JM twists encode factorizations of permutations and Coxeter elements (Matsumoto et al., 2010, Bastidas et al., 10 Jun 2025, Chapuy et al., 2020). In representation theory, they yield seminormal forms, idempotent calculus, graded cellular filtrations, and determinant formulas (Kashuba et al., 25 Feb 2025, Ogievetsky et al., 2012, Lobos et al., 2018, Ryom-Hansen, 2016). 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 (Matsumoto et al., 2010, Matsumoto, 2010, Coulter et al., 4 Jun 2025). In knot-theoretic settings, they twist canonical traces by central JM elements to produce Markov traces in types $\mathbb C[S_n]$49, $\mathbb C[S_n]$50, and $\mathbb C[S_n]$51 (Tolmachov et al., 26 Jul 2025).

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 (Jakubczyk et al., 2014). Second, the precise algebraic meaning varies by context. In some works it denotes a basis change or projector calculus (Jakubczyk et al., 2014, Kashuba et al., 25 Feb 2025, Ogievetsky et al., 2012); in others a central operator $\mathbb C[S_n]$52 acting by contents (Matsumoto et al., 2010, Lassalle, 2010); in yet others a deformed family of commuting operators with new content functions (Coulter et al., 4 Jun 2025), or a trace obtained by pairing against a JM-central element (Tolmachov et al., 26 Jul 2025).

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 (Jakubczyk et al., 2014, Lobos et al., 2018, Bastidas et al., 10 Jun 2025, Coulter et al., 4 Jun 2025).