代数幾何学 · 2026-10-09

Rational curves on toroidal compactifications of Picard modular varieties

Picardモジュラー多様体のトロイダルコンパクト化上の有理曲線

soheil-memarinasorkhabi-tco29k sai-kee-yeung-93f7f8 positivity hyperbolicity uniformization Positivity 正値性 Hyperbolicity 双曲性 Uniformization 一意化

arXiv Abstract

It was known that the canonical bundle of a smooth toroidal compactification of a noncompact finite-volume ball quotient is nef in dimension $n\geq3$ and ample in dimension $n\geq6$. We prove that the canonical bundle is ample in dimension $n\geq4$ and show that this dimension bound is sharp. We construct infinitely many pairwise noncommensurable noncompact Picard modular threefolds whose smooth projective toroidal compactifications have non-ample canonical bundle. Each compactification contains a smooth rational curve meeting the interior and having canonical degree zero. More generally, in every dimension $n\geq2$, we construct infinitely many pairwise noncommensurable noncompact Picard modular varieties whose smooth toroidal compactifications contain smooth rational curves meeting the interior. In particular, such curves persist in arbitrarily high dimension, even when the canonical bundle is ample.

日本語要約

球商のトロイダルコンパクト化の標準束と有理曲線の関係を調べる論文である。neatな格子による有限体積球商では、次元4以上で標準束が豊富になることを示す。一方、3次元では標準次数0の有理曲線を持ち、標準束が豊富でない例を無限に作る。より一般に、すべての次元2以上で、境界の外へ出る有理曲線を持つ例を構成するため、高次元化や標準束の豊富性だけではそのような曲線を排除できない。

有限体積球商の滑らかなトロイダルコンパクト化では、標準束が豊富になる一般的な次元条件を4以上へ改善し、3次元の反例で鋭さを示す。さらに任意の次元2以上で、内部と交わる滑らかな有理曲線を持つ互いにcommensurableでないPicardモジュラー多様体を無限に構成する。

arXiv: 2610.12071v1
初回投稿日: 2026-10-08
原論文のライセンス: arXiv.org perpetual, non-exclusive license
掲載形式: Abstract・Introductionに基づく日本語要約
タグ: 正値性
双曲性
一意化

algebraic-geometry 2026

原論文を開く

書誌情報

原題: Rational curves on toroidal compactifications of Picard modular varieties
著者: Soheil Memarinasorkhabi, Sai-Kee Yeung
arXiv: 2610.12071v1
初回投稿日 / 更新日: 2026-10-08 / 2026-10-08
主分類: math.AG
ライセンス: arXiv.org perpetual, non-exclusive license。著作権は原著者等の権利者に帰属する。

要約

複素球の商は内部では強い双曲性を持つが、そのトロイダルコンパクト化には有理曲線が現れ得る。境界を付け加えた射影多様体の標準束がどの程度正になるか、そして有理曲線を境界内に閉じ込められるかは、別々に検討すべき問題である。

本論文は、標準束が豊富になる一般的な次元条件を6以上から4以上へ改善する。同時に、3次元で標準次数0の有理曲線を持つ例を無限に構成し、この閾値が最良であることを示す。

さらに、次元がどれほど大きくても内部と交わる有理曲線が残る例を作る。これにより、標準束の豊富性や次元だけでは、解析的・代数的な例外集合を境界へ押し込められないことが明確になる。

背景と問題設定

$X=\Gamma\backslash\mathbb B^n$ を非コンパクトな有限体積球商、$\overline X$ を滑らかな射影的トロイダルコンパクト化、$D=\overline X\setminus X$ を境界とする。格子 $\Gamma$ にはneat性を仮定する。Introductionは、標準束 $K_{\overline X}$ のnef性が $n\ge3$、豊富性が従来 $n\ge6$ で知られていたことを背景に置く。

曲線が「内部と交わる」とは、境界 $D$ に含まれないことである。コンパクトな有理曲線全体が球商の内部に入ることを主張しているのではない。

主結果

主定理1：次元4以上での豊富性（Theorem A）

$n\ge4$ の有限体積球商で $\Gamma$ がneatなら、滑らかな射影的トロイダルコンパクト化の標準束 $K_{\overline X}$ は豊富である。これは従来の一様な次元条件を改善する。

主定理2：3次元の最良性（Theorem B）

滑らかなトロイダルコンパクト化の標準束が豊富でない、非コンパクトPicardモジュラー3次元多様体が、互いにcommensurableでないものとして無限に存在する。各例には境界に含まれない滑らかな有理曲線 $C$ があり、

$$ K_{\overline X}\cdot C=0 $$

を満たす。豊富因子は射影曲線と正に交わるため、この式が非豊富性を直接検出する。したがってTheorem Aの次元4という閾値を3へ下げることはできない。

主定理3：任意次元での有理曲線（Theorem C）

すべての $n\ge2$ に対し、互いにcommensurableでない非コンパクトPicardモジュラー多様体を無限に構成でき、そのコンパクト化には滑らかな有理曲線 $C$ が存在する。$C$ は異なる四つの境界成分と各1点で横断的に交わり、$C\cap X$ は全測地的であり、

$$ D\cdot C=4,\qquad K_{\overline X}\cdot C=n-3 $$

となる。$n\ge4$ では右辺が正となるので、この曲線の存在は標準束の豊富性と矛盾しない。Introductionは、例外集合を境界へ制限する既知の結果で使われるcusp depth条件を、次元の大きさだけで代替できないと説明する。

証明の見取り図

Introductionが詳しく説明するのはTheorem Cの構成である。虚二次体上のユニタリ群のレベル3主合同部分群を使い、Hermitian形式に含まれる双曲平面から全測地的なモジュラー曲線を埋め込む。この曲線は四つのcuspを持つレベル3モジュラー曲線となり、コンパクト化は射影直線である。

各cuspで最短の正の垂直平行移動が周囲の球商と一致するため、境界との交差重複度が1になる。そのEuler標数は $\chi(Y(3))=-2$ であり、

$$ (K_{\overline X}+D)\cdot C=-\frac{n+1}{2}\chi(Y(3))=n+1 $$

から標準次数 $n-3$ を得る。最後に、格子の有限指数部分群が張る有理行列代数の中心から定義体を回復し、虚二次体を変えた例がcommensurableでないことを示す。Theorem Aの証明は後続のSection 1に置かれており、本記事では再構成しない。

原論文との対応

Abstractページ: 2610.12071
PDF: 2610.12071v1
Introduction: Introduction, pp. 1–3（番号付きSection 1の前）
主要結果: Theorems A, B, C
確認バージョン: 2610.12071v1
確認ライセンス: arXiv.org perpetual, non-exclusive license
source_scope: Abstract and Introduction。後続節の証明全体の精読・独立検証は行っていない。