[論文レビュー] Tensor Triangular Geometry for Quantum Groups

Brian D. Boe, Jonathan R. Kujawa+1 more|arXiv (Cornell University)|Feb 4, 2017

Algebraic structures and combinatorial models参考文献 28被引用数 13

ひとこと要約

この論文は、根の単位における量子群の有限次元表現の圏における分厚いテンソルイデアルを分類し、関連する安定表現圏のBalmerスペクトルを計算する。サポートデータと局所化技術を用いて、スペクトルをノルム代数の零尖点に於けるG不変イデアルの空間と同定し、アフィンワイル群の二面的セルと零尖点軌道を通じた幾何的分類を確立する。

ABSTRACT

Let $\mathfrak g$ be a complex simple Lie algebra and let $U_ζ({\mathfrak g})$ be the corresponding Lusztig ${\mathbb Z}[q,q^{-1}]$-form of the quantized enveloping algebra specialized to an $\ell$th root of unity. Moreover, let $\mod(U_ζ({\mathfrak g}))$ be the braided monoidal category of finite-dimensional modules for $U_ζ({\mathfrak g})$. In this paper we classify the thick tensor ideals of $\mod(U_ζ({\mathfrak g}))$ and compute the prime spectrum of the stable module category associated to $ ext{mod}(U_ζ({\mathfrak g}))$ as defined by Balmer.

研究の動機と目的

• 量子群が根の単位にあるとき、その有限次元表現の圏における分厚いテンソルイデアルを分類すること。
• この圏に関連する安定表現圏のBalmerスペクトルを特定すること。
• 準支持データと射影性の仮定を用いて、小さな量子群からのサポート理論を大きな量子群へ拡張すること。
• 零尖点の座標環におけるG不変イデアルを通じて、テンソルイデアルと零尖点軌道との間に幾何的対応を確立すること。
• 最高重量が正則であるようなティルティング加群の絶対的サポート多様体に関して、ハムフリーズの予想を検証すること。

提案手法

• 無限次元表現を扱えるように、弱めたテンソル積条件を持つ準サポートデータを定義する。
• 特定の無限生成表現の射影性を保証するため、仮定2.5.1を用いる。
• ラインバンドコhomology技法を用いて、小量子群のボレル部分代数上のモジュールへの射影性の問題を還元する。
• 安定表現圏から、零尖点の座標代数におけるG不変イデアルのザリスキ空間へのサポート写像を構成する。
• 先行研究（例：ABG）からの局所化定理と導来同値を活用し、表現論と幾何学を結びつける。
• 完全列における帰納法と可換図式を用いて、双対モジュールとテンソル積間のExt写像の単射性と同型性を証明する。

実験結果

リサーチクエスチョン

• RQ1 量子群が根の単位にあるとき、その有限次元表現の圏における分厚いテンソルイデアルの完全な分類は何か？
• RQ2 安定表現圏のBalmerスペクトルは、零尖点の幾何構造とどのように関係しているか？
• RQ3 ティルティング加群のサポート多様体は、零尖点軌道を用いて幾何的に記述可能か？
• RQ4 零尖点の座標環におけるG不変イデアルは、テンソルイデアルの分類において果たす役割は何か？
• RQ5 安定表現圏における量子群のサポート理論において、テンソル積性質はどの程度成立するか？

主な発見

• mod(U_ζ(g))における分厚いテンソルイデアルは、零尖点Nの座標代数におけるG不変イデアルと一対一対応する。
• 安定表現圏のBalmerスペクトルは、Nの座標環におけるG不変イデアルの空間に位相的に同型である。
• 最高重量が正則であるティルティング加群のサポート多様体は、その最高重量に対応する二面的セルに一致する零尖点軌道である。
• すべてのn ≥ 0に対して、Ext写像φₙ: Extⁿ_{Ā}(Q₁*, Q₂) → Extⁿ_Δ(ℂ, Q₁⊗Q₂) は同型であり、サポート理論における重要な整合性が確立される。
• 全圏mod(U_ζ(g))におけるテンソルイデアルの分類は、オストリクのティルティング圏に関する結果を補完し、すべての有限次元モジュールへ拡張する。
• 同型φₙの証明は、帰納法、Ext系列を含む可換図式、および中間写像の単射性に依拠し、すべての次数で完全な同型に至る。