代数幾何学 · 2026-08-18

Rationality of hypersurfaces

超曲面の有理性

Stefan Schreieder

stefan-schreieder-da9th2 birational-geometry algebraic-cycles-enumerative fano-varieties Birational geometry 双有理幾何 Fano varieties ファノ多様体 Algebraic cycles and enumerative geometry 代数的サイクル・数え上げ幾何

arXiv Abstract

We survey recent developments on rationality problems for algebraic varieties, with a particular emphasis on cycle-theoretic and combinatorial methods and their applications to hypersurfaces.

日本語要約

射影超曲面の有理性問題について、有理・安定有理・retract有理の違いと既知の含意を整理する。Fano領域の一般超曲面に対する非有理性の進展を、対角分解、非分岐コホモロジー、motivic integration、トロピカル・離散幾何、正則matroidなどの手法から概観する。一般三次3次元超曲面の非retract有理性や一般三次4次元超曲面の非有理性を含む近年の成果と、残る問題を示すsurveyである。

We survey recent developments on rationality problems for algebraic varieties, with a particular emphasis on cycle-theoretic and combinatorial methods and their applications to hypersurfaces.

超曲面の有理性・安定有理性・retract有理性をめぐる近年の進展を、代数的サイクル、非分岐コホモロジー、motivic integration、トロピカル幾何、matroidなどの方法に沿って解説するsurveyである。一般超曲面に対する非retract有理性の境界と、一般三次3次元・4次元超曲面の近年の結果を位置付ける。

arXiv
2510.13679v2
初回投稿日
2025-10-15
原論文のライセンス
arXiv non-exclusive distribution license
掲載形式
Abstract・Introductionに基づく日本語要約
タグ
algebraic-geometry 2026

原論文を開く

書誌情報

要約

多様体 $X$ が有理とは、その函数体が純超越拡大であること、同値に射影空間と双有理であることをいう。超曲面では次数 $d\le n+1$ のFano領域が、合理曲線を豊富にもつにもかかわらず有理性判定が難しい中心領域となる。

本surveyは、有理性から安定有理性、retract有理性、unirationalityへ至る含意を整理し、非有理性を検出する多様な障害を比較する。代数的サイクルと対角分解、非分岐コホモロジー、motivic integration、トロピカル幾何、正則matroid、mirror symmetryが紹介される。

IntroductionのTheorems 1.1–1.4は著者らを含む既存研究のsurvey結果であり、本稿独自の新定理として主張されてはいない。一般超曲面の次数・次元境界と三次超曲面のbreakthroughを一つの見取り図に配置する点が目的である。

背景と問題設定

含意関係は

$$ \text{rational}\Longrightarrow\text{stably rational}\Longrightarrow\text{retract rational}\Longrightarrow\text{unirational} $$

である。$d\ge n+2$ なら標準束の切断が非自明となるため、難所は主に $d\le n+1$ の滑らかなFano超曲面である。

主な既知結果

一般超曲面（Theorems 1.1, 1.2）

標数が2でない体上で、次元 $n\ge3$、次数 $d\ge \log_2 n+2$ の非常に一般の超曲面はretract有理でない。また $d\ge4$ かつ

$$ n\le(d+1)2^{d-4} $$

なら同じ非retract有理性が成り立つ。これらはsurveyで再掲された既知定理である。

三次超曲面（Theorems 1.3, 1.4）

非常に一般の複素三次3次元超曲面はretract有理でなく、非常に一般の複素三次4次元超曲面は有理でない。前者では中間Jacobianの最小類とmatroid理論、後者ではmirror symmetryと量子コホモロジーによる既存成果が位置付けられる。

原論文との対応

  • Introduction: Section 1, pp. 1–3
  • 主要なsurvey定理: Theorems 1.1–1.4
  • 確認version: v2
  • source_scope: Abstract and Introduction