[論文レビュー] On the structure of instability in moduli theory

Daniel Halpern-Leistner|arXiv (Cornell University)|Nov 3, 2014

Algebraic Geometry and Number Theory参考文献 29被引用数 30

ひとこと要約

本稿は、モジュライ理論における$Θ$-層化の一般理論を提示し、ハーラー＝ナラシムハン層化とケンプフ＝ネス層化を統一する。数値的不変量が「HN有界性」条件を満たす場合、代数的スタック上に$Θ$-層化が誘導されることを確立し、半安定部分集合の良いモジュライ空間の構成を可能にするとともに、古典的GITを越えて、ブリッジランド安定性条件のような問題へも応用可能となる。

ABSTRACT

We formulate a theory of instability and Harder-Narasimhan filtrations for an arbitrary moduli problem in algebraic geometry. We introduce the notion of a $Θ$-stratification of a moduli problem, which generalizes the Kempf-Ness stratification in GIT as well as the Harder-Narasimhan stratification of the moduli of coherent sheaves on a projective scheme. Our main theorems establish necessary and sufficient conditions for the existence of these stratifications. We define a structure on an algebraic stack called a numerical invariant, and we show that in many situations a numerical invariant defines a $Θ$-stratification on the stack, assuming a certain "HN boundedness" condition holds. We also discuss criteria under which the semistable locus has a moduli space. We apply our methods to an example that lies beyond the reach of classical methods: the stratification of the stack of objects in the heart of a Bridgeland stability condition.

研究の動機と目的

• 古典的幾何的不変理論（GIT）を超えるモジュライ理論における不安定性の一般枠組みを構築すること。
• $Θ$-層化をハーラー＝ナラシムハン層化とケンプフ＝ネス層化を統合する構造として定義・特徴付けること。
• 代数的スタック上の数値的不変量が$Θ$-層化を誘導する条件、特にHN有界性条件を確立すること。
• 非コンパクトまたは非分離なモジュライスタックにおける半安定部分集合の良いモジュライ空間の存在に関する基準を提供すること。
• ブリッジランド安定性条件の中心における対象のモジュライなど、古典的手法では到達できない新しい文脈への理論の応用を拡張すること。

提案手法

• 任意のモジュライ問題に対して、ハーラー＝ナラシムハン層化とケンプフ＝ネス層化を一般化した$Θ$-層化の概念を導入する。
• 不安定性の検出と$Θ$-層の構成の鍵となる道具として、代数的スタック上の数値的不変量を定義する。
• HN有界性条件が成立する場合、数値的不変量が$Θ$-層化を誘導することを確立し、有限個の層化と適切に振る舞うフィルトレーションを保証する。
• 変形理論とスペクトル写像スタックを用いて、モジュライスタック内でのフィルトレートされた対象とそのグレーディングされた対象の構造を分析する。
• グローバル商スタック$X/G$に理論を適用し、適切な条件下で、フィルトレートされた対象のスタックがグレーディングされた対象のスタックに$Θ$-リトラクトすることを証明する。
• 退化空間$ΔΕg(\mathcal{X},p)$と成分空間$\mathcal{Comp}(\mathcal{X})$の結果を活用して、$Θ$-層化の組合せ的構造を分析する。

実験結果

リサーチクエスチョン

• RQ1 代数的スタック上の数値的不変量が$Θ$-層化を誘導する条件は何か？
• RQ2 HN有界性条件がハーラー＝ナラシムハンフィルトレーションの存在を保証するために果たす正確な役割は何か？
• RQ3 $Θ$-層化を用いて、非コンパクトまたは非分離なモジュライスタックにおける半安定部分集合の良いモジュライ空間をどのように構成できるか？
• RQ4 古典的GITでは到達できないモジュライ問題、例えばブリッジランド安定性条件から生じる問題に対しても、$Θ$-層化理論を適用可能か？
• RQ5 $Θ$-層化とモジュライ理論におけるフラッグ空間や退化ファンの幾何学的関係は何か？

主な発見

• 代数的スタック上の数値的不変量が$Θ$-層化を誘導するための必要十分条件は、HN有界性条件が成立することである。
• $Θ$-層化されたスタックにおける半安定部分集合は、良いモジュライ空間を備える。これは、ケル＝モリーおよびアーパーの結果を、非コンパクトおよび非分離な状況へ一般化する。
• フィルトレートされた対象のスタックは、グレーディングされた対象のスタックに$Θ$-リトラクト可能であり、このリトラクトは$Θ$-層化構造と整合的である。
• 退化空間$ΔΕg(\mathcal{X},p)$は一般化された球面的ビルディングであることが示され、フィルトレーションの組合せ的構造の幾何的実現が得られる。
• $G$がスプリットであるグローバル商スタック$X/G$に対して、$Θ$-層化は、$\lambda$を1パラメータ部分群の共軌道の族を走るとして、$\bigsqcup_{\lambda} \mathrm{pt}/P_{\lambda}$の和集合に等しい。
• 理論は、ブリッジランド安定性条件の中心における対象のモジュライに適用可能であり、古典的手法では失敗する状況でも$Θ$-層化を提供する。