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\}$: $\chi(a) = \begin{cases} 1 & \text{if } a \text{ is a nonzero square} \\ -1 & \text{if } a \text{ is a non-square} \\ 0 & \text{if } a=0 \end{cases}$

The counting problem is transformed via character sums to: $\#S_{f,g} = \frac{1}{4}\sum_{x \in \mathbb{P}^{n-1}(\mathbb{F}_q)} \left[\chi(f^2(x)g^2(x)) + \chi(Af(x)g^2(x)) - \chi(Bf^2(x)g(x)) - \chi(ABf(x)g(x))\right]$

Technical Innovations

1. Discriminant Calculation: Lemma 2.2 provides an explicit formula for the discriminant of the quadratic form on hyperplane sections: $\text{disc}(G_P) = F(P)/\text{disc}(F)$.
2. Character Sum Estimates:
   • Main term: $\frac{1}{4}\sum \chi(f^2g^2) = \frac{q^{n-1}}{4} + O(q^{n-2})$
   • Secondary terms: Application of deep results from Katz and Rojas-León to estimate $|\sum \chi(fg)|$, etc.
3. Geometric Configuration Analysis: Careful analysis of the geometric properties of quadric surface intersections ensures that technical conditions are satisfied.

Experimental Setup

Theoretical Verification

This paper is pure mathematical theoretical research, primarily verified through rigorous mathematical proofs:

1. Special Case Verification: Verification of formula correctness on small finite fields
2. Asymptotic Behavior Analysis: Proof that the error term order is indeed $O(q^{n-3/2})$
3. Constant Estimation: Remark 1.4 indicates that constants in error terms grow at most exponentially in $n$

Technical Conditions

Key technical conditions required in the proof:

• $q \geq 7$ and $n \geq 3$ is odd
• The two quadric surfaces $C$ and $D$ are distinct and smooth
• There exists a hyperplane $Z$ that is neither tangent to $C$ nor to $D$

Experimental Results

Main Results

Theorem 1.3: Let $q$ be an odd prime power, $n \geq 3$ be odd, and $C$ and $D$ be two distinct smooth quadric hypersurfaces in $\mathbb{P}^{n-1}$. Then: $|S_i| = \frac{q^{n-1}}{4} + O(q^{n-3/2})$ holds for each $1 \leq i \leq 4$, where the implicit constant in the error term depends only on $n$.

Technical Estimates

The key Lemma 3.3 provides precise character sum estimates: $\left|\sum_{P \in \mathbb{P}^{n-1}(\mathbb{F}_q)} \chi(f(P)g(P))\right| \leq 3 \cdot 8^{n+1}q^{(2n-3)/2} + 2q^{n-2}$

Asymptotic Analysis

1. Main Term Analysis: $\frac{1}{4}\sum \chi(f^2g^2) = \frac{q^{n-1}}{4} + O(q^{n-2})$
2. Secondary Term Estimates: The other three terms are all of order $O(q^{n-3/2})$
3. Balance Property: The sizes of the four sets $S_1, S_2, S_3, S_4$ are essentially equal, consistent with probabilistic intuition

Related Work

Historical Development

1. Classical Results: Carlitz and Jung early defined interior and exterior points of quadric surfaces but lacked geometric interpretation
2. Modern Development: Bruno and others provided better definitions; this paper adopts definitions with clear geometric meaning
3. Combinatorial Applications: Related techniques have wide applications in the study of arcs, blocking sets, and other topics in finite geometry

Technical Tools

1. Katz's Theorem: Classical results on non-singular multiplicative character sum estimates
2. Rojas-León's Theorem: General results for character sums on possibly singular spaces
3. Polar Space Theory: Systematic theory of quadratic form classification and geometric properties

Related Problems

1. Hermitian Surface Research: Related work by Aguglia-Giuzzi and others
2. General Counting Problems: Various intersection counting problems in finite geometry
3. Higher-Dimensional Generalizations: The methods in this paper may apply to more general geometric configurations

Conclusions and Discussion

Main Conclusions

1. Complete Resolution of the Korchmáros problem with precise asymptotic formulas
2. Successful Generalization to higher dimensions, demonstrating the generality of the method
3. Verification of Probabilistic Intuition: The "probability" of each point class is indeed approximately 1/4

Limitations

1. Dimension Restriction: The method applies only to odd-dimensional cases; in even dimensions, all points are "parabolic"
2. Smoothness Requirement: Requires quadric surfaces to be smooth; the singular case is more complex
3. Characteristic Restriction: Requires the finite field to have odd characteristic

Future Directions

1. Even-Dimensional Generalization: Finding appropriate classification and counting methods for even-dimensional cases
2. Singular Cases: Investigating corresponding problems for singular quadric surfaces
3. Higher-Degree Curves: Extending the method to cubic and higher-degree algebraic curves
4. Algorithmic Implementation: Developing effective algorithms for computing these counts

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Forms a complete theoretical system from basic definitions to final results
2. Technical Depth: Skillfully combines deep tools from algebraic geometry, number theory, and combinatorics
3. Result Precision: Provides not only main terms but also precise order estimates for error terms
4. Generalization Value: The generalization from planar to higher-dimensional cases demonstrates the power of the method

Weaknesses

1. Limited Scope of Applicability: Restricted to odd dimensions and odd characteristic
2. Constant Estimation: Error term constants may grow exponentially with dimension
3. Computational Complexity: Computing these quantities may be computationally difficult in practice

Impact

1. Theoretical Contribution: Provides a new technical framework for counting problems in finite geometry
2. Methodological Value: The application of character sum methods demonstrates the power of number-theoretic tools in geometric problems
3. Inspirational Significance: May inspire research on related geometric counting problems

Application Scenarios

1. Finite Geometry Research: Provides a template for counting related geometric configurations
2. Coding Theory: May have applications in error-correcting code construction
3. Cryptography: Related to counting problems in elliptic curve cryptography

References

The paper cites 22 important references, including:

• Katz's classical work on character sum estimates
• Rojas-León's theory of singular multiplicative character sums
• Ball's textbook on finite geometry
• Hirschfeld's monograph on projective geometry
• Literature where Korchmáros posed the original problem

These references form a solid theoretical foundation for this research, reflecting the authors' deep understanding of the related fields.