Points below a parabola in affine planes of prime order

技術要約：素数次数のアフィン平面における放物線の下方の点

問題提起
本論文は、素数 $p$ におけるデソーグ成分アフィン平面 $AG(2, p)$において、放物線の下方に位置する点の集合の幾何学的および組合せ論的性質を調査するものである。具体的には、集合$S = {(x, y) \in \mathbb{F}_p^2 \mid y < f(x)}$を分析する。ここで、$f(x) = \alpha x^2 + \beta x + \gamma$は$\alpha \neq 0$ である二次多項式である。

この研究は、対角線（$y < x$）の下にある点の集合を調べた Kiss と Somlai [KS24] の最近の研究に端を発している。彼らは、この集合が正確に3つの「特別な」方向（直線が集合と等分布に交差しない方向）を決定すること、およびこの集合が唯一の非自明な自己同型を持つことを示した。本論文の著者らは、放物線は一般に直線よりも対称性が低いにもかかわらず、同様の現象が放物線的な集合においても発生するかどうかを明らかにすることを目的としている。

手法
著者らは、有限幾何学、数論、および組合せ論的解析を組み合わせて用いている：

1. 順序付けと射影： $\mathbb{F}_p$ の要素と整数 $[0, p-1]$ の間の標準的な対応を利用して、著者らは体（field）上の順序を定義する。彼らは、方向 $d$ を、傾き $d$ の直線によって $S$ と交差する点の数へと写す射影関数 $pr_{S,d}$ を導入する。
2. 二次指標解析： 解析の核となるのは、$\mathbb{F}_p$ 上の二次指標 $\chi$ である。著者らは、区間上の指標和を抑えるためのポリア・ヴィノグラードの不等式（結果 2.1）および、これらの和の下限に関する Sárközy と Sokolovskiĭ による結果（結果 2.2）を利用する。
3. 代数的変換： 射影関数の分布を分析するために、著者らは $S$ を定義する不等式の変数に対して線形変換を適用する。これにより、異なる方向の射影関数を互いに結びつけることが可能となる。
4. 対称群解析： 著者らは、交差数の分布に基づいて無限遠点における特定の点を区別することにより、射頂線形群 $PGL(3, p)$内における集合$S$ のスタビライザー（安定化群）を調査する。

主要な貢献と結果

• 射影の巡回対称性 (Theorem 3.1):
  主要な構造的結果は、任意の非ゼロの方向 $d \in \mathbb{F}_p^*$ に対して、射影関数 $pr_{S,d}$ は射影関数 $pr_{S,1}$ の巡回シフトであることである。具体的には、非垂直かつ非水平な方向に対する射影関数の値は、ドメイン内のシフトを除いて同一である。これは、集合 $S$ が垂直（$\infty$）および水平（$0$）の方向を除いて、すべての方向から見て「同じように見える」ことを意味している。さらに、これらの射影関数の像は、長さが$\frac{\sqrt{p}}{2\pi}$と$\sqrt{p} \ln(p)$ の間に抑えられた整数の区間を形成する。

• 集合の大きさ (Theorem 3.3):
  著者らは、$|S|$ の基数に関するタイトな境界を確立している。彼らは、$|S|$ が常に $p$ の倍数であることを証明した。さらに、$S$ の大きさは $\binom{p}{2}$ に近く、その偏差は $c_p p \sqrt{p} \ln(p)$ で抑えられ、ここで定数 $c_p$ は $p \pmod 4$ および $p \pmod 8$ に依存する。$p \equiv 1 \pmod 4$ かつ $\gamma = 0$ の特定の場合、その大きさは正確に $\binom{p}{2}$ である。

• 対称性の剛性 (Theorem 3.5):
  このような一様な射影挙動が高度な対称性を暗示するという直感に反して、著者らは、十分大きな $p$ ($p \geq 97$) に対して、集合 $S$ が $PGL(3, p)$において**唯一の非自明な自己同型**を持つことを証明している。この自己同型は、垂直軸に関する反射である：$(X, Y, Z) \mapsto (-X, Y, Z)$。
  証明では、方向 $(0)$ と $(\infty)$ が、それらを通過する直線の異なる交差数の数に基づき、他のすべての方向から一意に区別可能であることが示されている。この剛性は、他の方向からの集合の「一様」な外観とは対照的である。

• 同型類の分類 (Remark 3.7):
  著者らは、非同型な集合の数を分類している。アフィン変換と集合の補集合を考慮することで、放物線の下または上にある点（$\leq, >, \geq$ のバリエーションを含む）によって形成される、互いに非同型な集合が正確に $3p+1$ 個存在することを決定している。

意義
本論文は、有限幾何学における直感に反する現象を浮き彫りにしている。すなわち、点の集合は、その射影関数において高度な「一様性」を示す（ほとんどすべての方向から同一に見える）一方で、極めて限定的な幾何学的対称性（唯一の非自明な自己同型のみを持つ）を持つことができる。

この研究は、線形境界から二次境界へと、Kiss と Somlai [KS24] の結果を拡張するものである。これは、少数の特別な方向を持ち、射影関数が巡回シフトする性質が、線形不等式によって定義される集合に限定されたものではないことを示している。結果は、二次剰余および指標和の分布に強く依存しており、点集合の幾何学的特性を基礎となる有限体の算術的性質に直接結びつけている。

著者らは、これらの知見が [KS24] の結果を一般化するための広範な取り組みの一環であることを述べており、付随する論文 [ASW24] では、有限射影平面の入射行列によって生成される符号との関連性を探求している。