Rational lines on cubic hypersurfaces II

Basic Information

• Paper ID: 2307.09449
• Title: Rational lines on cubic hypersurfaces II
• Authors: Julia Brandes, Rainer Dietmann, David B. Leep
• Classification: math.NT (Number Theory)
• Publication Date: July 2023 (arXiv v2: November 21, 2025)
• Paper Link: https://arxiv.org/abs/2307.09449

Abstract

This paper proves that any rational cubic hypersurface of dimension at least 33 defined over a number field K contains a K-rational projective line, improving Wooley's previous bound by two dimensions. For the case K=ℚ, this bound can be reduced to 29. The main technical components include: results on linear spaces of quadratic forms over appropriate non-real quadratic field extensions, and recent work of Bernert and Hochfilzer on cubic forms over imaginary quadratic number fields.

Research Background and Motivation

1. Core Problem

Investigation of the existence of rational lines on cubic hypersurfaces: Given a cubic homogeneous polynomial C(X₁,...,Xₙ) defined over a number field K, how many variables are needed to guarantee the existence of a K-rational projective line completely contained in the hypersurface C=0?

2. Problem Significance

• Theoretical Importance: This is a classical problem in algebraic geometry and number theory, closely related to Birch's theorem. Birch proved that odd-degree rational hypersurfaces contain large rational linear spaces when the dimension is sufficiently large, but his method is inefficient.
• Practical Challenge: Even in the simplest case (rational lines on cubic hypersurfaces), determining the precise dimensional bound is extremely challenging.
• p-adic Obstruction: It is known that for K=ℚ, at least 12 variables are needed to avoid potential p-adic obstructions (3, Theorem 1.4).

3. Limitations of Existing Methods

• Wooley (1997): Proved that cubic forms in at least 37 variables defined over any number field K contain K-rational lines.
• Brandes-Dietmann (2021): For K=ℚ and smooth hypersurfaces, reduced the bound to 31 variables, but only in the smooth case.
• Method Bottleneck: Traditional methods choose a fixed field extension L=K(i) when handling quadratic forms, which is not sufficiently optimized.

4. Motivation for This Work

• Improve Wooley's result for general number fields K
• Generalize Brandes-Dietmann's result to the singular case
• Enhance efficiency by optimizing the choice of quadratic field extensions

Core Contributions

1. Main Theorem Improvements (Theorem 2):
   • For general number field K: reduced from 37 to 35 dimensions
   • For imaginary quadratic fields: reduced to 33 dimensions
   • For K=ℚ: reduced to 29 dimensions (compared to previous 31 dimensions, and including singular cases)
2. New Results on Linear Spaces of Quadratic Forms (Theorem 3): Proves that for a quadratic form in n ≥ 2k+1 variables, there exists a non-real quadratic field extension L such that the quadratic form vanishes on an L-linear space of dimension at least k. This improves Leep's result (requiring n ≥ 2k+3) by 2 variables.
3. Technical Innovations:
   • Optimize the choice of quadratic field extensions rather than using fixed L=K(i)
   • Carefully construct field extensions using the weak approximation theorem
   • Combine recent results of Bernert-Hochfilzer on imaginary quadratic number fields
4. Optimality Results: Proves that the condition n ≥ 2k+1 in Theorem 3 is optimal (Section 5)

Detailed Methodology

Task Definition

Given a number field K and a cubic homogeneous polynomial C ∈ KX₁,...,Xₙ, find two K-linearly independent points x, y ∈ Kⁿ such that the projective line spanned by them is completely contained in the hypersurface C=0.

Overall Strategy (Following Wooley's Framework)

Step 1: Finding a Base Point

• Utilize Pleasants' result (γL ≤ 16 for all number fields); when n ≥ 16, there exists a nontrivial zero point x ∈ Kⁿ{0} satisfying C(x)=0

Step 2: Constructing Auxiliary Forms Introduce a symmetric trilinear form Φ satisfying C(X)=Φ(X,X,X), and define:

• Λ(Y) = Φ(x,x,Y) (linear form)
• Q(Y) = Φ(x,Y,Y) (quadratic form)

Note that:

C(x + μY) = 3μΛ(Y) + 3μ²Q(Y) + μ³C(Y)

Step 3: Solving the System of Equations Need to find y such that:

• Λ(y) = 0 (linear equation)
• M(y) = 0 (linear equation ensuring linear independence)
• Q(y) = 0 (quadratic equation)
• C(y) = 0 (cubic equation)

Step 4: Dimension Reduction and Solution

• Let H be the affine space defined by M=Λ=0, with dimension m ≥ n-2
• Restrict Q and C to H to obtain Q₁ and C₁

Core Innovation: Optimizing Quadratic Field Extensions (Proof of Theorem 3)

Problem Setup: Given a quadratic form Q ∈ KX₁,...,Xₙ, n=2k+1, find a non-real quadratic extension L|K such that Q vanishes on an L-linear space of dimension at least k.

Key Construction:

1. Diagonalization: Without loss of generality, Q ≅_K ⟨a₁,...,aₙ⟩, where aᵢ ∈ O_K (ring of integers)
2. Local Analysis:
   • Let P = {p₁,...,pᵣ} be the set of prime ideals satisfying 2a₁···aₙ ∈ p
   • For p ∉ P, by Lemma 2.2, Q already has a k-dimensional zero space over Kₚ
3. Weak Approximation Application: Choose d ∈ O such that:
   • vₚ(d) = 1 for all p ∈ P
   • d < 0 for all real embeddings
   
   This ensures that L = K(√d) is a non-real quadratic extension
4. Local to Global:
   • For p ∈ P, since vₚ(d)=1, we have Kₚ(√d):Kₚ=2
   • Utilize the fact that regular quadratic forms in five or more variables are isotropic
   • Prove that ⟨r,s,t⟩ is isotropic over Kₚ(√d) (by considering the discriminant of ⟨r,s,t,rstd⟩)
   • Obtain that Q has a k-dimensional zero space over all Kₚ(√d)
5. Hasse-Minkowski Principle: Apply the extended Hasse-Minkowski theorem (Lemma 2.1) to deduce global solvability from local solvability

Main Theorem Proof (Theorem 1)

Input: Cubic form C, n ≥ 2δ_K + 3, where δ_K = sup_L γ_L (L ranges over all non-real quadratic extensions of K)

Proof Flow:

1. Find a base point x satisfying C(x)=0 (guaranteed by n ≥ 2δ_K+3 ≥ 23 ≥ 16)
2. Construct the affine space H (defined by M=Λ=0), with dimension m ≥ n-2 ≥ 2δ_K+1
3. Apply Theorem 3: There exists a non-real quadratic extension L|K such that Q₁ vanishes on a δ_K-dimensional L-linear space V
4. Restrict C₁ to V to obtain C₂; by the definition of δ_K, C₂ has a nontrivial L-rational zero point y₁
5. Pullback Construction: Use Wooley's Lemma 2.2 to pull back the L-rational line to a K-rational line

Technical Innovation Points

1. Dynamic Field Selection:
   • Do not use fixed L=K(i)
   • Dynamically select the optimal d based on the coefficients of the quadratic form and the structure of prime ideals
   • Precisely control the p-adic valuations of d through weak approximation
2. Local Condition Optimization:
   • Only need to handle finitely many "bad" prime ideals p ∈ P
   • For other prime ideals, directly utilize Chevalley's theorem and Hensel's lemma
3. Discriminant Technique:
   • Utilize the discriminant of ⟨r,s,t,rstd⟩ being in dK²ₚ
   • Cleverly convert the isotropy of quaternary forms to isotropy of ternary forms over extensions
4. Precise Dimension Counting:
   • Each improvement precisely calculates dimensional loss
   • Finally reduce n ≥ 2k+3 to n ≥ 2k+1

Experimental Setup

Note: This is a pure mathematics theoretical paper with no experiments or numerical computations. All results are rigorous mathematical proofs.

Theoretical Verification Methods

1. Citation of Known Results:
   • Pleasants (1975): γ_L ≤ 16
   • Bernert-Hochfilzer (2025): γ_L ≤ 14 for imaginary quadratic fields
   • Leep (1984): Results on quadratic forms over totally imaginary fields
2. Constructive Proofs: All theorems provide constructive proofs that are in principle algorithmizable
3. Optimality Verification: Section 5 proves the optimality of the condition in Theorem 3 through explicit counterexample construction

Experimental Results

Main Results (Specific Bounds in Theorem 2)

Note: Theorem 2(c) actually gives n ≥ 31, but the abstract mentions "for K=Q we can reduce the bound to 29," which may be a more refined result using δ_ℚ ≤ 14.

Theoretical Bound Calculations

Application of Theorem 1:

• General case: δ_K ≤ 16 ⟹ n ≥ 2×16+3 = 35
• Imaginary quadratic fields: δ_K ≤ 14 ⟹ n ≥ 2×14+3 = 31, but Theorem 2(b) gives 33 due to different strategy
• K = ℚ: δ_ℚ ≤ 14 ⟹ n ≥ 2×14+3 = 31 (or more refined 29)

Optimality of Theorem 3 (Section 5)

Counterexample Construction: For n = 2k, there exist a quadratic form Q and number field K such that:

• Q does not vanish on any k-dimensional L-linear space for any quadratic extension L|K
• Specific form: Q = X₁² + aX₂² + bX₃² + abdX₄² + X₅X₆ + ··· + X_X_n

Construction Elements:

1. Choose distinct prime ideals p, q
2. Via weak approximation, construct d satisfying:
   • v_q(d) = 1 (ensuring d ∉ (K×)²)
   • d ∈ (K_p×)² (p-adic square)
3. Choose a, b such that ⟨1,a,b,ab⟩ is anisotropic over K_p

This proves that n ≥ 2k+1 is necessary.

Hard Lower Bounds

Theoretical Limits of the Method:

• Since δ_K ≥ 10 (for any number field), the method gives a hard lower bound of n ≥ 23
• But it is known that for K=ℚ, at least n ≥ 12 is needed to avoid p-adic obstructions
• The true bound likely lies between 12 and 29

Related Work

1. Birch's Theorem and Its Efficiency Issues

• Birch (1957): Odd-degree hypersurfaces contain rational linear spaces when dimension is sufficiently large
• Problem: The method is very inefficient, with bounds far from optimal

2. Zero Points on Cubic Forms

• Pleasants (1975): γ_L ≤ 16 for all number fields L
• Bernert-Hochfilzer (2025): γ_L ≤ 14 for imaginary quadratic number fields
• This Paper's Contribution: Utilize these improved bounds to optimize the line existence theorem

3. Existence of Linear Spaces

• Wooley (1997):
  • First systematic study of rational lines on cubic hypersurfaces
  • Proved n ≥ 37 for general number fields
  • Method: Fixed use of L=K(i)
• Brandes-Dietmann (2021):
  • K=ℚ, smooth case: n ≥ 31
  • Established p-adic obstruction lower bound n ≥ 12
• This Paper:
  • Generalized to singular case
  • Improved bounds to n ≥ 35 (general), 33 (imaginary quadratic), 29 (rational)

4. Quadratic Form Theory

• Leep (1984): Systematic study of quadratic forms over totally imaginary fields, giving n ≥ 2k+3 result
• This Paper's Theorem 3: Improved to n ≥ 2k+1, applicable to non-real fields obtained through extensions

5. Local-Global Principle

• Hasse-Minkowski Theorem: Local-global principle for zero points of quadratic forms
• O'Meara (1973/2000): Extension to linear spaces version (Theorem 66:3 cited in Lemma 2.1)

Positioning of This Paper

• Theoretical Improvement: Achieves optimal results within Wooley's framework through technical innovation
• Methodological Contribution: Strategy for optimizing field extension choices has universal significance
• Future Directions: Provides new tools for further lowering bounds

Conclusions and Discussion

Main Conclusions

1. Quantitative Improvements:
   • General number fields: 37 → 35 dimensions
   • Imaginary quadratic fields: 37 → 33 dimensions
   • Rational number field: 31 (smooth) → 29 dimensions (including singular)
2. Methodological Contributions:
   • Demonstrates that optimizing field extension choices can significantly improve results
   • Theorem 3 provides new tools for handling quadratic forms
   • Method is optimal under the condition n ≥ 2k+1
3. Theoretical Significance:
   • Narrows the gap with theoretical lower bounds (n ≥ 12 for ℚ)
   • Provides new technical routes for further research

Limitations

1. Gap with Lower Bounds:
   • For K=ℚ: upper bound 29 vs lower bound 12, still a gap of 17 dimensions
   • The true answer likely lies between the two
2. Hard Limits of the Method:
   • Due to δ_K ≥ 10, current method cannot break through the n ≥ 23 bound
   • Further improvement requires fundamentally new ideas
3. Non-constructivity:
   • While proofs are constructive:
     • Weak approximation choices are not unique
     • No effective algorithm complexity analysis provided
     • Practical computation may be difficult
4. Potential in Special Cases:
   • For specific number fields (e.g., ℚ(i)), better bounds may exist
   • Smooth hypersurfaces may allow further improvements

Future Directions

1. Further Lowering of Bounds:
   • Explore whether δ_K bounds can be improved
   • Study fine structure of special number fields
2. Algorithmization:
   • Convert constructive proofs to practical algorithms
   • Analyze computational complexity
3. Generalizations:
   • Higher-degree hypersurfaces (degree > 3)
   • Higher-dimensional linear spaces (not just lines)
4. Improvement of Lower Bounds:
   • Construct more obstruction examples
   • Determine the true minimum dimension

In-Depth Evaluation

Strengths

1. Technical Innovation:
   • Core Innovation: Optimizing quadratic field extension choices is a genuine innovation, not merely parameter adjustment
   • Fine Analysis: Precise control of local behavior through weak approximation demonstrates deep number-theoretic insight
   • Optimality: Section 5's counterexample construction proves the method's optimality in a certain sense
2. Proof Rigor:
   • Complete citation of all necessary technical lemmas
   • Clear and explicit application of local-global principles
   • Complete case analysis (handling a₁···aₙ=0)
3. Substantive Results:
   • Improves the best result in over 20 years
   • Generalization to singular case is important theoretical refinement
   • Stratified results for different number fields
4. Writing Clarity:
   • Clear structure with explicit motivation
   • Complete technical details without redundancy
   • Unified notation system (O_K, K_p, etc.)
5. Mathematical Depth:
   • Synthesizes quadratic form theory, algebraic number theory, and local field theory
   • Timely integration of Bernert-Hochfilzer's latest results
   • Deep understanding of problem essence reflected in Wooley framework improvements

Weaknesses

1. Distance from Optimal Bound:
   • For ℚ, bound of 29 still far from known lower bound of 12
   • Paper acknowledges "quite unclear what the 'true' bound should be"
2. Method Limitations:
   • Admits δ_K ≥ 10 is "hard limit of the method"
   • Breakthrough requires fundamentally new ideas, not incremental framework refinement
3. Computational Aspects:
   • No discussion of algorithm implementation
   • While d's existence in weak approximation is guaranteed, choice may not be unique
   • Lacks complexity analysis
4. Exploration of Special Cases:
   • No specialized results for certain number fields (e.g., real quadratic fields)
   • Smoothness condition not fully exploited compared to 3
5. Application Aspects:
   • Pure theoretical results without discussion of geometric or arithmetic applications
   • Limited exploration of connections to other algebraic geometry problems

Impact

1. Contribution to Field:
   • Short-term: Immediately becomes the best result on this problem
   • Medium-term: New method (optimizing field extensions) may apply to other problems
   • Long-term: Important step toward eventually determining optimal bound
2. Practical Value:
   • Theoretical mathematics with limited direct practical value
   • Important for understanding rational structure of high-dimensional algebraic varieties
   • Possible indirect impact on cryptography or coding theory
3. Reproducibility:
   • Theoretical level: Complete proof, verifiable
   • Computational level: In principle algorithmizable, but details not provided
   • Generalizability: Method is general, applicable to other problems
4. Citation Potential:
   • Will become standard reference in the field
   • Theorem 3 as independent result has broad applicability
   • May inspire research on other algebraic geometry problems

Applicable Scenarios

1. Direct Applications:
   • Determining whether cubic hypersurfaces contain rational lines
   • Rationality problems in algebraic geometry
   • Diophantine equation theory
2. Method Borrowing:
   • Problems requiring optimized field extensions
   • Applications of local-global principles
   • Combined study of quadratic and higher-degree forms
3. Theoretical Development:
   • Research on higher-degree hypersurfaces
   • Existence of higher-dimensional linear spaces
   • Refined results on special number fields
4. Related Fields:
   • Arithmetic algebraic geometry
   • Analytic number theory (circle method refinements)
   • Further development of quadratic form theory

Key References

1. Birch (1957): Pioneering work on odd-degree hypersurfaces
2. Wooley (1997): Main result improved by this paper
3. Brandes-Dietmann (2021): Authors' previous work, smooth case
4. Bernert-Hochfilzer (2025): Latest results on imaginary quadratic fields, key input
5. Leep (1984): Foundational work on quadratic form systems
6. O'Meara (2000): Classical reference on quadratic form theory
7. Pleasants (1975): Foundational results on cubic form zeros

Summary

This is a high-quality pure mathematics paper achieving substantial progress on the classical problem of rational line existence on cubic hypersurfaces. The main highlight is obtaining optimal or near-optimal results within Wooley's framework through optimized quadratic field extension selection strategy. Theorem 3 on linear spaces of quadratic forms is itself an important independent contribution.

The paper's technical depth is evident in fine application of local-global principles, clever use of weak approximation theorem, and deep understanding of discriminants and isotropy. The proof is rigorous and complete, with clear writing—representing important progress in the field.

Main limitations lie in the remaining gap with theoretical lower bounds and inherent method constraints (δ_K ≥ 10 leading to hard bound n ≥ 23). However, the paper honestly acknowledges these limitations and proves method optimality through counterexamples.

For number theorists and algebraic geometers, this is essential reading; for the broader mathematics community, it exemplifies how refined technical improvements can advance classical problems.