[論文レビュー] The structure of a tridiagonal pair

Kazumasa Nomura, Paul Terwilliger|ArXiv.org|Feb 8, 2008

Finite Group Theory Research参考文献 38被引用数 5

ひとこと要約

この論文は、代数的に閉じた体上の三重対の基礎的な構造的性質を確立し、それらが鋭い（端点固有空間が1次元）こと、一意な非退化対称双一次形式を備え、両生成元を固定する一意な反自己同型写像を持つことを証明している。主な貢献は、このような対が固有値列および分割列によって、同型を除いて完全に分類可能であるということである。

ABSTRACT

Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. We consider a pair of linear transformations $A:V o V$ and $A^*:V o V$ that satisfy the following conditions: (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 tridiagonal pair on $V$. It is known that $d=δ$ and for $0 \leq i \leq d$ the dimensions of $V_i, V_{d-i}, V^*_i, V^*_{d-i}$ coincide. In this paper we show that the following (i)--(iv) hold provided that $K$ is algebraically closed: (i) Each of $V_0$, $V^*_0$, $V_d$, $V^*_d$ has dimension 1. (ii) There exists a nondegenerate symmetric bilinear form $(,)$ on $V$ such that $(Au,v)=(u,Av)$ and $(A^*u,v)=(u,A^*v)$ for all $u,v \in V$. (iii) There exists a unique anti-automorphism of $End(V)$ that fixes each of $A,A^*$. (iv) The pair $A,A^*$ is determined up to isomorphism by the data $(\{þ_i\}_{i=0}^d; \{þ^*_i\}_{i=0}^d; \{ζ_i\}_{i=0}^d)$, where $þ_i$ (resp. $þ^*_i$) is the eigenvalue of $A$ (resp. $A^*$) on $V_i$ (resp. $V^*_i$), and $\{ζ_i\}_{i=0}^d$ is the split sequence of $A,A^*$ corresponding to $\{þ_i\}_{i=0}^d$ and $\{þ^*_i\}_{i=0}^d$.

研究の動機と目的

• 代数的に閉じた体上の三重対の構造的性質を確立する。特に、端点固有空間と双一次形式に注目する。
• 代数的閉包の下で三重対が鋭い、すなわちその端点固有空間の次元が1であることを証明する。
• 両変換に関して不変な、対称的かつ非退化な双一次形式の存在と一意性を示す。
• 両生成元 $A$ と $A^*$ を固定する、自己準同型代数の唯一の反自己同型写像の存在を確立する。
• 鋭い三重対が、固有値列および分割列によって、同型を除いて完全に分類可能であることを証明する。

提案手法

• 三重系と関連するパラメータ配列を用いて、対の構造的データを符号化する。
• レナード対の理論と、既知の固有値列および形状対称性に関する結果を活用する。
• 分割列を用いて対をパラメータ化し、一意性を確立する。
• 部分加群と自己準同型代数を含む加群論的議論を用いて、双一次形式および反自己同型写像の一意性を証明する。
• 三重系の分類に依存して、共通のパラメータ配列を用いて同型を確立する。
• A と A* によって誘導される固有空間のフィルトレーションにおける対称性と双対性を用いて、構造的制約を導出する。

実験結果

リサーチクエスチョン

• RQ1 代数的に閉じた体上の三重対は、必然的に鋭い性質を持つのか。すなわち、その端点固有空間の次元は1であるのか。
• RQ2 すべての鋭い三重対は、両生成元に関して不変な一意な対称的かつ非退化双一次形式を持つのか。
• RQ3 自己準同型代数に、両 $A$ と $A^*$ を固定する唯一の反自己同型写像が存在するのか。
• RQ4 三重対はどの程度、固有値列および分割列によって分類可能なのか。
• RQ5 どのような条件下で、二つの三重系（または三重対）が同型となるのか。

主な発見

• 代数的に閉じた体上では、すべての三重対は鋭い。すなわち、固有空間 $V_0$, $V_d$, $V^*_0$, $V^*_d$ はそれぞれ次元1を持つ。
• すべての $u,v \in V$ に対して $\langle Au,v\rangle = \langle u,Av\rangle$ および $\langle A^*u,v\rangle = \langle u,A^*v\rangle$ を満たす、スカラー倍を除いて一意な対称的かつ非退化双一次形式が $V$ 上に存在する。
• すべての $X \in \text{End}(V)$ に対して $X^{\dagger\dagger} = X$ を満たす、$\text{End}(V)$ の唯一の反自己同型写像 $\dagger$ が存在し、$A$ と $A^*$ を固定する。
• 三重対は、三重組 $(\{\theta_i\}_{i=0}^d; \{\theta^*_i\}_{i=0}^d; \{\zeta_i\}_{i=0}^d)$ によって、同型を除いて完全に決定される。ここで $\theta_i, \theta^*_i$ は固有値であり、$\{\zeta_i\}$ は分割列である。
• 代数的に閉じた体上の鋭い三重系は、パラメータ配列が同一であるときかつそのときに限り同型である。
• 代数的に閉じた体上の三重対は、パラメータ配列が同一であるときかつそのときに限り同型である。