2025-11-10T02:59:08.378283

Combinatorics of infinite rank module categories over finite dimensional $\mathfrak{sl}_3$-modules in Lie-algebraic context

Mazorchuk, Zhu

We determine the combinatorics of transitive module categories over the monoidal category of finite dimensional $\mathfrak{sl}_3$-modules which arise when acting by the latter monoidal category on arbitrary simple $\mathfrak{sl}_3$-modules. This gives us a family of eight graphs which can be viewed as $\mathfrak{sl}_3$-generalizations of the classical infinite Dynkin diagrams.

academic

有限次元 $\mathfrak{sl}_3$ -加群上の無限階数加群圏の組合論：リー代数的文脈における研究

基本情報

論文ID: 2501.00291
タイトル: Combinatorics of infinite rank module categories over finite dimensional $\mathfrak{sl}_3$ -modules in Lie-algebraic context
著者: Volodymyr Mazorchuk, Xiaoyu Zhu
分類: math.RT（表現論）
発表日: 2024年12月31日
論文リンク: https://arxiv.org/abs/2501.00291

要約

本論文は、有限次元 $\mathfrak{sl}_3$ -加群の単項圏が任意の単純 $\mathfrak{sl}_3$ -加群に作用して生成する推移的加群圏の組合構造を決定する。これにより、古典的な無限Dynkin図の $\mathfrak{sl}_3$ -拡張と見なせる8つの図族が得られる。

研究背景と動機

問題背景

古典的Dynkin図の拡張問題：古典的Dynkin図は、有限根系の分類、半単純リー代数、および表現有限遺伝代数など、複数の数学分野で重要な応用を持つ。仿射Dynkin図や無限Dynkin図など、様々な拡張が知られている。
$\mathfrak{sl}_2$ の場合の既知結果：著者らは先行研究MZ24において、有限次元 $\mathfrak{sl}_2$ -加群の単項圏が任意の単純 $\mathfrak{sl}_2$ -加群に作用して生成する推移的加群圏の組合構造を研究し、この構造が常に無限Dynkin図によって記述されることを発見した。
$\mathfrak{sl}_3$ への拡張の必要性：自然な問題として、 $\mathfrak{sl}_2$ の結果を $\mathfrak{sl}_3$ に拡張することが生じる。これは理論的に重要であるだけでなく、より高次元のリー代数の表現論を理解するための基礎を提供する。

研究動機

本論文の主な動機は以下の通りである：

$\mathfrak{sl}_2$ から $\mathfrak{sl}_3$ への自然な拡張を完成させる
リー代数の文脈における $\mathfrak{sl}_3$ -対称性の組合的特性化を発見する
より一般的なリー代数表現論研究のための理論的基礎を提供する

核心的貢献

完全な分類結果：出現可能なすべての推移的加群圏の組合構造を決定し、正確に8つの異なる図によって記述されることを示した（定理20）。
具体的構成：特殊な場合を詳細に研究した：
- 7つの図は単純最高重加群（BGG圏 $\mathcal{O}$ の対象）から得られる
- 1つの図は非退化Whittaker加群から得られる
Perron-Frobenius理論の応用：各図に対してPerron-Frobenius固有値3に対応する固有ベクトルを決定し、係数のリー論的解釈を論じた。
同値性結果：他のすべての場合が圏 $\mathcal{O}$ またはWhittaker加群の場合と同値であることを証明した。

方法の詳細

問題設定

単純 $\mathfrak{sl}_3$ -加群 $L$ が与えられたとき、 $\mathcal{C}$ -加群圏 $\text{add}(\mathcal{C} \cdot L)$ の組合構造を研究する。ここで $\mathcal{C}$ は有限次元 $\mathfrak{sl}_3$ -加群の単項圏である。

理論的枠組み

1. リー代数 $\mathfrak{sl}_3$ の基本設定

標準三角分解： $\mathfrak{sl}_3 = \mathfrak{n}_- \oplus \mathfrak{h} \oplus \mathfrak{n}_+$
重み空間分解と根系構造
Weyl群 $W \cong S_3$ の作用

2. 単項圏 $\mathcal{C}$

自然な3次元 $\mathfrak{sl}_3$ -加群 $F = L((1,0))$ により生成される
剛性対称単項圏構造
単純対象は $L(\lambda)$ で与えられる。ここで $\lambda = (\lambda_1, \lambda_2)$ かつ $\lambda_1, \lambda_2 \geq 0$