[論文レビュー] Birch's theorem in function fields

Siu-lun Alan Lee|arXiv (Cornell University)|Sep 22, 2011

Meromorphic and Entire Functions参考文献 11被引用数 11

ひとこと要約

本稿は、特徴量 $p > d$、特異点集合の余次元、および局所的可解性の条件下で、関数体における次数 $d$ の完全交差の $\mathbb{F}_q[t]$-有理点の数に対する明示的な誤差項を含む漸近公式を確立する。非特異的完全交差に対して弱近似を証明し、数体における Birch の定理を関数体へと拡張し、定量的な誤差項を伴う。

ABSTRACT

We establish an aysmptotic formula for the number of points with coordinates in $\mb{F}_q[t]$ on a complete intersection of degree $d$ defined over $\mb{F}_q[t]$, with explicit error term, provided that the characteristic of $\mb{F}_q$ is greater than $d$, the codimension of the singular locus of the complete intersection is large enough, and this intersection has a non-singular point at each place of $\mb{F}_q[t]$. In particular, when this complete intersection is non-singular, we show that it satisfies weak approximation.

研究の動機と目的

• 整数環 $\mathbb{Z}$ 上での Birch の定理を関数体設定 $\mathbb{F}_q[t]$ へ一般化すること。
• 完全交差上の整数点の数に対する漸近公式を、明示的な誤差項とともに確立すること。
• 非特異的完全交差が関数体の文脈で弱近似を満たすことを証明すること。
• 正の特徴量をもつ関数体へ Hardy-Littlewood 法を適応し、誤差項を制御すること。
• すべての場所、特に $\infty$ および $\varpi$-進完備化における局所的可解性条件を分析し、グローバル可解性を検討すること。

提案手法

• 関数体における $\infty$ および $\varpi$-進場所における絶対値と完備化を定義することで、Hardy-Littlewood 円周法を関数体へ適応する。
• 正の特徴量における Weyl 差分法を用い、指数和を制御するため $p > d$ を要請する。
• 特異級数 $\mathfrak{S}$ をすべての場所 $\varpi$ における $\varpi$-進密度の積として、特異積分 $\mathcal{J}$ を解の実密度として定義する。
• 格子論的道具、特に随伴格子と連続最小値を用いて、ボックス内における解の数を推定する。
• 関数体設定における dyadic 分割と主要・微小弧分解法を用い、主要項と誤差項を分離する。
• Lang-Tsen の定理を基本ケースとして用い、$s > Rd^2$ のとき有理点の存在を保証する。

実験結果

リサーチクエスチョン

• RQ1 完全交差の次数 $d$ に対して、$\mathbb{F}_q[t]$-点の数に対する漸近公式が明示的な誤差項を含んで成立するか？
• RQ2 特異点集合および局所的可解性のどの条件下で、このような完全交差に対して弱近似が成立するか？
• RQ3 Hardy-Littlewood 法は正の特徴量をもつ関数体へどのように適応されるか？
• RQ4 誤差項は変数の数および特異点集合の余次元にどのように依存するか？
• RQ5 局所的可解性条件の下で、特異級数 $\mathfrak{S}$ および特異積分 $\mathcal{J}$ が明示的に定義可能であり、正であることを示せるか？

主な発見

• 漸近公式が確立された：$\rho(P) = \widehat{P}^{s-Rd}(\mathfrak{S}\mathcal{J} + O(\widehat{P}^{-k/(2^{d+1}R(d-1))}))$ として $P \to \infty$ のとき、$k = s - \dim\operatorname{Sing} X - R(R+1)(d-1)2^{d-1}$。
• 誤差項は明示的であり、$P$ に関して多項式的に減少し、$k$ に依存する。$k$ は特異点集合を除いた有効な自由度の数を表す。
• 非特異的完全交差に対して弱近似が成立する。有理点のアデール的像がアデール的点の集合において稠密であるため。
• 特異級数 $\mathfrak{S}$ はすべての場所 $\varpi$ における収束する積であり、非特異な実点の存在の下で特異積分 $\mathcal{J}$ は正である。
• Weyl 差分法の議論を制御するため、$p > d$ という条件は本質的である。
• 漸近公式が成立するための変数の数は、古典的ケースと一致する：$s > Rd^2 + R(R+1)(d-1)2^{d-1} + \dim\operatorname{Sing} X$。