[論文レビュー] Linear transformations that are tridiagonal with respect to the three decompositions for an LR triple

Kazumasa Nomura|arXiv (Cornell University)|Aug 19, 2015

Advanced Topics in Algebra参考文献 5被引用数 5

ひとこと要約

本稿は、三つの線形作用素からなるLR三重項に付随する三つの分解に関して、三重対角となる線形変換の性質を特徴づけている。$q$-Weyl型LR三重項に付随しない場合、トレースおよび射影的データを用いて、パrameter $t$, $ _0$, $ '_0$, $ ''_0$, および次元 $d$ を用いて構造を分類する。空間の明示的基底を提供し、非$q$-Weyl型の場合の三重対角空間に対する完全な基底構成が主な貢献である。

ABSTRACT

Fix an integer $d \geq 0$, a field $\mathbb{F}$, and a vector space $V$ over $\mathbb{F}$ with dimension $d+1$. By a decomposition of $V$ we mean a sequence $\{V_i\}_{i=0}^d$ of $1$-dimensional subspaces of $V$ whose sum is $V$. For a linear transformation $A$ from $V$ to $V$, we say $A$ lowers $\{V_i\}_{i=0}^d$ whenever $A V_i = V_{i-1}$ for $0 \leq i \leq d$, where $V_{-1}=0$. We say $A$ raises $\{V_i\}_{i=0}^d$ whenever $A V_i = V_{i+1}$ for $0 \leq i \leq d$, where $V_{d+1}=0$. An ordered pair of linear transformations $A,B$ from $V$ to $V$ is called LR whenever there exists a decomposition $\{V_i\}_{i=0}^d$ of $V$ that is lowered by $A$ and raised by $B$. In this case the decomposition $\{V_i\}_{i=0}^d$ is uniquely determined by $A,B$; we call it the $(A,B)$-decomposition of $V$. Consider a $3$-tuple of linear transformations $A$, $B$, $C$ from $V$ to $V$ such that any two of $A$, $B$, $C$ form an LR pair on $V$. Such a $3$-tuple is called an LR triple on $V$. Let $α$, $β$, $γ$ be nonzero scalars in $\mathbb{F}$. The triple $αA, βB, γC$ is an LR triple on $V$, said to be associated to $A,B,C$. Let $\{V_i\}_{i=0}^d$ be a decomposition of $V$ and let $X$ be a linear transformation from $V$ to $V$. We say $X$ is tridiagonal with respect to $\{V_i\}_{i=0}^d$ whenever $X V_i \subseteq V_{i-1} + V_i + V_{i+1}$ for $0 \leq i \leq d$. Let $\cal X$ be the vector space over $\mathbb{F}$ consisting of the linear transformations from $V$ to $V$ that are tridiagonal with respect to the $(A,B)$ and $(B,C)$ and $(C,A)$ decompositions of $V$. There is a special class of LR triples, called $q$-Weyl type. In the present paper, we find a basis of $\cal X$ for each LR triple that is not associated to an LR triple of $q$-Weyl type.

研究の動機と目的

• 三重項に由来する三つの分解に関して、三重対角となる線形変換を研究すること。
• このような三重対角変換からなるベクトル空間 $\mathcal{X}$ の構造を分類すること。
• LR三重項が $q$-Weyl型でない場合に $\mathcal{X}$ の基底を提供すること。
• 作用素 $A$, $B$, $C$ およびそれらの積が基底要素に作用する様子をトレースおよび射影的データを用いて表現すること。
• 二部型LR三重項の場合に $\mathcal{X}$ を部分空間 $\mathcal{X}J$ と $\mathcal{X}(I-J)$ に分解すること。

提案手法

• 三重対角空間 $\mathcal{X}$ を、三つの分解 $(A,B)$, $(B,C)$, $(C,A)$ に関して、すべての $i$ に対して $XV_i \subseteq V_{i-1} + V_i + V_{i+1}$ を満たす線形変換 $X \in \text{End}(V)$ の集合として定義する。
• 各分解に付随する射影的列 $\{E_i\}$, $\{E'_i\}$, $\{E''_i\}$ を用いて $\mathcal{X}$ の構造を定義する。
• パrameter化と $q$-Weyl型と非$q$-Weyl型のLR三重項の区別に、トレースデータ $a_i = \text{tr}(CE_i)$, $a'_i = \text{tr}(AE'_i)$, $a''_i = \text{tr}(BE''_i)$ を用いる。
• 非$q$-Weyl型LR三重項の場合、$\mathcal{X}$ の基底を $\{J, AJ, BJ, ACBJ\}$ および $\{I-J, A(I-J), B(I-J), ABC(I-J)\}$ として構成する。ここで $J$ は二部型の場合の中心射影的である。
• パrameter $t$, $ _0$, $ '_0$, $ ''_0$, $d$ に依存する係数行列を用いて、$C$, $ABC$, $BAC$, $BCA$, $CAB$, $CBA$ の基底における像を表現する。
• 特に有限次元的不可約モジュールにおいて、$U_q(\mathfrak{sl}_2)$ および $\mathfrak{sl}_2$ の公平的表現を用いて構成を動機づける。

実験結果

リサーチクエスチョン

• RQ1 LR三重項の三つの分解に関して三重対角となる線形変換の空間 $\mathcal{X}$ の構造は何か？
• RQ2 LR三重項が $q$-Weyl型でない場合に、$\mathcal{X}$ の基底を明示的にどのように構成できるか？
• RQ3 トレースデータおよび射影的列は、三重対角空間の分類にどのような役割を果たすか？
• RQ4 $A$, $B$, $C$ およびそれらの積が $\mathcal{X}$ の基底要素に作用する様子はいかなるか？
• RQ5 $\mathcal{X}$ が $\mathcal{X}J$ と $\mathcal{X}(I-J)$ にどのように分解され、基底要素どうしが関係するか？

主な発見

• 非$q$-Weyl型LR三重項において、$d \geq 4$ で二部型の場合、三重対角変換の空間 $\mathcal{X}$ は基底 $\{J, AJ, BJ, ACBJ\}$ を持つ。ここで $J$ は中心射影的である。
• $\{J, AJ, BJ, ACBJ\}$ に対する $C$ の作用は、$\rho''_0$, $\rho'_0$, $t$ を含む係数によって与えられ、$CJ$ は $J$ の係数がゼロで、$AJ$, $BJ$, $ACBJ$ に対して非ゼロの項を持つ。
• $\text{B}_d(\mathbb{F}; t, \rho_0, \rho'_0, \rho''_0)$ の場合、$BACJ$ における $ABCJ$ の係数は $-\frac{\rho''_0}{\rho_0 \rho'_0}$ であり、トレースパラメータに依存することが示された。
• $t=1$ の場合、$\mathcal{X}(I-J)$ の係数行列は $\rho_0$, $\rho'_0$, $\rho''_0$ に関して有理的依存性を示し、$CBA(I-J)$ における $ABC(I-J)$ の係数が1であるため、正規化された構造であることが示された。
• $\mathcal{X}(I-J)$ は基底 $\{I-J, A(I-J), B(I-J), ABC(I-J)\}$ を持ち、$I-J$ に対する $C$ の作用は $A(I-J)$ の係数が $-\frac{\rho_0 \rho'_0}{t}$ であり、非自明な相互作用が存在することが示された。
• $t$-変形および $t=1$ の両ケースについて、$\mathcal{X}J$ および $\mathcal{X}(I-J)$ の完全な係数行列が明示的に表形式で与えられ、$\mathcal{X}$ の完全なパラメータ化が達成された。