[論文レビュー] GIT stability of weighted pointed curves

David Swinarski|ArXiv.org|Jan 8, 2008

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

ひとこと要約

本稿は、ギーゼッカーの手法にインspiredされた新しいフィルトレーションに基づくアプローチを用いて、滑らかで相異なる重み付き点付き曲線の漸近的ヒルベルト安定性を直接証明する。主な貢献は、広範な線形化の下でのGIT安定性の確立であり、これは、直接的帰納法や楕円尾構成に依存せずに、重み付き点付き曲線のモジュライ空間（特にデリーニョ＝ムーディの空間やハセットの空間）の構成を可能にする。

ABSTRACT

Here I give a direct proof that smooth curves with distinct marked points are asymptotically Hilbert stable with respect to a wide range of parameter spaces and linearizations. This result can be used to construct the coarse moduli space of Deligne-Mumford stable pointed curves \bar M_g,n and Hassett's moduli spaces of weighted pointed curves \bar M_g,A (though the full construction of the moduli spaces is not contained in this paper, only the stability proof). My proof follows Gieseker's approach to reduce to the GIT problem to a combinatorial problem, though the solution is very different. The action of any 1-PS lambda on a curve C in P^N gives rise to weighted filtrations of H^0 (C, O(1)) and H^0 (C, O(m)), and I give a recipe in terms of the combinatorics of the base loci of the stages of these filtrations for showing that C is stable with respect to lambda.

研究の動機と目的

• 滑らかで相異なる重み付き点付き曲線の漸近的ヒルベルト安定性について、先行研究で用いられた間接的帰納法を回避する、直接的で組合せ的な証明を提供すること。
• 曲線上の線形系列の適切なフィルトレーションを構成することで、ギーゼッカーのGIT安定性フレームワークを重み付き点付き曲線へ拡張すること。
• 滑らかな点付き曲線がGIT安定となる線形化を同定し、これにより$\overline{M}_{g,n}$ や $\overline{M}_{g,\mathcal{A}}$ などのモジュライ空間の構成を正当化すること。
• バルドの証明の限界（特に楕円尾や大きな$m$に依存すること）を、基底要素の重みを制限するためのプロファイルに基づく方法により克服すること。
• 重み付き点付き曲線のモジュライ空間を幾何的不変量理論によって構成するための基礎的安定性結果を確立すること。

提案手法

• SL(N+1) 上の1-PS（1パrameter部分群）作用を用いて、$H^0(C, \mathcal{O}(1))$ および $H^0(C, \mathcal{O}(m))$ にフィルトレーションを誘導し、ムーディの$\mu^L(x,\lambda)$ 関数を計算する。
• 「プロファイル」という概念を導入する——これは$(\text{余次元} \times \text{重み})$-平面上の非増加ステップ関数であり、$H^0(C, \mathcal{O}(m))$ の基底の重みを上から抑える。
• $H^0(C, \mathcal{O}(1))$ における$\lambda$-作用から得られるフィルトレーション$\tilde{V}_\bullet$ を構成し、その関連するプロファイルを用いて$\mu^L(x,\lambda)$ を上から抑える。
• 絶対的重みフィルトレーションを計算することなく、低重み基底を生成するための「三層構造」モノミアル構成$V_s^{\alpha uv}V_t^{(1-\alpha)uv}V_0^v$ を用いることで、計算を回避する。
• 重みと余次元の制約を満たしつつ、マークド点の重複度を最小化するための線形計画問題を$\beta_j$ に関して定式化する。
• 重複度のジャンプの下位凸包を用いることで、より緊密な境界が得られる可能性があると提案するが、これにより正準埋め込み曲線の安定性証明が可能になる可能性がある。

実験結果

リサーチクエスチョン

• RQ1 滑らかで相異なる重み付き点付き曲線のGIT安定性は、種数やマークド点数に関する帰納法に依存せずに直接的に確立可能か？
• RQ2 バルドの楕円尾に依存する証明の限界は、小さな$m$や正準線形系に対しても機能する組合せ的フィルトレーション法によって克服可能か？
• RQ3 標準的な$\tilde{V}_\bullet$ フィルトレーションよりも、$\mu^L(x,\lambda)$ の境界をより緊密に抑える$H^0(C, \mathcal{O}(m))$ のフィルトレーションは存在するか？
• RQ4 最悪の不安定化1-PSは、最大重みを持つ1つのマークド点が基底に属し、各段階で完全な部分線形系列を持ち、重みが線形に減少するものと特定可能か？
• RQ5 重複度ジャンプの下位凸包を用いることで、正準埋め込みにおいて安定性境界を改善できるか？

主な発見

• 本稿は、広範な線形化の下で滑らかで相異なる重み付き点付き曲線が漸近的にヒルベルト安定であることを確立し、モジュライ空間構成に必要な主要な安定性結果を提供する。
• 基底要素の重みに対するプロファイルに基づく境界の使用により、バルドの証明で用いられた間接的帰納法を回避する直接的安定性証明が可能になる。
• 不安定化の最悪ケースとなる1-PSは、最高重みを持つ1つのマークド点が基底に属し、各段階で完全な部分線形系列を持ち、重みが合計1に線形に減少するものと特定される。
• 三層モノミアル構成$V_s^{\alpha uv}V_t^{(1-\alpha)uv}V_0^v$ は、与えられた制約下でマークド点の最小重複度を達成するため、フィルトレーション手法における最適性を示唆する。
• 大きな$m$に対して、モノミアルフィルトレーションに層を追加しても境界が改善されない。これは、$\beta$-空間内での実行可能多面体の頂点です already 最小重複度に達しているためである。
• 重複度ジャンプの下位凸包を用いることで、より良い境界が得られる可能性があるが、命題6.1の類似を証明するための課題は未解決のまま残っている。