[論文レビュー] Specialization of birational types

Maxim Kontsevich, Yuri Tschinkel|arXiv (Cornell University)|Aug 18, 2017

Algebraic Geometry and Number Theory参考文献 7被引用数 13

ひとこと要約

本稿では、代数幾何における有理型のタイプを研究するための新しい不変量として、動標数のBurnside環を導入する。これは、モチーフ的積分で用いられるGrothendieck環の代わりとなるものである。特徴的写像を構成し、有理型の同値関係を保つことを示し、曲線の一般ファイバー上で2つの族が有理型であるならば、任意の閉点上のファイバーもその残渣体上で有理型であることを証明する。これは、次元3に限らない有理型の特殊化を一般化するものである。

ABSTRACT

We introduce a simplified version of the Grothendieck group of algebraic varieties and use it to show that birational types specialize in families with mild singularities of the central fiber.

研究の動機と目的

• モチーフ的積分が有理型のタイプを捉えきれていないという限界を是正するため、体のBurnside環を新たな不変量として導入すること。
• 滑らかな曲線上の族における有理型のタイプの特殊化について、簡素化され強化された証明を提供すること。
• 多様体のGrothendieck環を、関数体の有理型同値類を直接に符号化するBurnside環に置き換えること。
• 乗法性を要件としないが、有理型のタイプを尊重する特殊化準同型を確立し、有理型の問題においてより強力な結果を得ること。
• 既知の次元3における有理型の特殊化を、任意の次元にまで一般化すること。

提案手法

• 体 $k$ 上の滑らかで連結な多様体の $k$-有理型同値類で生成される自由アーベルモノイドとして、Burnside半環 $\mathrm{Burn}_+(k)$ を定義する。加法と乗法はそれぞれ直和とファイバー積で与えられる。
• $\mathrm{Burn}_+(k)$ のGrothendieck環としてBurnside環 $\mathrm{Burn}(k)$ を構成し、超越次元で自然に次数づけられる。
• 整域 $\mathfrak{o}$ の残渣体が $k$、分数体が $K$ であるような離散値環に対して、加法的だが乗法的でない特殊化準同型 $\rho: \mathrm{Burn}(K) \to \mathrm{Burn}(k)$ を定義する。
• sncモデルとトーリック退化を用いて、族の特別ファイバーを解析し、コンパチブルなファン系における成分の部分集合と錐によってラベル付けられたストラタに分解する。
• 錐上で成り立つEuler特性の恒等式を活用し、ストラタからの寄与の和が個々の族からの寄与の積に一致することを示す。
• 特殊化写像をモチーフ的還元と関連づけ、$\hat{\rho}$ 写像を導入し、$\hat{\rho} = \psi \circ \rho^{\hat{\mu}}$ が成り立つことを示す。ここで $\psi$ は $T=1$ での評価である。

実験結果

リサーチクエスチョン

• RQ1 滑らかな曲線上の族において、一般ファイバーから閉ファイバーへの有理型のタイプの特殊化は、次元が高次であっても成立するか？
• RQ2 多様体のGrothendieck環は有理型不変量を捉えきれておらず、その場合、Burnside環がより良い代替手段となり得るか？
• RQ3 乗法性を要件としない有理型不変量の特殊化写像は、有理型同値関係を保つことができるか？
• RQ4 特別ファイバーが有理型二重点のような特異点を持つ場合でも、有理型性はすべてのファイバーに特殊化可能か？
• RQ5 本稿で提示された新しい特殊化写像は、既存の文献におけるモチーフ的還元写像とどのように関係しているか？

主な発見

• 滑らかで、かつ、滑らかで、かつ、連結な曲線上の族に対して、有理型のタイプの特殊化が成り立つ：一般ファイバーが有理型同値であれば、任意の閉点上のファイバーもその残渣体上で有理型同値である。
• Burnside環 $\mathrm{Burn}(k)$ は、$k$ 上の関数体の同型類によって自由に生成され、有理型幾何における自然な不変量である。
• 特殊化写像 $\rho: \mathrm{Burn}(K) \to \mathrm{Burn}(k)$ は加法的であり、有理型同値関係を尊重するが、乗法性は保たない。
• 乗法的バージョンとは異なり、$\rho$ は接ベクトル $\tau$ の選択に依存しないため、有理型の応用においてより強固である。
• 有理型二重点をもつ特異ファイバーに対しても、この構成は一般化可能であり、このような特異点が存在しても有理型性の特殊化が成立することを証明する。
• 特殊化写像はモチーフ的還元と整合的であり、$\hat{\rho} = \psi \circ \rho^{\hat{\mu}}$ の合成により、$T=1$ の極限でモチーフ的体積が回復される。