[論文レビュー] How to sharpen a tridiagonal pair

Tatsuro Ito, Paul Terwilliger|ArXiv.org|Jul 25, 2008

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

ひとこと要約

本稿では、三重対の生成する代数の中心が、最小固有空間次元（$\rho_0$）に等しい次元の体であることを確立し、この中心を用いて元の三重対をこの体上の鋭い三重対として再解釈できることを示している。主な貢献は、中心を介した構造的鋭さの向上メカニズムであり、三重対にさらなる代数的対称性が潜んでいることを明らかにしている。

ABSTRACT

Let $\F$ denote a field and let $V$ denote a vector space over $\F$ 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 $\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 $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 {\it tridiagonal pair} on $V$. It is known that $d=δ$, and for $0 \leq i \leq d$ the dimensions of $V_i, V^*_i, V_{d-i}, V^*_{d-i}$ coincide. Denote this common dimension by $ρ_i$ and call $A,A^*$ {\it sharp} whenever $ρ_0=1$. Let $T$ denote the $\F$-subalgebra of ${ m End}_\F(V)$ generated by $A,A^*$. We show: (i) the center $Z(T)$ is a field whose dimension over $\F$ is $ρ_0$; (ii) the field $Z(T)$ is isomorphic to each of $E_0TE_0$, $E_dTE_d$, $E^*_0TE^*_0$, $E^*_dTE^*_d$, where $E_i$ (resp. $E^*_i$) is the primitive idempotent of $A$ (resp. $A^*$) associated with $V_i$ (resp. $V^*_i$); (iii) with respect to the $Z(T)$-vector space $V$ the pair $A,A^*$ is a sharp tridiagonal pair.

研究の動機と目的

• 三重対 $A, A^*$ が生成する部分代数 $T$ の代数的構造を理解すること。
• 三重対の表現論における中心 $Z(T)$ の役割を調査すること。
• 非鋭い三重対における構造的曖昧性を解消するために、中心を介してそれらが「鋭く」できるかどうかを示すこと。
• $Z(T)$ と特定のコーナー代数 $E_i T E_i$, $E^*_i T E^*_i$ 間の同型を確立すること。
• $A, A^*$ が体 $Z(T)$ 上で鋭い三重対をなすことの証明により、一般の場合を鋭い場合に還元すること。

提案手法

• $A$ と $A^*$ の三重対性質を活用し、$T$ を $\mathbb{F}$-部分代数 $\mathrm{End}_{\mathbb{F}}(V)$ として定義する。
• $TE^*_0 \times E^*_0T$ 上の非退化な双一次形式 $(-,-)$ を用いて双対性と次元一致を確立する。
• 双対基底 $\{x_i\}$, $\{x'_i\}$ を用いて、$E^*_0TE^*_0$ から $Z(T)$ への明示的逆写像を構成し、同型 $Z(T) \cong E^*_0TE^*_0$ を証明する。
• Wedderburn理論と以前のコーナー代数に関する結果を用いて、$Z(T)$ が自明でないイデアルを持たず、可換であることから、$Z(T)$ が体であることを証明する。
• $V$ を $Z(T)$-ベクトル空間と見たとき、$A$ と $A^*$ の作用が形状 $\{\rho_i / \rho_0\}$ で $\rho_0 / \rho_0 = 1$ となることから、鋭い三重対をなしていることを示す。
• $T$-加群 $TE^*_0$ の忠実性を用いて、中心同型写像の単射性と全射性を保証する。

実験結果

リサーチクエスチョン

• RQ1 三重対 $A, A^*$ が生成する代数の中心 $Z(T)$ の代数的構造は何か？
• RQ2 $Z(T)$ はコーナー代数 $E_i T E_i$ および $E^*_i T E^*_i$ とどのように関係しているか？
• RQ3 非鋭い三重対は、中心を介して体拡張上で鋭いものとして再解釈可能か？
• RQ4 $Z(T)$ は $E^*_0TE^*_0$ に同型であるか？ もしそうならば、その同型はどのように明示的に構成できるか？
• RQ5 $V$ を $Z(T)$ 上のベクトル空間と見たとき、三重対の形状は何か？

主な発見

• $A$ の最小固有空間の次元である $\rho_0$ に等しい次元の体である。$\mathbb{F}$ 上の代数 $T$ の中心 $Z(T)$ は、次元 $\rho_0$ の体である。
• $Z(T)$ は $E_0TE_0$, $E_dTE_d$, $E^*_0TE^*_0$, $E^*_dTE^*_d$ の各コーナー代数と同型であり、端点固有空間にわたる対称性を確立する。
• $z \mapsto zE^*_0$ による写像は、双対基底と双一次双対性を用いて構成される。これにより、$Z(T)$ から $E^*_0TE^*_0$ への体同型が得られる。
• $V$ を $Z(T)$-ベクトル空間と見たとき、$A$ と $A^*$ は形状 $\{\rho_i / \rho_0\}_{i=0}^d$ の鋭い三重対をなす。
• $T$-加群 $TE^*_0$ は既約的かつ忠実である。これは、中心同型写像の単射性と全射性を証明するために不可欠である。
• $\{\rho_i / \rho_0\}$ の形状は対称的かつ単峰的であり、$\rho_0 / \rho_0 = 1$ であるため、定義上鋭い三重対となる。