[論文レビュー] Counting Plane Cubic Curves over Finite Fields with a Prescribed Number of Rational Intersection Points

Nathan O. Kaplan, Vlad Matei|arXiv (Cornell University)|Mar 31, 2020

Coding theory and cryptography参考文献 28被引用数 4

ひとこと要約

この論文は、平面の三次曲線の対の数を、有限体 Fq 上で正確に k 個の Fq-有理点で交わるものとして、k ∈ [0,9] に対して計算する。この問題は、射影的 Reed-Muller コードの重み列挙多項式を用いてモデル化される。主な結果は、共通の既約成分をもたないような対の数を表す ck の多項式公式であり、対称群の統計と符号理論との深い関係を示しており、先行する項は S9 の元で k 個の固定点をもつ割合と一致する。

ABSTRACT

For each integer $k \in [0,9]$, we count the number of plane cubic curves defined over a finite field $\mathbb{F}_q$ that do not share a common component and intersect in exactly $k\ \mathbb{F}_q$-rational points. We set this up as a problem about a weight enumerator of a certain projective Reed-Muller code. The main inputs to the proof include counting pairs of cubic curves that do share a common component, counting configurations of points that fail to impose independent conditions on cubics, and a variation of the MacWilliams theorem from coding theory.

研究の動機と目的

• k ∈ [0,9] に対して、Fq 上の平面の三次曲線の対の数を、ちょうど k 個の Fq-有理点で交わるものとして求める。
• 共通の既約成分を共有する対を除外し、横断的交わりの数え上げを保証する。
• 代数幾何学と符号理論を活用して、このような交わる対の数に対する多項式公式を確立する。
• 数え上げ問題を、P2 over Fq の射影的 Reed-Muller コードの重み列挙多項式と、対称群の統計に結びつける。

提案手法

• Fq[x,y,z] 内の非ゼロの三次形式 f,g の対 (f,g) を数える問題として定式化し、P2(Fq) にちょうど k 個の共通零点を持ち、共通の既約因子を持たないものとする。
• 平面の三次曲線に関連する射影的 Reed-Muller コードの重み列挙多項式を用いて、交わりのデータを符号化する。
• 符号理論における MacWilliams の定理の変種を適用し、重み分布と求めたい数え上げを関係付ける。
• 曲線が共通成分を共有する場合、または点が三次曲線に独立な条件を課さない場合の構成を数え上げて差し引く。
• Deuring, Waterhouse, Schoof による楕円曲線とゼータ関数に関する結果を用いて、コードの重み列挙多項式を計算する。
• 特殊な点配置（例：同一直線上にある4点、円錐曲線上にある7点）の組み合わせ的数え上げを組み合わせて、非横断的交わりの補正を行う。

実験結果

リサーチクエスチョン

• RQ1 k ∈ [0,9] に対して、Fq 上の平面の三次曲線の対のうち、共通の既約成分を共有せず、ちょうど k 個の Fq-有理点で交わるものとして、それぞれ何組あるか？
• RQ2 P2 over Fq における3次射影的 Reed-Muller コードの重み列挙多項式の構造は何か？ そして、交わりの数え上げとどのように関係するか？
• RQ3 ck の数え上げ多項式の先行項が、S9 でちょうど k 個の固定点をもつ置換の割合と一致するのはなぜか？
• RQ4 P2(Fq) にちょうど de 個の共通零点を持つ曲線の対の数が、d,e ≥ 3 かつ (d,e) ≠ (3,3) のとき、q についての多項式になるか？
• RQ5 4点が同一直線上にある、または7点が円錐曲線上にあるといった特殊な点配置は、交わる三次曲線対の単純な数え上げをどのように歪めるか？

主な発見

• k ∈ [0,9] に対して、共通の既約成分をもたず、ちょうど k 個の Fq-有理点で交わる平面の三次曲線の対の数 ck は、q についての20次多項式で表され、c8 のみが19次である。
• 各 ck の先行項は、S9 でちょうど k 個の固定点をもつ置換の数に比例しており、Entin の漸近的結果と一致する。
• ck の公式は明示的に計算されており、(q+1)^2、(q−1)^3 または (q−1)^4、q^5 または q^4、(q^2 + q + 1) といった項を含んでおり、幾何的対称性と曲線の数え上げを反映している。
• ck の q^20 項の係数は、ちょうど π(k,9) 個の S9 の置換で k 個の固定点をもつものに対して 1/9! に等しい。
• 本論文は、(d,e) = (3,3) のとき、数え上げが多項式であることを示しているが、d,e ≥3 かつ (d,e) ≠ (3,3) のときは成立せず、(3,3) が境界ケースであることを示している。
• 同一直線上にある4点や円錐曲線上にある7点といった特殊な配置は、組合せ幾何学と点数え上げ技術を用いて体系的に数え上げられ、差し引かれている。