[論文レビュー] The McKay correspondence, tilting equivalences, and rationality

Morgan V. Brown, Ian Shipman|arXiv (Cornell University)|Dec 13, 2013

Algebraic Geometry and Number Theory参考文献 25被引用数 3

ひとこと要約

本稿では、弱い中心的電荷と torsion 対を用いた2段階の tilting 手順を導入することで、次元2および3における導来 McKay 対応と tilting 同値との間の関係を確立する。また、任意の全的で強く例外的なラインバンドルの集合を持つ滑らかで射影的な表面は有理的であることを証明し、ラインバンドルからなる tilting バンドルを用いた有理的判定基準を提示する。

ABSTRACT

We consider the problem of comparing t-structures under the derived McKay correspondence and for tilting equivalences. We relate the t-structures using certain natural torsion theories. As an application, we give a criterion for rationality for surfaces with a tilting bundle. In particular we show that every smooth projective surface which admits a full, strong, exceptional collection of line bundles is rational.

研究の動機と目的

• 導来 McKay 対応下での導来カテゴリにおける t-構造の関係を、次元2および3で理解すること。
• 弱い中心的電荷と torsion 対を用いた2段階の tilting フレームワークを構築し、多様体上の連続層を有限次元代数上の加群に結びつけること。
• ラインバンドルからなる tilting バンドルの存在を用いて、滑らかで射影的な表面の有理的性を判定する基準を提供すること。
• 次元2および3における導来 McKay 対応が、普遍的 G-定数的構造を介して tilting 同値として解釈可能であることを示すこと。

提案手法

• noetherian なアーベルカテゴリのグロテンディーク群に弱い中心的電荷を定義し、中心的電荷の虚部が消えることで torsion 対を誘導する。
• このような torsion 対に関して上位および下位の tilting を導入し、コホモロジーが次数 0, 1, 2 に分布する対象を扱うために古典的 tilting を一般化する。
• C^n 上の G-可換層と、crescent リゾリューション Y 上の連続層の間の同値性を用いて、導来 McKay 対応を分析し、coh(Y) の D(G-Coh(C^n)) 内での像をコホモロジー的台を介して同定する。
• 重要な構成として、モジュライ空間 M_θ 上の普遍的 θ-安定 G-定数的構造を用いて、M_θ 上の tilting バンドルを定義し、これにより導来同値を誘導する。
• リーマン–ローチの技法とコホモロジー的消滅を応用し、ラインバンドルの差を分析し、有理的性を証明する。
• このフレームワークを応用して、表面にラインバンドルの直和として分解可能な tilting バンドルが存在するならば、その表面は有理的でなければならないことを示す。

実験結果

リサーチクエスチョン

• RQ1 次元2および3における導来 McKay 対応下で、導来カテゴリにおける t-構造はどのように関係するか？
• RQ2 2段階の tilting 手順を介して、導来 McKay 対応が tilting 同値として解釈可能か？
• RQ3 滑らかで射影的な表面が、ラインバンドルからなる tilting バンドルの存在によって有理的であることを保証する条件は何か？
• RQ4 弱い中心的電荷と torsion 対は、導来同値から連続層カテゴリを再構成するためにどのように機能するか？
• RQ5 普遍的 G-定数的構造は、G-定数的構造のモジュライ空間上での tilting バンドルの実現において果たす役割は何か？

主な発見

• 任意の全的で強く例外的なラインバンドルの集合を持つ滑らかで射影的な表面は有理的である。
• 表面にラインバンドルの直和として分解可能な tilting バンドルが存在する場合、自己同型代数のグローバル次元制約により、少なくとも1組のラインバンドル D_j, D_i に対して h^0(D_j - D_i) > 1 が成り立つことが保証され、これにより有理的性が示される。
• 次元2および3における導来 McKay 対応は、普遍的 G-定数的構造 M_θ 上の tilting バンドルが生み出すことにより、tilting 同値として解釈可能である。
• crescent リゾリューション Y 上の連続層のカテゴリは、C^n 上の G-可換層の導来カテゴリにおける2段階の連続的な tilting を通じて、完全部分カテゴリとして回復可能である。
• ラインバンドルからなる tilting バンドルの存在は、その表面が有理的なルールド表面のブLOWUPであることを示唆し、したがって有理的であることを意味する。
• 弱い中心的電荷と torsion 対を用いた手法は、低次元 McKay 対応における導来同値の間の t-構造を統一的に関係付けるフレームワークを提供する。