[論文レビュー] Properness criteria for families of coherent analytic sheaves

Matei Toma|arXiv (Cornell University)|Oct 4, 2017

Algebraic Geometry and Number Theory参考文献 21被引用数 3

ひとこと要約

この論文は、複素解析幾何における連接層のモジュライ空間の固有性に関するラングトンの価値的基準を拡張し、コンパクトな複素多様体上の半安定層のモジュライ空間のコンパクト性に関する新しい基準を提供する。強い次数関数を導入し、アーティン近似および組合せ論的技法を用いて無理数的極性および非射影的基底に対処し、適切な有界性および安定性条件の下でモジュライ空間がコンパクトであることを証明する。

ABSTRACT

We extend Langton's valuative criterion for families of coherent algebraic sheaves to a complex analytic set-up. As a consequence we derive a set of sufficient conditions for the compactness of a moduli space of semistable sheaves over a compact complex manifold. This applies also to some cases appearing in complex projective geometry not covered by previous results.

研究の動機と目的

• 代数的設定から複素解析的設定へのラングトンの固有性に関する価値的基準の一般化を図ること。
• コンパクトな複素多様体上の半安定な連接解析層のモジュライ空間のコンパクト性の十分条件を確立すること。
• 従来の結果が失敗する無理数的極性および非射影的基底多様体の状況に対処すること。
• 解析的圏におけるモジュライ空間の分離性の基準を提供すること。
• ゴードゥシュォン計量および次数関数を用いて、射影幾何を超えた安定性理論を拡張すること。

提案手法

• 連接層のグロテンディーク群に、連続性、正性、有限性の条件を満たす強い次数関数を導入する。
• 相対ドゥアディ空間における非固有性の問題を回避するために、アーティン近似を用いる。
• 極性類の有理数性の欠如を補うために、組合せ論的議論を適用する。
• 反復ココセプル還元による特殊ファイバー上のデヴィッサージュ論法を用いて、半安定置換を達成する。
• トマッシーニ（2016）で定義された、連接層の同型類の有界性に依存する。
• 解析的かつ非射影的文脈に適合させるために、ラングトンの元々の証明戦略を踏襲しつつ、鍵となるステップを修正する。

実験結果

リサーチクエスチョン

• RQ1 ラングトンの固有性に関する価値的基準は、コンパクトな複素多様体上の連接解析層の族へと拡張可能か？
• RQ2 極性が無理数的であるか、基底が非射影的である場合に、半安定層のモジュライ空間のコンパクト性をどのように保証できるか？
• RQ3 次数関数および有界性の条件が、解析的設定における固有性を保証するために必要な条件は何か？
• RQ4 射影的でない状況下で、平坦な変形の下での半安定性の性質はどのように振る舞うか？
• RQ5 アーティン近似および組合せ論的技法は、非半安定ファイバーを置き換えるために果たす役割は何か？

主な発見

• コンパクトな複素多様体上の連接解析層の族に対して、ラングトンの結果を解析的圏に拡張した、新たな固有性に関する価値的基準が確立された。
• 層が有界かつ強い次数関数に関して半安定であれば、コンパクトな複素多様体上の半安定層のモジュライ空間はコンパクトである。
• 1次元の基底に対しては、一般に半安定なファイバーを持つ任意の平坦族は、無理数的極性に対しても、唯一半安定なファイバーを持つ族に置き換え可能である。
• 分離性の基準は、特殊ファイバー上のデヴィッサージュ論法により確立され、ファイバーごとの変更において、グレーディングされたジョルダン・ホルダー因子が保存されることを示した。
• 証明は、相対ドゥアディ空間の問題を回避するためにアーティン近似に依存し、非有理極性を処理するために組合せ論的手法を用いた。
• 特に極性が無理数的である場合に、従来の定理がカバーしない複素射影幾何の状況にも、本結果は適用可能である。