Further results for classical and universal characters twisted by roots of unity

Basic Information

• Paper ID: 2501.00275
• Title: Further results for classical and universal characters twisted by roots of unity
• Authors: Arvind Ayyer, Nishu Kumari
• Classification: math.CO (Combinatorics), math.RT (Representation Theory)
• Submission Date: December 31, 2024 to arXiv
• Paper Link: https://arxiv.org/abs/2501.00275

Abstract

This paper revisits factorizations of characters of classical groups under various specializations, encompassing both classical and new results. First, it is proven that characters of all classical group families factor as products of characters of smaller groups under odd power twists by primitive roots of unity of even order. Inspired by the Wagh-Prasad conjecture, it is observed that certain specializations of Schur polynomials decompose as products of two characters of other groups. Via a detour through hook Schur polynomials, it is proven that certain Schur polynomials indexed by staircase shapes factor into linear factors. Finally, classical and universal characters specialized at roots of unity are considered, proving that universal characters at roots of unity take values only in $\{0, \pm 1, \pm 2\}$.

Research Background and Motivation

Problem Background

Irreducible characters of classical Lie groups possess many remarkable properties. This paper focuses on factorization properties of these characters under different specializations. This research area has a long history:

1. Historical Development: Littlewood and Richardson were among the first to recognize that characters of the general linear group $GL_n(\mathbb{C})$ (also called Schur polynomials) specialize to $\{-1, 0, 1\}$ when variables are roots of unity.
2. Existing Work:
   • Lecouvey independently discovered generalizations of classical character factorizations
   • The authors' previous work AK22 independently discovered these results
   • Kumari generalized these factorizations to more specializations and hook Schur functions
   • Albion extended to other Weyl group types

Research Motivation

1. Theoretical Refinement: Extending existing factorization results to more general cases
2. Conjecture Verification: Inspired by the Prasad-Wagh conjecture, exploring relationships between characters of different groups
3. New Specializations: Considering the new specialization of odd power twists by primitive roots of unity of even order

Core Contributions

1. Twisted Factorization Theorem: Proves factorization formulas for characters of all classical group families under odd power twists by primitive roots of unity of even order
2. Group Character Relations: Establishes equalities between characters of different classical groups under root of unity specializations, providing evidence for the Prasad-Wagh conjecture
3. Hook Schur Polynomial Equalities: Provides necessary and sufficient conditions for Schur polynomials to equal corresponding hook Schur polynomials via independence of universal characters
4. Value Range at Roots of Unity: Proves that universal characters at roots of unity take values only in $\{0, \pm 1, \pm 2\}$, generalizing Littlewood's classical result
5. Staircase Shape Factorization: Proves explicit factorization formulas for Schur polynomials indexed by staircase shapes

Methodology Details

Foundational Theoretical Framework

Partition and Core-Quotient Theory

The article is built on the core-quotient decomposition theory of partitions. For a partition $\lambda$ and positive integer $t > 2$, there exist unique $t$-core $\text{core}_t(\lambda)$ and $t$-quotient $\text{quot}(\lambda) = (\lambda^{(0)}, \ldots, \lambda^{(t-1)})$.

Classical Character Definitions

• Schur Polynomials: $s_\lambda(X) = \det(h_{\lambda_i-i+j}(X))_{1 \leq i,j \leq n}$
• Symplectic Group Characters: $sp_\lambda(X) = \frac{1}{2}\det(h_{\lambda_i-i+j}(X,\bar{X}) + h_{\lambda_i-i-j+2}(X,\bar{X}))_{1 \leq i \leq n}$
• Orthogonal Group Characters: $o_\lambda^{\text{even}}(X) = \det(h_{\lambda_i-i+j}(X,\bar{X}) - h_{\lambda_i-i-j}(X,\bar{X}))_{1 \leq i,j \leq n}$

Core Technical Methods

1. Twisted Factorization Technique

For $t$ a multiple of 4 and $\omega$ a primitive $t$-th root of unity, define a special variable combination: $X_\omega = (\omega X, \omega^3 X, \ldots, \omega^{t-1} X, \omega, \omega^3, \ldots, \omega^{t/2-1})$

Theorem 3.1 (Schur Factorization): Let $\lambda \in P_{tn/2+t/4}$. Then $s_\lambda(X_\omega)$ is nonzero if and only if $\ell(\nu) \leq t/4$ and $\nu_1 \leq t/4$, where $\nu = \text{core}_{t/2}(\lambda)$. In this case, an explicit factorization formula holds.

2. Group Character Relation Establishment

Through clever variable substitutions and existing factorization theorems, character relations between different groups are established:

Theorem 4.4: For $\mu \in P_{tn}$ and $\lambda = (\pm\mu)_{2tn+1}$, $s_\lambda(\tilde{X}, \omega\tilde{X}, \ldots, \omega^{t-1}\tilde{X}, 1) = sp_\mu(X,\omega X, \ldots, \omega^{t-1}X) \cdot o_\mu^{\text{even}}(X,\omega X, \ldots, \omega^{t-1}X, 1)$

3. Universal Character Independence

Theorem 5.3: Let $\lambda \in P_{n-tm}$ and $f_\lambda(X) \in \{s_\lambda(X), sp_\lambda(X), o_\lambda(X)\}$ be a universal character. Then $f_\lambda(x_1, \ldots, x_{n-tm}, Y, \omega Y, \ldots, \omega^{t-1}Y) = f_\lambda(x_1, \ldots, x_{n-tm})$ if and only if $\lambda = \text{core}_t(\lambda)$.

Technical Innovations

1. New Specialization Patterns: First systematic study of twists by odd powers of primitive roots of unity of even order, an important supplement to existing theory
2. Unified Treatment Method: Unified handling of different types of classical group characters through core-quotient decomposition theory
3. Hook Schur Polynomial Connection: Establishes necessary and sufficient conditions for equality between Schur polynomials and hook Schur polynomials, a new theoretical insight
4. Value Range Characterization: Completely characterizes possible values of universal characters at roots of unity, an important generalization of Littlewood's classical result

Experimental Setup

Theoretical Verification Methods

Since this is a pure mathematics paper, verification is conducted through:

1. Concrete Example Verification: Multiple specific partition examples are provided to verify theoretical results
2. Comparison with Known Results: New results are compared with known classical results for verification
3. Special Case Testing: Formulas are verified for small values such as $t=2,3,4$

Computational Tools

• Core-quotient decomposition algorithms for partitions
• Combinatorial properties of symmetric functions
• Elementary row operations on determinants

Experimental Results

Main Theoretical Results

1. Completeness of Twisted Factorization

Proves that for all classical group types (A, B, C, D), complete factorization formulas exist under odd power twists by primitive roots of unity of even order.

2. Group Relation Verification

• Verifies relationships between characters of symplectic group $Sp_{2tn}$ and general linear group $GL_{2tn+1}$
• Confirms relationships between odd orthogonal group $SO_{2tn+1}$ and general linear group $GL_{2tn}$
• Partially verifies relationships between even orthogonal group and symplectic group

3. Complete Value Range Characterization

Theorems 6.1-6.4: Completely determines values of all universal characters at roots of unity:

• Symplectic group universal characters: $\{0, \pm 1, \pm 2\}$
• Orthogonal group universal characters: $\{0, \pm 1\}$
• Odd orthogonal group universal characters: $\{0, \pm 1, \pm 2\}$

Specific Numerical Results

The paper provides multiple concrete computational examples verifying the correctness of theoretical formulas. For instance:

• For $\lambda = (5,2,2,1,1) \in P_6$, $t=3$, detailed calculations of its $\beta$-set and permutations
• Verification of factorization formulas for staircase shapes $(n+m, n+m-1, \ldots, 1)$

Related Work

Historical Development

1. Classical Work: Littlewood-Richardson (1934) pioneering work
2. Modern Development:
   • Lecouvey (2009) generalizations
   • Koike-Terada (1990) universal character theory
   • Prasad (2016) independent rediscovery

Relationship to This Paper

This paper extends existing work in the following ways:

• Generalizes to new twist patterns
• Establishes new relationships between different groups
• Refines value range theory at roots of unity

Parallel Work

• Albion (2023) similar work on other Weyl group types
• Karmakar (2024) character research at elements of order 2
• Kumar (2023) generalizations to flagged skew Schur polynomials

Conclusions and Discussion

Main Conclusions

1. Theoretical Completeness: Establishes complete factorization theory for classical group characters under new twist patterns
2. Deepened Group Relations: Discovers deeper connections between characters of different classical groups
3. Value Range Characterization: Completely determines possible values of universal characters at roots of unity
4. Application Extension: Provides partial evidence and counterexamples for the Prasad-Wagh conjecture

Limitations

1. Computational Complexity: Some factorization formulas involve complex symbolic computations
2. Specialization Restrictions: Main results are restricted to specific twist patterns
3. Group Type Asymmetry: Some results are not completely symmetric across different group types

Future Directions

1. Conjecture Refinement: Further verification or modification of the Prasad-Wagh conjecture
2. Computational Algorithms: Development of more efficient factorization computation algorithms
3. Application Extension: Application of results to other mathematical fields such as algebraic geometry and number theory

In-Depth Evaluation

Strengths

1. Theoretical Depth: The paper achieves substantial progress based on classical symmetric function theory
2. Technical Innovation: Introduces new twist patterns, enriching the existing theoretical framework
3. Systematicity: Unified treatment of all classical group types, demonstrating theoretical completeness
4. Rigor: Proofs are rigorous, logic is clear, and mathematical exposition is accurate

Weaknesses

1. Readability: Technical details are quite complex for non-specialists
2. Applicability: As pure mathematical theory, direct application value is limited
3. Completeness: Some conjectures receive only partial verification

Impact

1. Academic Value: Possesses important theoretical value in the intersection of representation theory and combinatorics
2. Subsequent Research: Provides new tools and directions for further research in related fields
3. Theoretical Construction: Perfects the theoretical system of factorization of classical group characters

Applicable Scenarios

1. Representation Theory Research: Provides new tools for research on Lie group representations
2. Combinatorial Mathematics: Has application value in symmetric functions and partition theory
3. Algebraic Geometry: May find applications in certain geometric problems

References

The paper cites 26 important references, primarily including:

• Littlewood & Richardson (1934): Pioneering work on root of unity specializations
• Koike & Terada (1990): Foundational universal character theory
• Macdonald (2015): Classical textbook on symmetric functions
• Authors' previous work AK22, Kum22, Kum24: Theoretical foundations of this paper

Overall Assessment: This is a high-quality pure mathematics paper achieving important progress in the intersection of classical representation theory and combinatorics. The paper demonstrates high technical depth and significant theoretical contributions, providing new theoretical tools and research directions for the development of related fields.