Rational points on smooth surfaces in $\mathbb{P}^3$ over finite fields

技術的概要：有限体上の $\mathbb{P}^3$ における滑らかな曲面の有理点

問題提起
本論文は、有限体 $\mathbb{F}_p$（$p$ は素数）上で定義された次数 $d$ の滑らかな曲面 $S$ 上の有理点の個数 $\sharp S(\mathbb{F}_p)$ の評価と計算に関する問題を取り扱っている。特に、著者らは $2 < d < p$ となる場合を焦点としている。ドリーニュによるヴェイル予想の証明は一般的な評価を与え、従来の初等的な手法も他の限界を確立しているが、著者らは第 2 著者（Voloch）が [10] で導出した特定の評価を精緻化することを目的としている。この以前の評価 $\sharp S(\mathbb{F}_p) \le \frac{d(d+p-1)(d+2p-2)}{6} + m(p+1)$ は、$S$ に含まれる $\mathbb{F}_p$-直線の個数 $m$ に依存する。本論文は、この評価を改善し、その評価を達成または近似する曲面の族を特定することを目指す。

手法
核心的な手法は、射影空間 $\mathbb{P}^3$ 内の代数曲面の交差理論に基づく。

1. 補助曲面の構成: 斉次多項式 $f$ によって定義された曲面 $S$ が与えられたとき、著者らは 2 つの補助曲面 $S_1$ と $S_2$ を構成する。
   • $S_1$ は $\sum_{i=0}^3 (\partial f / \partial x_i) x_i^p$ の零点集合である。
   • $S_2$ は $\sum_{i,j=0}^3 (\partial^2 f / \partial x_i \partial x_j) x_i^p x_j^p$ の零点集合である。
2. 交差スキーム: 著者らはスキーム $X := S \cap S_1 \cap S_2$ を解析する。先行研究により、$X$ の 1 次元成分は $S$ に含まれる直線であることが確立されている。著者らは、孤立した有理点からなる $X$ の 0 次元部分 $\Gamma$ に焦点を当てる。
3. 交差理論と重複度:
   • 補題 2.1: 著者らは、0 次元スキーム $\Gamma$ の次数、直線の個数 $m$、およびこれらの直線の交差数との間の関係を確立する。この補題は、曲面上の古典的な交差理論と随伴公式に依存し、$\Gamma$ の次数を評価する。
   • 重複度の解析: 重要なステップとして、$X$ における点の重複度を決定することが含まれる。著者らは、直線上に存在しない $S$ 上の有理点は、$X$ において少なくとも重複度 6 で現れると指摘する。
   • 直線の重複度: 著者らは、$X$ 内の直線が重複度 1 で現れるかどうかを調査する。一般的にはこれを証明できないが、フェルマー曲面などの特定の族や、数例に対するコンピュータチェックを通じてこれを検証する。
4. 組合せ的数え上げ: 特定の曲面の族（フェルマー型およびその他）に対して、定義方程式の構造と $\mathbb{F}_p$ における単位根の性質を解析することで、有理点の明示的な組合せ的数え上げを行う。

主要な貢献と結果

1. 改善された上界（定理 2.2）:
   主要な理論的貢献は、$2 < d < p$ の場合における $\sharp S(\mathbb{F}_p)$ の改善された上界である。$X$ 内の直線が重複度 1 を持つと仮定すると、新しい評価は以下のようになる。
   $$\sharp S(\mathbb{F}_p) \le \frac{d(d+p-1)(d+2p-2)}{6} - \frac{3m(d+p-1) - m(m+1)}{6} + m(p+1)$$
   直線の個数 $m$ が $m \le 3d + 3p - 4$ を満たす限り、これは以前の評価 (1) を改善する。次数 $d$ の滑らかな曲面に含まれる直線の個数は高々 $11d^2 - 30d + 18$ であるため、この改善は十分大きな $p$（具体的には $p > \frac{11d^2 - 33d + 22}{3}$）に対して成り立つ。

2. 特定の族に対する厳密な計算:
   著者らはいくつかの曲面の族に対して有理点の厳密な個数を計算し、評価が厳密またはほぼ厳密である場合を示す。

   • フェルマー曲面: $x^d + y^d - z^d - w^d = 0$ で定義される曲面（$p \equiv 1 \pmod d$ かつ $-1$が$d$乗剰余である場合）に対して、著者らは$3d^2$本の直線の存在を証明し、$X$ 内のすべての直線が重複度 1 を持つことを示す。
   • 孤立点を持たない曲面: $x^{(p-1)/2} + y^{(p-1)/2} - z^{(p-1)/2} - w^{(p-1)/2} = 0$ で定義される曲面に対して、著者らは厳密な個数 $\sharp S(\mathbb{F}_p) = \frac{3}{8}(p^3 - 3p^2 + 11p - 9)$ を導出する。重要なのは、この曲面に対してスキーム $X$ が孤立した有理点を含まない（すなわち $\deg \Gamma = 0$）ことを証明しており、すべての有理点が直線上に存在することを意味する点である。
   • 有理直線を持たない曲面: 5 乗根の単位根を含む方程式で定義される曲面、例えば $x^{2(p-1)/5} + y^{2(p-1)/5} + x^{(p-1)/5}y^{(p-1)/5} + z^{2(p-1)/5} + w^{2(p-1)/5} = 0$ について解析する。著者らは、これら曲面が $\mathbb{F}_p$-直線を持たないこと（$p \neq 11, 41, 61$ の場合）を証明し、5 乗根の単位根の分布に基づいて厳密な点の個数を与える。
   • その他の例: 本論文には、7 乗根の単位根や他の多項式構成に関する例が含まれており、特定の素数（例：$p=29, 43, 71$）に対する点の個数の下界を提供している。

意義と主張
本論文は、有限体上の $\mathbb{P}^3$ における滑らかな曲面の有理点の個数に関する既知の上界を改善し、特に曲面に含まれる直線の個数に依存する評価を精緻化することを主張している。著者らは、特定の曲面の族に対する計算が「独立した興味を持つかもしれない」と述べており、特にこれらの場合について厳密な点の個数と直線の個数を決定している点にその理由がある。

著者らは、仮定の一般性については控えめである。具体的には、定理 2.2 の一般的な仮定の下で、$X$ 内の直線が常に重複度 1 で現れることを証明していないことを認めている。ただし、これは真であると予想しており、フェルマー曲面やいくつかの例については検証済みである。本論文は、評価の理論的進展と特定の代数多様体上の点の列挙を超えて、新たな応用を提案するものではない。