Maximum number of points of intersection of a non-degenerate Hermitian variety and a cubic hypersurface

Basic Information

• Paper ID: 2504.13106
• Title: Maximum number of points of intersection of a non-degenerate Hermitian variety and a cubic hypersurface
• Author: Subrata Manna
• Classification: math.AG (Algebraic Geometry)
• Publication Date: October 10, 2025 (arXiv v2)
• Paper Link: https://arxiv.org/abs/2504.13106v2

Abstract

This paper investigates the maximum number of intersection points between a non-degenerate Hermitian variety and a cubic hypersurface over finite fields. Edoukou, Ling, and Xing conjectured in 2010 that in $\mathbb{P}^n(\mathbb{F}_{q^2})$ (where $n \geq 3$), the maximum number of common points between a non-degenerate Hermitian variety $\mathcal{U}_n$ and a hypersurface of degree $d$ is achieved only when the hypersurface is the union of $d$ distinct hyperplanes intersecting at a common linear space $\Pi_{n-2}$ of codimension 2, where $\Pi_{n-2} \cap \mathcal{U}_n$ is a non-degenerate Hermitian variety. Furthermore, when $n$ is odd, these hyperplanes are tangent to $\mathcal{U}_n$, and when $n$ is even, they are not. This paper proves this conjecture for $d = 3$ and $q \geq 7$.

Research Background and Motivation

Importance of the Problem

1. Applications in Coding Theory: Hermitian varieties have important applications in coding theory, particularly after G. Lachaud introduced functional codes. Determining the maximum number of intersection points between Hermitian varieties and hypersurfaces is crucial for computing the minimum distance of functional codes and minimum weight codewords.
2. Study of Geometric Structures: Hermitian varieties are among the most extensively studied varieties in algebraic geometry due to their attractive geometric structures, abundance of rational points, and applications in coding theory.
3. Combinatorial Significance: From a combinatorial perspective, this problem involves counting rational points on algebraic varieties over finite fields, a fundamental and important research direction.

Historical Development

• Bose and Chakravarti first studied Hermitian varieties from a geometric perspective, solving the case $d = 1$
• When $n = 2$, Bézout's theorem shows that curves of degree $d \leq q$ have at most $d(q+1)$ intersection points with non-degenerate Hermitian curves
• Sørensen proposed a conjecture for the case $n = 3$, which has been completely resolved
• For $n \geq 4$, the case $d = 2$ in the Edoukou-Ling-Xing conjecture has been proven

Research Motivation

This paper aims to resolve the case $d = 3$ in the Edoukou-Ling-Xing conjecture, an important special case that provides a crucial step toward completely resolving the conjecture.

Core Contributions

1. Main Theorem: Proves that the Edoukou-Ling-Xing conjecture holds for cubic hypersurfaces ($d = 3$) when $n \geq 4$ and $q \geq 7$.
2. Precise Bounds: Provides exact upper bounds for the number of intersection points between non-degenerate Hermitian varieties and cubic hypersurfaces:
   • When $n$ is even: $3|U_{n-1}(\mathbb{F}_{q^2})| - 2|U_{n-2}(\mathbb{F}_{q^2})|$
   • When $n$ is odd: $(3q^2 - 2)|U_{n-2}(\mathbb{F}_{q^2})| + 3$
3. Structural Characterization: Completely characterizes the structure of cubic hypersurfaces achieving the maximum number of intersection points, proving they must be the union of three specific hyperplanes.
4. Novel Technical Approach: Introduces the sequence $\{B_n\}_{n \geq 4}$ as an analytical tool and employs a more algebraic-geometric approach.

Detailed Methodology

Problem Formulation

Given a non-degenerate Hermitian variety $U_n$ and a cubic hypersurface $C_n$ in the $n$-dimensional projective space $\mathbb{P}^n(\mathbb{F}_{q^2})$ where $n \geq 4$, determine the maximum value of $|C_n(\mathbb{F}_{q^2}) \cap U_n|$ and characterize the structure of $C_n$ achieving this maximum.

Core Technical Framework

1. Definition of the Sequence $\{B_n\}$

The author defines the key sequence:

• $B_4 := 3(q^5 + 1)$
• For $n \geq 5$: q^2B_{n-1} - q^{n-2} & \text{if } n \text{ is even} \\ q^2B_{n-1} + 3q^{n-2} + q^{n-3} & \text{if } n \text{ is odd} \end{cases}$$

2. Recursive Analysis Method

Proves by mathematical induction that if $|C_n(\mathbb{F}_{q^2}) \cap U_n| > B_n$, then $C_n$ must contain a hyperplane.

3. Structural Decomposition Technique

Utilizes the inclusion-exclusion principle to analyze the intersection of the union of three hyperplanes with the Hermitian variety: $|C_n(\mathbb{F}_{q^2}) \cap U_n| = \sum_{i=1}^3 |Σ_i(\mathbb{F}_{q^2}) \cap U_n| - \sum_{1 \leq i < j \leq 3} |Σ_i \cap Σ_j \cap U_n(\mathbb{F}_{q^2})| + |Π \cap U_n(\mathbb{F}_{q^2})|$

Technical Innovations

1. Algebraic Geometric Approach: Compared to earlier work relying on quadratic form classification, this paper employs more purely algebraic-geometric techniques.
2. Dimensional Induction: Cleverly utilizes dimensional induction to reduce high-dimensional problems to lower-dimensional cases.
3. Refined Counting Techniques: Carefully analyzes the number of rational points on different types of sections (non-degenerate, conical, etc.).
4. Exploitation of Tangency Properties: Deeply analyzes the tangency relationships between hyperplanes and Hermitian varieties, distinguishing different behaviors in even and odd dimensions.

Experimental Setup

Theoretical Verification Framework

This is purely theoretical work without numerical experiments, verified through rigorous mathematical proofs:

1. Base Case Verification: The case $n = 4$ is verified by citing existing results
2. Inductive Steps: Cases with $n \geq 5$ are proven through rigorous mathematical induction
3. Boundary Conditions: The constraint $q \geq 7$ is verified through concrete inequality calculations

Proof Strategy

1. Proof by Contradiction: Assumes the existence of cubic hypersurfaces not satisfying the structural conditions but achieving maximum intersection points
2. Counting Arguments: Precisely calculates intersection points under various configurations
3. Geometric Analysis: Utilizes geometric properties of Hermitian varieties for structural analysis

Experimental Results

Main Theorem Results

Theorem 1.2: Let $n \geq 4$, $U_n$ be a non-degenerate Hermitian variety in $\mathbb{P}^n(\mathbb{F}_{q^2})$, and $V(F)$ be a cubic hypersurface defined over $\mathbb{F}_{q^2}$. When $q \geq 7$: