代数幾何学 · 2026-08-07
Geometry of Neighborhoods of Minimal Rational Curves
極小有理曲線の近傍の幾何 Jun-Muk Hwang jun-muk-hwang-pdbw33arXiv Abstract
This is a survey of recent works on the germ-equivalence problem of minimal rational curves on uniruled projective manifolds. Our main interest is when the associated varieties of minimal rational tangents form an isotrivial family of projective varieties. In this case, there is a natural G-structure on a Zariski-open subset of the underlying uniruled projective manifold, which leads to an interaction of algebraic geometry of minimal rational curves with differential geometry of geometric structures. We also discuss the related question of the formal principle for the germ-equivalence of minimal rational curves.
日本語要約
単線織射影多様体上の極小有理曲線のgerm同値問題に関する近年の研究を概説する。特に、極小有理接方向多様体が一定の射影多様体と同型な族をなす場合を扱う。この場合、Zariski開集合上に自然なG-structureが生じ、極小有理曲線の代数幾何と幾何構造の微分幾何が接続する。関連するformal principleの問題も論じる。
This is a survey of recent works on the germ-equivalence problem of minimal rational curves on uniruled projective manifolds. Our main interest is when the associated varieties of minimal rational tangents form an isotrivial family of projective varieties. In this case, there is a natural G-structure on a Zariski-open subset of the underlying uniruled projective manifold, which leads to an interaction of algebraic geometry of minimal rational curves with differential geometry of geometric structures. We also discuss the related question of the formal principle for the germ-equivalence of minimal rational curves.
単線織射影多様体上の極小有理曲線について、曲線近傍の解析的germがいつ同値になるかを概説するsurveyである。VMRTが一定の射影多様体型を持つ場合に生じるcone structureとG-structureを用い、局所平坦性とformal principleをめぐる既知の結果と問題を整理する。
algebraic-geometry 2026書誌情報
- arXiv: arXiv:2605.24303v1
- 著者: Jun-Muk Hwang
- 初回投稿日・最終更新日: 2026年5月23日
- 主分類・副分類: math.AG（主分類）, math.DG
- ライセンス: CC BY-NC-ND 4.0
要約
本論文は新しい単一の主定理を提示する研究論文ではなく、極小有理曲線の近傍germの分類をめぐる近年の成果を整理するsurveyである。曲線を含む解析的近傍同士の双正則写像をgerm同値と呼び、それが多様体全体の剛性へどうつながるかを説明する。
一般の分類問題は極めて大きい。$\mathbb P^n$ を任意の射影部分多様体 $Z\subset\mathbb P^{n-1}$ に沿ってblow-upする構成が、それぞれ異なる局所模型を与えるからである。そこでVMRT（極小有理接方向多様体）が各一般点で固定した $Z$ と射影同値である場合に問題を絞る。
この仮定の下、VMRT族は接空間の射影化の中の $Z$-cone structureを定める。germ分類はこのcone structureの局所同値・局所平坦性の問題となり、自己同型群に対応するG-structure、torsion-free connectionなどの微分幾何的道具が導入される。
もう一つの軸はformal principleである。曲線の無限小近傍の形式同値が実際の解析的近傍同値を導く条件を調べることで、形式幾何とVMRT幾何を接続する。本記事はIntroductionが設定する問題と既知の入口を中心にまとめる。
背景と問題設定
一般の極小有理曲線 $C$ の正規化 $\nu:\mathbb P^1\to C\subset X$ はunbendableで、Introductionでは
$$ \nu^*T_X\simeq\mathcal O(2)\oplus\mathcal O(1)^d\oplus\mathcal O^{n-1-d} $$
と書かれる。固定した $n,d$ だけではgerm同値類は分類不能なほど大きいため、一般点でのVMRT $\mathcal C_x\subset\mathbb P T_xX$ が固定 $Z\subset\mathbb P^{n-1}$ と射影同値という条件 $(\dagger)$ を課す（Question 1.11）。
主結果として紹介される既知の成果
Cartan--Fubini型延長（Theorem 1.2）
Picard数1の二つの単線織射影多様体で、極小有理曲線族のuniversal family mapのファイバーが連結とする。一般の極小有理曲線の近傍間のgerm同値は、多様体全体のbiregular morphismへ延長する。したがって局所的な曲線近傍の識別が大域的剛性を検出する。
VMRTによる局所模型の識別（Propositions 1.5, 1.6）
$Z\subset\mathbb P^{n-1}$ に沿う $\mathbb P^n$ のblow-upからunbendableな極小有理曲線族が構成され、そのVMRTは $Z$ と射影同値になる。二つのこうした曲線がgerm同値なら、元の $Z$ 同士も射影同値である。これが分類問題を条件 $(\dagger)$ へ絞る根拠となる。
原論文との対応
- Abstractページ: arXiv:2605.24303
- Introduction: Section 1, pp. 1--5
- Introduction中で言及された主要定理番号: Theorem 1.2; Propositions 1.5, 1.6; Question 1.11
- 論文構成の説明: Introduction末尾からSection 2への接続, p. 5
- 確認したarXivバージョン: v1
- 確認したライセンス: CC BY-NC-ND 4.0
- source_scope: Abstract and Introduction