[论文解读] Totally bipartite tridiagonal pairs

Kazumasa Nomura, Paul Terwilliger|arXiv (Cornell University)|Nov 1, 2017

Finite Group Theory Research参考文献 53被引用 8

一句话总结

本文通过基本原理，不依赖一般三对角对理论，对线性代数中的完全双分（TB）三对角对——三对角对的特殊情形——提供了全面且自包含的导引。它建立了关键的结构结果，通过三个无穷族（Krawtchouk、Bannai/Ito、q-Racah）对TB系统进行分类，并揭示了其与Askey-Wilson代数、模群PSL₂(ℤ)及李代数的深刻联系。

ABSTRACT

There is a concept in linear algebra called a tridiagonal pair. The concept was motivated by the theory of $Q$-polynomial distance-regular graphs. We give a tutorial introduction to tridiagonal pairs, working with a special case as a concrete example. The special case is called totally bipartite, or TB. Starting from first principles, we give an elementary but comprehensive account of TB tridiagonal pairs. The following topics are discussed: (i) the notion of a TB tridiagonal system; (ii) the eigenvalue array; (iii) the standard basis and matrix representations; (iv) the intersection numbers; (v) the Askey-Wilson relations; (vi) a recurrence involving the eigenvalue array; (vii) the classification of TB tridiagonal systems; (viii) self-dual TB tridiagonal pairs and systems; (ix) the $\mathbb{Z}_3$-symmetric Askey-Wilson relations; (x) some automorphisms and antiautomorphisms associated with a TB tridiagonal pair; (xi) an action of the modular group ${ m PSL}_2(\mathbb{Z})$ associated with a TB tridiagonal pair.

研究动机与目标

• 提供完全双分三对角对的基础性、自包含处理，避免依赖一般三对角对理论。
• 将TB三对角系统分类为三个无穷族：Krawtchouk、Bannai/Ito与q-Racah类型。
• 探讨TB设定下的结构性质，如特征值数组、交数及矩阵表示。
• 建立TB三对角对与Askey-Wilson代数、三对角代数及双重仿射Hecke代数等代数之间的联系。
• 展示TB三对角对如何自然地从李代数与量子群的表示中产生。

提出的方法

• 通过块双分作用定义TB三对角对：$A^*V_i \subseteq V_{i-1} + V_{i+1}$ 与 $AV^*_i \subseteq V^*_{i-1} + V^*_{i+1}$，替代标准三对角条件。
• 引入标准基与矩阵表示，利用$A$与$A^*$的特征基，实现作用矩阵的显式计算。
• 推导特征值数组与交数，阐明其在刻画TB系统中的作用。
• 在TB设定下建立Askey-Wilson关系作为$A$与$A^*$满足的基本代数恒等式。
• 利用特征值数组上的递推关系，对TB三对角系统进行同构分类。
• 证明模群$\mathrm{PSL}_2(\mathbb{Z})$通过自同构作用于关联代数，揭示隐藏对称性。

实验结果

研究问题

• RQ1 如何在不依赖一般三对角对理论的前提下对TB三对角对进行分类？
• RQ2 特征值数组与交数在刻画TB三对角系统中起什么作用？
• RQ3 Askey-Wilson关系与$\mathbb{Z}_3$-对称关系如何在TB设定中出现？
• RQ4 模群$\mathrm{PSL}_2(\mathbb{Z})$如何作用于TB三对角对的代数？
• RQ5 TB三对角对与$\mathfrak{sl}_2$、$U_q(\mathfrak{so}_3)$及反对易自旋代数的表示有何关联？

主要发现

• TB三对角系统被完全分类为三个无穷族：基于特征值数组与递推结构的Krawtchouk、Bannai/Ito与$q$-Racah类型。
• Askey-Wilson关系在TB三对角对中成立，其$\mathbb{Z}_3$-对称版本通过底层代数的自同构实现。
• 模群$\mathrm{PSL}_2(\mathbb{Z})$作为自同构群作用于由$A$与$A^*$生成的代数，循环置换生成元。
• 自对偶的TB三对角对存在，其特征由对称的特征值数组及对偶变换下的不变性表征。
• TB三对角对自然地源于$\mathfrak{sl}_2$、$U_q(\mathfrak{so}_3)$及反对易自旋代数的有限维不可约表示。
• TB三对角对理论为研究Leonard三元组提供了一个最小框架，每个TB对可通过引入第三个算子扩展为一个Leonard三元组。