[論文レビュー] Towards a classification of the tridiagonal pairs

Kazumasa Nomura, Paul Terwilliger|ArXiv.org|Jan 4, 2008

Finite Group Theory Research参考文献 36被引用数 10

ひとこと要約

本稿は、三重対の基本的な代数的性質を確立する。具体的には、$E^*_0 \mathcal{D} \mathcal{D}^* \mathcal{D} E^*_0$ のスパンが $E^*_0 \mathcal{D} E^*_0 \mathcal{D} E^*_0$ のスパンと一致すること、および $E^*_0 \mathcal{D} E^*_0$ の元が可換することを証明する。これらの結果は、特に伊藤とタービリッジャーの予想に関連する、三重対の分類計画を支援する。

ABSTRACT

Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. Let $End(V)$ denote the $K$-algebra consisting of all $K$-linear transformations from $V$ to $V$. We consider a pair $A,A^* \in End(V)$ that satisfy (i)--(iv) below: (i) Each of $A,A^*$ is diagonalizable. (ii) There exists an ordering $\{V_i\}_{i=0}^d$ of the eigenspaces of $A$ such that $A^* V_i \subseteq V_{i-1} + V_{i} + V_{i+1}$ for $0 \leq i \leq d$, where $V_{-1}=0$ and $V_{d+1}=0$. (iii) There exists an ordering $\{V^*_i\}_{i=0}^δ$ of the eigenspaces of $A^*$ such that $A V^*_i \subseteq V^*_{i-1} + V^*_{i} + V^*_{i+1}$ for $0 \leq i \leq δ$, where $V^*_{-1}=0$ and $V^*_{δ+1}=0$. (iv) There is no subspace $W$ of $V$ such that $AW \subseteq W$, $A^* W \subseteq W$, $W eq 0$, $W eq V$. We call such a pair a {\em tridiagonal pair} on $V$. Let $E^*_0$ denote the element of $End(V)$ such that $(E^*_0-I)V^*_0=0$ and $E^*_0V^*_i=0$ for $1 \leq i \leq d$. Let $D$ (resp. $D^*$) denote the $K$-subalgebra of $End(V)$ generated by $A$ (resp. $A^*$). In this paper we prove that the span of $E^*_0 D D^*DE^*_0$ equals the span of $E^*_0D E^*_0DE^*_0$, and that the elements of $E^*_0 D E^*_0$ mutually commute. We relate these results to some conjectures of Tatsuro Ito and the second author that are expected to play a role in the classification of tridiagonal pairs.

研究の動機と目的

• 表現論における三重対の分類を支援する構造的性質を確立すること。
• 三重対の文脈において、部分代数 $E^*_0 \mathcal{D} E^*_0$ の代数的挙動を調査すること。
• スパン $E^*_0 \mathcal{D} \mathcal{D}^* \mathcal{D} E^*_0$ とスパン $E^*_0 \mathcal{D} E^*_0 \mathcal{D} E^*_0$ が一致することを証明すること。これは三重対の分類への重要な一歩である。
• $E^*_0 \mathcal{D} E^*_0$ の元が互いに可換することを示すこと。この性質は、分類計画において中心的な役割を果たすと予想される。
• 伊藤とタービリッジャーによる三重対の分類に関する未解決予想を支援する代数的ツールと構造的洞察を提供すること。

提案手法

• 三重対 $A, A^*$ に対して、$\mathcal{D}$ と $\mathcal{D}^*$ をそれぞれ $A$ と $A^*$ によって生成される $\text{End}(V)$ の $\mathbb{K}$-部分代数として定義する。
• 標準的順序における $A^*$ の最初の固有空間に対応する原始的イデムポテンである $E^*_0$ を導入する。
• テンソル積空間 $\mathcal{D} \otimes \mathcal{D}^* \otimes \mathcal{D}$ を用意し、$E^*_0 \mathcal{D} \mathcal{D}^* \mathcal{D} E^*_0$ への射影を表す商写像 $\pi$ を定義する。
• 基底元 $\{E_i \otimes E^*_0 \otimes E_j \mid 0 \leq i \leq j \leq d\}$ を用いて、$\pi$ の核 $R$ に対する補空間 $C$ を構成し、$C \subseteq \mathcal{D} \otimes E^*_0 \otimes \mathcal{D}$ であることを示す。
• 補題 10.1 を適用して、$E_i \otimes \tau^*_t(A^*) \otimes E_{i+t}$ が $R$ を法として $E_i \otimes E^*_0 \otimes E_{i+t}$ の倍数と同値であることを示し、$\pi$ の像に対する帰納的制御を可能にする。
• 核の包含関係 $R \subseteq \ker \pi$ と直和分解 $\mathcal{D} \otimes \mathcal{D}^* \otimes \mathcal{D} = C \oplus R$ を用いて、スパンの一致と可換性を証明する。

実験結果

リサーチクエスチョン

• RQ1 $E^*_0 \mathcal{D} \mathcal{D}^* \mathcal{D} E^*_0$ のスパンが $E^*_0 \mathcal{D} E^*_0 \mathcal{D} E^*_0$ のスパンと一致するか？
• RQ2 $E^*_0 \mathcal{D} E^*_0$ の元が乗法に関して可換であるか？
• RQ3 テンソル積 $\mathcal{D} \otimes \mathcal{D}^* \otimes \mathcal{D}$ の構造を分解して、核 $R$ に対する補空間を用いて $\pi$ の像を分離できるか？
• RQ4 テンソル積における $\tau^*_t(A^*)$ と $E^*_0$ の関係が $\pi$ の像にどのように関係するか？
• RQ5 これらの結果は、三重対の分類に関する伊藤とタービリッジャーの予想をどの程度支援するか？

主な発見

• スパン $E^*_0 \mathcal{D} \mathcal{D}^* \mathcal{D} E^*_0$ とスパン $E^*_0 \mathcal{D} E^*_0 \mathcal{D} E^*_0$ が一致することが、直和分解 $\mathcal{D} \otimes \mathcal{D}^* \otimes \mathcal{D} = C \oplus R$ と $\pi(C) = \pi(\mathcal{D} \otimes E^*_0 \otimes \mathcal{D})$ であることから示された。
• $E^*_0 \mathcal{D} E^*_0$ の元が互いに可換であることが、任意の $X, Y \in \mathcal{D}$ に対して $X \otimes E^*_0 \otimes Y - Y \otimes E^*_0 \otimes X \in R$ が成り立ち、$\pi$ を適用することで $E^*_0 X E^*_0 E^*_0 Y E^*_0 = E^*_0 Y E^*_0 E^*_0 X E^*_0$ が得られることから示された。
• 集合 $\{E_i \otimes E^*_0 \otimes E_j \mid 0 \leq i \leq j \leq d\}$ は、$\mathcal{D} \otimes \mathcal{D}^* \otimes \mathcal{D}$ における $R$ の補空間の基底をなしており、その元の数は $(d+1)(d+2)/2$ であり、$R$ の余次元と一致する。
• $\pi$ の核 $R$ が $E^*_0 \mathcal{D} \mathcal{D}^* \mathcal{D} E^*_0$ への射影の核に含まれるため、像は部分空間 $\mathcal{D} \otimes E^*_0 \otimes \mathcal{D}$ によって完全に捉えられる。
• $\tau^*_t(A^*)$ と補題 10.1 を用いた帰納的議論により、$\mathcal{D} \otimes \tau^*_t(A^*) \otimes \mathcal{D} \subseteq S$ が成り立つ。ここで $S$ は $R$ と基底元のスパンである。これにより、像の全容が捉えられた。
• これらの結果は、$E^*_0 \mathcal{D} E^*_0$ の代数的構造が可換であり、かつその三重積が $\mathcal{D} \mathcal{D}^* \mathcal{D}$-像と同じ空間を生成することを確認した。これは、三重対の分類への重要な一歩を提供する。