[論文レビュー] Tridiagonal pairs of shape (1,2,1)

Melvin A. Vidar|ArXiv.org|Feb 21, 2008

Mathematics and Applications参考文献 4被引用数 9

ひとこと要約

この論文は、体上での(1,2,1)型の三重対の分類を、パラメータ配列を導入することで行い、基底を6つ構成し、線形作用素AとA*がそれぞれの基底上でどのように作用するかを詳細に記述する。主な貢献は、同型類とパラメータ配列との間の一対一対応を確立することで、このような三重対の完全な分類を達成している。

ABSTRACT

Let $\mathbb F$ denote a field and let $V$ denote a vector space over $\mathbb F$ with finite positive dimension. We consider a pair of 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 $\lbrace V_i brace_{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 $\lbrace V^*_i brace_{i=0}^δ$ of the eigenspaces of $A^*$ such that $AV^*_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 {\it tridiagonal pair} on $V$. It is known that $d = δ$ and that for $0 \leq i \leq d$ the dimensions of $V_i, V_{d-i}, V^*_i, V^*_{d-i}$ coincide; we denote this common value by $ρ_i$. The sequence $\lbrace ρ_i brace_{i=0}^d$ is called the {\it shape} of the pair. In this paper we assume the shape is $(1,2,1)$ and obtain the following results. We describe six bases for $V$; one diagonalizes $A$, another diagonalizes $A^*$, and the other four underlie the split decompositions for $A,A^*$. We give the action of $A$ and $A^*$ on each basis. For each ordered pair of bases among the six, we give the transition matrix. At the end we classify the tridiagonal pairs of shape $(1,2,1)$ in terms of a sequence of scalars called the parameter array.

研究の動機と目的

• 体上での(1,2,1)型の三重対をパラメータ配列を用いて分類すること。
• このような三重対と関連するベクトル空間Vのための6つの異なる基底を構成すること。
• AとA*の作用が6つの基底それぞれでどのように働くかを記述すること。
• 6つの基底の順序付きすべてのペア間の移行行列を計算すること。
• 同型類の三重対(1,2,1)型とパラメータ配列との間の一対一対応を確立すること。

提案手法

• 対角化可能性、固有空間への三重対の作用、非可約性という条件を用いて三重対を定義する。
• 原始的イデムポテンスを用いてTD系の概念を導入し、その三重対がTD系の公理を満たすことを検証する。
• 6つの基底を構成する：Aを対角化する1つ、A*を対角化する1つ、およびスプリット分解から得られる4つ。
• 各基底におけるAとA*の行列表現を用いて、その作用を明示的に計算する。
• 線形代数的技法と基底変換を用いて、各基底ペア間の移行行列を導出する。
• パラメータ配列が三重対の同型類を一意に決定することを証明する。

実験結果

リサーチクエスチョン

• RQ1 体上での(1,2,1)型の三重対は、どのように完全に分類可能か？
• RQ2 このような三重対に関連するベクトル空間Vの6つの標準基底とは何か？ そしてAとA*はそれらの基底上でどのように作用するか？
• RQ3 6つの基底の各ペア間の移行行列は何か？
• RQ4 AとA*のスプリット分解は、三重対の構造とどのように関係しているか？
• RQ5 パラメータ配列は、(1,2,1)型の三重対の同型類を分類する上で果たす役割は何か？
• RQ6 与えられたパラメータ配列から、(1,2,1)型の三重対を明示的に構成できるか？

主な発見

• 本論文は、(1,2,1)型の三重対の同型類とパラメータ配列との間の一対一対応を確立した。
• 6つの異なる基底が構成された：Aを対角化する1つ、A*を対角化する1つ、およびスプリット分解から得られる4つ。
• AとA*が6つの基底それぞれでどのように作用するかが明示的に計算され、行列形式で記述された。
• 6つの基底の任意の2つ間の移行行列が計算され、それが適切に定義されていることが示された。
• パラメータ配列(θ₀, θ₁, θ₂; φ₁, φ₂, φ₃)が三重対の同型類を完全に決定する。
• 非可約性条件(vi)は、直和分解とランクの議論を用いて、非自明なAおよびA*-不変部分空間が存在しないことにより検証された。