[論文レビュー] On the number of integral binary $n$-ic forms having bounded Julia invariant

Manjul Bhargava, Andrew Yang|arXiv (Cornell University)|Dec 27, 2013

Algebraic Geometry and Number Theory参考文献 11被引用数 4

ひとこと要約

本稿は、Julia不変量が有界で、k 対の虚数根をもつ整数係数二進n次形式の SL₂(ℤ)-同値類の漸近的個数を確立し、n + k ≥ 3 のもとで、その個数が cₙ,ₖX^{(n+1)/2} + O(X^{(n+1)/2 − 1/n}) の形に増加することを示している。この結果は、それぞれ二進二次形式および二進三次形式に関するガウスとデーヴィッドソンの古典的定理を一般化し、ジュリア不変量を用いた一様な枠組みによって整数係数形式の個数を数えるものである。ジュリア不変量は1917年に導入された、基本的な SL₂(ℝ)-不変量である。

ABSTRACT

In 1848, Hermite introduced a reduction theory for binary forms of degree $n$ which was developed more fully in the seminal 1917 treatise of Julia. This canonical method of reduction made use of a new, fundamental, but irrational $\mathrm{SL}_2$-invariant of binary $n$-ic forms defined over $\mathbb{R}$, which is now known as the Julia invariant. In this paper, for each $n$ and $k$ with $n+k\geq 3$, we determine the asymptotic behavior of the number of $\mathrm{SL}_2(\mathbb{Z})$-equivalence classes of binary $n$-ic forms, with $k$ pairs of complex roots, having bounded Julia invariant. Specializing to $(n,k)=(2,1)$ and $(3,0)$, respectively, recovers the asymptotic results of Gauss and Davenport on positive definite binary quadratic forms and positive discriminant binary cubic forms, respectively.

研究の動機と目的

• 整数係数で、k 対の虚数根をもち、Julia不変量が有界な、非可約な二進n次形式の SL₂(ℤ)-同値類の数の漸近的増加率を特定すること。
• 従来の Oε(X^{(n+1)/2 + ε}) の境界を、べき乗で改善された誤差項をもつ正確な漸近形に改善すること。
• 二進二次形式および二進三次形式に関する古典的結果を、一般の不変量に基づく個数数え上げ枠組みの特殊ケースとして統一的かつ拡張すること。
• Julia不変量が、すべての次数 n および符号型 k に対して、整数係数二進n次形式の SL₂(ℤ)-同値類分類において自然かつ効果的なパラメータであることを確立すること。

提案手法

• 著者らは、形式 f の標準的な正定値二次型の双対不変量 Q を用いて定義される、SL₂(ℝ)-不変量 θ(f) を用い、二進n次形式の空間における有界領域を定義する。
• Julia不変量 θ(f) ≤ X を満たす基本領域 R_X(L) の体積を、対称空間上の積分と群論的平均化を用いて分析する。
• 主な個数関数 Nₙ,ₖ(X) は、格子点数え上げの議論によりこの領域の体積と関連づけられ、誤差項は安定化部分群および尖点領域上の積分によって制御される。
• 証明は、数の幾何学およびエルゴディック理論の技法を適応し、特に SL₂(ℝ) の構造とその形式の空間への作用を用いる。
• 可約な形式については別個の誤差項推定を実施し、その寄与が O(X^{(n+1)/2 − 1/n}) であることを示す。
• 合同条件の場合は、各素数 p における局所密度 μₚ(S) を組み込み、スケーリングと体積正規化を用いて、重み付き漸近形を導出する。

実験結果

リサーチクエスチョン

• RQ1 k 対の虚数根をもち、Julia不変量が X 以下の整数係数二進n次形式の SL₂(ℤ)-同値類は、いくつ存在するか？
• RQ2 従来の Oε(X^{(n+1)/2 + ε}) の境界が、べき乗で改善された誤差項をもつ正確な漸近形に改善可能か？
• RQ3 Julia不変量は、すべての次数 n および符号型 k に対して、整数係数二進n次形式の分類に一様的かつ効果的なパラメータを提供するか？
• RQ4 Nₙ,ₖ(X) の増加における正確な漸近定数 cₙ,ₖ は何か？ また、二次および三次の場合の既知の定数とどのように関係するか？

主な発見

• k 対の虚数根をもち、Julia不変量 ≤ X である整数係数二進n次形式の SL₂(ℤ)-同値類の数は、n + k ≥ 3 のもとで、cₙ,ₖX^{(n+1)/2} + O(X^{(n+1)/2 − 1/n}) の形に漸近的に増加する。
• 漸近定数 cₙ,ₖ は、形式の空間における基本領域の体積を、安定化部分群の体積で正規化したものであり、すべての有効な n および k に対して正である。
• (n,k) = (2,1) の場合、定数 c₂,₁ は π/36 に等しく、正定値二進二次形式のガウスの類数公式を回復する。
• (n,k) = (3,0) の場合、定数 c₃,₀ は π²/36 に等しく、正の判別式をもつ二進三次形式のデーヴィッドソンの漸近公式を回復する。
• 誤差項 O(X^{(n+1)/2 − 1/n}) はべき乗で改善されており、シャンティの古典的ケースで得られた2次の項と一致する。
• 有限個の合同条件を満たす集合に対しても結果は拡張可能であり、漸近形はすべての素数 p における局所密度 μₚ(S) の積によって修正される。