A trick to ensure positive Mordell-Weil rank

This paper presents a method to guarantee that the Jacobian of a smooth curve has a strictly positive Mordell-Weil rank by proving that such a rank exists whenever the curve possesses a rational degree 1 divisor class but lacks rational non-trivial 2-torsion and rational theta characteristics.

The Gist

Imagine you are a detective trying to solve a mystery about a hidden treasure map. In the world of advanced mathematics, this "map" is a geometric shape called a curve, and the "treasure" is a special kind of number point called a rational point.

The goal of this paper is to help mathematicians prove that a specific type of treasure map (a curve) definitely has at least one hidden treasure (a non-torsion point) without having to actually dig it up and find it. Digging for these points is notoriously difficult, like finding a needle in a haystack that keeps moving.

Here is the simple breakdown of the author's "trick."

The Setup: The Curve and the Jacobian

Think of the curve $C$ as a twisted, knotted piece of string floating in space.

• The Jacobian ($J$): This is a mathematical "shadow" or a "summary" of the curve. If the curve is the string, the Jacobian is the knot-tying machine that tells you all the possible ways you can tie knots on that string.
• The Rank: This is a number that tells you how many independent treasures (points) are hidden on this machine.
  • Rank 0: No new treasures exist; you can only find the ones you already know (or none at all).
  • Rank $\ge$ 1: There is at least one brand new, unique treasure waiting to be found.

The Problem: Usually, to prove the Rank is at least 1, you have to physically find that new treasure. This is hard.

The Detective's Trick: The "Process of Elimination"

The author, Thibaut Misme, proposes a clever shortcut. Instead of looking for the treasure directly, you look for the absence of two specific types of "fake" clues.

Imagine you are checking a room for a hidden safe. You know that if the safe is empty, there must be either:

1. A Red Key (a rational 2-torsion point).
2. A Magic Mirror (a rational theta characteristic).

The author's Proposition 1 says:

If you have a map with a starting point (a degree 1 divisor), and you check the room and find NO Red Keys and NO Magic Mirrors, then the Safe MUST contain a real treasure.

In math terms:

• If the curve has a rational starting point.
• AND there are no rational "Red Keys" (2-torsion points).
• AND there are no rational "Magic Mirrors" (theta characteristics).
• THEN: The curve definitely has a positive rank (a real treasure exists).

The "Transitive" Shortcut (The Main Trick)

Checking for both Red Keys and Magic Mirrors is still a bit of work. The author refines this into an even easier rule (Corollary 3).

Imagine the "Red Keys" are a group of 20 friends standing in a circle.

• Transitive Action: If a "Galois group" (a set of rules that shuffle these friends) can move any friend to any other friend's spot, the group is "transitive." They are all mixed up perfectly.
• Non-Transitive: If the shuffling rules keep certain friends stuck in their own little cliques, the group is not transitive.

The Golden Rule:
If the "Red Keys" (the 2-torsion points) are shuffled so perfectly that they form one big, unbreakable circle (the mathematical term is "irreducible polynomial"), then:

1. There are no individual Red Keys you can point to.
2. There are no Magic Mirrors either (because the shuffling is too chaotic for a mirror to exist).
3. Therefore, the Rank is at least 1.

Real-World Examples from the Paper

Example 1: The Perfect Shuffle (Curve $C_1$)
The author looked at a specific curve. They ran a computer program (Mascot) that generated a giant, complex polynomial equation (a list of numbers).

• The Test: Is this equation "irreducible"? (Can it be broken down into smaller pieces, or is it one solid block?)
• The Result: It was one solid block. The "Red Keys" were shuffled perfectly.
• Conclusion: No fake clues exist. The curve definitely has a hidden treasure. Rank $\ge$ 1.

Example 2: The Broken Shuffle (Curve $C_2$)
The author looked at a second curve.

• The Test: The polynomial broke apart into smaller pieces. The "Red Keys" were not shuffled perfectly; they were stuck in cliques.
• The Problem: The simple "Perfect Shuffle" trick didn't work here. We couldn't immediately say "Rank $\ge$ 1" just by looking at the Red Keys.
• The Fix: The author had to do the harder work: checking the "Magic Mirrors" (theta characteristics) separately.
• The Result: Even though the Red Keys were messy, there were still no Magic Mirrors.
• Conclusion: The original trick still worked! Rank $\ge$ 1.

Why This Matters

In the world of math, proving a number exists is often harder than proving it doesn't. This paper gives mathematicians a "negative proof" tool.

Instead of saying, "I found a treasure!" (which is hard), they can now say, "I checked the room, and there are no fake clues, so a treasure must be there." This allows them to certify that complex curves have interesting properties without doing the impossible work of finding the specific points.

In a nutshell: If the "shuffling" of the curve's hidden points is chaotic enough (transitive), you can be 100% sure the curve is rich in hidden treasures, even if you haven't found a single one yet.

Technical Summary

Here is a detailed technical summary of the paper "A trick to ensure positive Mordell-Weil rank" by Thibaut Misme.

1. Problem Statement

The central problem addressed in this paper is the difficulty of proving that the Mordell-Weil rank of the Jacobian $J$ of a smooth curve $C$ over a number field $K$ is strictly positive ($\text{rank}_K(J) \geq 1$).

• The Challenge: Theoretically, establishing a positive rank usually requires exhibiting a non-torsion rational point on the Jacobian. In practice, finding such points explicitly is computationally difficult and often infeasible for high-genus curves.
• The Goal: To provide a theoretical and explicit method to guarantee $\text{rank}_K(J) \geq 1$ without necessarily constructing a specific non-torsion point, provided certain conditions regarding torsion and theta characteristics are met.

2. Methodology and Theoretical Framework

The author relies on the arithmetic of the Jacobian, specifically the structure of the 2-torsion subgroup $J[2]$ and theta characteristics. The core assumption is that the curve $C$ possesses a $K$-rational divisor class of degree 1 (e.g., a rational point).

The methodology proceeds via two proofs of a central proposition, utilizing the relationship between the Jacobian, the Picard group, and Galois cohomology:

Proposition 1 (The Core Trichotomy)

Let $C$ be a nice curve over a number field $K$ with a rational divisor class $P_0$ of degree 1. Let $J$ be its Jacobian. Then at least one of the following must be true:

1. Positive Rank: $\text{rank}_K(J) > 0$.
2. Non-trivial 2-Torsion: The group of rational 2-torsion points $J[2](K)$ is non-trivial.
3. Rational Theta Characteristic: There exists a $K$-rational theta characteristic on $C$.

Proof Logic:

• First Proof (Algebraic): The author constructs a specific degree 0 divisor class $D = K_0 - 2D_0$ (where $K_0$ is the canonical class and $D_0 = (g-1)P_0$). This class corresponds to a point in $J(K)$.
  • If $D$ is trivial in $J(K)/2J(K)$, a rational theta characteristic exists.
  • If $J[2](K)$ is trivial, then a non-trivial element in $J(K)/2J(K)$ implies the existence of a non-torsion point (positive rank).
• Second Proof (Cohomological): The author constructs a cocycle $\zeta \in H^1(K, J[2])$ associated with the difference between theta characteristics.
  • The cocycle is trivial if and only if a rational theta characteristic exists.
  • If no rational theta characteristic exists, $\zeta$ represents a non-trivial element in the 2-Selmer group.
  • If $J[2](K)$ is also trivial, this non-trivial Selmer element forces the rank to be positive.

Refinement via Galois Transitivity

The paper refines Proposition 1 into Corollary 2 and Corollary 3 to simplify the verification process.

• Galois Action: The author analyzes the action of the absolute Galois group $G_K$ on the set of non-zero 2-torsion points $J[2] \setminus \{0\}$.
• Transitivity Condition: If the Galois action on $J[2] \setminus \{0\}$ is transitive, then:
  1. There are no rational non-trivial 2-torsion points (since a rational point would form a singleton orbit).
  2. There are no rational theta characteristics. (Reasoning: A rational theta characteristic would induce an isomorphism between the set of theta characteristics and $J[2]$. However, the set of theta characteristics splits into even and odd types, preventing transitivity on the whole set unless the genus is 1, which is excluded).
• Computational Criterion (Corollary 3): This transitivity is equivalent to the irreducibility of the polynomial $\chi(y)$ defining the étale algebra of $J[2] \setminus \{0\}$. If $\chi$ is irreducible, the rank is guaranteed to be $\geq 1$.

3. Key Contributions

1. A "Trick" for Rank Certification: The paper provides a practical "trick" to certify positive rank by verifying the absence of rational 2-torsion and rational theta characteristics, rather than the presence of a non-torsion point.
2. Reduction to Irreducibility: It reduces the complex problem of rank estimation to checking the irreducibility of a specific polynomial (the characteristic polynomial of the 2-torsion Galois representation).
3. Algorithmic Implementation: The method leverages existing algorithms (specifically Mascot [2]) to compute the étale algebras of $J[2]$ and theta characteristics. The author notes their own upcoming implementation for theta characteristics.
4. Handling the "Generic" Case: The paper highlights that for generic curves, the Galois action on 2-torsion is transitive, making this a robust method for a wide class of curves.

4. Results and Examples

The author validates the theory with two examples of smooth plane quartics (genus $g=3$) over $\mathbb{Q}$:

• Example 0.1 (Transitive Action):

  • Curve: $C_1$ defined by a specific quartic equation.
  • Result: The polynomial $\chi_1(x)$ associated with $J_1[2] \setminus \{0\}$ is irreducible.
  • Conclusion: The Galois action is transitive. By Corollary 3, $\text{rank}_{\mathbb{Q}}(J_1) \geq 1$.

• Example 0.2 (Non-Transitive Action):

  • Curve: $C_2$ defined by $x^4 + x^3 + 7x - y^4 + 1 = 0$.
  • Result: The polynomial for $J_2[2] \setminus \{0\}$ is reducible (orbits: $31, 121, 481$), so Corollary 3 does not apply directly.
  • Resolution: The author computes the Galois orbits for the sets of odd and even theta characteristics ($\Delta_{Odd}$ and $\Delta_{Even}$).
  • Observation: Neither set contains a rational element (no orbit of size 1).
  • Conclusion: Since there is no rational 2-torsion and no rational theta characteristic, Proposition 1 applies, and $\text{rank}_{\mathbb{Q}}(J_2) \geq 1$.

5. Significance

• Practicality: This method offers a computationally feasible alternative to traditional descent methods or point-searching algorithms when the rank is suspected to be low (e.g., 1). If an upper bound of 1 is already known (via 2-descent), this method can prove the rank is exactly 1.
• Theoretical Insight: It clarifies the interplay between the existence of rational points, the structure of the 2-torsion, and theta characteristics, showing that the "failure" of the curve to have rational torsion or theta characteristics is a sufficient condition for positive rank.
• Limitations: The method requires the existence of a rational divisor class of degree 1 (a rational point or equivalent). It also notes that the transitivity corollary (Corollary 2) does not hold for elliptic curves ($g=1$), as counterexamples exist.

In summary, Misme provides a powerful, algorithmic criterion to ensure positive Mordell-Weil rank by analyzing the Galois representation of the 2-torsion and theta characteristics, bypassing the need to explicitly find non-torsion rational points.