[論文レビュー] Quiver representations in toric geometry

Alastair Craw|ArXiv.org|Jul 14, 2008

Algebraic structures and combinatorial models参考文献 47被引用数 23

ひとこと要約

本稿は、クーヴ表現と幾何的不変理論（GIT）を用いて、半プロジェクティブなトーリック多様体の非可換幾何的枠組みを確立し、これらの多様体が束縛クーヴ表現の良いモジュライ空間として生じることを示している。さらに、そのような多様体上の連続層の導来圏が、チルティングバンドルを介して有限次元代数上のモジュールの導来圏と同値であることを証明し、$G$-ヒルベルト多様体を超える他のモジュライ空間へと導来 McKay 対応を拡張している。

ABSTRACT

This article is based on my lecture notes from summer schools at the Universities of Utah (June 2007) and Warwick (September 2007). We provide an introduction to explicit methods in the study of moduli spaces of quiver representations and derived categories arising in toric geometry. The first main goal is to present the noncommutative geometric approach to semiprojective toric varieties via quivers. To achieve this, we use geometric invariant theory to construct both semiprojective toric varieties and moduli spaces of quiver representations. The second main goal builds on the first by presenting an introduction to explicit methods in derived categories of coherent sheaves in toric geometry. We recall the notion of tilting bundles with examples, and describe the McKay correspondence as a derived equivalence in some detail following Bridgeland, King and Reid. We also describe extensions of their result beyond the $G$-Hilbert scheme to other fine moduli spaces of bound quiver representations.

研究の動機と目的

• 半プロジェクティブなトーリック多様体をクーヴ表現の良いモジュライ空間として非可換的に構成すること。
• トーリック多様体上の有界連続層の導来圏と、クーヴ表現から生じる有限次元代数上のモジュールの導来圏との間の導来同値性をチルティングバンドルを介して確立すること。
• $G$-ヒルベルト多様体を超えて、他のクーヴ表現の良いモジュライ空間へと導来 McKay 対応を一般化すること。
• 半プロジェクティブなトーリック多様体上の基点自由なラインバンドルの多重線形系列が、モジュライ関手として実現可能であり、多様体が束縛クーヴ表現のモジュライ空間として符号化されることを示すこと。

提案手法

• 対角化可能な群の作用に対する幾何的不変理論（GIT）を用いて、クーヴ表現のモジュライ空間を半プロジェクティブなトーリック多様体として構成する。
• モジュライ空間の普遍族を用いて、トーリック多様体の構造を良いモジュライ空間としての束縛クーヴ表現に符号化するトートロジカルバンドルを定義する。
• チルティングバンドルと例外的集合の理論を用いて、トーリック多様体上の連続層の導来圏とクーヴ表現の導来圏との関係を確立する。
• GIT商の変動を用いて、異なるモジュライ空間間の双有理変換を記述し、商特異点のクレパント解消を含む。
• $G$-コンスティレーションの明示的クーヴ表現を構成し、GITのチャンバ構造における壁を越える際の安定性を追跡する。
• 特異点集合上のファイバーの次元条件を満たすことで、普遍的層上のフーリエ–ムカイ変換を介した導来同値性を証明する。

実験結果

リサーチクエスチョン

• RQ1 半プロジェクティブなトーリック多様体は、束縛クーヴ表現の良いモジュライ空間として実現可能か？
• RQ2 トーリック多様体上の基点自由なラインバンドルの多重線形系列がモジュライ関手として表される条件は何か？
• RQ3 トーリック多様体上の連続層の導来圏は、クーヴ表現から生じる有限次元代数上のモジュールの導来圏とどのように関係するか？
• RQ4 導来 McKay 対応は、$G$-ヒルベルト多様体を超えて、他のクーヴ表現のモジュライ空間へと拡張可能か？
• RQ5 モジュライ空間上の普遍的層は、商特異点のクレパント解消における導来同値性の実現にどのような役割を果たすか？

主な発見

• GITを用いて、半プロジェクティブなトーリック多様体を束縛クーヴ表現の良いモジュライ空間として構成可能であり、古典的な線形系列構成を一般化する。
• 中心のチャンバ $C_0$ に隣接する各GITチャンバ $C_i$ に対して、モジュライ空間 $Y_i = \tilde{\tau}_i^{-1}(0)$ は $\tau_i^{-1}(\text{pt})$ に同型であり、$Y_i \times \bbk^4$ 上の普遍的層 $\fancyscript{U}_\theta$ は導来同値性を誘導する。
• トーリック多様体 $Y_i$ 上の連続層の導来圏は、$\fancyscript{U}_\theta$ に関連するフーリエ–ムカイ変換を介して、クーヴのパス代数上のモジュールの導来圏と同値である。
• GIT商の変動によって誘導される双有理写像は、壁 $W_i$ を通る際に正確に $Y \to Y_i$ の収縮に対応し、この写像は $G$-ヒルベルト多様体から新たなモジュライ空間への準同型として実現される。
• 定理 8.10 に必要なファイバー次元条件が満たされている：商の任意の特異点において、ファイバー積の次元は $n+1 = 4$ であるため、導来同値性が成立する。
• 結果は、$G \to \text{Sp}(n,\bbk)$ の有限部分群および $G \to \text{SL}(n,\bbk)$ の有限アーベル部分群へと拡張可能であり、より広い設定において導来 McKay 対応が確認される。