🔢 mathematics

Visible 2-torsion in the Tate-Shafarevich group of an elliptic curve

This paper proves that any pair of 2-torsion elements in the Tate-Shafarevich group of an elliptic curve can be simultaneously visualized within the same abelian surface, extending previous results that were limited to single elements and providing insight into observations made by Cremona and Mazur.

Original authors: Tom Fisher

Published 2026-06-01

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Tom Fisher

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 "Missing Keys" Problem

Imagine you have a very special, complex lock (an elliptic curve). Mathematicians know that this lock has a specific set of keys that can open it. These keys are called torsion elements.

Sometimes, there are "ghost keys." These are keys that look like they should work locally (they fit the lock in your hand, or in your neighbor's hand, or in every small town you visit), but when you try to use them on the main lock in the capital city, they fail. They don't open the door.

In math terms, these ghost keys live in a group called the Tate-Shafarevich group (often written as $\text{X}$ ). The group represents solutions that exist everywhere locally but fail globally. This is a violation of the "Hasse Principle," a rule that usually says: "If it works everywhere locally, it should work globally."

The Goal: Making the Ghosts Visible

The paper asks a specific question: Can we build a bigger, more complex machine (an abelian surface) where these ghost keys suddenly become "visible"?

Think of it like this:

The Lock (Elliptic Curve): A small, simple puzzle.
The Ghost Key: A solution that exists in every small piece of the puzzle but not in the whole picture.
The Big Machine (Abelian Surface): A larger, more complex puzzle box.

If you put the ghost key inside this bigger box, it stops being a "ghost." It becomes a real, physical part of the machine's structure. In math, we say the element is visible.

What Was Known Before?

Previously, mathematicians knew that if you had one ghost key, you could always build a specific type of big machine (an abelian surface) to make it visible. It was like having a special tool that could catch a single ghost.

However, nobody knew if you could catch two ghost keys at the same time using just one machine. Could one big box hold two different ghosts simultaneously?

The Breakthrough: Catching Two Ghosts at Once

Tom Fisher proves that yes, you can.

The Main Claim: If you have any pair of 2-torsion ghost keys (two specific types of solutions) on an elliptic curve, you can always find a single abelian surface where both of them become visible at the same time.

How Did He Do It? (The Analogy of the Intersection)

To prove this, Fisher didn't just look at the keys; he built a new structure to hold them. He used a geometric object called a quadric intersection.

Imagine two giant, transparent sheets of glass floating in a 5-dimensional room.

Sheet A is shaped like a specific curved surface (a quadric).
Sheet B is another curved surface.
Where they cross each other, they form a specific shape (the intersection).

Fisher showed that if you have two ghost keys (represented by two mathematical formulas called "binary quartics"), you can arrange these two sheets of glass so that:

They cross each other in a way that creates a smooth, continuous path.
If the ghost keys work in every small town (locally soluble), then this intersection of glass sheets is guaranteed to have a real point in the main city (globally soluble).

Once this intersection has a real point, it acts as the "bridge" that connects the two ghost keys to the big machine (the abelian surface), making them both visible.

The "Smooth" Rule

There is a catch. The paper proves that this works for smooth points.

Smooth Point: A point on the glass intersection that isn't broken, jagged, or stuck in a corner.
Singular Point: A broken or jagged spot.

Fisher proves that if the ghost keys work everywhere locally, the intersection will definitely have a smooth real point. He also shows that sometimes the intersection might have broken points (singularities) that look like they work, but if you look closely, they are actually "ghosts" themselves. His proof ensures we find the real, smooth solution, not a broken fake one.

Why Does This Matter?

Before this paper, we knew how to handle one ghost at a time. This paper solves the puzzle of handling pairs of ghosts together.

It explains observations made by other mathematicians (Cremona and Mazur) who noticed that certain pairs of keys seemed to work together in specific machines. Fisher provides the mathematical "why" and "how" for this phenomenon.

Summary in One Sentence

Tom Fisher proves that for any two specific types of "ghost solutions" on an elliptic curve, there is always a single, larger mathematical structure where both ghosts can be seen and understood at the same time, provided we look for the smooth, unbroken solutions.

Problem Statement
The paper addresses the problem of "visibility" within the Tate-Shafarevich group, denoted $\mathcal{X}(E/k)$ , of an elliptic curve $E$ defined over a number field $k$ . Visibility, introduced by Mazur, refers to the realization of a cohomology class $\xi \in H^1(k, E)$ as the kernel of a map induced by an inclusion of abelian varieties $\iota: E \hookrightarrow A$ . Specifically, an element is visible in $A$ if the corresponding torsor can be realized as a coset of $E$ inside $A$ .

While it was previously established that every single 2-torsion element in $H^1(k, E)$ is visible in an abelian surface (Klenke), and that every 3-torsion element is visible in an abelian surface (Mazur), the question remained whether pairs of 2-torsion elements in the Tate-Shafarevich group could be simultaneously visible in the same abelian surface. Previous examples by Cremona and Mazur showed this was possible for specific cases, but a general proof for any pair of 2-torsion elements was lacking.

Methodology
The author, Tom Fisher, employs a geometric approach centered on the study of intersections of quadrics in projective space. The methodology proceeds through the following stages:

Reformulation via Binary Quartics: The problem is translated into the language of binary quartics. Elements of the 2-Selmer group $S^{(2)}(E/k)$ are represented by everywhere locally soluble binary quartics. Two such quartics, $f$ and $g$ , with the same invariants $I$ and $J$ , define a specific geometric object.
Construction of Quadric Intersections: The author defines a variety $X_{f,g} \subset \mathbb{P}^5$ as the intersection of two quadrics derived from the quartics $f$ and $g$ . This variety is shown to be a singular variety with exactly six singular points.
The Smooth Hasse Principle: The core technical hurdle is proving that if $X_{f,g}$ $X_{f, g}$ has smooth points over all completions $k_v$ $k_{v}$ (i.e., it is everywhere locally soluble), then it possesses a smooth $k$ $k$ -rational point. This is a "smooth Hasse principle" result. The paper provides two distinct proofs for this:
- Proof 1 (Geometric): This approach analyzes hyperplane sections of $X_{f,g}$ . By intersecting with a carefully chosen hyperplane, the author obtains a smooth del Pezzo surface of degree 4. Using the existence of lines on this surface (derived from the proper equivalences of the quartics), the surface is blown down to a del Pezzo surface of degree 8. Since del Pezzo surfaces of degree 8 satisfy the Hasse principle, the existence of a rational point is established.
- Proof 2 (Birational): This approach constructs a birational map from $X_{f,g}$ to a Brauer-Severi threefold $Y$ . Since Brauer-Severi varieties satisfy the Hasse principle, the result follows immediately.
Application to Visibility: The existence of a smooth $k$ -point on $X_{f,g}$ is used to construct an elliptic curve $F$ and an isomorphism $\pi: E[2] \to F[2]$ such that the classes of both quartics $f$ and $g$ map to the trivial element in $H^1(k, F)$ . This confirms that both elements are visible in the abelian surface $A = (E \times F)/\Delta$ .

Key Contributions and Results
The primary result is Theorem 1.2, which states:

Every pair of 2-torsion elements in $\mathcal{X}(E/k)$ are visible in the same abelian surface.

This generalizes previous results which were limited to single elements or specific examples. The paper also establishes:

Lemma 6.1: If two non-singular binary quartics with the same invariants are everywhere locally soluble, their associated quadric intersection $X_{f,g}$ has a smooth point over every completion $k_v$ .
Proposition 8.1: An alternative, more computational proof of the main theorem is provided using the obstruction map $\text{Ob}_2: H^1(k, E[2]) \to \text{Br}(k)$ . The paper shows that for 2-torsion elements $\xi, \eta$ with trivial obstruction, $\text{Ob}_2(\xi + \eta) = 0$ is equivalent to their simultaneous visibility.
Counterexamples to the General Hasse Principle: The paper provides examples (Example 7.2) showing that while $X_{f,g}$ satisfies the smooth Hasse principle, it does not necessarily satisfy the general Hasse principle (i.e., it may have points everywhere locally but no global point if singular points are the only local solutions).

Significance and Claims
The paper claims that its result explains the original observations on visibility made by Cremona and Mazur, specifically why pairs of 2-torsion elements in their examples were visible in the same abelian surface. The author notes that the result relies on the specific geometry of 2-torsion and quadric intersections, distinguishing it from higher torsion cases where visibility in abelian surfaces is not guaranteed (as shown by Fisher's previous work on 6 and 7-torsion).

The work is modest in its scope, focusing strictly on the 2-torsion case. It does not propose extensions to higher torsion or other types of abelian varieties beyond the specific construction of the abelian surface $(E \times F)/\Delta$ . The significance lies in closing the gap between the known visibility of single 2-torsion elements and the simultaneous visibility of pairs, providing a unified geometric framework for this phenomenon.