[論文レビュー] The Attenuated Space Poset $\mathcal{A}_q(N, M)$

Wen Liu|arXiv (Cornell University)|May 2, 2016

Algebraic structures and combinatorial models被引用数 3

ひとこと要約

本稿は、有限幾何から生じる一様なposetである弱化空間poset $ \mathcal{A}_q(N,M) $ のインシデント代数 $ T $ を研究し、生成子 $ R $, $ L $, $ K $ を導入し、それらの関係が行列 $ S $ を用いて洗練された形で表現できることを示している。中心 $ Z(T) $ を特徴づけ、$ \tau^2 = q $ を満たす量子群 $ U_\tau(\mathfrak{sl}_2) $ と関連づけ、また、2つの元 $ A, A^* $ が三重対角関係を満たし、完全可約 $ T $-加群上でレオナード対をなすための必要十分条件を確立している。

ABSTRACT

In this paper, we study the incidence algebra $T$ of the attenuated space poset $\mathcal{A}_q(N, M)$. We consider the following topics. We consider some generators of $T$: the raising matrix $R$, the lowering matrix $L$, and a certain diagonal matrix $K$. We describe some relations among $R, L, K$. We put these relations in an attractive form using a certain matrix $S$ in $T$. We characterize the center $Z(T)$. Using $Z(T)$, we relate $T$ to the quantum group $U_τ({\mathfrak{sl}}_2)$ with $τ^2=q$. We consider two elements $A, A^*$ in $T$ of a certain form. We find necessary and sufficient conditions for $A, A^*$ to satisfy the tridiagonal relations. Let $W$ denote an irreducible $T$-module. We find necessary and sufficient conditions for the above $A, A^*$ to act on $W$ as a Leonard pair.

研究の動機と目的

• 弱化空間poset $ \mathcal{A}_q(N,M) $ のインシデント代数 $ T $ の構造を調査すること。ここで、$ \mathcal{A}_q(N,M) $ は有限幾何から生じる一様なposetである。
• 生成子 $ R $（上昇）、$ L $（下降）、$ K $（対角）の代数的関係を分析し、それらを導出すること。
• インシデント代数の中心 $ Z(T) $ を特徴づけ、$ \tau^2 = q $ を満たす量子群 $ U_\tau(\mathfrak{sl}_2) $ と関連づけること。
• $ T $ の2つの元 $ A, A^* $ が三重対角関係を満たすための条件を特定すること。
• $ A, A^* $ が完全可約 $ T $-加群上でレオナード対をなすための必要十分条件を確立すること。

提案手法

• 弱化空間poset $ \mathcal{A}_q(N,M) $ を、$ \mathbb{F}_q $ 上の $ (N+M) $ 次元ベクトル空間において固定された $ M $ 次元部分空間と交わらない部分空間の集合として定義する。
• インシデント代数 $ T $ を、$ \mathcal{A}_q(N,M) $ の元で張られる複素数ベクトル空間とし、インシデント関係によって定義される乗法を導入する。
• 上昇行列 $ R $、下降行列 $ L $、対角行列 $ K $ を $ T $ の主要な生成子として導入し、それらの代数的関係を導出する。
• 行列 $ S \in T $ を導入し、$ R, L, K $ 間の関係を簡潔かつ洗練された形で表現する。
• 2つの族の中心的元を構成し、それらが $ Z(T) $ を生成することを証明することで、$ Z(T) $ を特徴づける。
• $ Z(T) $ の構造を用いて、$ \tau^2 = q $ を満たす量子群 $ U_\tau(\mathfrak{sl}_2) $ へのホモモーティズムを確立し、代数を量子群理論と関連づける。

実験結果

リサーチクエスチョン

• RQ1 インシデント代数 $ T $ の生成子 $ R, L, K $ 間の代数的関係は何か？
• RQ2 $ S \in T $ を用いて $ R, L, K $ 間の関係をどのように簡略化できるか？
• RQ3 中心 $ Z(T) $ の構造は何か？ また、$ \tau^2 = q $ を満たす量子群 $ U_\tau(\mathfrak{sl}_2) $ とどのように関連づけられるか？
• RQ4 $ T $ の2つの元 $ A, A^* \in T $ が三重対角関係を満たすための条件は何か？
• RQ5 $ A, A^* $ が完全可約 $ T $-加群 $ W $ 上でレオナード対をなすための条件は何か？ 必要十分条件は何か？

主な発見

• 生成子 $ R, L, K $ 間の関係は、行列 $ S $ を用いて完全に記述され、洗練された形で再定式化されており、代数的構造が簡略化されている。
• 中心 $ Z(T) $ は2つの族の中心的元によって生成され、$ \tau^2 = q $ を満たす $ U_\tau(\mathfrak{sl}_2) $ の中心と同型であることが示されている。
• インシデント代数 $ T $ は、$ Z(T) $ の構造から生じるホモモーティズムを通じて、量子群 $ U_\tau(\mathfrak{sl}_2) $ と関連づけられている。
• $ T $ の2つの元 $ A, A^* \in T $ が三重対角関係を満たすための必要十分条件が、パラメータ $ \xi_i, \theta_i, \theta_i^* $ を用いて導出されており、明示的な場合分け（I+, I−, I0, II+, II−, II0, III+, III−）がなされている。
• 端点 $ r $ と直径 $ d $ を持つ完全可約 $ T $-加群 $ W $ に対して、$ A, A^* $ がレオナード対をなすための必要十分条件は、パラメータ $ x $ についての特定の条件が成り立つことである：$ x \neq q^{r+d-N-M}(q-1)^2(bc^* + cb^*)q^{-i} $（$ 1 \leq i \leq d $）。
• 分類のすべてのケースにおいて、関連するパラメータ配列 $ (\theta_i, \theta_i^*, \varphi_i, \phi_i) $ は非退化であり、$ A, A^* $ が $ W $ 上でレオナード対をなすことを保証している。