🔢 mathematics

Hasse principle for intersections of two quadrics via Kummer surfaces

Assuming the finiteness of relevant Tate-Shafarevich groups, this paper establishes new cases of the Hasse principle for Kummer surfaces derived from genus 2 Jacobians, which subsequently implies the Hasse principle for quartic del Pezzo surfaces with trivial Brauer groups and for smooth complete intersections of two quadrics in projective spaces of dimension at least 5.

Original authors: Adam Morgan, Alexei N. Skorobogatov

Published 2026-06-16

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Adam Morgan, Alexei N. Skorobogatov

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

The Big Picture: The "Local-to-Global" Puzzle

Imagine you are trying to find a hidden treasure (a rational point) on a complex, multi-dimensional map (a geometric shape).

The Hasse Principle is a famous rule in mathematics that says: If you can find the treasure in every single local neighborhood (every "local" view of the map), then the treasure must exist on the whole map (the "global" view).

Usually, this rule works perfectly. But sometimes, the map has hidden traps or "obstructions" that make the treasure disappear globally, even though it seems to be everywhere locally. The authors of this paper are trying to prove that for a specific, tricky type of map, the Hasse Principle does work, provided we accept one big assumption about the nature of these traps.

The Characters in Our Story

The Quartic Del Pezzo Surface (The "Twisted Doughnut"):
Think of this as a very specific, smooth, 4-dimensional shape made by slicing two giant, 5-dimensional "spheres" (quadrics) together. It's a bit like a twisted doughnut that exists in a higher dimension. Mathematicians want to know: Does this shape have any "rational" points (points with nice, clean coordinates)?
The Kummer Surface (The "Mirror Image"):
This is a special kind of shape that looks like a crumpled sheet of paper with 16 sharp points (singularities). The authors discovered a magical bridge: Every "Twisted Doughnut" (Del Pezzo surface) is secretly connected to a "Mirror Image" (Kummer surface) in a way that preserves their secrets. If you can solve the puzzle on the Mirror Image, you solve it on the Doughnut.
The Jacobian of a Genus 2 Curve (The "Engine"):
This is a complex machine built from a specific type of curve (a "Genus 2 curve," which looks like a figure-eight with an extra loop). The Kummer surface is essentially a "2-covering" of this machine. Think of the Kummer surface as a shadow cast by this machine.
The Tate-Shafarevich Group (The "Ghostly Obstruction"):
This is the big assumption the authors make. They assume that a certain group of "ghosts" (mathematical obstructions) is finite.
- Analogy: Imagine trying to cross a river. Sometimes, the water looks calm everywhere (local solubility), but there are invisible whirlpools that prevent you from crossing (global obstruction). The authors assume there are only a finite number of these whirlpools. If this is true, they can prove the river is crossable.

The Authors' Strategy: The "Fibration" Trick

The paper uses a clever three-step strategy to solve the puzzle:

Step 1: The Elevator Ride (The Fibration)
Instead of looking at the "Twisted Doughnut" all at once, the authors imagine it as a stack of "Mirror Images" (Kummer surfaces) arranged along a line (like an elevator shaft).

They prove that if you can find a solution on any of these Mirror Images in the stack, you can find a solution on the Doughnut.
They use a theorem by Harpaz and Wittenberg which acts like a "magic key": If you have a stack of shapes and you can find points on them locally, you can usually find a point on the whole stack, unless there's a specific algebraic obstruction.

Step 2: The Local Check (The "Admissible Conditions")
The authors show that for the "Mirror Images" in their stack, the only thing stopping a solution is the "Ghostly Obstruction" (the Tate-Shafarevich group).

They construct a specific scenario where the "local" conditions are perfect. They pick a specific spot on the line (a value $b$ ) where the Mirror Image is "everywhere locally soluble" (it has points in every neighborhood).
They prove that if the "Ghostly Obstruction" is finite, then a point must exist on this specific Mirror Image.

Step 3: The Descent (The "Odd Degree" Shortcut)
Here is the final trick.

They find a point on the Mirror Image, but it might be on a slightly different version of the map (a field extension).
However, they prove this point exists on a version of the map that is only odd times bigger than the original.
There is an old mathematical theorem (Amer-Brumer) that says: If a shape like a "Twisted Doughnut" has a point on an odd-sized extension, it must have a point on the original map.
Result: The treasure is found!

The Main Results (Simplified)

The paper proves two main things, assuming the "Ghostly Obstruction" (Tate-Shafarevich group) is finite:

For the "Twisted Doughnuts" (Quartic Del Pezzo Surfaces):
If the shape is defined by a polynomial that cannot be broken down (irreducible) or is fully broken down (completely split), and it has no hidden algebraic traps, then the Hasse Principle holds. If it looks like it has a treasure everywhere locally, it definitely has a treasure globally.
For the "Intersections of Two Quadrics" (The 5D+ Shapes):
Any smooth shape formed by the intersection of two quadrics in a space of 5 dimensions or more satisfies the Hasse Principle.
- Why this matters: Previously, this was only known for spaces of 7 dimensions or higher, or if you assumed very strong, unproven conjectures about prime numbers. This paper lowers the bar to 5 dimensions, provided you accept the assumption about the finite "ghosts."

The "How" (The Technical Magic)

To make this work, the authors had to do some heavy lifting in the "engine room" (Section 4 of the paper):

They studied how these shapes change when you twist them (quadratic twists).
They used a tool called the Cassels-Tate pairing, which is like a "compatibility checker" for the ghosts.
They showed that by carefully choosing how to twist the shapes, they could force the "ghosts" to cancel each other out, leaving a clear path to a solution.

Summary in One Sentence

By building a bridge between complex 4D shapes and simpler "Mirror Images" (Kummer surfaces), and assuming that the hidden "ghosts" blocking the path are finite in number, the authors prove that if a specific type of geometric shape has points everywhere locally, it must have a point globally.

Technical Summary: Hasse Principle for Intersections of Two Quadrics via Kummer Surfaces

Problem Statement
The paper addresses the Hasse principle for smooth complete intersections of two quadrics in projective space $\mathbb{P}^n_k$ (where $n \ge 5$ ) and, more specifically, for quartic del Pezzo surfaces (smooth intersections of two quadrics in $\mathbb{P}^4_k$ ). While the Hasse principle is known for conic bundles and del Pezzo surfaces of degree $>4$ , the case of quartic del Pezzo surfaces without a conic fibration remains a significant open problem. Previous conditional results relied on the finiteness of the Tate–Shafarevich group of elliptic curves combined with Schinzel's Hypothesis (H). This work seeks to establish the Hasse principle for these surfaces under the assumption of the finiteness of the 2-primary torsion of the Tate–Shafarevich groups of Jacobians of genus 2 curves, without invoking Schinzel's Hypothesis.

Methodology
The authors employ a geometric reduction strategy that connects quartic del Pezzo surfaces to Kummer surfaces associated with 2-coverings of Jacobians of genus 2 curves.

Geometric Construction: The core innovation is a new geometric construction establishing a stable birational equivalence between a quartic del Pezzo surface $X$ and a threefold $Z$ fibred over $\mathbb{P}^1_k$ . The fibres of this fibration are Kummer surfaces. Specifically, the projectivised tangent bundle of $X$ is shown to be birationally equivalent to a family of Kummer surfaces. This family arises from the relative Jacobian of a genus 2 curve defined by $y^2 = (x-t)P(x)$ , where $P(t)$ is the characteristic polynomial of the pencil of quadrics defining $X$ .
Fibration Theorem for Zero-Cycles: The authors apply the fibration theorem for zero-cycles by Harpaz and Wittenberg [HW16]. This allows them to deduce the existence of a rational point on $X$ (over a number field $k$ ) from the existence of rational points on the fibres of the Kummer fibration, provided certain local conditions are met.
Local Conditions and Descent: The proof relies on constructing "admissible local conditions" for the parameter $b$ of the genus 2 curve. These conditions ensure that the corresponding Kummer surface has points over local fields. The authors utilize the theory of 2-Selmer groups in families of quadratic twists of Jacobians. By analyzing the variation of the dimension of the 2-Selmer group and the Cassels–Tate pairing under quadratic twists, they demonstrate that one can find a twist where the obstruction to the Hasse principle vanishes.
Galois Group Analysis: The proof distinguishes cases based on the Galois group of the characteristic polynomial $P(t)$ (specifically $S_5, A_5, F_{20}, D_{10},$ and $Z/5$ ). For each case, the authors construct specific quadratic extensions and local conditions to control the parity of the Selmer group dimension, ensuring that the relevant 2-covering has a rational point.

Key Contributions and Results

Theorem A (Main Result): Let $k$ $k$ be a number field. Assuming that for every genus 2 curve over every finite extension of $k$ $k$ , the 2-primary torsion subgroup of the Tate–Shafarevich group of its Jacobian is finite, then quartic del Pezzo surfaces $X$ $X$ over $k$ $k$ satisfy the Hasse principle if:
- The characteristic polynomial $P(t)$ is irreducible; OR
- $P(t)$ is completely split and the natural map $Br(k) \to Br(X)$ is surjective (i.e., $X$ has a trivial Brauer group).
Theorem B (Corollary): Under the same finiteness assumption, smooth complete intersections of two quadrics in $\mathbb{P}^n_k$ for $n \ge 5$ satisfy the Hasse principle.
Reduction to Kummer Surfaces: The paper proves that the Hasse principle with Brauer–Manin obstruction for $X$ follows from the Hasse principle with algebraic Brauer–Manin obstruction for specific Kummer surfaces defined over finite extensions of $k$ of odd degree.
Handling the Irreducible Case: For the case where $P(t)$ is irreducible, the authors extend techniques from previous works (HS16, Har19, Mor25) to prove the Hasse principle for the relevant Kummer surfaces. This involves a detailed analysis of the 2-Selmer group in quadratic twist families and the Cassels–Tate pairing, particularly for Galois groups $S_5, A_5, F_{20}$ and $D_{10}$ .
Handling the Split Case: For the completely split case, the authors rely on Harpaz's result [Har19] which establishes that the algebraic Brauer–Manin obstruction is the only obstruction for the relevant Kummer surfaces under the given local conditions.

Significance and Claims
The paper claims to provide new conditional cases for the Hasse principle for quartic del Pezzo surfaces and higher-dimensional intersections of two quadrics. Its primary significance lies in:

Removing Schinzel's Hypothesis: Unlike Wittenberg's earlier conditional results [Wit07], this work does not require Schinzel's Hypothesis (H). Instead, it relies solely on the finiteness of the Tate–Shafarevich groups of Jacobians of genus 2 curves, a conjecture considered more accessible in the context of abelian varieties than the prime values of polynomials.
Geometric Innovation: The construction of the Kummer fibration over the projectivised tangent bundle of the del Pezzo surface is presented as a new geometric idea that facilitates the reduction of the problem to Kummer surfaces.
Scope: While the main theorem is stated for surfaces with trivial Brauer groups, the authors note that their method is applicable to arbitrary quartic del Pezzo surfaces, with the non-trivial Brauer group cases to be addressed in future work.

The authors explicitly state that their results are conditional on the finiteness of the relevant Tate–Shafarevich groups, consistent with the current state of the art for such problems involving abelian varieties. They do not claim unconditional results but rather advance the conditional theory by shifting the dependency from elliptic curves and Schinzel's Hypothesis to genus 2 Jacobians.