[論文レビュー] On *-representations of a certain class of algebras related to a graph

Vasyl Ostrovskyi|ArXiv.org|Jun 24, 2005

Advanced Operator Algebra Research参考文献 9被引用数 9

ひとこと要約

本稿では、スペクトルパラメータの選択にかかわらず、拡張されたディンキン図形（$\tilde{D}_4$、$\tilde{E}_6$、$\tilde{E}_7$、$\tilde{E}_8$）に関連する$*$-代数のすべての既約$*$-表現が、次元が有限であることを確立する。証明は、グラフ上の不変汎関数を導入・分析することに依拠しており、これらが拡張されたディンキン図形においてのみ一意に存在することを示し、コックスター関手を用いて反復的変換により表現を次元が有限のものに還元する。

ABSTRACT

We study families of self-adjoint operators with given spectra whose sum is a scalar operator. Such families are $*$-representations of certain algebras which can be described in terms of graphs and positive functions on them. The main result is that in the cases where the graph is one of the extended Dynkin graphs $ ilde D_4$, $ ilde E_6$, $ ilde E_7$ or $ ilde E_8$, all irreducible $*$-representations of the corresponding algebra are finite-dimensional. To prove this fact, we introduce the notion of invariant functional on a graph and give their description.

研究の動機と目的

• グラフとスペクトルデータによって定義される$*$-代数のクラスについて、その既約$*$-表現の次元の有限性を特定すること。
• 基礎となる図形が拡張されたディンキン図形である場合の$*$-表現の構造を特徴づけること。
• これらの代数の表現論を分析するための道具として、グラフ上の不変汎関数を導入し、分類すること。
• 一意な不変汎関数の存在と既約表現の次元の有限性との間の関係を確立すること。
• $\lambda \neq \omega(\chi)$ のとき、既約表現の剛性指数が2であることを証明すること。

提案手法

• 自己随伴作用素から生成される$*$-代数$\mathcal{A}_{\Gamma,\chi,\lambda}$を定義し、そのスペクトルの和が$\lambda I$に等しくなるようにパラメータ化する。ここで$\Gamma$はグラフ、$\chi$は特徴、$\lambda$はスカラーである。
• グラフ上の不変汎関数の概念を導入し、これはグラフの構造とスペクトルパラメータを含む特定の関数方程式を満たす。
• 方程式$n - s = \sum_{l=1}^n \frac{1}{1 + (s-1) + \cdots + (s-1)^{k_l}}$が一意に解$s=2$を持つのは、$\Gamma$が拡張されたディンキン図形である場合に限ることを示す。
• コックスター関手$S$と$T$を用いて表現を変換し、反復的適用によって任意の既約表現を1次元表現に還元する。
• 関手が剛性指数を保存することと、1次元表現が剛性指数2を持つことを利用して、結果を結論づける。
• 関手作用の下でのスペクトルパラメータの振る舞いを分析し、$\lambda < \omega(\chi)$のとき、繰り返し適用すると非正の係数を持つ表現が得られることを示し、これにより次元の有限性が導かれる。

実験結果

リサーチクエスチョン

• RQ1 グラフ$\Gamma$、特徴$\chi$、スカラー$\lambda$がどのような条件下で、$\mathcal{A}_{\Gamma,\chi,\lambda}$のすべての既約$*$-表現が次元が有限になるか。
• RQ2 グラフ上の不変汎関数が、代数$\mathcal{A}_{\Gamma,\chi,\lambda}$の表現型を決定する上で果たす役割は何か。
• RQ3 コックスター関手$S$と$T$は、$\chi$と$\lambda$のパラメータにどのように作用するか。また、剛性指数のような重要な不変量をどのように保存するか。
• RQ4 どのような種類のグラフに対して、方程式$n - s = \sum_{l=1}^n \frac{1}{1 + (s-1) + \cdots + (s-1)^{k_l}}$が解$s \geq 1$を持つのか。これは代数の表現論にどのような含意を持つのか。
• RQ5 $\lambda \neq \omega(\chi)$のとき、既約$*$-表現の剛性指数は何か。また、コックスター関手の作用によってその剛性指数はどのように保存されるか。

主な発見

• 拡張されたディンキン図形（$\tilde{D}_4$、$\tilde{E}_6$、$\tilde{E}_7$、$\tilde{E}_8$）である限り、$\chi$と$\lambda$の選択にかかわらず、$\mathcal{A}_{\Gamma,\chi,\lambda}$のすべての既約$*$-表現は次元が有限である。
• 方程式$n - s = \sum_{l=1}^n \frac{1}{1 + (s-1) + \cdots + (s-1)^{k_l}}$が一意に解$s=2$を持つのは、$\Gamma$が拡張されたディンキン図形である場合に限る。
• 拡張されたディンキン図形では、特徴の集合に一意な不変汎関数が存在するが、ディンキン図形では存在せず、他の図形ではちょうど2つの解を持つ。
• $\lambda \neq \omega(\chi)$のとき、$\mathcal{A}_{\Gamma,\chi,\lambda}$の任意の既約$*$-表現の剛性指数は2に等しい。
• コックスター関手$S$と$T$の作用により、任意の既約表現は1次元表現に還元され、反復的変換によって次元の有限性が証明される。
• $\lambda < \omega(\chi)$のとき、$(ST)^k$関手を繰り返し適用すると、非正のスペクトル係数を持つ表現が得られ、これにより次元の有限性が示される。