[論文レビュー] Libert\'e et accumulation

Emmanuel Peyre|arXiv (Cornell University)|Feb 11, 2016

Algebraic Geometry and Number Theory被引用数 12

ひとこと要約

本稿は、アラケロフ理論的勾配を用いて測定される新しい算術不変量「自由度（freedom）」を導入し、代数的多様体上の有理点の分布挙動に基づいて分類する。広義の計量とボストの勾配理論を用いて[0,1]に値をとる実数値の自由度不変量を定義することで、十分に高い自由度を持つ点が広義空間上で一様に分布することを示し、バチェーヴ＝マニンの原則と整合し、再帰的部分多様体解析に依存せずに蓄積点を除外する直接的な基準を提供する。

ABSTRACT

Le principe de Batyrev et Manin et ses variantes donnent une interpr\'etation conjecturale pr\'ecise pour le terme dominant du nom\-bre de points de hauteur born\'ee d'une vari\'et\'e alg\'ebrique dont l'oppos\'e du faisceau canonique est suffisamment positif. Comme l'a clairement montr\'e le contre-exemple de Batyrev et Tschinkel la mise en \oe uvre de ce principe n\'ecessite l'exclusion de domaines d'accumulation qui sont le plus souvent d\'etermin\'es en proc\'edant par r\'ecurrence sur la dimension de la vari\'et\'e. Cette m\'ethode ne donne cependant pas de crit\`ere direct permettant de dire si un point rationnel donn\'e doit \^etre exclu ou pas. L'ambition de cet article est de d\'efinir une mesure de la libert\'e d'un point rationnel de sorte que les points d'une libert\'e suffisante se r\'epartissent effectivement de mani\`ere uniforme sur la vari\'et\'e, c'est-\`a-dire qu'ils soient distribu\'es sur l'espace ad\'elique associ\'e \`a la vari\'et\'e conform\'ement \`a la mesure de distribution ad\'elique introduite dans un article ant\'erieur de l'auteur. De ce point de vue, les points assez libres devraient \^etre ceux qui respectent le principe de Batyrev et Manin.

研究の動機と目的

• バチェーヴ＝マニン型漸近公式における点数計算から有理点を除外する直接的基準の欠如に対処すること。
• アラケロフ理論を用いて、幾何学的に意味のある「自由度」の測度を有理点に対して定義すること。
• 蓄積が生じない点を特定することで、バチェーヴ＝マニン予想の精緻化を図ること。
• 有界高さの点の漸近的分布を広義測度と一致させること。
• バチェーヴ＝ツシンケルおよびルデュリエの例を含む既知の例と反例に対して、新しい自由度基準を検証すること。

提案手法

• 数体上の滑らかで射影的な多様体に広義計量を定義し、リーマン計量を算術幾何に一般化する。
• ヘルミートベクトルバンドルのボストの勾配理論を用いて、有理点 x における接空間の最大勾配 µ_max(x) を定義する。
• 正規化された勾配から導かれる自由度不変量 l(x) ∈ [0,1] を導入し、蓄積からどれほど「自由」であるかを測定する。
• 有界高さの点の漸近的分布を予測する多様体の広義空間上の広義測度を構成する。
• 一様分布に反する点を除外するために、自由度基準 l(x) > ε(B) および µ_max(x) ≤ log(B) を適用する。
• プロジェクト型空間、多様体の積、二次曲面、およびバチェーヴ＝ツシンケルとルデュリエの反例を含む主要な例でフレームワークを検証する。

実験結果

リサーチクエスチョン

• RQ1 有理点が点数漸近公式の主要項から除外されるかどうかを決定する直接的かつ内因的な算術不変量を定義できるか？
• RQ2 有理点における接空間のアラケロフ理論的勾配は、その広義空間上での分布挙動とどのように関係するか？
• RQ3 提案された自由度不変量 l(x) は、部分多様体に基づく手法が失敗する場合でも、蓄積に寄与する点を効果的に特定できるか？
• RQ4 バチェーヴ＝ツシンケルの反例において、高さが増加するにつれて l(x) → 0 となる点が、蓄積集合に対応するか？
• RQ5 自由度基準を用いることで、既知の例と反例と整合的であるように、バチェーヴ＝マニン予想を精緻化できるか？

主な発見

• 自由度不変量 l(x) ∈ [0,1] は、有理点の接空間にボストの勾配理論を適用することで定義され、算術的自由度の連続的測度を提供する。
• 高さ B → ∞ のとき l(x) → 0 となる点は、既知の反例と整合的に蓄積の候補と特定される。
• 文献[Pe1]で構成された広義測度は、十分に高い自由度を持つ点の分布を支配することが示され、精緻化されたバチェーヴ＝マニンの原則を支持する。
• P^2 × P^1 の場合、(P^2_Q)^2 における既知の結果が、自由度基準下での期待される振る舞いと矛盾しないが、o(B log B) の境界は未解決のままである。
• l(x) > ε(B) および µ_max(x) ≤ log(B) の基準は、部分多様体に基づく除外法の代替として実用的であり、後者の方が概念的に自然である。
• 本稿は、自由度不変量が蓄積を忠実に検出できるが、バチェーヴ＝マニン計画における最適基準を決定するためには、さらなる事例の検討が必要であると結論づける。