[論文レビュー] Beyond heights: slopes and distribution of rational points

Emmanuel Peyre|arXiv (Cornell University)|Jun 29, 2018

Polynomial and algebraic computation参考文献 21被引用数 9

ひとこと要約

この論文は、アーリックベクトルバンドルを用いて定義される勾配を導入し、代数的多様体上の有理点の分布、特にその薄い部分集合への蓄積を特徴付ける幾何的不変量としての応用を提示する。有理点における接空間の勾配を分析し、'自由度'不変量を定義することで、薄い部分集合に属する点と一般の点を区別する洗練された道具を提供し、高さに基づく等分布の幾何的類似物を提示するとともに、古典的高さ法を越えるものである。

ABSTRACT

The distribution of rational points of bounded height on algebraic varieties is far from uniform. Indeed the points tend to accumulate on thin subsets which are images of non-trivial finite morphisms. The problem is to find a way to characterise the points in these thin subsets. The slopes introduced by Jean-Benoît Bost are a useful tool for this problem. These notes will present several cases in which this approach is fruitful. We shall also describe the notion of locally accumulating subvarieties which arises when one considers rational points of bounded height near a fixed rational point.

研究の動機と目的

• 代数的多様体上での有理点の有界高さの非一様分布、特にその薄い部分集合への蓄積を扱う。
• これらの薄い部分集合に属する点を特徴付ける幾何的不変量として、有理点における接空間の勾配を定義する。
• その勾配構造に基づいて、有理点の'自由度'を測る概念を導入する。
• アーリック計量と幾何的類似物を組み合わせることで、特にモチーフ的積分を通じて、古典的高さ法を拡張する。
• 固定された有理点の近傍における局所的有理点の振る舞いと、局所的に蓄積する部分多様体の概念を結びつける。

提案手法

• 数体上のベクトルバンドルにアーリック計量を導入し、各点における接空間のハーディング＝ナラシムハン分解を用いて、有理点の勾配を定義する。
• 有理点 $ P $ に対して $ \mu_n(P) > 0 $ のとき、$ l(P) = n \frac{\mu_n(P)}{h(P)} $ として定義される'自由度'の概念を適用し、点の'自由さ'を定量的に測る。
• 普遍的 torsor とリフト技法を用いて、有理点の漸近公式を多様体上の幾何的構造と関連付ける。
• モチーフ的積分の幾何的設定を用いて、算術的状況との類似を図り、高さを越えるより深い不変量の可能性を示唆する。
• 障害理論と等分布結果を算術的および幾何的設定の両方で適用し、蓄積現象を分析する。
• 弱近似とアーリック測度を検討し、有理点の分布および特定の部分多様体への集中を研究する。

実験結果

リサーチクエスチョン

• RQ1 高さを超える不変量を用いて、薄い部分集合に蓄積する有理点と一般の有理点をどのように区別できるか。
• RQ2 接空間の勾配の観点から、有理点の'自由度'を捉える幾何的不変量は何か。
• RQ3 自由度の概念は、マンイン予想および関連する漸近公式をどれほど洗練できるか。
• RQ4 固定された有理点の近傍における有理点の局所的振る舞いは、全体の分布および部分多様体への蓄積とどのように関係するか。
• RQ5 モチーフ的積分を通じて得られる高さの幾何的類似物は、算術幾何における勾配概念を一般化する枠組みを提供できるか。

主な発見

• 自由度 $ l(P) \in [0,1] $ は、有理点の'自由さ'を正規化された測度として提供し、$ l(P) = 1 $ は最大の自由さを示す。
• 有理点 $ P $ における接空間の勾配 $ \mu_i(P) $ は、アーリックベクトルバンドル $ T_P V $ のハーディング＝ナラシムハン分解を用いて定義される。
• 自由度は、計量の有界な摂動に対して不変である。これは、異なる場所におけるノルム比の有界性によって示される。
• 次数 $ \widehat{\deg}(T_P V) $ は、対数的高さ $ h(P) $ に等しく、点の算術とその接空間の幾何の間の関係を結ぶ。
• 古典的高さ法が失敗する状況、例えばバティレフ＝ツシンケルの反例ですら、勾配解析によって薄い部分集合への蓄積を成功裏に同定できる。
• この枠組みにより、固定された有理点の近傍における局所的に蓄積する部分多様体の研究が可能となり、局所的有理点分布に新たな構造が明らかになる。