Lusztig sheaves and integrable highest weight modules in the symmetrizable case

技術要約：対称化可能な場合におけるルスティグ・シーフと可積分最高ウェイト加群

問題設定
本論文は、対称化可能な一般化カルタン行列に関連する量子群 $U$ に対する、可積分最高ウェイト加群 $L(\lambda)$ およびそのテンソル積 $L(\lambda_1) \otimes L(\lambda_2)$ の幾何学的カテゴリ化を取り扱う。対称なケース（カルタン行列が対称である場合）は、クィーバー多様体上のルスティグのシーフや中嶋の構成を用いて広範に研究されてきたが、対称化可能なケースは非自明な自己同型の存在により、重大な課題を提示している。Fang, Lan, および Xiao [6, 10] による先行研究は、フレーム付きクィーバー上のルスティグ・シーフの局所化を用いて、対称な行列の場合のこれらの加群を成功裏に実現した。本論文は、基礎となるクィーバーが許容的な自己同型 $a$ を持つ状況において、これらの結果を対称化可能な設定へと一般化することを目指している。

手法
著者らは、周期的な関手の理論に基づき、ルスティグの枠組みを、自己同型を持つフレーム付きクィーバーの文脈へと拡張することで、パーバース・シーフを用いた幾何学的アプローチを採用している。

1. セットアップ: 対称化可能な一般化カルタン行列 $C = DB$が与えられたとき、著者らは有限のクィーバー$Q$と、それに付随する許容的な自己同型$a$を構成する。次に、$N$-フレーム付きクィーバー$\tilde{Q}(N)$と、それに関連する表現のモジュライ空間$E_{V, W_\bullet, \Omega}$ を考える。
2. 局所化: 著者らは、$G_V$-等変な構成可能層の厚いサブカテゴリ $N_V$ を定義する。これは、特定の閉部分集合（特定の線形写像が単射となる開集合の補集合）上に支持される複体の集合によって生成される。中心的な対象は、局所化と呼ばれるヴェルディエ商カテゴリ $D^b_{G_V}(E_{V, W_\bullet, \Omega})/N_V$ である。
3. 周期的な関手: 自己同型 $a$ を扱うために、著者らはルスティグの周期的な関手の手法を適用する。著者らは、カテゴリ $\widehat{Q/N}$ を構成する。これは、局所化されたカテゴリの対象 $B$ と、周期条件（$a^*$ を $o$ 回合成したものが恒等写像となる条件、ここで $o$ は $a$ の位数である）を満たす同型 $\phi: a^*B \to B$ のペアからなる。
4. 関手的作用: 著者らは、局所化されたカテゴリ上で誘導および制限関手（$E_i^{(n)}$ および $F_i^{(n)}$ と表記）を定義する。これらは、標準的な幾何学的関手（グラスマン多様体やフラッグ多様体を含むもの）を周期構造と合成することによって構成される。極めて重要な点として、これらの関手が周期的な関手 $a^*$ と可換であることを証明し、それらが $\widehat{Q/N}$ 上に定義された関手へと降下できることを示す。
5. 交換関係: 本論文の重要な技術的部分には、これらの関手（具体的には量子セリエ関係および $E$ と $F$ の間の関係）の交換関係を証明することが含まれる。これらの証明は、対称なケースとは大幅に異なり、トレレス（traceless）な対象の分析や、モジュライ空間の層化に対する自己同型の振る舞いを精緻に解析することを必要とする。

主要な貢献および結果

• $L(\lambda)$ およびテンソル積のカテゴリ化: $N=1$ の場合、カテゴリ $\widehat{Q/N}$ のグロタンディーク群は、量子群 $U$ の可積分最高ウェイト加群 $L(\lambda)$ と標準同型であることが示される。$N=2$ の場合、そのグロタンディーク群はテンソル積 $L(\lambda_1) \otimes L(\lambda_2)$ と同型である。
• 符号付き標準基底: 「トレレスな対象」（$a^*$ による軌道の直和であり、特定の置換構造を持つもの）を商集合として取り出すことにより、カテゴリ内の単純パーバース・シーフは、$L(\lambda)$ および $L(\lambda_1) \otimes L(\lambda_2)$ の符号付き基底を与える。この基底は、反変的な幾何学的ペアリングに関して、ほぼ直交していることが示される。
• ヤン・バクスター関係式: 著者らは、制限関手と誘導関手の合成から生じる作用素 $R_{ij}$ に関するヤン・バクスター関係式の新しい証明を提供する。これは、幾何学的設定における制限関手の結合性（coassociativity）を利用している。
• 結晶構造: 以下の集合に対して、対称化可能な結晶構造を確立する：
  • 中嶋のクィーバー多様体の $a$-固定既約成分。
  • 中嶋のテンソル積多様体の $a$-固定既成立分。
  • プレプロジェクティブ代数のルスティグの零 nilpotent 多様体の $a$-固定既約成分。
    これらの結晶構造は、量子群に関連する結晶基底 $B(\lambda)$ および $B(\lambda_1) \otimes B(\lambda_2)$ と同型であることが証明されている。

意義
本論文は、対称化可能なケースに特化した最高ウェイト加群とそのテンソル積の幾何学的構成を提供することにより、Fang, Lan, および Xiao [6, 10] によって開始されたプログラムを完成させると主張している。これは、対称な行列に対するルスティグのシーフ論的アプローチと、より複雑な対称化可能な設定との間の溝を埋めるものである。本研究は、周期的な関手とルスティグ・シーフの局所化の仕組みが、対称化可能なケースを扱うのに十分に堅牢であり、既知の結晶構造を回収し、より広い文脈におけるテンソル積の符号付き標準基底の幾何学的実現を提供することを実証している。これらの結果は、対称な型と対称化可能な型の両方における量子群の表現の幾何学的理解を統一するものである。