Mutual position of two smooth quadrics over finite fields

基本信息

• 论文ID: 2404.06754
• 标题: Mutual position of two smooth quadrics over finite fields
• 作者: Shamil Asgarli, Chi Hoi Yip
• 分类: math.AG (代数几何), math.CO (组合数学), math.NT (数论)
• 发表时间: 2025年4月2日 (arXiv预印本)
• 论文链接: https://arxiv.org/abs/2404.06754

摘要

本文研究了有限域$\mathbb{F}_q$($q$为奇数)上两个不可约二次曲线$C$和$D$的相互位置关系。作者证明了在$\mathbb{P}^2(\mathbb{F}_q)$中存在$q^2/4+O(q^{3/2})$个点$P$使得$P$相对于$C$是外部点而相对于$D$是内部点，从而回答了Korchmáros提出的问题。同时，作者将结果推广到高维情形：对于$\mathbb{P}^{n-1}$中的光滑二次超曲面($n$为奇数)，相应的点数为$q^{n-1}/4+O(q^{n-3/2})$。

研究背景与动机

问题背景

1. 有限投影几何中的计数问题：在有限投影平面上，计算两个几何定义子集交集大小的组合问题一直是重要研究方向，这些子集包括弧、阻塞集、子平面和椭圆等。
2. 内外部点的概念：对于奇数阶有限域上的椭圆(二次曲线)，可以定义相对于椭圆的内部点和外部点集合。给定光滑二次曲线$C$和点$P \notin C$，根据通过$P$的切线数量可以将$P$分类为：
   • 外部点：存在两条$\mathbb{F}_q$-切线通过$P$
   • 内部点：不存在$\mathbb{F}_q$-切线通过$P$
3. Korchmáros问题：给定两个不同的不可约平面二次曲线$C$和$D$，有多少个$\mathbb{P}^2(\mathbb{F}_q)$中的点既是$C$的外部点又是$D$的内部点？

研究意义

1. 理论价值：该问题连接了代数几何、组合数学和数论，通过特征和估计等工具提供了深刻的数学洞察。
2. 方法创新：利用正特征代数几何方法处理有限域上的具体计数问题，展示了抽象理论的实际应用。
3. 推广意义：从平面情形推广到高维二次超曲面，为更一般的几何计数问题提供了框架。

核心贡献

1. 完全解决了Korchmáros问题：给出了平面情形下外部-内部点数量的精确渐近公式$q^2/4+O(q^{3/2})$。
2. 高维推广：将结果推广到$\mathbb{P}^{n-1}$中的光滑二次超曲面($n$奇数)，得到$q^{n-1}/4+O(q^{n-3/2})$的渐近公式。
3. 完整的四元分类：不仅计算了外部-内部点，还给出了内部-内部、外部-外部、内部-外部四类点的数量，每类都约为$q^{n-1}/4$。
4. 技术方法：发展了基于特征和估计的技术框架，结合了Katz和Rojas-León的深刻结果。

方法详解

任务定义

给定有限域$\mathbb{F}_q$(q为奇数)上$\mathbb{P}^{n-1}$中两个不同的光滑二次超曲面$C: f=0$和$D: g=0$，计算四个集合的大小：

• $S_1$：相对于$C$和$D$都是内部点的点集
• $S_2$：相对于$C$和$D$都是外部点的点集
• $S_3$：相对于$C$是内部点、$D$是外部点的点集
• $S_4$：相对于$C$是外部点、$D$是内部点的点集

内外部点的代数判别准则

引理2.4提供了关键的代数判别方法：设$n$为奇数，$X=\{F=0\}$为光滑二次曲面，$P \in \mathbb{P}^{n-1}(\mathbb{F}_q)$不在$X$上，则：

• $P$是$X$的外部点 ⟺ $(-1)^{(n-1)/2}\Delta \cdot F(P)$是非零平方数
• $P$是$X$的内部点 ⟺ $(-1)^{(n-1)/2}\Delta \cdot F(P)$是非平方数

其中$\Delta = \det(a_{ij})$是二次型的判别式。

特征和方法

使用二次特征$\chi: \mathbb{F}_q \to \{-1,0,1\}$：