[論文レビュー] Equidistribution of polynomial sequences in function fields, with applications

Thái Hoàng Lê, Yu-Ru Liu+1 more|arXiv (Cornell University)|Nov 4, 2013

Limits and Structures in Graph Theory参考文献 18被引用数 5

ひとこと要約

本稿は、Weyl差分法における特徴値障壁を乗り越えるために、新規の指数和解析を導入することで、多項式列に対する関数体におけるWeylの等分布定理の類似を確立する。主な結果として、多項式の次数が体の特徴値に等しい場合でも、関数体における多項式列の等分布性が証明され、van der Corput集合、交差集合、Glasner集合への応用が得られる。

ABSTRACT

We prove a function field analog of Weyl's classical theorem on equidistribution of polynomial sequences. Our result covers the case in which the degree of the polynomial is greater than or equal to the characteristic of the field, which is a natural barrier when applying the Weyl differencing process to function fields. We also discuss applications to van der Corput, intersective and Glasner sets in function fields.

研究の動機と目的

• 多項式列に対するWeylの古典的等分布定理の関数体版を確立すること。
• 関数体の特徴値に等しい多項式の次数を持つ場合に、Weyl差分法に生じる制限を扱うこと。
• 従来の差分法が特徴値が正であるため失敗する状況において、等分布結果を拡張すること。
• 等分布結果を用いて、関数体におけるvan der Corput集合、交差集合、Glasner集合を特徴付けること。
• トレース指標とシリンダ集合を用いた関数体における指数和の新しい解析法を開発すること。

提案手法

• 加法的特徴 $ e(\text{res}\beta) = e_q(\text{tr}(\text{res}\beta)/p) $ を用いて、Weylの基準を関数体に適応し、ここで $ e_q(a) = e(\text{tr}(a)/p) $ である。
• 関数体の $[0,1)$ の類似である $ \tau = \bigoplus_{i \to -\frac{1}{t^i}} \tau_i $ におけるシリンダ集合 $ \theta \to \theta \bmod t^{-M} $ を用いて等分布を定義する。
• 等分布性の分析に、$ \theta(z;u) = \text{Limsup}_{N \to \infty} \frac{1}{q^N} \big| \textstyle\bigsum_{x \to \text{deg} < N} e(z\theta(x)u) \big| $ の極限を用いる。
• van der Corputの差分定理を関数体の文脈に適用し、$ \theta(x) $ の等分布性を差分 $ \theta(x+h) - \theta(x) $ の等分布性に還元する。
• トレースおよびノルムの性質を用いて、$ y_i - y_j $ の有理部と無理部に分解することで、$ \theta(x) $ における指数和を解析する。
• 部分和法を用い、Lemma 7.5 と $ g' = g / \text{gcd}(z,g) $ の構造を用いて、誤差項を制御する。

実験結果

リサーチクエスチョン

• RQ1 多項式の次数が体の特徴値に等しい場合に、Weylの多項式に対する等分布定理を関数体に拡張できるか。
• RQ2 関数体において、$ \text{deg}(f) \to \text{char}(\field{F}_q) $ のとき、標準的な差分法が失敗するため、Weyl差分法をどのように適合できるか。
• RQ3 $ \field{F}_q((1/t)) $ における $ f(x) \bmod t^{-M} $ の多項式列の等分布性は、特に高次項を含む場合にどのように振る舞うか。
• RQ4 van der Corput集合、交差集合、Glasner集合といった関数体における集合のうち、多項式列の等分布性を用いて特徴付けられるものは何か。
• RQ5 $ q $, $ M $, および $ k $ の関数として、$ \theta(x) $ が等分布する集合 $ Y $ のサイズにどのような評価が得られるか。

主な発見

• 本稿は、$ \text{deg}(f) \to \text{char}(\field{F}_q) $ であっても、関数体 $ \field{F}_q((1/t)) $ における多項式列 $ f(x) $ の等分布性を証明し、古典的差分法における主要な障害を克服した。
• 関数体におけるWeylの基準を一般化し、$ \theta(x) = \theta(x) $ が $ t^{-M} $ を法として等分布するための必要十分条件は、$ f $ の最高次の係数が $ \field{F}_q $ に属さないことである。
• 任意の $ k $ に対して、$ \theta(x) $ が等分布する $ k $ 個の点からなる集合 $ Y $ のサイズは、$ |Y| = k \to \text{O}_{\theta}(q^{4C_k(3M+1)}) $ を満たし、$ C_k > 1 $ は $ k $, $ \theta $, および $ q $ のみに依存する。
• 本手法により、$ u $ が分母 $ g $ の非ゼロ有理数であるとき、$ \theta(z;u) \to \text{O}_{\theta}(|g|^{-1/(2C_k)} q^M) $ という評価が得られ、指数和推定における誤差を制御できる。
• 解析により、$ u $ が無理数のときは $ \theta(z;u) = 0 $、$ u = 0 $ のときは $ \theta(z;u) = 1 $ であり、非ゼロ有理数 $ u $ に対しては中間的な減衰が生じることを示し、精密な制御が可能である。
• この結果により、関数体における交差集合およびvan der Corput集合は、多項式列の等分布性を用いて特徴付けられることを示し、古典的な数論的概念を関数体へと拡張した。