Unramified extensions of quadratic number fields with Galois group $2.A_n$

Basic Information

• Paper ID: 2505.10100
• Title: Unramified extensions of quadratic number fields with Galois group $2.A_n$
• Author: Joachim König (Korea National University of Education)
• Classification: math.NT (Number Theory)
• Publication Date: October 15, 2025 (arXiv v2)
• Paper Link: https://arxiv.org/abs/2505.10100

Abstract

This paper realizes infinitely many covering groups $2.A_n$ (where $A_n$ is the alternating group) as Galois groups of unramified Galois extensions over infinitely many quadratic number fields. Following prior work that addressed special cases or proved conditional results, these represent the first unconditional realizations of infinitely many such groups.

Research Background and Motivation

Core Problem

This research addresses an open problem in inverse Galois theory: whether every finite group can appear as the Galois group of an unramified Galois extension over some quadratic number field. Here "unramified extension" includes Archimedean places.

Problem Significance

1. Theoretical Importance: This is one of the central problems in inverse Galois theory, involving deep connections between arithmetic properties of number fields and group-theoretic structures
2. Cohen-Lenstra Heuristics: Cohen-Lenstra heuristics and their non-abelian generalizations provide expected asymptotic counts for such quadratic number fields
3. Technical Challenges: Even for a given group $G$, the existence of infinitely many such quadratic number fields has been answered only for very special groups (such as alternating groups $A_n$)

Limitations of Existing Methods

1. Prior work 4 provided an erroneous proof for $n=7$ (based on misinterpretation of the structure of double covers of $S_7$)
2. Work 3 proved the case for all $n$, but relied on the widely open Bunyakovsky conjecture
3. Lack of unconditional unramified realizations for infinitely many groups $2.A_n$

Core Contributions

1. First Unconditional Proof: For infinitely many $n$ satisfying specific conditions, realizes $2.A_n$ as the Galois group of unramified extensions over quadratic number fields
2. Innovative Technical Methods: Combines embedding problem theory with function field methods to control ramification behavior
3. Explicit Construction: Provides concrete polynomial families whose splitting fields possess the desired properties
4. Special Case Treatment: Provides an alternative method for $n=6$, realizing unramified extensions with Galois group $\text{SL}_2(\mathbb{F}_9) \cong 2.A_6$

Detailed Methods

Main Theorem

Theorem 1.1: Let $n \geq 4$ satisfy one of the following conditions:

• $n \equiv 3 \pmod{8}$ and $n$ is prime
• $n \equiv 2 \pmod{8}$ and $n-1$ is prime or a perfect square

Then there exist infinitely many quadratic number fields possessing unramified Galois extensions with Galois group $2.A_n$ (the double cover of $A_n$).

Technical Core: Embedding Problem Method

Proposition 2.1 (Central Embedding Problem)

Let $K/\mathbb{Q}$ be a Galois extension with Galois group $S_n$, and $F/\mathbb{Q}$ be the unique quadratic subextension of $K/\mathbb{Q}$. If for each prime $p$ ramified in $K/\mathbb{Q}$, one of the following conditions holds:

i) The inertia group is generated by a transposition $(a,b) \in S_n$, and the decomposition group is contained in $\langle(a,b)\rangle \times \text{Alt}(\{1,\ldots,n\} \setminus \{a,b\})$

ii) The inertia group is generated by an involution with $4j+1$ disjoint transpositions, and each involution in the decomposition group has $d \equiv 0,1 \pmod{4}$ disjoint transpositions

then $K/\mathbb{Q}$ embeds into a $2.S_n^+$-extension $L/\mathbb{Q}$ such that $L/F$ is a $2.A_n$-extension unramified at all non-Archimedean places.

Function Field Construction Method

Theorem 2.2 (Odd Case)

For $n \geq 7$, $n \equiv 3 \pmod{4}$, consider the polynomial: $f(X) = f_t(X) = X^{n-1}(X-1) + n^{\frac{n-1}{2}} \cdot \left(\frac{n-1}{2}\right)^{-n} \cdot t^{n-1}$

For infinitely many $t \in \mathbb{Z}$ coprime to $n(n-1)$, the splitting field $K$ of $f$ is an $S_n$-extension of $\mathbb{Q}$ with the desired local properties.

Theorem 2.3 (Even Case)

For $n \geq 6$, $n \equiv 2 \pmod{4}$, consider the polynomial: $f(X) = f_t(X) = X^{n-1}(X-1) + (n-1)^{-\frac{n}{2}}\left(\frac{n}{2}\right)^{n-1}t^{-n}$

Similarly, one obtains $S_n$-extensions with the desired properties.

Key Technical Innovations

1. Geometric Level Control: Constructs extensions with specific ramification behavior over the function field $\mathbb{Q}(t)$
2. Application of Specialization Theorems: Uses the specialization inertia theorem to control local behavior of arithmetic extensions
3. Quadratic Subfield Selection: Ensures unramifiedness at Archimedean places by choosing imaginary quadratic number fields

Experimental Setup and Verification

Theoretical Verification Framework

This is primarily a theoretical mathematics paper, with verification conducted through rigorous mathematical proofs:

1. Local-Global Principle: Utilizes known local-global principles to verify solvability of embedding problems
2. Newton Polygon Analysis: Analyzes local behavior of polynomials at various primes
3. Hilbert Irreducibility Theorem: Ensures infinitely many parameter values preserve the desired Galois group

Concrete Case: Computational Verification for $n=6$

For the case $n=6$, the paper provides a specific rational function: $f(X) = \frac{X^6+53X^4-5940X^2+62208}{X(3X^4-172X^2+1600)}$

Through computational verification:

• This function has 10 rational critical values
• The corresponding discriminant possesses the desired properties
• Satisfies all conditions of Proposition 4.2

Experimental Results

Main Achievements

1. Proof of Theorem 1.1: For infinitely many $n$ satisfying the stated conditions, realizes $2.A_n$ as unramified extensions
2. Concrete Instances:
   • All $n = (2k+1)^2 + 1$, $k \in \mathbb{N}$
   • Positive density of primes $n$ (by Dirichlet's prime number theorem)

Breakthrough in Special Cases

Theorem 4.1: There exist infinitely many quadratic number fields (including infinitely many real quadratic fields) possessing unramified Galois extensions with Galois group $\text{SL}_2(\mathbb{F}_9)$.

This represents the first realization of such extensions over real quadratic fields.

Technical Verification

1. Polynomial Discriminant Computation: Verifies discriminant properties of specific polynomial families
2. Local Behavior Analysis: Confirms inertia and decomposition group structures at various primes
3. Green-Tao Theorem Application: Utilizes Green-Tao's theorem on prime values of linear forms to ensure infinitely many realizations

Related Work

Historical Development

1. Uchida (1970): Proved unramified realizations of alternating groups $A_n$
2. Prior Work 4,6: Investigated special cases $n=5,7$ but with technical issues
3. Conditional Results 3: General results based on the Bunyakovsky conjecture

Technical Method Comparison

1. Embedding Problem Method: Central embedding problem approach used here vs. traditional construction methods
2. Function Field Techniques: Specialization of function field extensions vs. direct arithmetic construction
3. Computational Methods: Explicit computational verification for small cases

Conclusions and Discussion

Main Conclusions

1. First unconditional realization of infinitely many covering groups $2.A_n$ as Galois groups of unramified extensions over quadratic number fields
2. Provides systematic construction methods combining embedding problem theory and function field techniques
3. Resolves an important open problem in inverse Galois theory

Limitations

1. Condition Restrictions: Theorem 1.1 requires $n$ to satisfy specific congruence conditions and primality/perfect square conditions
2. Technical Obstacles: For general $n \equiv 2,3 \pmod{8}$, existing methods may not apply
3. Computational Complexity: Alternative methods (such as the $n=6$ case) require extensive computational verification

Future Directions

1. Generalization: Seek unified methods for all $n \equiv 2,3 \pmod{8}$
2. Other Group Families: Extend methods to other finite groups
3. Effectiveness: Provide more efficient algorithms for constructing concrete quadratic number fields

In-Depth Evaluation

Strengths

1. Theoretical Breakthrough: Resolves a long-standing open problem with first unconditional proof
2. Methodological Innovation: Cleverly combines embedding problem theory and function field methods
3. Technical Rigor: Rigorous proofs with comprehensive local analysis
4. Practical Value: Provides concrete construction methods and computational verification

Weaknesses

1. Limited Applicability: Applies only to $n$ satisfying specific conditions
2. Computationally Intensive: Alternative methods require extensive numerical verification
3. Generalization Difficulties: Generalization of methods faces technical challenges

Impact

1. Field Contribution: Provides new techniques and insights for inverse Galois theory
2. Method Value: The combination of embedding problems and function field methods may apply to other problems
3. Subsequent Research: Provides new ideas and tools for related research

Applicable Scenarios

This method is particularly suitable for:

1. Studying arithmetic realization problems for finite groups
2. Constructing number field extensions with specific Galois groups
3. Analyzing ramification properties of number field extensions

References

The paper cites 15 important references covering classical and recent research in core areas including inverse Galois theory, embedding problems, and function field methods, providing a solid theoretical foundation for this research.