[論文レビュー] Bridgeland's stabilities on abelian surfaces

Shintarou Yanagida, Kōta Yoshioka|arXiv (Cornell University)|Mar 5, 2012

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

ひとこと要約

本稿は、ピカール数 1 のアーベル多様体上のブリッジランド安定性条件における壁および部屋構造を、ランク 1 の複体に焦点を当て、調査する。フーリエ＝ムカイ変換およびムカイ格子技術を用いて、codimension 0 の壁を分類し、⟨v²⟩/2 ≤ 4 を満たす原始的ムカイベクトルに対して、モジュライ空間 MH(v) がヒルベルトスキームまたは X との積と同型であることを示す。これはムカイの以前の結果を一般化する。フーリエ＝ムカイ変換による安定性パラメータへの作用は、上半平面への自然な SL(2,R)-作用に対応する。

ABSTRACT

In this paper, we shall study the structure of walls for Bridgeland's stability conditions on abelian surfaces. In particular, we shall study the structure of walls for the moduli spaces of rank 1 complexes on an abelian surface with the Picard number 1.

研究の動機と目的

• ピカール数 1 のアーベル多様体上のブリッジランド安定性条件の壁・部屋構造を理解すること。
• フーリエ＝ムカイ変換および双対ファンクターによるこれらの壁の挙動を研究すること。
• ⟨v²⟩/2 ≤ 4 を満たす原始的ムカイベクトルに対して、モジュライ空間 MH(v) を分類すること。
• 数値的解と codimension 0 の壁との関係を特定し、それらの幾何的構造を記述すること。

提案手法

• 安定性関数 Z(β,ω)(E) = ⟨e^{β+iω}, v(E)⟩ を表すために、ムカイ格子 (H∗(X,Z)alg, ⟨·,·⟩) を用いる。
• 半均一的表現の複体 V−1 → V0 の数値的解を用いて壁を特徴付ける。
• モジュライ空間を関連付けるためにフーリエ＝ムカイ変換を適用し、パrameter空間への作用が上半平面への SL(2,R) の作用に対応することを示す。
• フーリエ＝ムカイファンクターのコhomological作用を用いて、壁に作用する GL(2,R) の部分群 Gn,ℓ ⊂ を定義する。
• 安定性条件 σ(β+sH,tH) の (s,t)-平面を分析し、壁が交差しない円または直線を形成することを示す。
• 二次形式に関する [14] の結果を応用して、数値的解の同値類を分類する。

実験結果

リサーチクエスチョン

• RQ1 ピカール数 1 のアーベル多様体上のブリッジランド安定性における codimension 0 の壁は、半均一的表現の数値的解とどのように関係するか？
• RQ2 NS(X) = ZH を満たすアーベル多様体上のランク 1 の複体における壁・部屋分解の構造は何か？
• RQ3 フーリエ＝ムカイ変換は、安定性条件の空間および安定対象のモジュライ空間にどのように作用するか？
• RQ4 ⟨v²⟩/2 ≤ 4 を満たす原始的ムカイベクトル v に対して、MH(v) がヒルベルトスキームまたは X との積と同型となるのはどのような場合か？
• RQ5 Gn,ℓ の作用下での codimension 0 の壁の軌道構造は何か？

主な発見

• codimension 0 の壁は数値的解と一対一対応する。√(ℓ/n) ∈ Q ならば一意な壁が存在し、そうでなければ無限に多くの壁が存在する。
• v = 1 − ℓ̺X かつ ℓ ≤ 4 のとき、モジュライ空間 MH(v) は Hilb⟨v²⟩/2(X) × X または MH(0,2H,−1) と同型であり、ムカイの結果を一般化する。
• MH(1,0,−4) と MH(0,2H,−1) は同型ではない。両者は異なるタイプの収縮を許容するためである。
• s = −2 かつ v = (1,0,−4) のとき、モジュライ空間 M(−2H,t2H)(1,0,−4) はフーリエ＝ムカイ変換により MH(0,2H,−1) と同型である。
• フーリエ＝ムカイ変換によるパrameter空間への作用は、上半平面への標準的な SL(2,R)-作用に対応する。
• codimension 0 の壁の集合は、Gn,ℓ の作用で一つの軌道をなし、(±√(ℓ/n), 0) に二つの集積点を持つ。