[论文解读] 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三元组，利用迹和投影幂等元数据，显式构造了此类三对角变换空间的基，并以参数$t$、$\rho_0$、$\rho'_0$、$\rho''_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.

研究动机与目标

• 研究与LR三元组三重分解中所有三个分解均三对角的线性变换。
• 对由此类三对角变换构成的向量空间$\mathcal{X}$的结构进行分类。
• 当LR三元组不与$q$-Weyl型三元组关联时，为$\mathcal{X}$提供一个基。
• 利用迹和投影幂等元数据，表达$A$、$B$、$C$及其乘积在基元素上的作用。
• 分析双分LR三元组中$\mathcal{X}$关于子空间$\mathcal{X}J$和$\mathcal{X}(I-J)$的分解。

提出的方法

• 将三对角空间$\mathcal{X}$定义为满足对所有$i$有$XV_i \subseteq V_{i-1} + V_i + V_{i+1}$的线性变换$X \in \text{End}(V)$的集合，其中$\{V_i\}$是与三重分解$(A,B)$、$(B,C)$和$(C,A)$相关的分量。
• 利用与每个分解关联的投影幂等序列$\{E_i\}$、$\{E'_i\}$、$\{E''_i\}$来定义$\mathcal{X}$的结构。
• 采用迹数据$a_i = \text{tr}(CE_i)$、$a'_i = \text{tr}(AE'_i)$、$a''_i = \text{tr}(BE''_i)$来参数化空间，并区分$q$-Weyl型与非$q$-Weyl型LR三元组。
• 对于非$q$-Weyl型LR三元组，构造$\mathcal{X}$的基为$\{J, AJ, BJ, ACBJ\}$和$\{I-J, A(I-J), B(I-J), ABC(I-J)\}$，其中$J$为双分情形下的中心投影幂等元。
• 通过依赖于参数$t$、$\rho_0$、$\rho'_0$、$\rho''_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$为中央投影幂等元。
• $C$在基$\{J, AJ, BJ, ACBJ\}$上的作用由包含$\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)\}$，且$C$在$I-J$上的作用中，$A(I-J)$的系数为$-\frac{\rho_0 \rho'_0}{t}$，表明存在非平凡相互作用。
• 对于$t$-变形情形和$t=1$情形，均显式列出了$\mathcal{X}J$和$\mathcal{X}(I-J)$的完整系数矩阵，从而对$\mathcal{X}$实现了完全参数化。