Traceless projection of mixed tensor products, and walled Brauer algebras

Basic Information

• Paper ID: 2511.00303
• Title: Traceless projection of mixed tensor products, and walled Brauer algebras
• Author: Y. O. Goncharov (ESIEE Paris, Université Gustave Eiffel & Institut Denis Poisson, Université de Tours)
• Classification: math.RT (Representation Theory), math-ph (Mathematical Physics), math.MP (Mathematical Physics)
• Publication Date: October 31, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2511.00303

Abstract

This paper describes a self-contained program for constructing traceless projections of mixed tensor products (composed of finite-dimensional complex vector spaces and their duals). The construction relies on Schur-Weyl duality for the general linear group and involves its rational representations. By identifying the traceless subspace as a specific rational representation, the traceless projection operator commuting with group actions can be understood as a uniquely defined idempotent in the centralizer algebra. We also identify and construct analogues of traceless projectors in the walled Brauer algebra when it is semisimple. Among possible applications of traceless projectors, we demonstrate how the result applies to mixed tensor products composed of finite-dimensional Hermitian spaces and their complex conjugates.

Research Background and Motivation

Problem Definition

The core problem addressed in this paper is the construction of traceless projections for mixed tensor products. Given a finite-dimensional complex vector space V (dimension N) and its dual V*, for arbitrary positive integers m and n, consider the mixed tensor product:

$V^{\otimes m} \otimes (V^*)^{\otimes n}$

This space possesses a uniquely defined traceless subspace, whose elements vanish under standard contraction applied to any pair of positions corresponding to V and V*.

Research Significance

1. Theoretical Importance: Traceless projections hold a foundational position in representation theory, particularly in the theory of rational representations of GL(N)
2. Applied Value: Widely used in physics, such as traceless Riemann tensors in general relativity and elasticity theory
3. Mathematical Structure: Establishes deep connections between group representation theory and centralizer algebras through Schur-Weyl duality

Limitations of Existing Methods

1. Traditional approaches typically rely on metric structures, whereas this paper's construction is inherently based on complex vector spaces
2. Existing constructions are often limited to specific cases, lacking a unified treatment framework
3. For small dimensions N, existing methods lack elegance in their treatment

Research Motivation

The motivation for this research is to establish a self-contained, unified method for constructing traceless projections that:

• Does not depend on metric structures
• Applies uniformly for all N ≥ 1
• Provides projectors in factorized form
• Establishes connections with Brauer algebra theory

Core Contributions

1. Proposes a self-contained construction program for traceless projections of mixed tensor products: Based on Schur-Weyl duality, constructs traceless projectors through the theory of rational representations of GL(N)
2. Establishes traceless projectors in factorized form: $P_{m,n} = \prod_{a \in \text{spec}(A_{m,n})\setminus\{0\}} \left(1 - \frac{1}{a}A_{m,n}\right)$
3. Completely determines the spectrum of operator $A_{m,n}$: Provides an explicit algorithm through combinatorial operations on Young diagrams
4. Constructs analogues in the walled Brauer algebra: When $B_{m,n}(\delta)$ is semisimple, constructs corresponding splitting idempotents
5. Provides restricted traceless projectors: For tensors with specific permutation symmetries, reduces the number of required factors
6. Establishes connections with Hermitian spaces: Demonstrates how results apply to the unitary group U(p,q)

Methodology Details

Task Definition

Given a finite-dimensional complex vector space V (dim V = N) and its dual V*, for positive integers m and n, construct a projection operator from the mixed tensor product $V^{m,n} = V^{\otimes m} \otimes (V^*)^{\otimes n}$ to its traceless subspace $V^{m,n}_0$.

Core Construction Method

1. Definition of Traceless Subspace

The traceless subspace is defined as the common kernel of all contraction maps: $V^{m,n}_0 = \bigcap_{1 \leq a \leq m, 1 \leq b' \leq n} \ker(\text{tr}_{ab'})$

where $\text{tr}_{ab'}$ is the map contracting the a-th V factor with the b'-th V* factor.

2. Key Operator $A_{m,n}$

Define the operator: $A_{m,n} = \sum_{1 \leq a \leq m, 1 \leq b' \leq n} \tau_{ab'}$

where $\tau_{ab'} = \text{tr}^+_{ab'} \circ \text{tr}_{ab'}$, and $\text{tr}^+_{ab'}$ is the insertion map.

Lemma 2.1 proves that $A_{m,n}$ possesses the following key properties:

• Diagonalizable
• $\ker(A_{m,n}) = V^{m,n}_0$
• $\text{spec}(A_{m,n}) \subseteq \mathbb{R}_{\geq 0}$

3. Algorithm for Spectrum Determination

The spectrum of $\text{spec}(A_{m,n})$ is determined through the following four-step algorithm:

Step 1: Write out all pairs $(ρ,σ) \in P_{m,n}(N)$

Step 2: For each pair, construct $\overline{σ}$ and apply the Littlewood-Richardson rule

Step 3: Construct $(μ,ν) = s^{-1}[λ,σ_1]$ and skew Young diagrams $ρ/μ$, $σ/ν$

Step 4: Compute eigenvalues $Nr + c(ρ/μ) + c(σ/ν)$

where $r = |ρ| - |μ| = |σ| - |ν|$, and $c(·)$ denotes the content function.

Technical Innovations

1. Clever Application of Schur-Weyl Duality

The paper establishes a see-saw diagram:

B_{m,n}(N) ← → C_{m,n}(N)
    ↑              ↑
S_{m,n}(N) ← → GL(N)×GL(N)
    ↑              ↑
C[S_m×S_n] ← →    GL(N)

utilizing the interplay between two Schur-Weyl dualities to determine the branching rules of the centralizer algebra.

2. Advantages of Factorized Form

The factorized form of the traceless projector provides significant flexibility:

• Allows extension of $\text{spec}(A_{m,n})$ to arbitrary finite subsets while maintaining projectivity
• For tensors with specific symmetries, reduces the number of required factors
• Preserves permutation symmetry at each application step

3. Unified Treatment of All Dimensions

Unlike methods relying on Brauer algebra representation theory, this paper's approach provides a unified construction for all N ≥ 1, avoiding the complexity of non-semisimple Brauer algebras when N ≤ m+n-1.

Experimental Setup

Theoretical Verification

This is primarily a theoretical work, with correctness verified through rigorous mathematical proofs. Main verifications include:

1. Verification of Simple Cases:
   • The case m=n=1 recovers the familiar traceless projection for square matrices
   • The case m=2,n=1 yields concrete projection formulas
2. Consistency with Known Results:
   • When N ≥ m+n, results are consistent with Brauer algebra theory
   • For tensors with specific symmetries, results simplify to expected forms

Concrete Examples

Example 1: Case m=n=1

For N ≥ 2, $\text{spec}(A_{1,1}) = \{0,N\}$, yielding: $P_{1,1} = 1 - \frac{1}{N}\tau_{1,1'}$

This is precisely the familiar traceless projection for square matrices: $t^i_j \mapsto t^i_j - \frac{1}{N}\delta^i_j t^k_k$

Example 2: Case m=2,n=1

For N ≥ 2, $\text{spec}(A_{2,1}) = \{0,N-1,N+1\}$, yielding: $P_{2,1} = \left(1 - \frac{1}{N-1}A_{2,1}\right)\left(1 - \frac{1}{N+1}A_{2,1}\right)$

Experimental Results

Main Results

Theorem 2.8 (Complete Characterization of Spectrum)

For arbitrary m,n ≥ 1 and N ≥ 1, the eigenvalues of $A_{m,n}$ are completely characterized by: $a = rN + c(ρ/μ) + c(σ/ν)$

where $r \in \{0,1,...,\min(m,n)\}$, $(ρ,σ) \in P_{m,n}(N)$, $(μ,ν) \in Λ^{(r)}_{m,n}(N)$, and $c^{μν}_{ρσ}(N) \neq 0$.

Theorem 3.1 (Splitting Idempotent)

The traceless projector $P_{m,n}$ is a splitting idempotent of the short exact sequence: $C_{m,n}(N) \cong P_{m,n}C_{m,n}(N) \oplus J$

where J is the annihilating ideal of the traceless subspace.

Results on Restricted Projectors

Theorem 2.9 provides optimized projection formulas for tensor subspaces with specific GL(N)×GL(N) symmetries. For example:

• Symmetric tensors: only require applying the factor corresponding to eigenvalue N+1
• Antisymmetric tensors: only require applying the factor corresponding to eigenvalue N-1

Results in Brauer Algebras

Theorem 3.7 constructs analogous splitting idempotents in the semisimple walled Brauer algebra $B_{m,n}(δ)$, and when δ=N and N ≥ m+n-1, its action is consistent with the traceless projector.

Related Work

Representation Theory Foundations

This paper builds on the following classical theories:

1. Schur-Weyl Duality: Pioneering work by I. Schur and H. Weyl
2. Rational Representations of GL(N): Systematic research by Koike and others
3. Brauer Algebra Theory: Original work by R. Brauer and subsequent developments

Connections with Physical Applications

1. General Relativity: Decomposition of traceless Riemann tensors
2. Elasticity Theory: Traceless parts of stress tensors
3. Higher Spin Field Theory: Applications to Carroll and Galilei groups

Related Algebraic Structures

1. Jucys-Murphy Elements: Similar constructions in symmetric group algebras
2. Universal Characters: Applications in representation theory
3. Cellular Algebras: Cellular structure of Brauer algebras

Conclusions and Discussion

Main Conclusions

1. Establishes a complete theoretical framework for traceless projections of mixed tensor products
2. Provides an explicit algorithm for computing eigenvalues
3. Proves the universal applicability and optimization possibilities of the method
4. Establishes deep connections with Brauer algebra theory

Limitations

1. Computational Complexity: For large m, n, N, computational complexity may be high
2. Scope of Application: Primarily applicable to complex vector spaces; real vector spaces require additional consideration
3. Numerical Implementation: Optimality of the factorized form in numerical applications remains to be verified

Future Directions

1. Complete Decomposition: Construct a complete set of central idempotents decomposing mixed tensor spaces into traceless, doubly traceless, and other subspaces
2. Non-semisimple Cases: Study cases where the Brauer algebra is non-semisimple
3. Numerical Algorithms: Develop efficient numerical implementation algorithms
4. Physical Applications: Verify applications in concrete physical problems

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Provides a complete mathematical framework with rigorous proofs
2. Methodological Innovation: Cleverly applies Schur-Weyl duality to circumvent difficulties in traditional methods
3. Universal Applicability: Provides unified treatment for all dimensions N
4. Practical Value: Factorized form provides computational flexibility
5. Clear Presentation: Well-structured paper with accurate mathematical exposition

Weaknesses

1. Computational Complexity: Computation may become difficult for large parameters
2. Insufficient Application Verification: Lacks numerical verification in concrete physical problems
3. Software Integration: Does not discuss integration with existing symbolic computation software

Impact

1. Academic Contribution: Provides new tools for representation theory and mathematical physics
2. Interdisciplinary Value: Connects pure mathematics with physical applications
3. Foundation for Future Research: Establishes foundation for research on related problems

Applicable Scenarios

1. Theoretical Physics: Tensor analysis in field theory
2. Differential Geometry: Tensor decomposition in Riemannian geometry
3. Algebra: Research in representation theory and invariant theory
4. Numerical Computation: Preprocessing for large-scale tensor computations

References

This paper cites 39 important references spanning multiple fields including representation theory, algebraic geometry, and mathematical physics, providing a solid theoretical foundation for the research.