代数幾何学 · 2026-11-02

Asymptotic GIT-stability of KSB-stable varieties

KSB安定多様体のHodge束による漸近GIT安定性

Sándor J Kovács, Behrouz Taji

sandor-j-kovacs-hpn729 behrouz-taji-1jv3h76 moduli positivity singularities vector-bundles-sheaves Singularities 特異点・特異性 Positivity 正値性 Vector bundles and sheaves ベクトル束・層 Moduli and families モジュライ・族

arXiv Abstract

We prove that KSB-stable varieties introduced by Koll\'ar and Shepherd-Barron as a generalization of Deligne-Mumford's stable curves are stable in the sense of geometric invariant theory (GIT). More precisely, we show that KSB-stable varieties are asymptotically GIT-stable with respect to a sequence of linearizations defined by the Hodge bundle.

日本語要約

高次元の安定多様体のモジュライをGIT商として表す際、線形化の選択が障害になる。著者らはHodge束の行列式を組み合わせた線形化の列を用いて、KSB安定多様体の漸近GIT安定性を示す。その基礎として、適切なモジュライ関手の半正値性を、任意の被約準射影底上の直像層の弱正値性へ結びつける。従来の標準線形化についての不安定性の結果と矛盾する主張ではない。

We prove that KSB-stable varieties introduced by Koll\'ar and Shepherd-Barron as a generalization of Deligne-Mumford's stable curves are stable in the sense of geometric invariant theory (GIT). More precisely, we show that KSB-stable varieties are asymptotically GIT-stable with respect to a sequence of linearizations defined by the Hodge bundle.

特異点を許すKSB安定多様体をGIT商によって扱うための線形化を構成する。標準的なPlücker線形化とは異なるHodge束由来の列を用い、半正値性から漸近GIT安定性へ至る一般的な判定も示す。

arXiv
2610.40583v1
初回投稿日
2026-10-29
原論文のライセンス
Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)
掲載形式
Abstract・Introductionに基づく日本語要約
タグ
algebraic-geometry 2026

原論文を開く

書誌情報

要約

KSB安定多様体は、Deligne–Mumford安定曲線を高次元へ一般化する対象である。そのモジュライ空間の構成には深い双有理幾何が使われてきたが、GIT商として実現するには、どの線束で安定性を測るかという問題が残る。

著者らは、Hodge束に由来する線形化の列を選び、すべてのKSB安定多様体がその列に関して漸近GIT安定になると示す。Mumfordの標準線形化で特異なKSB安定多様体の漸近半安定性が失敗するという先行結果を否定するのではなく、線形化を変えることで障害に対応する。

鍵となるのは、多重標準層の直像の弱正値性を、正規とは限らない被約準射影底へ広げることである。著者らは半正値なモジュライ関手についての一般的なGIT安定性判定を作り、KSB安定多様体をその応用として扱う。

背景と問題設定

族 $f:X\to B$ の多重標準層の直像から得る $\det f_\ast \omega_{X/B}^{[k]}$ は、モジュライ空間の射影性に関係するHodge線束である。ここで角括弧は論文の多重標準層の記法を表す。標準線形化での結果と、このような直像から作る線形化での結果を区別する必要がある。

Introductionでいうgoodなモジュライ関手は、分離性、有界性、固有性、有限自己同型群、Hilbertスキームの構成可能部分によるパラメータ付けを備えるものである。これはAlperのgood moduli spaceという用語とは異なる。半正値性は、滑らかな完備曲線上の族で、十分高い次数の直像層がnefとなる条件である。

主結果

KSB安定多様体の漸近安定性（Theorem 1.1）

KSB安定多様体を漸近GIT安定にする線形化の列が存在し、次元 $d$、体積 $\nu$ を固定した粗モジュライ空間をGIT商として実現できる。

Introductionの式(1.6.6)はその線形化を具体的に示す。十分大きく可除な $k$ と、$\mathbb P^{r-1}$ に普遍的に埋め込まれた族 $f:X\to H^{r,k}$ に対し、ある $\mu_0(k)>0$ があって、すべての $\mu\geq\mu_0$ で

$$ \det\bigl(f_\ast \omega_{X/H^{r,k}}^{[k]}\bigr) \otimes\bigl(\det f_\ast \omega_{X/H^{r,k}}^{[k\mu]}\bigr)^r $$

に関する安定点集合が $H^{r,k}$ 全体となる。異なる指数の行列式束を組み合わせる点が具体的な内容である。

一般のモジュライ関手への拡張（Theorem 1.4）

goodで関手的に偏極され、半正値なモジュライ関手の対象は、論文で構成する線形化に関して漸近安定となり、その関手はGIT商による粗モジュライ空間を持つ。KSB安定多様体についての主定理はこの一般定理の一例である。

半正値性から弱正値性へ（Theorem 1.5）

goodなモジュライ関手が半正値なら、ある正整数 $k_0$ が存在し、任意の被約準射影スキーム $Y$ 上の対象 $f:(X,L)\to Y$ について、$k$ が $k_0$ の倍数であれば $f_\ast L^{[k]}$ が $Y$ 全体で弱正値となる。非正規な底も含める点が、GIT判定を適用するために重要である。

KSB族の直像の弱正値性（Corollary 1.6）

次元 $d$ と体積 $\nu$ を固定すると、ある $k_0>0$ が存在し、被約準射影底 $B$ 上の任意のKSB安定族について

$$ f_\ast \omega_{X/B}^{[k]}\text{ は }B\text{ 上弱正値}\qquad(k_0\mid k) $$

となる。滑らかなファイバーや正規な底に限定した正値性から、必要なパラメータ空間全体へ議論を進める結果である。

証明の見取り図

正規な底では特異点解消と弱正値性の降下を使えるが、非正規な底では同じ降下が一般には成り立たない。著者らはモジュライ関手の固有性を用いて安定還元を作り、平坦な被覆の上で直像層を適切に延長する。

高次元の底では層状の安定還元とGabberの延長定理が、延長問題を離散付値環上の問題へ還元する役割を果たす。その弱正値性をViehweg型のGIT判定へ入れる。単一のHodge線束だけを最適な線形化にできるかという問題は、Section 1.Cで残る課題として説明されている。

原論文との対応