[論文レビュー] 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の3つの無限族による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型の3つの無限族に分類すること。
• TB設定における固有値配列、交差数、行列表現などの構造的性質を調査すること。
• TB三重対角対とAskey-Wilson代数、三重対角代数、およびダブルアフィンヘッケ代数などの代数との関係を確立すること。
• TB三重対角対がリー代数および量子群の表現から自然に生じることを示すこと。

提案手法

• 標準的な三重対角条件の代わりに、$A^*V_i \subseteq V_{i-1} + V_{i+1}$ および $AV^*_i \subseteq V^*_{i-1} + V^*_{i+1}$ によるブロック二部分割作用を用いてTB三重対角対を定義する。
• 標準基底と$A$および$A^*$の固有基底を用いた行列表現を導入し、作用行列の明示的計算を可能にする。
• 固有値配列と交差数を導出し、これらがTB系を特徴付ける役割を示す。
• TB設定における$A$と$A^*$が満たす基本的な代数的恒等式としてAskey-Wilson関係を確立する。
• 固有値配列に関する再帰関係を用いて、同型を除いて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型の3つの無限族に分類される。
• TB三重対角対ではAskey-Wilson関係が成り立ち、その$\mathbb{Z}_3$-対称版は、基礎代数の自己同型によって実現される。
• モジュラー群$\mathrm{PSL}_2(\mathbb{Z})$は、$A$と$A^*$によって生成される代数上に自己同型の群として作用し、生成子を巡回的に置き換える。
• 自己双対なTB三重対角対は存在し、対称的固有値配列と双対変換に対して不変であることで特徴づけられる。
• TB三重対角対は、$\mathfrak{sl}_2$、$U_q(\mathfrak{so}_3)$、および反交換子スピン代数の有限次元非可約表現から自然に生じる。
• TB三重対角対の理論は、レオナード三重対を研究する最小限の枠組みを提供し、各TB対は第三の作用素を追加することでレオナード三重対に拡張可能である。