Mutual Position of Two Smooth Quadrics over Finite Fields

Basic Information

• Paper ID: 2404.06754
• Title: Mutual position of two smooth quadrics over finite fields
• Authors: Shamil Asgarli, Chi Hoi Yip
• Classification: math.AG (Algebraic Geometry), math.CO (Combinatorics), math.NT (Number Theory)
• Publication Date: April 2, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2404.06754

Abstract

This paper investigates the mutual positional relationship between two irreducible quadratic curves $C$ and $D$ over finite fields $\mathbb{F}_q$ (where $q$ is odd). The authors prove that there exist $q^2/4+O(q^{3/2})$ points $P$ in $\mathbb{P}^2(\mathbb{F}_q)$ such that $P$ is exterior to $C$ and interior to $D$, thereby answering a question posed by Korchmáros. Simultaneously, the authors generalize the results to higher dimensions: for smooth quadric hypersurfaces in $\mathbb{P}^{n-1}$ (where $n$ is odd), the corresponding number of points is $q^{n-1}/4+O(q^{n-3/2})$.

Research Background and Motivation

Problem Background

1. Counting Problems in Finite Projective Geometry: Computing the intersection sizes of two geometrically defined subsets on finite projective planes has been an important research direction. These subsets include arcs, blocking sets, subplanes, and ellipses.
2. Concepts of Interior and Exterior Points: For ellipses (quadratic curves) over finite fields of odd order, one can define sets of interior and exterior points relative to the ellipse. Given a smooth quadratic curve $C$ and a point $P \notin C$, the point $P$ can be classified based on the number of tangent lines through $P$:
   • Exterior point: there exist two $\mathbb{F}_q$-tangent lines through $P$
   • Interior point: there exist no $\mathbb{F}_q$-tangent lines through $P$
3. The Korchmáros Problem: Given two distinct irreducible plane quadratic curves $C$ and $D$, how many points in $\mathbb{P}^2(\mathbb{F}_q)$ are simultaneously exterior to $C$ and interior to $D$?

Research Significance

1. Theoretical Value: This problem connects algebraic geometry, combinatorics, and number theory, providing profound mathematical insights through character sums and estimates.
2. Methodological Innovation: The application of positive characteristic algebraic geometry methods to concrete counting problems over finite fields demonstrates the practical application of abstract theory.
3. Generalization Significance: The generalization from the planar case to higher-dimensional quadric hypersurfaces provides a framework for more general geometric counting problems.

Core Contributions

1. Complete Resolution of the Korchmáros Problem: Provides the precise asymptotic formula $q^2/4+O(q^{3/2})$ for the number of exterior-interior points in the planar case.
2. Higher-Dimensional Generalization: Extends the results to smooth quadric hypersurfaces in $\mathbb{P}^{n-1}$ (where $n$ is odd), obtaining the asymptotic formula $q^{n-1}/4+O(q^{n-3/2})$.
3. Complete Fourfold Classification: Not only computes the exterior-interior points but also provides the counts for interior-interior, exterior-exterior, and interior-exterior points, with each class approximately equal to $q^{n-1}/4$.
4. Technical Methods: Develops a technical framework based on character sum estimates, incorporating deep results from Katz and Rojas-León.

Detailed Methodology

Problem Definition

Given two distinct smooth quadric hypersurfaces $C: f=0$ and $D: g=0$ in $\mathbb{P}^{n-1}$ over a finite field $\mathbb{F}_q$ (where $q$ is odd), compute the sizes of four sets:

• $S_1$: points interior to both $C$ and $D$
• $S_2$: points exterior to both $C$ and $D$
• $S_3$: points interior to $C$ and exterior to $D$
• $S_4$: points exterior to $C$ and interior to $D$

Algebraic Discriminant Criteria for Interior and Exterior Points

Lemma 2.4 provides the key algebraic discriminant method: Let $n$ be odd, $X=\{F=0\}$ be a smooth quadric surface, and $P \in \mathbb{P}^{n-1}(\mathbb{F}_q)$ not on $X$. Then:

• $P$ is exterior to $X$ ⟺ $(-1)^{(n-1)/2}\Delta \cdot F(P)$ is a nonzero square
• $P$ is interior to $X$ ⟺ $(-1)^{(n-1)/2}\Delta \cdot F(P)$ is a non-square

where $\Delta = \det(a_{ij})$ is the discriminant of the quadratic form.

Character Sum Method

Using the quadratic character $\chi: \mathbb{F}_q \to \{-1,0,1\}$: