[論文レビュー] Configurations in abelian categories. IV. Invariants and changing stability conditions

Dominic Joyce|ArXiv.org|Oct 11, 2004

Advanced Topics in Algebra参考文献 20被引用数 8

ひとこと要約

本稿では、半安定な対象およびアーベル圏内の構成の数え上げ不変量が、安定性条件の選択に依存しないことを、半安定部分集合の特性関数に対する変換公式を用いて確立する。構成可能関数およびスタック関数の代数が安定性の変更に対して安定であることを証明し、曲線上の連接層および特別なカバリ–ヤウ3次元多様体に対してこれらの不変量を明示的に計算する。

ABSTRACT

This is the fourth in a series of papers math.AG/0312190, math.AG/0503029, math.AG/0410267 on configurations in an abelian category A. Given a finite partially ordered set (I,

研究の動機と目的

• アーベル圏における安定性条件の変更に伴う半安定対象のモジュライ空間の変換を理解すること。
• モジュライスタック上の構成可能関数およびスタック関数の代数が、選択された安定性条件に依存しないことを証明すること。
• 滑らかな曲線やカバリ–ヤウ3次元多様体のための mod-𝕂Q や coh(P) などの特定の圏における半安定対象および構成の数え上げ不変量を計算すること。
• 導来代数的幾何における Ext 群の役割を検討し、i > 1 に対して Ext^{i}(X,Y)=0 という仮定を超えて一般化するための枠組みを提案すること。

提案手法

• 新しい安定性条件における半安定対象の特性関数を元の条件におけるそれらの関数で表す変換公式（式 47）を導出する。
• 整数係数 S({1,…,n},≤,κ,τ,τ̃) ∈ {−1,0,1} を用いて、代数的構造内での安定性条件の変更を符号化する。
• 構成可能関数上の非可換乗法 * を用い、半安定対象を安定因子に分解するのをモデル化する。
• 実超曲面 arg(Z(β)) = arg(Z(γ)) に沿って正則でないが、それ以外では正則である生成関数 Fα(Z) を構成し、その不連続性が不変量 J^α_i(μ)^Ω との間に相殺されることを示す。
• 生成関数が平坦性条件（偏微分方程式、式 141）を満たすことを証明し、これは安定性多様体上の接続として解釈可能である。
• D-スタックまたはdgスタックを用いた導来枠組みを提案し、高次の Ext 群を含めるものとし、i > 1 に対して Ext^{i}(X,Y)=0 という仮定を超えて結果を一般化することを目的とする。

実験結果

リサーチクエスチョン

• RQ1 安定性条件が変更されたとき、半安定対象のモジュライ空間はどのように変化するか？
• RQ2 オブジェクトのモジュライスタック上の構成可能関数およびスタック関数の代数は、安定性条件の選択に依存しないか？
• RQ3 滑らかな曲線やカバリ–ヤウ3次元多様体のための mod-𝕂Q や coh(P) などの圏における、半安定対象および構成の数え上げ不変量の明示的値は何か？
• RQ4 不変量の変換法則は、高次の Ext 群を含む導来的設定へと拡張可能か？
• RQ5 生成関数 Fα(Z) が満たす偏微分方程式 (141) の幾何的・代数的意味は何か？

主な発見

• τ̃-半安定対象の特性関数 δ_ss^α(τ̃) は、係数 S(⋅,τ,τ̃) を用いた配置の和として表現され、半安定部分集合の構造が安定性の変更に伴い代数的に変化することを証明する。
• H^pa_τ, H^to_τ およびそれらのバー付き版は、安定性条件 (τ,T,≤) に依存しない。これは、モジュライスタックの代数的構造における深い不変性を確立する。
• A = mod-𝕂Q または P が滑らかな曲線のとき coh(P) に対して、不変量 I_ss^α(τ) が明示的に計算され、加法的および乗法的恒等式を満たすことが示された。
• A = coh(P) で P が滑らかな曲面かつ K_P^{-1} がネフ、またはカバリ–ヤウ3次元多様体の場合、特徴的な性質を持つ特別な不変量が構成された。
• 生成関数 Fα(Z) は、arg(Z(β)) = arg(Z(γ)) となる実超曲面に沿って不連続であるが、そのジャンプは不変量 J^α_i(μ)^Ω との間に相殺され、全生成列が連続になる。
• 関数 Fα(Z) は偏微分方程式 (141) を満たし、これは安定性多様体上の接続の平坦性として解釈可能である。これは、不変量の背後にあるより深い幾何的構造を示唆する。