Points below a parabola in affine planes of prime order

技术摘要：素数阶仿射平面中抛物线下方的点

问题陈述
本文研究了在德索格尼安（Desarguesian）仿射平面 $AG(2, p)$中（其中$p$为素数），位于抛物线下方的点集的几何与组合性质。具体而言，作者分析了集合$S = {(x, y) \in \mathbb{F}_p^2 \mid y < f(x)}$，其中$f(x) = \alpha x^2 + \beta x + \gamma$是一个满足$\alpha \neq 0$ 的二次多项式。

本研究受到 Kiss 和 Somlai [KS24] 近期工作的启发，他们研究了 $AG(2, p)$中位于对角线（$y < x$）下方的点集。他们证明该集合确定了恰好三个“特殊”方向（即直线在该集合中的交集不呈均匀分布的方向），并且该集合拥有唯一的非平凡自同构。本文作者旨在探究，尽管抛物线通常比直线具有更少的对称性，但类似的现象是否也会出现在抛理集合（parabolic sets）中。

研究方法
作者结合了有限几何、数论和组合分析的方法：

1. 排序与投影： 利用 $\mathbb{F}_p$ 元素与整数 $[0, p-1]$ 之间的规范对应关系，作者定义了一种序关系。他们引入了投影函数 $pr_{S,d}$，该函数将一个方向 $d$ 映射为斜率为 $d$ 的直线与集合 $S$ 相交的点数。
2. 二次特征分析： 分析的核心依赖于 $\mathbb{F}_p$ 上的二次特征 $\chi$。作者利用 Pólya-Vinogradov 不等式（结果 2.1）来限制区间上的特征和，并利用 Sárközy 和 Sokolovskiĭ 关于这些特征和下界的结论（结果 2.2）。
3. 代数变换： 为了分析交集数量的分布，作者对定义不等式中的变量应用线性变换。这使得他们能够将不同方向的投影函数相互联系起来。
4. 对称群分析： 作者通过根据经过无穷远点的直线所产生的不同交集计数，来研究集合 $S$ 在射影线性群 $PGL(3, p)$ 中的稳定子。

主要贡献与结果

• 投影的循环对称性（定理 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)$ 之间。

• 集合的大小（定理 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}$。

• 对称性的刚性（定理 3.5）：
  与直觉相反——即这种统一的投影行为可能暗示高对称性——作者证明了对于足够大的 $p$（$p \geq 97$），集合 $S$ 在 $PGL(3, p)$中具有**唯一的非平凡自同构**。该自同构是绕垂直轴的反射：$(X, Y, Z) \mapsto (-X, Y, Z)$。
  证明表明，方向 $(0)$ 和 $(\infty)$ 可以根据经过它们的直线所产生的不同交集计数的数量，从所有其他方向中被唯一地辨别出来。这种刚性与集合在其他方向上的“均匀”外观形成了鲜明对比。

• 同构类分类（备注 3.7）：
  作者通过考虑仿射变换和集合的补集，对这类非同构集合的数量进行了分类。他们确定，由抛物线下方或其上点组成的互不同构集合（包括包含 $\leq, >, \geq$ 的变体）共有 $3p+1$ 个。

意义
本文揭示了有限几何中一种反直觉的现象：一个点集可以表现出高度的“均匀性”（在其投影函数中，从几乎所有方向看去都是一致的），同时却拥有非常有限的几何对称性（仅有一个非平凡自同构）。

这项工作将 Kiss 和 Somlai [KS24] 从线性边界到二次边界的研究进行了扩展。它证明了具有少量特殊方向和循环移位投影函数的性质并不局限于由线性不等式定义的集合。其结果高度依赖于二次剩余和特征和的分布，将点集的几何属性直接与底层有限域的算术属性联系起来。

作者指出，这些发现是推广 [KS24] 结果的广泛努力的一部分，伴随的论文 [ASW24] 探讨了与有限射影平面关联矩阵生成的码之间的联系。