[論文レビュー] Compactification of Dolbeault moduli spaces

Mark Andrea A. de Cataldo|arXiv (Cornell University)|Dec 17, 2018

Algebraic Geometry and Number Theory参考文献 18被引用数 5

ひとこと要約

本稿は、C.シンプソンにインspiredされた${\mathbb{G}}_m$-equivariant compactification技法を用いて、族としての射影多様体上の再帰的代数群のヒッグスバンドルのドルベオールmoduli空間の自然な射影的コンパクト化を構成する。主な貢献は、コンパクト化が射影的であり、ヒッチン写像と整合することを証明したことであり、この構成は長年の文献における空白を解消するもので、かつてはフォークロア的であったが、未だ証明が与えられていなかった。

ABSTRACT

We construct a relative compactification of Dolbeault moduli spaces of Higgs bundles for reductive algebraic groups on families of projective manifolds that is compatible with the Hitchin morphism.

研究の動機と目的

• 射影多様体上の再帰的群に対して、ドルベオールmoduli空間の射影的コンパクト化を厳密に構成すること。これは広く予想されてきたが、かつての文献では未だ証明が与えられていなかった。
• 任意の再帰的代数群に対してヒッチン写像の射影性を確立すること。これはシンプソンの$GL_n$に対する結果を一般の再帰的群へ拡張するものである。
• 非アーベルホッジ定理と特異点の解消を用いて、適切な条件下でコンパクト化されたmoduli空間上での消滅サイクルの消失を証明すること。
• 特に${\mathbb{G}}_m$-作用とmoduli空間上の線形化可能性に関する文献における技術的ギャップを、新しいルーナスライス定理のバリエーションを導入することで解消すること。
• 新規コンパクト化とA.シュミットの構成を比較・対比し、ヒッチンファイブレーションおよび幾何的構造の文脈において、その優位性や自然さを明確にすること。

提案手法

• C.シンプソンの${\mathbb{G}}_m$-equivariantスタックに対するコンパクト化定理を用い、ヒッチン写像を統合するための新たなアンプリフィケーション結果（命題3.2.2）を強化して応用する。
• ${\mathbb{G}}_m$-不変性のヒッチン写像と、線形化可能であるとされるラインバンドル$L_M$を用いて、幾何的不変量理論（GIT）手法により射影的コンパクト化を構成する。
• ${\mathbb{G}}_m$-バリアントとしてのルーナスライス定理（補題3.5.1）を適用して、moduli空間上のオービフォール構造を扱い、元の空間がオービフォールである場合にコンパクト化がオービフォール性を引き継ぐことを保証する。
• 導来カテゴリにおける分解定理と双対性を用いて、コンパクト化上の交差コホモロジー複体が解消からの押し出しの直和成分であることを示し、消滅サイクルの制御を可能にする。
• ヒッチンベースとチェヴァレーリストリクション同型を用いた因数分解議論を通じて、コンパクト化を基底$S$上の相対的射影的スキームとして構成する。
• 非アーベルホッジ定理に依拠して、$S$上でのmoduli空間の位相的局所自明性を保証し、これによりグローバルコンパクト化の構成を支援する。

実験結果

リサーチクエスチョン

• RQ1 再帰的群に対して、ヒッチン写像と整合する自然な射影的コンパクト化が、ドルベオールmoduli空間に構成可能か？
• RQ2 任意の再帰的代数群に対して、ヒッチン写像は射影的か。特に$GL_n$に限らないか？
• RQ3 ${\mathbb{G}}_m$-作用の下で、特にノルムコーン上でのコンパクト化されたmoduli空間上の消滅サイクル複体は消えるか？
• RQ4 新規コンパクト化はA.シュミットの構成とどのように関係し、ヒッグスバンドルの文脈において、どのような点で優位性や自然さを示すか？
• RQ5 元のmoduli空間がオービフォールである場合、コンパクト化の位相的・幾何的性質はどのようなものか？

主な発見

• 本稿は、基底$S$上でのドルベオールmoduli空間$M$の相対的射影的コンパクト化を構成し、ヒッチン写像と整合することを証明した。これが定理3.1.1の内容である。
• 任意の再帰的代数群$G$に対してヒッチン写像が射影的であることが示され、これはシンプソンの$GL_n$に対する結果（命題2.2.2）を拡張するものである。
• 命題3.8.1(3)の条件下で、コンパクト化されたmoduli空間上の交差コホモロジー複体に対する消滅サイクル複体$\phi F$は消える。
• 元のドルベオールmoduli空間がオービフォールである場合、補題3.5.1によりコンパクト化もオービフォールであることが保証される。
• 分解定理を用いて、コンパクト化上の定数層からの押し出しの直和成分としてコンパクト化が示され、これにより perverse コホモロジーの制御が可能になる。
• 構成は$\Lambda$-加群の多項式型へ一般化可能であり、ヒッグス層やドルベオールmoduli空間が特別な場合として含まれる（註3.1.3）。