[論文レビュー] Points de hauteur bornee sur les varietes de drapeaux en caracteristique finie

Emmanuel Peyre|arXiv (Cornell University)|Mar 5, 2003

Advanced Algebra and Geometry被引用数 4

ひとこと要約

この論文は、正の特性を持つグローバル関数体上の一般化フラッグ多様体における有理点の高さが有界なものの数について、モリスが開発したイーゼンスタイン級数の技法を用いて漸近公式を確立する。高さゼータ関数の留数が、数体上の古典的マンイン予想に類似したタマガワ型定数を有することを証明し、フラッグ多様体の構造とアデール的計量から導かれる明示的な幾何的および算術的因子を含む。

ABSTRACT

The aim of this paper is to apply the work of Morris on Eisenstein series over global function fields to the study of the asymptotic behavior of the points of bounded height on a generalized flag variety defined as the quotient of a semi-simple algebraic group by a reduced parabolic subgroup over such a field. The formula obtained for the height zeta function has an interpretation similar to the one known over a number field.

研究の動機と目的

• 正の特性のグローバル体への有理点の高さが有界なものの数のマンイン予想の枠組みを拡張すること。
• 関数体上の一般化フラッグ多様体における有理点の数を数える関数の漸近公式を確立すること。
• 古典的タマガワ測度に類似した幾何的および算術的不変量を用いて、漸近公式の主要定数を解釈すること。
• 先行研究が残した空白を埋めるために、高さゼータ関数の留数における定数の完全な解釈を提供すること。
• 自動形式論および代数群論の道具を用いて、正の特性におけるフラッグ多様体のアデール的計量へのタマガワ測度理論を一般化すること。

提案手法

• 数体から関数体へのアデール的計量および高さ関数の理論を、積の公式と正規化された付値を用いて適応する。
• ベース体上の線束および計量を用いて定義された高さを用いて、フラッグ多様体のアデール空間上に高さゼータ関数を構成する。
• モリスが開発した関数体上でのイーゼンスタイン級数理論を適用し、ゼータ関数の解析的性質を分析する。
• 有効な除法群の錐の頂点における極の位数を計算し、それがピック群に関連していることを示す。
• ゼータ関数の留数を、局所的密度の積とタマガワ測度を含むグローバル定数の積として導出する。
• 主要定数を、算術的因子 α(V) と幾何的因子 β(V) の積として表現し、β(V) をタマガワ測度におけるフラッグ多様体の体積に関連付ける。

実験結果

リサーチクエスチョン

• RQ1 グローバル関数体上の一般化フラッグ多様体における高さが有界な有理点の数の漸近的挙動は何か？
• RQ2 このような多様体における高さゼータ関数の留数は、正の特性における幾何的および算術的不変量とどのように関係するか？
• RQ3 古典的マンイン予想における主要定数の予測を、イーゼンスタイン級数を用いて関数体へ拡張できるか？
• RQ4 フラッグ多様体の関数体設定におけるタマガワ測度の役割は何か？
• RQ5 漸近公式における局所的密度とグローバル定数は、数体の場合とどのように比較できるか？

主な発見

• グローバル関数体上の一般化フラッグ多様体における高さゼータ関数は、有効な除法群の錐の頂点に単純極を有し、その留数が漸近的成長率を捉えている。
• 留数は、グローバル定数 α(V) と幾何的因子 β(V) の積として表現され、β(V) はフラッグ多様体のタマガワ測度に等しい。
• 定数 α(V) が有理数であり、ベース体の類群および単数群に関連していることが示された。
• 留数の公式は、古典的マンイン予想の構造と一致し、期待される漸近的挙動の関数体版を確認した。
• この方法により、主要定数が幾何的および算術的不変量の観点から解釈され、[LY] などの先行研究が残した空白が解消された。
• タマガワ測度がアデール的積分によって定義されるフラッグ多様体上で、漸近的数え上げの正しい正規化を与えることが確認された。