Splitting Field of an Elliptic Surface

• Splitting fields are the minimal number field extensions that allow all Mordell–Weil group generators of an elliptic surface’s generic fiber to be defined over the extended function field.
• Explicit computations use fundamental polynomials and symbolic tools (Maple, PARI/GP) to determine the splitting fields and structure of elliptic surfaces.
• The Galois groups acting on the splitting fields mirror the lattice symmetries of the Mordell–Weil group, revealing deep connections to modular and Kummer constructions.

The splitting field of an elliptic surface is a central concept in the arithmetic geometry of elliptic fibrations, encapsulating the minimal number field extension required to realize all Mordell–Weil group generators of the generic fiber over the function field. For elliptic $K3$ surfaces and the broader family of elliptic surfaces with generic fiber of the form $y^2 = x^3 + t^m + 1$, the splitting field governs the field of definition of sections and the action of the absolute Galois group on the Mordell–Weil lattice structure. Recent research has yielded explicit computations, diverse methods, and structural theorems for splitting fields in various families, especially those built via modular or Kummer constructions.

1. Definition and Structural Framework

Let $k \subset \mathbb{C}$ be a number field, and let $\mathcal{E}/k(t)$ denote the generic fiber of an elliptic surface $\pi\colon \mathcal{E} \to \mathbb{P}_k^1$. For any field extension $K/k$, $\mathcal{E}(K(t))$ is the group of $K(t)$-rational points—i.e., $K$-rational sections of $\pi$—which is finitely generated (by the Silverman–Tate theorem). The splitting field $y^2 = x^3 + t^m + 1$0 of $y^2 = x^3 + t^m + 1$1 is the minimal finite extension for which

$y^2 = x^3 + t^m + 1$2

i.e., the Mordell–Weil group over $y^2 = x^3 + t^m + 1$3 descends to $y^2 = x^3 + t^m + 1$4. Equivalently, the splitting field is the fixed field of the kernel of the Galois representation

$y^2 = x^3 + t^m + 1$5

The Galois group $y^2 = x^3 + t^m + 1$6 is finite and reflects the symmetries of the Mordell–Weil group, acting through isometries on the canonical height pairing lattice (Salami et al., 2022, Salami et al., 18 Dec 2025).

2. Determination of Splitting Fields: Computational Approach

Modern computations of splitting fields for explicit families, notably for $y^2 = x^3 + t^m + 1$7, proceed via the construction of a fundamental polynomial $y^2 = x^3 + t^m + 1$8 associated with "minimal" (height-minimal norm) sections. This polynomial encodes the obstruction to rationality of sections and is often determined by:

• Forming ansatz polynomials $y^2 = x^3 + t^m + 1$9, $k \subset \mathbb{C}$0 for section coordinates.
• Solving the Weierstrass equation and analyzing the resulting polynomial system.
• Identifying the minimal polynomial whose splitting field over $k \subset \mathbb{C}$1 defines all section fields of definition.

This process, accelerated by symbolic computation packages (e.g., Maple's PolynomialIdeals and PARI/GP's polcompositum/polredbest), allows the explicit construction of the splitting field $k \subset \mathbb{C}$2 as the Galois closure of $k \subset \mathbb{C}$3 in which $k \subset \mathbb{C}$4 splits. For higher-rank surfaces (e.g., with $k \subset \mathbb{C}$5), the degree of $k \subset \mathbb{C}$6 grows rapidly, and the defining polynomials reach degrees in the dozens, hundreds, or thousands (Salami, 31 Dec 2025, Salami et al., 18 Dec 2025).

3. Explicit Results for Specific Families

Shioda’s Family $k \subset \mathbb{C}$7

For $k \subset \mathbb{C}$8, each surface $k \subset \mathbb{C}$9 has a splitting field $\mathcal{E}/k(t)$0 uniquely determined by the factorization of $\mathcal{E}/k(t)$1, with Galois groups and generators detailed as follows (Salami et al., 18 Dec 2025):

$\mathcal{E}/k(t)$2	Rank $\mathcal{E}/k(t)$3	Lattice $\mathcal{E}/k(t)$4	$\mathcal{E}/k(t)$5	Structure of $\mathcal{E}/k(t)$6
2	2	$\mathcal{E}/k(t)$7	2	$\mathcal{E}/k(t)$8
3	4	$\mathcal{E}/k(t)$9	6	$\pi\colon \mathcal{E} \to \mathbb{P}_k^1$0
4	6	$\pi\colon \mathcal{E} \to \mathbb{P}_k^1$1	16	$\pi\colon \mathcal{E} \to \mathbb{P}_k^1$2, $\pi\colon \mathcal{E} \to \mathbb{P}_k^1$3
5	8	$\pi\colon \mathcal{E} \to \mathbb{P}_k^1$4	120	$\pi\colon \mathcal{E} \to \mathbb{P}_k^1$5, $\pi\colon \mathcal{E} \to \mathbb{P}_k^1$6 as in (Salami et al., 18 Dec 2025)
6	8	$\pi\colon \mathcal{E} \to \mathbb{P}_k^1$7	12	$\pi\colon \mathcal{E} \to \mathbb{P}_k^1$8
8	6	$\pi\colon \mathcal{E} \to \mathbb{P}_k^1$9	16	$K/k$0
9	10	see (Salami et al., 18 Dec 2025)	54	Splitting field of a degree-240 polynomial; reduced degree 54
10	10	$K/k$1	120	$K/k$2
12	16	$K/k$3	96	Minimal degree-96 field; minimal polynomial in (Salami et al., 18 Dec 2025)

In every case, a basis of $K/k$4 independent points in $K/k$5 is constructed, whose canonical heights form a lattice isomorphic to $K/k$6.

K3 Surfaces $K/k$7

For $K/k$8, Salami–Zargar analyze the family

$K/k$9

computing the explicit splitting fields $\mathcal{E}(K(t))$0 and generators via pullback from a rational elliptic surface and subsequent resolution of a “fundamental polynomial.” The structure is parallel to that of the pure-$\mathcal{E}(K(t))$1 family, with degrees and radicals increasing rapidly with $\mathcal{E}(K(t))$2 (Salami et al., 2022).

Extremely High-Rank Examples

For the surface $\mathcal{E}(K(t))$3, the splitting field $\mathcal{E}(K(t))$4 has degree $\mathcal{E}(K(t))$5 and is explicitly computed as the compositum of two number fields defined by irreducible polynomials $\mathcal{E}(K(t))$6 and $\mathcal{E}(K(t))$7 (Salami, 31 Dec 2025).

4. Galois Structure and Arithmetic of Splitting Fields

The Galois group $\mathcal{E}(K(t))$8 acts by permuting the roots of the fundamental polynomial, and thus the corresponding minimal sections of the Mordell–Weil group. Key properties:

• For $\mathcal{E}(K(t))$9, the Galois group is $K(t)$0 (cyclic of order 2), acting on the two nontrivial $K(t)$1-torsion points.
• For $K(t)$2, it is $K(t)$3, permuting the cube roots of $K(t)$4 and the third roots of unity.
• For $K(t)$5, the Galois group is of order $K(t)$6 and constructed from the automorphisms of $K(t)$7 and $K(t)$8.
• For $K(t)$9, the structure is increasingly complex (e.g., order 120 for $K$0), often realized as subgroups of the Weyl group $K$1 or products of cyclotomic and Kummer extensions.
• For high-rank surfaces (e.g., $K$2), the Galois group is a finite solvable extension built from cyclic and abelian subgroups, but the precise internal composition is complicated and not always decomposed explicitly (Salami, 31 Dec 2025).

The splitting field is always Galois and its ramification is tightly controlled by the arithmetic of $K$3 and the cyclotomic units present in the minimal polynomial.

5. Verification and Lattice-Theoretic Properties

Verification that the computed field $K$4 is indeed the splitting field is achieved by:

• Computation of the height-pairing matrix of the constructed sections using Shioda’s canonical formula and comparison with the predicted discriminant of the Mordell–Weil lattice.
• Specialization of the parameter $K$5 to rational points $K$6, confirming the independence of the images via height-pairing and Mordell-Weil group structure computations.
• Explicit symbolic computation (via software) for elimination ideals, resultant calculations, and minimal polynomial factorization.

For high-rank cases, the Mordell–Weil lattice decomposes as an orthogonal sum of lattices corresponding to sub-surfaces (rational or $K$7), and the global height matrix is block-diagonal, maintaining positivity of the global discriminant (Salami, 31 Dec 2025).

6. Splitting Fields in Modular and Double-Cover Constructions

For $K$8 surfaces arising as double covers of extremal rational elliptic surfaces, the splitting field is described as follows (Cantoral-Farfán et al., 2020):

• The field of definition of full Mordell–Weil group generators is typically the compositum $K$9 of the field splitting all reducible fibers and torsion, and the field generated by the branch-points of the base change.
• For these families, $\pi$0, with all necessary extensions being at most quadratic in each variable, and full splitting fields constructed by explicit Galois theory and lattice decompositions.

This setting highlights the general principle that for many explicit elliptic surfaces, especially those built from modular or Kummer structures, the splitting field is tightly governed by cyclotomic, Kummer, and radical extensions, and can be computed systematically by analysis of the low-height sections and their Galois orbits.

7. Patterns, Complexity, and Ramification

The degree of the splitting field $\pi$1 grows rapidly with $\pi$2—for $\pi$3, it is $\pi$4; for $\pi$5, it reaches $\pi$6; for $\pi$7, the degree is in the thousands. The ramification locus of $\pi$8 is controlled by primes dividing $\pi$9 and the orders of roots of unity adjoined (e.g., $y^2 = x^3 + t^m + 1$00 or $y^2 = x^3 + t^m + 1$01) (Salami et al., 18 Dec 2025). The presence of base-change and lattice-symmetry phenomena allows for nested structure in these fields: when $y^2 = x^3 + t^m + 1$02, $y^2 = x^3 + t^m + 1$03 and there is a corresponding lattice embedding.

A plausible implication is that similar computational methodologies extend to other large-scale families where the Mordell–Weil group admits a modular, lattice-theoretic, or toroidal description, subject to advances in computational number theory for factoring high-degree polynomials and computing with large cyclotomic/Kummer extensions.

---

References:

• "Generators and splitting fields of certain elliptic K3 surfaces" (Salami et al., 2022)
• "The splitting fields and Generators of Shioda's elliptic surfaces $y^2 = x^3 + t^m + 1$04 (I)" (Salami et al., 18 Dec 2025)
• "The splitting field and generators of the elliptic surface $y^2 = x^3 + t^m + 1$05" (Salami, 31 Dec 2025)
• "Fields of definition of elliptic fibrations on covers of certain extremal rational elliptic surfaces" (Cantoral-Farfán et al., 2020)