[論文レビュー] Reider's Theorem and Thaddeus Pairs Revisited

Daniele Arcara, Aaron Bertram|ArXiv.org|Apr 22, 2009

Algebraic Geometry and Number Theory参考文献 7被引用数 16

ひとこと要約

この論文は、3次元に一般化された表面における古典的結果へと拡張する、高次元における Bridgeland 穩定性条件を用いた Reider の定理と Thaddeus ペアの再解釈を行う。Ext 群の消滅は Bridgeland 傾き不等式によって示され、これにより高次元版 Reider 型定理と、傾きカテゴリにおける安定対象を用いた Thaddeus ペアの新しいモジュライ的解釈が得られる。

ABSTRACT

Bridgeland stability conditions allow for a new generalization of Thaddeus pairs to surfaces and a new interpretation of Reider's theorem as a consequence of "Schur's lemma" for stable objects (Hom(E,F) = 0 if E,F are stable objects and the slope of E exceeds the slope of F). One improvement of Reider's theorem results (Proposition 3.8/Corollary 3.9), and wall-crossings for the new Thaddeus pairs are discussed. This paper was submitted to the CMI conference proceedings celebrating the 65th birthday of Peter Newstead.

研究の動機と目的

• Bridgeland 穩定性条件を用いて、曲線および表面における Thaddeus ペアと Reider の定理を高次元多様体へ一般化すること。
• Ext¹ 群の消滅を Bridgeland 傾き不等式と結びつけることによって、Reider の定理の高次元版を確立すること。
• Mukai フロップとウォールクロッシングの文脈において、Bridgeland 穏定的対象のモジュライおよびその被約幾何を調査すること。
• 固定された数的型の Bridgeland 穏定的対象が、射影的または固有の代数的空間をなすかどうかを検討すること。
• 3次元多様体におけるコディメンジョン3のボゴモロフ型不等式の可能性を調査し、Fujita の予想の証明につながる可能性を検討すること。

提案手法

• Mumford 穏定性の代わりに Bridgeland 穏定性を用いた、導来カテゴリ D(X) 内の傾きカテゴリ A_s における Reider の議論の再解釈。
• Bogomolov 不等式と Hodge Index 定理を用いて、滑らかで射影的な表面における Bridgeland 穏定性条件の構成。
• A_s 内での対象 L⊗I_Z と I_W^∨[1] の安定性を分析し、Hom(L⊗I_Z, I_W^vee[1][1]) の消滅が傾き不等式 μ(L⊗I_Z) > μ(I_W^∨[1]) によって示されることを示す。
• Thaddeus ペアを表面へ一般化し、A_s 内の拡張として定式化：0 → I_W^∨[1] → E_ε^• → L⊗I_Z → 0、安定性は傾き不等式を要請する。
• Pic(X) = Z·H を満たす3次元多様体に対して、A_{1/2} 内の拡張 0 → O_X[1] → E_ε^• → L⊗I_Z → 0 を研究する。
• E_ε^• が大規模な d および小さな t で不安定である場合、コディメンジョン3のボゴモロフ型不等式が支配的である可能性を提唱する。

実験結果

リサーチクエスチョン

• RQ1 t を変化させたとき、安定な Thaddeus ペアをモジュライ問題として定義でき、そのモジュライ空間が射影的または滑らかか？
• RQ2 固定された数的型の Bridgeland 穏定的対象の同型類は、有限型の (準) 射影的スキームによって表されるか？
• RQ3 そのような同型類が射影的スキームでない固有の代数的空間をなす例は存在するか？
• RQ4 Pic(X) = Z·H を満たす3次元多様体において、d > d₀ かつ t < t₀ のとき、すべての E_ε^• が μ_{1/2+it}-不安定であるような d₀ と t₀ が存在するか？
• RQ5 3次元多様体における不安定化部分対象の「興味深いケース」（例えば、c₁ = (r+1)/2 H を満たすランク r の torsion-free 奏響層）が、Hodge Index 的な議論により数値的に除外可能か？

主な発見

• Ext¹(L⊗I_Z, O_X) の消滅は、Bridgeland 傾き不等式 μ(L⊗I_Z) > μ(O_X[1]) によって示され、単なる消滅よりも強い条件である。
• 表面において、t-安定な Thaddeus ペアの空間は、不変量 (0,H,H²/2) を持つ μ_{1/2+it}-安定対象のモジュライ空間における P(Ext¹(L,O_S[1])) の固有変換として定義される。
• K_S = 0 のとき、モジュライ空間はウォールクロッシングに伴い Mukai フロップを経て、Hilb^d(S)×Hilb^d(S) 上の射影バンドルを双対バンドルに置き換える。
• 導来双対 I_W^∨[1] は、曲線の場合の線分束 O_C(W) を一般化し、高次元における Thaddeus ペア構成を可能にする。
• Pic(X) = Z·H を満たす3次元多様体において、A_{1/2} 内での L⊗I_Z の不安定化部分対象 K ⊂ L⊗I_Z は、ランク r が奇数で c₁(K) = (r+1)/2 H であるという数値的条件によって制約を受ける。
• 本論文は、コディメンジョン3のボゴモロフ型不等式が確立されれば、それが3次元多様体における Fujita の予想の証明につながる可能性を示唆している。