標準束がnefでない射影多様体上の有理曲線を構成
Constructing Rational Curves via Jets on Projective Varieties with Non-Nef Canonical Bundle
この論文をやさしく読む
ひとことで言うと
標準束に関する次数が負の曲線の各点を通る有理曲線を、ジェットを使って構成する理論研究である。
何に役立つ？
考えられる用途は、代数幾何で有理曲線や射影多様体の単線織性を調べることである。要旨は証明と数値的な分解の結果を述べる。
この研究の面白いところ
点に依存しない正の係数と反標準次数の上限を持つ有理曲線を、分解に含める点が特徴である。
どこまで分かった？
結果は標数0の滑らかな射影多様体など、要旨の条件の下にある。形式化の詳細は付録にあると記されるが、要旨にはない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
標数0におけるMiyaoka–Moriの判定法に、代数的な証明を与える。この判定法は、滑らかな射影多様体上で、標準束に関する次数が負の曲線の各点が、有理曲線上にあるというものである。著者らのジェットを用いる技法は、元の曲線の類を数値的に分解する有効な方法も与える。指定した各点に対して、その分解には、その点を通る有理曲線が含まれる。その係数は正で点に依存せず、反標準次数は多様体Xの次元に1を足した値以下である。 BDPPの錐の双対性と組み合わせると、複素数体上での射影的な単線織性の判定法も再び得られる。本論文の主要結果はPharosシステムを使って得られた。Pharosの利用と主要な議論のLean 4による形式化についての詳細な報告は、Bin Dong、Guoxiong Gao、Zeming Sun、Bin Wuが執筆した付録Bに記されている。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-23（UTC）
- 最新改訂
- 2026-09-23 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-23 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We give an algebraic proof in characteristic zero of the Miyaoka--Mori criterion: every point of a curve of negative canonical degree on a smooth projective variety lies on a rational curve. Our jet technique gives, in addition, an effective numerical decomposition of the original curve class. For each prescribed point, the decomposition contains a rational curve through that point, with a positive coefficient independent of the point and with anticanonical degree at most $\dim X+1$. Together with BDPP cone duality, this recovers the projective uniruledness criterion over $\mathbb C$. The main result of this paper was obtained using the Pharos system. A detailed report on the use of Pharos and on the Lean~4 formalization of the main arguments is given in the Appendix B, written by Bin Dong, Guoxiong Gao, Zeming Sun, and Bin Wu.
arXiv ID: 2609.28465 ／ 要約の誤りについて