[論文レビュー] A local-global principle for weak approximation on varieties over function fields

Mike Roth, Jason Starr|ArXiv.org|Aug 1, 2009

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

ひとこと要約

本稿は、代数閉体上での曲線上の有理的連結なファイブレーションに対して、弱近似の局所-大域原理を確立する。具体的には、ハンドルが付いた櫛型曲線の形式的またはエタール局所的変形が、ザリスキ局所的変形をもたらすことを示し、弱近似の問題を、このような変形可能な櫛型曲線の存在に帰着させる。主な結果は、理想層の引き戻しと正標数における変形理論を用いて、その帰着を実現する。

ABSTRACT

We present a new perspective on the weak approximation conjecture of Hassett and Tschinkel: formal sections of a rationally connected fibration over a curve can be approximated to arbitrary order by regular sections. The new approach involves the study of how ideal sheaves pullback to Cartier divisors.

研究の動機と目的

• 代数閉体上での曲線上の有理的連結ファイブレーションに対して、弱近似の局所-大域原理を確立すること。
• Hassett と Tschinkel の弱近似予想を、所定の局所的性質を持つ変形可能な櫛型曲線の存在に還元すること。
• 理想層の引き戻しと変形理論を用いた新しい幾何的枠組みを提供し、切断近似を分析すること。
• 従来の手法に限界があった点を補い、弱近似の結果を正標数にまで拡張すること。
• 形式的またはエタール局所的変形がザリスキ局所的変形をもたらすことを示し、これによりグローバルな切断近似が可能になること。

提案手法

• ハンドル $ s $ を持つ櫛型曲線の概念を導入する。ここで $ s $ は切断であり、$ C $ は $ B $ を支配する被約曲線で、一般ファイバーが $ s(\eta_B) $ と一致する。
• $ \mathcal{O}_{B,E} $, $ \mathcal{O}_{B,E}^{h} $, および $ \widehat{\mathcal{O}}_{B,E} $ 上での $ E $-切断と変形条件を定義する。これらはそれぞれザリスキ、エタール、形式的局所近傍に対応する。
• 変形理論を用いて、櫛型曲線 $ C $ がどの程度 $ E $-切断 $ s_E $ と一致する切断曲線に変形可能かを分析する。
• ファイバー内の非常に自由な有理曲線に基づく基準を適用し、形式的およびエタール設定における変形が妨げられないことを保証する。
• 固有性の値論的基準と、$ \mathbb{P}^n $ と $ X \times \mathbb{P}^r $ の開部分集合の同型を用いて、$ \widehat{K}_{B,b} $ 上の有理写像を構成する。
• 立方曲面のネロン＝セベリ格子におけるモノドロミー解析を用いて、非最小モデルを除外し、特定の状況で補題 1.11 を適用する。

実験結果

リサーチクエスチョン

• RQ1 ハンドル付き櫛型曲線が、ザリスキ開近傍上で $ E $-切断と一致する切断曲線に変形可能となる条件は何か？
• RQ2 櫛型曲線の形式的またはエタール局所的変形は、有理的連結ファイブレーションにおけるザリスキ局所近似とどのように関係するか？
• RQ3 特に有理的ダブル点をもつ立方曲面のファイバーの幾何は、弱近似の妥当性にどのような役割を果たすか？
• RQ4 特異ファイバーのネロン＝セベリ格子におけるモノドロミー類は、弱近似が成り立つかどうかを決定づけるか？
• RQ5 どの標数設定において、弱近似の変形基準が失敗し、その障害はどのように回避できるか？

主な発見

• ハンドル $ s $ を持つ櫛型曲線 $ C $ が、エタールまたは形式的局所的に $ E $-切断 $ s_E $ と一致する切断曲線に変形可能であれば、十分に多くの非常に自由な歯を追加することで、ザリスキ局所的にも一致するように変形可能である。
• 弱近似予想は、このような変形可能な櫛型曲線の存在に帰着され、これによりその証明への新たな道筋が得られる。
• 正標数においては、$ E $-円錐と $ \mathbb{P}^n $ と $ X \times \mathbb{P}^r $ の開部分集合の同型を用いた幾何的トリックにより、特徴 2, 3, 5 における問題を回避する。
• 有理的ダブル点を高々 3 個もつ立方曲面では、モノドロミー類はネロン＝セベリ格子の表の最初の 11 行に存在しない。これにより、曲面は最小的かつ有理的であり、弱近似が成り立つ。
• 補題 1.11 は、ファイバーが有理的立方曲面であれば、$ \widehat{K}_{B,b} $ 上の $ \mathbb{P}^1 $ からファイバーへの $ \widehat{K}_{B,b} $-有理写像を同型と固有性を用いて構成することで、$ X \times \mathbb{P}^r $ における弱近似を確立する。
• 補題 1.12 の証明により、立方曲面に高々 3 個の有理的ダブル点がある場合、モノドロミー類は表の最初の 11 行に存在しない。よって、曲面は最小的かつ有理的であり、弱近似が成り立つ。