2025-11-13T10:46:10.989072

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

Ayyer, Kumari

We revisit factorizations of classical characters under various specializations, some old and some new. We first show that all characters of classical families of groups twisted by odd powers of an even primitive root of unity factorize into products of characters of smaller groups. Motivated by conjectures of Wagh and Prasad (Manuscr. Math. 2020), we then observe that certain specializations of Schur polynomials factor into products of two characters of other groups. We next show, via a detour through hook Schur polynomials, that certain Schur polynomials indexed by staircase shapes factorize into linear pieces. Lastly, we consider classical and universal characters specialized at roots of unity. One of our results, in parallel with Schur polynomials, is that universal characters take values only in $\{0, \pm 1, \pm 2\}$ at roots of unity.

academic

古典的および普遍的指標の1の冪根による捻り：さらなる結果

基本情報

論文ID: 2501.00275
タイトル: Further results for classical and universal characters twisted by roots of unity
著者: Arvind Ayyer, Nishu Kumari
分類: math.CO（組合数学）、math.RT（表現論）
投稿日時: 2024年12月31日にarXivに投稿
論文リンク: https://arxiv.org/abs/2501.00275

要旨

本論文は、古典群の指標の様々な特殊化における因式分解を再検討し、古典的結果と新しい結果の両方を網羅している。まず、すべての古典群族の指標が、偶数位数の原始1の冪根の奇数乗による捻りの下で、より小さい群の指標の積に因式分解できることを証明する。Waghおよび Prasad予想に触発されて、Schur多項式の特定の特殊化が他の群の2つの指標の積に分解できることを観察する。フック形Schur多項式を経由した迂回路により、階段形状でインデックス付けされた特定のSchur多項式が線形因子に分解できることを証明する。最後に、1の冪根で特殊化された古典的および普遍的指標を考察し、普遍的指標が1の冪根でのみ $\{0, \pm 1, \pm 2\}$ の値をとることを証明する。

研究背景と動機

問題背景

古典Lie群の既約指標は多くの顕著な性質を持ち、本論文はこれらの指標の異なる特殊化における因式分解性質に焦点を当てている。この研究領域は長い歴史を有している：

歴史的発展: Littlewoodおよび Richardsonは、一般線形群 $GL_n(\mathbb{C})$ の指標（Schur多項式としても知られる）が変数が1の冪根である場合に $\{-1, 0, 1\}$ に特殊化されることに最初に気づいた学者である。
既存の研究:
- Lecouveyは古典指標因式分解の一般化を独立に発見
- 著者の先行研究AK22も同様にこれらの結果を独立に発見
- Kumariはこれらの因式分解をより多くの特殊化およびフック形Schur関数に推広
- Albionは他のWeyl群型への推広を実施

研究動機

理論の完成: 既存の因式分解結果をより一般的な場合に拡張する
予想の検証: Prasadおよび Wagh予想に触発されて、異なる群指標間の関係を探索する
新しい特殊化: 偶数位数の原始1の冪根の奇数乗による捻りというこの新しい特殊化を考察する

核心的貢献

捻り因式分解定理: すべての古典群族の指標が、偶数位数の原始1の冪根の奇数乗による捻りの下での因式分解公式を証明
群指標関係: 1の冪根特殊化の下での異なる古典群指標間の等式関係を確立し、Prasad-Wagh予想の証拠を提供
フック形Schur多項式等式: 普遍的指標の独立性を通じて、Schur多項式が対応するフック形Schur多項式に等しいための必要十分条件を提示
1の冪根での値域: 普遍的指標が1の冪根でのみ $\{0, \pm 1, \pm 2\}$ の値をとることを証明し、Littlewoodの古典的結果を推広
階段形状因式分解: 階段形状でインデックス付けされたSchur多項式の明示的因式分解公式を証明

方法の詳細

基礎理論フレームワーク

分拆と核商理論

本論文は分拆の核商分解理論に基づいている。分拆 $\lambda$ と正整数 $t > 2$ に対して、一意の $t$ -核 $\text{core}_t(\lambda)$ と $t$ -商 $\text{quot}(\lambda) = (\lambda^{(0)}, \ldots, \lambda^{(t-1)})$ が存在する。

古典指標の定義

Schur多項式: $s_\lambda(X) = \det(h_{\lambda_i-i+j}(X))_{1 \leq i,j \leq n}$
シンプレクティック群指標: $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}$
直交群指標: $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}$

核心的技術方法

1. 捻り因式分解技術

$t$ が4の倍数であり $\omega$ が原始 $t$ 次1の冪根である場合、特殊な変数組合を定義する： $X_\omega = (\omega X, \omega^3 X, \ldots, \omega^{t-1} X, \omega, \omega^3, \ldots, \omega^{t/2-1})$

定理3.1（Schur因式分解）: $\lambda \in P_{tn/2+t/4}$ とする。 $s_\lambda(X_\omega)$ が非ゼロであることと、 $\ell(\nu) \leq t/4$ かつ $\nu_1 \leq t/4$ （ここで $\nu = \text{core}_{t/2}(\lambda)$ ）は同値である。この場合、明示的因式分解公式が存在する。

2. 群指標関係の確立

巧妙な変数置換と既存の因式分解定理を通じて、異なる群間の指標関係を確立する：

定理4.4: $\mu \in P_{tn}$ および $\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. 普遍的指標の独立性

定理5.3: $\lambda \in P_{n-tm}$ 、 $f_\lambda(X) \in \{s_\lambda(X), sp_\lambda(X), o_\lambda(X)\}$ を普遍的指標とする。このとき $f_\lambda(x_1, \ldots, x_{n-tm}, Y, \omega Y, \ldots, \omega^{t-1}Y) = f_\lambda(x_1, \ldots, x_{n-tm})$ が成立することと $\lambda = \text{core}_t(\lambda)$ は同値である。