[論文レビュー] Stability conditions and extremal contractions

Yukinobu Toda|arXiv (Cornell University)|Apr 3, 2012

Algebraic Geometry and Number Theory参考文献 28被引用数 4

ひとこと要約

本稿では、滑らかで射影的な3次元多様体および曲面からの極端な収縮が、連続的層の導来カテゴリ−におけるBridgeland (半)安定対象のモジュライ空間として実現されることを確立する。1パラメータ族の安定性条件を用いて、元の多様体 $X$ と極端な収縮の先の多様体 $Y$ が、安定性パラメータに応じて、細または粗いモジュライ空間として実現されることを示し、$Y$ からのアーマークラスの引き戻しに対応する臨界な安定性条件における壁を越えることで収縮が発生することを示す。主な貢献は、最小モデルプログラムの第一段階を安定性条件によるカテゴリカル実現として与えることにある。

ABSTRACT

We show that any extremal contraction from a smooth projective variety with dimension less than or equal to three appears as a moduli space of (semi)stable objects in the derived category of coherent sheaves.

研究の動機と目的

• 最小モデルプログラム（MMP）における極端な収縮が、連続的層の導来カテゴリ−におけるBridgeland（半）安定対象のモジュライ空間として実現可能かどうかを調査すること。
• 次元 ≤3 の多様体に対して、安定性条件を用いてMMPの第一段階をカテゴリカルに解釈すること。
• 1パラメータ族の安定性条件を構成し、壁を越えることで、安定対象のモジュライ空間が $X$ から $Y$ に移行することを示すこと。
• 極端な収縮の先の多様体 $Y$ が、導来カテゴリ−内の半安定対象のモジュライ関手によってコアリプレゼンテーションされることを検証すること。

提案手法

• 極端な収縮 $f: X \to Y$ を考える。$t \in (-1,1)$ に対して、Bridgeland安定性条件 $\sigma_t = (Z_{f^*\omega + \varepsilon t D}, \mathcal{P}_t)$ の1パラメータ族を構成する。
• 中心的質量 $Z_{f^*\omega}(E) = -\int_X e^{-i f^*\omega} \mathop{\rm ch}\nolimits(E)$ を定義し、$Y$ 上のアーマー的除釈の引き戻しと安定性条件を関連付ける。
• perverse ハート $\mathop{\rm Per}\nolimits(X/Y)$ のティルティングを用いて、$t=0$ におけるハート $\mathcal{B}_{f^*\omega}$ を定義し、幾何的チャネルの境界に対応させる。
• $t < 0$ のとき、$X$ は $\sigma_t$-安定対象で $\mathop{\rm ch}\nolimits(E) = \mathop{\rm ch}\nolimits(\mathcal{O}_x)$ を満たすものの細モジュライ空間であることを示す。$t > 0$ のとき、$Y$ が細モジュライ空間となる。
• $t = 0$ のとき、$Y$ は半安定対象の $S$-同値類の粗モジュライ空間である。
• $\mathop{\rm Hom}(\ast, Z)$ を用いた関手のコアリプレゼンテーションを用いて、$Y$（$f(D)$ が曲線のときは $\widetilde{Y}$）が半安定対象のモジュライ関手をコアリプレゼンテーションすることを示す。

実験結果

リサーチクエスチョン

• RQ1 次元 ≤3 の滑らかで射影的な多様体 $X$ からのすべての極端な収縮 $f: X \to Y$ が、$D^b\mathop{\rm Coh}\nolimits(X)$ 内のBridgeland安定対象のモジュライ空間として実現可能か？
• RQ2 安定性条件の空間における壁を越えることは、MMPにおける $X$ から $Y$ への幾何的遷移に対応するか？
• RQ3 極端な収縮の先の多様体 $Y$ は、導来カテゴリ−内の半安定対象のモジュライ関手によってコアリプレゼンテーション可能か？
• RQ4 幾何的チャネルは安定性条件の空間において果たす役割は何か？また、その境界は $Y$ のアーマー錐の引き戻しとどのように関係するか？
• RQ5 安定性条件が $t=0$ での壁を越えるとき、安定対象のモジュライ空間はどのように変化するか？

主な発見

• 曲面の場合、$t \in (-1,1)$ の1パラメータ族 $\sigma_t$ において、$t < 0$ のとき $X$ が細モジュライ空間、$t = 0$ のとき $Y$ が粗モジュライ空間、$t > 0$ のとき $Y$ が細モジュライ空間となる。変化は $t=0$ で発生する。
• $\sigma_0 = (Z_{f^*\omega}, \mathcal{B}_{f^*\omega})$ は幾何的チャネルの境界に位置し、$Y$ のアーマー錐の $X$ への引き戻しに対応する。これにより、ネフ錐と安定性条件の空間が結びつく。
• $f(D)$ が点であるとき、$Y$ はモジュライ関手 $\mathcal{M}^{\sigma_{B,f^*\omega}}([\mathcal{O}_x])$ をコアリプレゼンテーションし、$Y \to Z$ の準同型はコアリプレゼンテーション性質によって誘導される。
• $f(D)$ が曲線であるとき、モジュライ空間は $\widetilde{Y} = Y \cup (f(D) \times f(D))$ として対角線に沿って貼り合わされ、$\widetilde{Y}$ がモジュライ関手をコアリプレゼンテーションする。
• $t > 0$ のモジュライ空間は $Y$ に同型であると予想されるが、$t > 0$ の安定性条件 $\sigma_t$ の明示的記述はまだ予想的である。
• この構成は、MMPの全ステップが安定性条件の空間における壁を越えることとして理解可能であり、導来カテゴリ−が双有理幾何を符号化していることを示唆している。