🔢 mathematics

Cubic surfaces failing the integral Hasse principle

This paper constructs the first counterexamples to the integral Hasse principle for affine diagonal cubic surfaces by utilizing the integral Brauer–Manin obstruction and analyzes the distribution of these counterexamples and the frequency of integral strong approximation within this family.

Original authors: Julian Lyczak, Vladimir Mitankin, H. Uppal

Published 2026-06-01

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Julian Lyczak, Vladimir Mitankin, H. Uppal

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

Imagine you are a detective trying to solve a mystery about numbers. Specifically, you are looking at a special type of equation: $a_1u_1^3 + a_2u_2^3 + a_3u_3^3 = a_0$ .

In plain English, this asks: "Can I find whole numbers (integers) for $u_1, u_2,$ and $u_3$ that make this equation true?"

For a long time, mathematicians believed in a rule called the Hasse Principle. Think of this principle like a "local-to-global" test. It suggests that if you can solve the equation using numbers from every single "neighborhood" (every prime number system and the real numbers), then you should definitely be able to solve it using whole numbers in the "big city" (the integers).

This paper, written by Julian Lyczak, Vladimir Mitankin, and H. Uppal, is a groundbreaking investigation that proves this rule is broken for these specific cubic equations. They found the first examples where the equation works perfectly in every neighborhood, but fails completely in the big city.

Here is a breakdown of their journey using simple analogies:

1. The Mystery: The "Three Cubes" Problem

The most famous version of this equation is when $a_1=a_2=a_3=1$ . It asks: "Which numbers can be written as the sum of three cubes?" (e.g., $33 = 8^3 + (-2)^3 + 1^3$ ).
For decades, mathematicians have been hunting for which numbers are sums of three cubes. This paper tackles the broader version of the problem.

2. The Tool: The "Brauer–Manin Obstruction"

To understand why the rule broke, the authors used a sophisticated tool called the Brauer–Manin obstruction.

The Analogy: Imagine you have a map of a city. You can see that every street corner (local spot) has a path leading to a destination. However, there is a hidden "invisible wall" or a "magnetic field" (the Brauer–Manin obstruction) that prevents you from actually walking the full path to the destination, even though every individual step looks fine.
The Discovery: Before this paper, we didn't know exactly where these invisible walls were for these specific cubic surfaces. The authors mapped out the entire "Brauer group" (the collection of all possible invisible walls) for the first time.

3. The Breakthrough: Finding the "Impossible" Surfaces

The authors constructed two infinite families of these equations where the "local-to-global" rule fails.

The Scenario: They found equations where you can find solutions using:
- Real numbers (the infinite neighborhood).
- Integers modulo 2, 3, 5, 7, 11, etc. (all the prime neighborhoods).
- BUT, there are no whole number solutions.
Why it matters: This is the first time anyone has proven this happens for diagonal cubic surfaces (where the variables are separate, not mixed together).

4. Counting the Failures

The authors didn't just find one or two examples; they asked, "How common are these failures?"

The Analogy: Imagine a vast ocean of these equations. The authors wanted to know: "If I pick a random equation, what are the odds it's one of these 'broken' ones?"
The Result: They found that these failures are extremely rare.
- If you fix the shape of the equation and just change the target number, failures are almost non-existent (like finding a needle in a haystack).
- If you change the shape of the equation, failures are still rare, but slightly more common.
- If you change everything, the number of failures grows, but it is still a tiny fraction of the total number of possible equations.

5. Strong Approximation: The "Almost There" Problem

The paper also looked at a related concept called Strong Approximation.

The Analogy: Imagine you are trying to hit a bullseye with a dart. You can get close to the bullseye from any direction (local solutions), but the invisible wall prevents you from ever actually hitting the center with a whole-number dart.
The Finding: They showed that even when a solution does exist, the invisible wall often prevents you from getting arbitrarily close to it using whole numbers. This means the "whole number solutions" are not spread out evenly; they have gaps.

Summary of the Main Points

The Rule is Broken: The belief that "local solutions imply global solutions" is false for these cubic surfaces.
The Cause: A hidden mathematical structure (the Brauer group) creates an obstruction that blocks the path to a whole number solution, even when all local clues suggest one exists.
The Rarity: These broken cases are very rare. Finding a specific example is like finding a specific grain of sand on a beach, but the authors managed to find two infinite families of them.
The Method: They didn't just guess; they built a complete map of the "invisible walls" (the Brauer group) for these surfaces, which allowed them to prove these failures exist and count how many there are.

In short, this paper is a detective story where the authors discovered a hidden trap in the world of numbers that tricks us into thinking a solution exists when it actually doesn't, and they calculated exactly how often this trick happens.

Technical Summary: Cubic Surfaces Failing the Integral Hasse Principle

Problem Statement
This paper investigates the arithmetic of affine diagonal cubic surfaces defined over $\mathbb{Q}$ by the equation:
$U : a_1 u_1^3 + a_2 u_2^3 + a_3 u_3^3 = a_0$
where $a_i \in \mathbb{Z} \setminus \{0\}$ and $\gcd(a_1, a_2, a_3) = 1$ . The central problem is the validity of the integral Hasse principle for these surfaces. While local solubility (existence of points in $\mathbb{R}$ and $\mathbb{Z}_p$ for all primes $p$ ) is a necessary condition for the existence of global integral points ( $U(\mathbb{Z}) \neq \emptyset$ ), it is not always sufficient. The authors specifically address the gap in the literature regarding whether local-global principles hold for integral points on diagonal cubic surfaces, a setting where the "sum of three cubes" problem ( $a_1=a_2=a_3=1$ ) is a famous special case. Prior to this work, no counterexamples to the integral Hasse principle were known for diagonal affine cubic surfaces, largely because the Brauer groups of these surfaces were not fully understood in such generality.

Methodology
The authors employ the integral Brauer–Manin obstruction, a tool developed by Colliot-Thélène and Xu, to study the failure of local-global principles. The methodology proceeds in three stages:

Computation of the Brauer Group: The authors first determine the algebraic and transcendental parts of the Brauer group $\text{Br}(U)$ for the general diagonal affine cubic surface. They relate $\text{Br}(U)$ to the Brauer group of its smooth compactification $X$ . A key technical achievement is the full calculation of $\text{Br}(U)$ modulo constants, identifying conditions under which the group contains a $\mathbb{Z}/2\mathbb{Z}$ factor (transcendental part) in addition to the algebraic part.
Local Invariant Analysis: Using Hilbert symbols and explicit generators for the Brauer group (derived from cyclic algebras), the authors compute the local invariant maps $\text{inv}_v: U(\mathbb{Z}_v) \to \mathbb{Q}/\mathbb{Z}$ . They establish sufficient conditions (Propositions 4.2 and 4.3) under which these maps are surjective, which implies the absence of a Brauer–Manin obstruction for specific arithmetic configurations.
Counting and Construction: The paper utilizes analytic number theory (specifically the Landau-Selberg-Delange method and bounds on divisor sums) to count the frequency of surfaces failing the integral Hasse principle. They construct two distinct infinite families of counterexamples:
- Section 6: A family where explicit Brauer elements are used to demonstrate obstructions.
- Section 8: A family where obstructions are proven without requiring explicit representatives of Brauer elements, relying instead on the properties of the invariant maps and the existence of rational points on the compactification.

Key Contributions and Results

First Counterexamples: The paper provides the first known examples of diagonal affine cubic surfaces where the integral Hasse principle fails. Specifically, they construct surfaces where $U(\mathbb{A}_{\mathbb{Z}}) \neq \emptyset$ (everywhere locally soluble) but $U(\mathbb{Z}) = \emptyset$ , and this failure is explained by the integral Brauer–Manin obstruction ( $U(\mathbb{A}_{\mathbb{Z}})_{\text{Br}} = \emptyset$ ).
Theorem 1.1 (Brauer Group Structure): The authors prove that the algebraic part of $\text{Br}(U)$ is isomorphic to $\text{Br}(X)$ . Furthermore, they show that $\text{Br}(U)$ contains an additional $\mathbb{Z}/2\mathbb{Z}$ factor if and only if $a_1 a_2 a_3 \equiv 2 \pmod{\mathbb{Q}^{*3}}$ . This generalizes previous results known only for specific subfamilies.
Quantitative Bounds (Theorems 1.2–1.4): The paper quantifies the rarity of these failures across three natural counting families:
- Fixed coefficients ( $a_1, a_2, a_3$ ), varying $a_0$ : Failures are extremely rare, bounded by $O(B^{1/3})$ . For specific cases like $(1,1,1)$ and $(1,1,2)$ , the count is zero.
- Fixed $a_0$ , varying coefficients: Failures are bounded by $O(B^{3/2})$ .
- Varying all coefficients: The number of surfaces failing the integral Hasse principle, $N(B)$ , satisfies $B^2 / \log B \ll N(B) \ll B^2 (\log B)^6$ .
Integral Strong Approximation: The authors also count surfaces that satisfy integral strong approximation off $\infty$ . They show that while Hasse failures are rare in fixed-coefficient families, the set of surfaces satisfying strong approximation is also constrained, with upper bounds provided for the number of such surfaces.
Distinction from Rational Points: The constructed counterexamples are non-trivial; the surfaces possess rational points ( $U(\mathbb{Q}) \neq \emptyset$ ), meaning the failure of the integral Hasse principle is not a consequence of the failure of the Hasse principle for rational points.

Significance
The paper claims significance primarily for breaking a long-standing barrier in the arithmetic of cubic surfaces. Before this work, the lack of a general understanding of the Brauer groups for diagonal affine cubic surfaces prevented the construction of integral Hasse failures in this setting. By computing these groups and providing explicit infinite families of counterexamples, the authors demonstrate that the integral Hasse principle does not hold universally for diagonal cubic surfaces.

Furthermore, the work contributes to the quantitative study of arithmetic properties in families. It establishes that while integral Hasse failures exist, they are sparse in families where coefficients are fixed, but become more prevalent (though still a lower density subset) when all coefficients are allowed to vary. The paper also highlights the utility of the integral Brauer–Manin obstruction in explaining failures of strong approximation off $\infty$ , a phenomenon distinct from the failure of the Hasse principle itself.

The authors note that their approach in Section 8, which avoids the need for explicit Brauer representatives, offers a robust method for identifying obstructions in cases where such representatives are difficult to compute, potentially applicable to other log K3 surfaces and affine del Pezzo surfaces.