[論文レビュー] Sharp tridiagonal pairs

Kazumasa Nomura, Paul Terwilliger|ArXiv.org|Dec 21, 2007

Finite Group Theory Research参考文献 34被引用数 6

ひとこと要約

本稿では、最小固有空間の次元が1である「鋭い三重対角対（sharp tridiagonal pairs）」を導入し、幾何的・代数的性質を符号化するパラメータ配列を定義することで、その体系的かつ包括的な研究を実施する。この対の同型類がそのパラメータ配列によって決定されるならば、両演算子が自己随伴となるような一意な対称双一次形式が存在することを証明し、代数的閉体上における三重対角対の構造に関する重要な予想を支持する。

ABSTRACT

Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. We consider a pair of $K$-linear transformations $A:V o V$ and $A^*:V o V$ that satisfies 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 {\em 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. We say the pair $A,A^*$ is {\em sharp} whenever $\dim V_0=1$. A conjecture of Tatsuro Ito and the second author states that if $K$ is algebraically closed then $A,A^*$ is sharp. In order to better understand and eventually prove the conjecture, in this paper we begin a systematic study of the sharp tridiagonal pairs.

研究の動機と目的

• 最小固有空間の次元が1である三重対角対（鋭い三重対角対）の構造を調査し、長年の予想の証明に向けた一歩を踏み出す。
• 鋭い三重対角対の幾何的・代数的不変量を符号化するパラメータ配列を定義し、その分析を行う。
• 鋭い三重対角対の同型類がそのパラメータ配列によって決定される条件を確立する。
• 基底となるベクトル空間上に、両演算子が自己随伴となるような対称双一次形式の存在を調査する。
• 三重対角対の代数的構造、特に可換代数と体拡張との関係に関する今後の研究のための道具と予想を提示する。

提案手法

• 三重対角構造からの固有値および交差数を用いて、鋭い三重対角対のパラメータ配列を定義する。
• AとA*の入れ替え、固有空間の順序の反転、または双対化といった対称性の下でのパラメータ配列の変換挙動を分析する。
• 特定の条件下で、パラメータ配列を用いて三重対角対の同型類を再構成する。
• 任意のu, v ∈ Vに対して⟨Au, v⟩ = ⟨u, Av⟩および⟨A*u, v⟩ = ⟨u, A*v⟩を満たす、ベクトル空間V上に対称双一次形式⟨·, ·⟩を構成する。
• 同型類がパラメータ配列によって決定されるならば、End(V)に一意な反自己同型†が存在し、すべてのX ∈ End(V)に対してX^†† = Xを満たすことを証明する。
• 理論を応用し、E₀*TE₀*が可換代数であり、場合によってはKの体拡張であると予想する。これにより、構造と体論の間の関係を結ぶ。

実験結果

リサーチクエスチョン

• RQ1 鋭い三重対角対の同型類がそのパラメータ配列によって決定される条件は何か？
• RQ2 AとA*の入れ替えや固有空間の順序の反転といった双対性の下で、パラメータ配列はどのように変化するか？
• RQ3 ベクトル空間V上に対称双一次形式が存在するならば、AおよびA*がその形式に関して自己随伴であると結論づけられるか？
• RQ4 鋭い条件のもとで、代数E₀*TE₀*が可換であるか、あるいはKの体拡張であると示せるか？
• RQ5 パラメータ配列を用いて、分割空間Uᵢ上での演算子(43)の固有値はどのように表現できるか？

主な発見

• パラメータ配列が鋭い三重対角対の同型類を完全に決定するための必要十分条件は、Vに両AおよびA*が自己随伴となる非退化な対称双一次形式が存在することである。
• パラメータ配列は、AとA*の入れ替え、A-固有空間の順序の反転、A*-固有空間の順序の反転という3つの対称性の下で、予測可能な方法で変化する。
• 同型類がパラメータ配列によって決定されるならば、End(V)にAおよびA*を固定する一意な反自己同型†が存在し、すべてのX ∈ End(V)に対してX^†† = Xを満たす。
• 対称双一次形式⟨·, ·⟩はスカラー倍を除き一意であり、関連する反自己同型の性質から対称的であることが示される。
• 同型類がパラメータ配列によって決定されるという仮定の下で、代数E₀*TE₀*はE₀*D E₀*によって生成され、可換である。
• 射影EᵢE₀*およびEᵢE₀*の積のトレースは、パラメータ配列を用いて表現可能であり、代数的不変量と配列との間の定量的関係を提供する。