🔢 mathematics

Whittaker groups and hyperelliptic curves

This paper develops an explicit parametrization of Whittaker groups and their associated hyperelliptic Mumford curves over non-archimedean fields using theta functions, establishing that the natural morphism relating fixed point configurations to branch loci is a rigid étale covering and providing a classification of these groups alongside their analytic reductions.

Original authors: Marius van der Put, Jaap Top

Published 2026-05-22

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Marius van der Put, Jaap Top

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 an architect trying to build a very specific, intricate house (a mathematical object called a hyperelliptic curve) using a set of blueprints. This paper is about a special method for designing these houses using a unique type of "construction crew" called Whittaker groups.

Here is the breakdown of the paper's story, translated into everyday language:

1. The Construction Crew (Whittaker Groups)

In the world of these math houses, there is a special team of workers called Whittaker groups. Think of them as a group of "mirrors" or "flippers."

Each worker in this crew has a specific job: they take two specific points in space (like two nails on a wall) and flip the entire universe around them.
The paper says that if you have a crew of $g+1$ of these workers, and they are arranged just right (a condition called "good position"), they can build a house with a specific number of "rooms" or loops (called the genus).
If you take a smaller team (half the size) from this crew, they act like a standard construction crew (called a Schottky group) that builds the house. The full crew (the Whittaker group) then adds a special symmetry to the house, making it hyperelliptic (like a house that looks the same if you fold it in half).

2. The Blueprint vs. The House (Fixed Points vs. Branch Points)

The paper focuses on the relationship between two things:

The Fixed Points: These are the specific "nails" where the workers (the mirrors) are anchored. This is the input data.
The Branch Points: These are the "doors" or "windows" on the final house where the folding happens. This is the output result.

The big question the authors ask is: "If I give you the nails (fixed points), can you predict exactly where the doors (branch points) will be?"

3. The Magic Map (The Morphism $F_B$ )

The authors create a "magic map" (a mathematical function) that translates the Fixed Points into the Branch Points.

The Discovery: They found that this map isn't just a simple one-to-one line. It's more like a folding map.
The Analogy: Imagine you have a sheet of paper with dots on it (the fixed points). When you fold the paper according to the rules of the construction crew, the dots land on new spots (the branch points).
The Result: The paper proves that for a specific type of arrangement, this map is a "rigid étale covering." In plain English, this means the map is smooth, doesn't tear or crumple the paper, and for every set of doors you see on the house, there are exactly a few different ways the nails could have been placed to create that exact house. Specifically, there are usually $2^{d-1}$ different ways to place the nails for one set of doors.

4. The "Good Position" Rule

Not every arrangement of nails works. If you put the nails too close together or in a weird cluster, the construction crew gets confused, and the house collapses.

The paper defines a rule called "Good Position."
The Metaphor: Imagine the nails are people at a party. "Good Position" means that every pair of people (who are linked by a mirror) is standing in their own separate, private bubble (a closed disk) that doesn't touch anyone else's bubble. If the bubbles overlap in a messy way, the construction fails.
The authors show that if the nails are in "Good Position," the construction always works, and the house is stable.

5. The Secret Ingredient (Theta Functions)

How do they actually calculate where the doors will be? They use a special mathematical tool called Theta Functions.

The Analogy: Think of Theta Functions as a super-precise GPS or a recipe. You plug in the coordinates of the nails (fixed points), and the recipe spits out the coordinates of the doors (branch points).
The paper provides explicit recipes (formulas) for these calculations, especially for houses with 2 or 3 loops (genus 2 and 3). They even wrote computer code (using a system called Magma) to test these recipes and confirmed that the "folding map" works exactly as they predicted.

6. The "Good News" for Genus 2 and 3

The authors didn't just prove this for abstract theory; they tested it on specific examples:

Genus 2 (2 loops): They looked at three different ways the nails could be arranged. In two of those ways, the map was a perfect 1-to-1 match (one set of nails = one set of doors). In the third way, it was a 2-to-1 match (two different sets of nails could make the same set of doors).
Genus 3 (3 loops): They tested even more complex arrangements and found the same pattern: the map is always a smooth, predictable "folding" process.

Summary

This paper is a manual for a very specific type of mathematical architecture. It tells us:

How to arrange a team of "mirror workers" (Whittaker groups) so they can build a symmetric house.
That there is a precise, smooth, and predictable way to translate the workers' anchor points into the house's features.
That this translation often involves a "folding" effect, where a few different starting arrangements can lead to the exact same final house.
They have written down the exact formulas (using Theta functions) to do this translation and have verified it with computer calculations for small, complex houses.

The paper is dedicated to the memory of Harm H. Voskuil, a mathematician who likely contributed to the foundational ideas of this "construction crew" method.

Technical Summary: Whittaker Groups and Hyperelliptic Curves

Problem Statement
This paper addresses the explicit uniformization of hyperelliptic Mumford curves over a complete, non-archimedean valued field $K$ (with residue characteristic $\neq 2$ ). Specifically, it investigates Whittaker groups, which are discontinuous subgroups $\Gamma \subset \text{PGL}(2, K)$ generated by $g+1$ involutions $s_0, \dots, s_g$ with fixed points $\{a_i, b_i\}$ . A subgroup $W \subset \Gamma$ of index 2 is a Schottky group, and the quotient $\Omega/W$ yields a hyperelliptic Mumford curve (a "Whittaker curve").

The central problem is the relationship between the fixed points of the generators of $\Gamma$ and the branch locus of the resulting hyperelliptic curve $X \to \mathbb{P}^1$ . While the branch locus determines the curve, the paper seeks to explicitly parametrize the curve and its periods in terms of the fixed points, and conversely, to understand the map from the space of fixed points to the space of branch points. A key difficulty lies in characterizing when a set of fixed points is in "good position" (ensuring $\Gamma$ is a free product of involutions) and determining the structure of the moduli spaces involved.

Methodology
The authors employ rigid analytic geometry and the theory of Mumford curves. The methodology involves:

Analytic Reductions: Utilizing semi-stable reductions of curves and rigid spaces. The paper establishes a "complete proof" for the criterion that a curve is a Mumford curve if and only if its semi-stable reduction consists of projective lines over the residue field.
Fundamental Domains: Constructing fundamental domains for the action of $\Gamma$ on the space of ordinary points $\Omega$ by analyzing the dual graphs of the semi-stable reductions. This involves selecting maximal subtrees in the dual graph of the reduction to define the action of generators.
Theta Functions: Developing explicit formulas for the uniformization of Whittaker curves using theta functions associated with the groups $W$ and $\Gamma$ . The authors derive expressions for the hyperelliptic coordinate $y$ as a product of theta functions.
Configuration Theory: Introducing the concept of a "configuration" $(P, m)$ , where $P$ is a finite tree and $m$ maps branch points to vertices. This combinatorial data classifies the topological types of the reductions.
Rigid Analytic Morphisms: Defining rigid analytic spaces $\text{Fix}_{P,m}$ (restricted fixed points) and $\text{Branch}_{P,m}$ (branch loci) and studying the morphism $F_B: \text{Fix}_{P,m} \to \text{Branch}_{P,m}$ .
Approximation: For specific genera ( $g=2, 3$ ), the authors compute approximations of the morphism $F_B$ by truncating theta function products to elements of bounded length, verifying theoretical results via explicit calculation.

Key Contributions and Results

Explicit Parametrization: The paper provides explicit formulas (Propositions 6.1, 6.2, 6.4) for the affine equation of a Whittaker curve $y^2 = c \prod (x - F(a_i))(x - F(b_i))$ in terms of theta functions $F$ and $H$ . This allows for the expression of $p$ -adic periods and heights in terms of theta values.
Structure of the Moduli Map: The main theoretical result (Theorem 5.8) characterizes the map $F_B: \text{Fix}_{P,m} \to \text{Branch}_{P,m}$ . It is proven to be a rigid étale Galois covering with Galois group $\{\pm 1\}^{d-1}$ , where $d$ is related to the number of fundamental domains for the configuration.
Good Position Criteria: The paper clarifies the conditions for fixed points to be in "good position." It establishes that "restricted" fixed points (defined via the geometry of the reduction tree) are in good position (Proposition 7.2). It also discusses necessary conditions (Lemma 7.1) and sufficient conditions like the "closed disk condition."
Classification of Reductions: Theorem 2.7 provides a criterion for a hyperelliptic curve to be a Whittaker curve based on the existence of a semi-stable reduction over $K$ where all irreducible components are projective lines.
Explicit Computations for Genus 2 and 3:
- For genus 2, the paper analyzes three standard configurations (closed disks, star-shaped, and linear chains). It confirms that $F_B$ is an isomorphism for the closed disk case and an unramified covering of degree 2 for the other cases (Propositions 8.1, 8.3, 8.5).
- For genus 3, the authors list all configurations and compute approximations for several cases (Propositions 9.1–9.4), confirming the Galois covering structure with groups $(\mathbb{Z}/2\mathbb{Z})^k$ .
Correction and Completion: The authors revisit previous works (Gerritzen, Van Steen, Herrlich, etc.) to complete incomplete proofs (specifically regarding the characterization of Mumford curves) and correct errors in the literature.

Significance and Claims
The paper claims to provide a rigorous foundation for the explicit study of Whittaker curves, which are crucial for the explicit computation of $p$ -adic periods and $p$ -adic heights. This work is directly motivated by the need to develop algorithms for a $p$ -adic Birch and Swinnerton-Dyer (BSD) conjecture, as referenced in the work of Kaya, Masdeu, and Müller.

The authors emphasize that their results allow for the translation of geometric data (branch points) into analytic data (fixed points and theta values) and vice versa. The explicit formulas for the morphism $F_B$ and the classification of configurations offer a concrete toolkit for researchers working on $p$ -adic uniformization. The paper does not claim to solve the general $p$ -adic BSD conjecture but rather provides the necessary explicit machinery (parametrizations and period calculations) to facilitate such investigations. The work is presented as a complement and refinement of existing literature, filling gaps in proofs and offering a systematic treatment of the relationship between fixed points and branch loci.