Universal Odd and Even Capelli Identities

• The topic presents universal Capelli identities as determinantal factorizations that bridge classical, super, and quantum algebraic structures.
• It employs shifted generators, Jucys–Murphy elements, and primitive idempotents to factor coordinate and differential operators in noncommutative settings.
• These identities unify representation theory, invariant differential operators, and symmetric functions, paving the way for future q-deformations and computational applications.

The universal odd and even Capelli identities provide foundational determinantal factorizations for matrices and operators with non-commutative entries, encoding both classical and superalgebraic (queer, super, quantum) analogues. These identities express how products of "shifted" generators—in enveloping algebras or quantum matrix algebras—factor through coordinate and derivative operators, with correction terms rooted in Jucys–Murphy elements and primitive idempotents. In recent developments, a sequence of works has established universal forms of these identities, most notably in the context of the queer Lie superalgebra, Manin matrices, and the Reflection Equation algebra, bridging representation theory, invariant theory, and symmetric functions.

1. Fundamental Objects and Algebraic Structures

Universal Capelli identities operate within various algebraic frameworks:

• Queer Lie superalgebra $\mathfrak q_N$: Defined inside $\mathrm{gl}_{N|N}$, with generators $F_{ij} = E_{ij} + E_{-i,-j}$, the universal enveloping algebra $U(\mathfrak q_N)$ possesses a center $Z(U(\mathfrak q_N))$ isomorphic (via Harish-Chandra) to supersymmetric polynomials $\Lambda_N$ in variables $y_1,\ldots, y_N$ (Kashuba et al., 25 Dec 2025).
• Sergeev superalgebra (spin–Clifford algebra): Generated by odd braid operators $t_a$ ($t_a^2=1$) and odd Clifford operators $c_a$ ($c_a^2=-1$), with the symmetric group embedded via $s_a = (1/\sqrt{2}) t_a(c_{a+1} - c_a)$. Jucys–Murphy elements in this context are defined with even ($X_b$) and odd ($M_b$) variants; their signed contents parametrize spectral shifts (Kashuba et al., 25 Dec 2025).

In the field of noncommutative matrix identities:

• Manin matrices satisfy $[X_{ij}, X_{k\ell}] = [X_{i\ell}, X_{kj}]$ and $[X_{ij}, X_{i\ell}] = 0$, guaranteeing tractable determinant expansions under noncommutativity (Caracciolo et al., 2013).
• Quantum matrix and Reflection Equation algebra: The RE algebra $M(R)$, with generators subject to Hecke R-matrix relations, provides the most general setting for universal Capelli identities, reducible to classical or super cases by specializing $R$ and $q$ (Zaitsev, 2024).

Primitive idempotents (e.g., $e_T$ in $\mathbb{S}\mathrm{ere}\mathbb{g}_n$, $E^\lambda$ in $\mathbb{C}[S_n]$ or its Hecke/super versions) play a central role in extracting immanantal (trace or supertrace) central elements corresponding to representation-theoretic isotypes (Kashuba et al., 25 Dec 2025, Zaitsev, 2024).

2. Formulation of Universal Odd and Even Capelli Identities

The universal Capelli identities manifest as operator factorizations controlled by Jucys–Murphy elements and algebraic content parameters:

Odd identity (queer/superalgebraic, Grassmann case):

• In $U(\mathfrak q_N)$ or superalgebra, one constructs an operator product $\prod_{i=1}^n(G_i + M^{(i)})$, where $G_i$ are odd generator matrices and $M^{(i)}$ are odd Jucys–Murphy elements. Under the Howe action (on polynomials), this operator maps to $X_1 X_2 \dots X_n D_1 \dots D_n$, where $X_r$ and $D_r$ are coordinate and differential operators respecting superalgebraic commutation (Kashuba et al., 25 Dec 2025).
• In the Manin matrix/Grassmann algebra context, the identity is given by

$$\mathrm{coldet}\,X \cdot \mathrm{coldet}\,Y = \int \mathcal{D}(\psi, \psi^\dagger) \exp\left[\sum_{k \geq 0} \frac{1}{k+1} (\psi^\dagger A \psi)^k (\psi^\dagger X B^k Y \psi)\right]$$

where $A, B$ encode the commutator $[X, Y] = -AB$ (Caracciolo et al., 2013).

Even identity (classical, oscillator case):

• For the even Capelli case, one considers $\prod_{i=1}^n(F_i + x^{(i)})$ with $F_i$ even generators and $x^{(i)}$ even Jucys–Murphy elements, again mapping to the coordinate-differential product via the Howe action (Kashuba et al., 25 Dec 2025).
• The quantum-oscillator algebra version gives

$$\mathrm{coldet}\,X \cdot \mathrm{coldet}\,Y = \langle 0 | \mathrm{coldet}(a A + X (I - a^\dagger B)^{-1} Y) | 0 \rangle$$

where $a$, $a^\dagger$ are oscillator creation/annihilation operators (Caracciolo et al., 2013).

In the universal quantum matrix setting, Zaitsev’s identity reads (Zaitsev, 2024):

$$\prod_{k=1}^n (L_k - \mathbf{j}_k) = X_1 \cdots X_n D_1 \cdots D_n$$

where $L_k$ are "dynamical" generators (built from quantum matrix and differential operators) and $\mathbf{j}_k$ are (quantum) Jucys–Murphy elements. Specializing to superalgebraic variables and super-permutations recovers the odd (super) Capelli versions.

3. Quantum Immanants, Central Elements, and Harmonic Analysis

Quantum immanants—constructed via the action of primitive idempotents on products of shifted generators—form new, idempotent-based bases of the center in enveloping algebras. For $\mathfrak q_N$,

$S_\lambda = e_T \cdot \prod_{i=1}^n (F_i+\chi_i)$

for strict partition $\lambda$ and content data $\chi_i$ from barred tableaux $T$, providing central elements whose Harish–Chandra images coincide with factorial Schur $Q$-polynomials (Kashuba et al., 25 Dec 2025). Under highest-weight projection, multiplication by $S_\lambda$ acts as $Q_\lambda^+(y_1,\ldots,y_N)$.

In the matrix case, for $U(\mathrm{gl}_N)$ or $U(\mathrm{gl}_{M|N})$, quantum immanants are indexed by Young diagram idempotents:

$$C_\lambda^{\rm even} = \operatorname{Tr}_{(1 \dots n)} \left[\prod_{i=1}^n (L_i - c(i)) E^\lambda\right]$$

where $c(i)$ is the box content. In the odd/super case, the trace is replaced by the supertrace and $E^\lambda$ enters the graded Hecke algebra (Zaitsev, 2024).

These elements generalize classical Casimir and Capelli operators, determining the spectrum and diagonalization in Gelfand–Tsetlin-style bases, and linking to representation-theoretic eigenvalues for projective representations and symmetric functions.

4. Interpolation between Classical, Symmetric, and Super/Quantum Cases

Universal Capelli identities interpolate between classical results (Cauchy–Binet, Turnbull), higher immanantal cases (Williamson, Okounkov), symmetric determinants, permanents, and antisymmetric (Pfaffian) analogues:

• By varying idempotent choices ($A_r$, $S_r$, Pfaffian projector), one obtains even identities (symmetric/Pfaffian), odd identities (antisymmetric/minor/Pfaffian), and zero determinants for certain antisymmetric cases (Jing et al., 2023).
• The parameter matrix $H$ controls "quantum correction" terms, deforming from the classical case $H=0$ to shifted variants $H=I$ (Okounkov/Williamson) or scalar multiples for deep generalizations.
• In the RE algebra, varying $R$ and $q$ provides $q$-deformations and super-analogues, encapsulating both Capelli types in the same formalism (Zaitsev, 2024).

A summary table:

Case	Operator Structure	Idempotent/Correction
Even (classical)	$\prod (L_i - c(i))$ or $\prod (F_i + x^{(i)})$	Symmetric/antisymmetric JM, $H$
Odd (super/Grassmann)	$\prod (G_i + M^{(i)})$	Barred tableaux content, signs
Quantum	Products over RE/Hecke algebra elements	Quantum JM, $q, R$-parameters

5. Representation-Theoretic and Combinatorial Consequences

The universal odd and even Capelli identities yield explicit formulas:

• Diagonalization of central elements: In classical and superalgebraic settings, the shifted products of generators act diagonally on isotypic components associated to Young diagrams or strict partitions, with eigenvalues mirroring box contents (Zaitsev, 2024, Kashuba et al., 25 Dec 2025).
• Factoring invariant differential operators: Key for explicit realization of spherical functions, highest-weight projections, and constructing symmetry-adapted bases in polynomial representations (Kashuba et al., 25 Dec 2025).
• Connection to Schur functions: The Harish-Chandra images of quantum immanants are factorial Schur $Q$-polynomials, interpolating between classical symmetric functions and their projective/shifted versions.
• Duality frameworks: Sergeev duality (for queer superalgebra) and Howe–Schur–Weyl duality for $\mathrm{gl}_{M|N}$ relate Capelli operators to multiplicity spaces and intertwining actions of symmetric group algebras.

A plausible implication is that further exploration of $q$-deformations, super-RE algebras, and noncommutative boundary conditions could generate new families of determinantal identities and central elements for broader classes of quantum and super Lie algebras.

6. Unification and Specialization: Master Identities, Computational Examples

Master Capelli identities unify disparate cases by embedding all correction terms and grading conventions into operator products within tensor powers of generator and differential algebras:

• Jing–Liu–Zhang’s master immanantal identity incorporates both even and odd (antisymmetric/symmetric) cases, specialized via permutation idempotents and symmetry/antisymmetry of generating matrices (Jing et al., 2023).
• Zaitsev’s universal matrix Capelli identity encompasses Capelli operators for all quantum immanants in the RE algebra, with explicit correspondence for $\mathrm{gl}_{M|N}$ (Zaitsev, 2024).

Concrete computational examples (e.g., $n=2$ in $\mathrm{gl}(1|1)$, $n=3$ in $\mathrm{gl}(2|1)$) demonstrate how content subtraction and sign conventions precisely generate the invariant operator factorizations, with supertrace and grading rules inducing the necessary combinatorial corrections and cancellations (Zaitsev, 2024).

The universal odd and even Capelli identities, as now formulated, serve as a capstone result integrating classical, quantum, and superalgebraic invariant theory, representation classification, and symmetric function theory.