[論文レビュー] The density of rational points in curves and surfaces

D. R. Heath‐Brown, Jean-Louis Colliot-Thélène|ArXiv.org|May 20, 2004

Mathematics and Applications参考文献 2被引用数 7

ひとこと要約

本稿は、代数的曲線および曲面における有理点の数について、明示的で一様な上限を、Bombieri-Pila や Pila の古典的結果を一般化する形で確立する。射影的でボックスに基づく数え上げ枠組みを導入し、3変数の既約形式に対して、有理点の数が $ B^{2/d + \varepsilon} $ にほぼ比例して増加することを証明する。特異性のない場合、より良い指数が得られ、特定の形式に依存せず、次数と次元のみに依存する。

ABSTRACT

Let $X$ be an algebraic variety, defined over the rationals. This paper gives upper bounds for the number of rational points on $X$, with height at most $B$, for the case in which $X$ is a curve or a surface. In the latter case one excludes from the counting function those points that lie on lines in the surface. The bounds are uniform for all $X$ of a given degree. They are best possible in the case of curves. As an application it is shown that if $F$ is an irreducible binary form of degree 3 or more then almost all integers represented by $F$ have essentially one such representation.

研究の動機と目的

• 有理数体上に定義された曲線および曲面における、有理点の高さが有界である場合の明示的で一様な上界を、形式の具体的な内容に依存せず、次数と次元のみに依存して確立すること。
• アフィン曲線における整数点の Bombieri-Pila 界を、$\mathbb{P}^{n-1}$ 内の超曲面に対して、射影的でボックス制約付きの設定に一般化すること。
• 次数 $d \geq 3$ の曲線および高次元の曲面における有理点の数の定量的推定値を導出し、係数の高さおよびボックスの次元に明示的な依存関係を含めること。
• 次数 $n > d+1$ の滑らかな曲面における曲線の有限性を証明し、そのような曲線の数に対する一様な上限 $N(n,d)$ を確立すること。
• 解の具体的な構成により、上限における指数 $2/d + \varepsilon$ が本質的に最適であることを示すこと。

提案手法

• 有理点 $F(\mathbf{x}) = 0$ における射影的数え上げ関数 $N(\mathbf{B})$ を導入し、$|x_i| \leq B_i$ のボックス内での点を、$\gcd = 1$ で最初の非ゼロ成分が正である $\mathbb{Z}^n$ の代表元で正規化する。
• 主要な量を定義する：ボックスの体積 $V = \prod B_i$、および $F$ の単項式における $\max \prod B_i^{f_i}$ をとる $T = \max \prod B_i^{f_i}$。これは形式の重み付きサイズを捉える。
• 整数点の曲線における高さの境界と、有理解の数の制御に、積分点理論を用いた射影的 Bombieri-Pila 法の応用。
• 鍵となる技術的道具：$N(F;B) > d^2$ ならば、$F$ の高さは $||F|| \ll B^{d(d+1)(d+2)/2}$ を満たす。これにより、係数依存性が $B^\varepsilon$ 項に吸収可能になる。
• カステルヌオヴォの境界と接続公式を用いて、曲面における交点数を解析し、次数 $d$ の曲線が次数 $n > d+1$ の曲面上で負の自己交点数を持つことを証明。これにより、有限性が導かれる。
• 普遍的族の曲線および曲面に対する適切な準同型理論を用い、ファイバーが有限の場合、そのような曲線の数が一様に $N(n,d)$ で抑えられることを証明する。

実験結果

リサーチクエスチョン

• RQ1 次数 $d \geq 3$ の有理数体上に定義された曲線に対して、形式に依存せず、有理点の高さが有界である場合の明示的で一様な上限を確立できるか？
• RQ2 次数 $d$ の既約形式 $F$ で定義される曲線における有理点の数 $N(F;B) \ll B^{\alpha + \varepsilon}$ の上限における最適な指数 $\alpha$ は何か？
• RQ3 超曲面の幾何的性質、特に特異性や次数が、有理点の数にどのように制限を加えるか。その制限は一様に定量的に表現可能か？
• RQ4 $\mathbb{P}^3$ 内の次数 $n$ の滑らかな曲面に対して、その上に存在する次数 $d$ の既約曲線の数は一様に有界であるか。もし有界であれば、そのような上限 $N(n,d)$ を確立できるか？
• RQ5 形式 $F$ の高さに依存する部分を、誤差項 $B^\varepsilon$ に吸収できる程度はどの程度か？

主な発見

• 任意の3変数の既約形式 $F$ に対して、高さが $B$ 以下の有理点の数は $N(F;B) \ll_{\varepsilon} B^{2/d + \varepsilon}$ を満たし、定数は $F$ に依存しない。
• 形式 $F$ が非特異的である場合、$N(F;B_1,B_2,B_3) \ll_{\varepsilon} V^{2/(3d) + \varepsilon}$ に改善され、ここで $V = B_1B_2B_3$ である。これはボックスの次元に強い依存性を示す。
• 指数 $2/d + \varepsilon$ は、$F(x_1,x_2,x_3) = x_1^d - x_2^{d-1}x_3$ に対して $(m^{d-1}n, m^d, n^d)$ の形の解の族が $N(F;B) \gg B^{2/d}$ を達成することにより、本質的に最適であることが示されている。
• $n \geq 3$ に対して、絶対的既約形式 $F$ で定義される超曲面における有理点の数は $N(F;B) \ll_{\varepsilon} B^{n-2 + 1/d + \varepsilon}$ を満たし、これは Pila の結果を一般化する。
• $N(F;B) > d^2$ ならば、$F$ の高さは $||F|| \ll B^{d(d+1)(d+2)/2}$ を満たす。これにより、$||F||$ に依存する部分が $B^\varepsilon$ 項に吸収可能になる。
• 任意の $\mathbb{P}^3$ 内の次数 $n > d+1$ の滑らかな曲面 $X$ に対して、$X$ に含まれる次数 $d$ の既約かつ非特異な曲線の数は、$N(n,d)$ で一様に抑えられ、この上限は $X$ に依存しない。