Octic Hilbert 2-class fields of real quadratic fields with discriminant 8p

Basic Information

• Paper ID: 2510.10295
• Title: Octic Hilbert 2-class fields of real quadratic fields with discriminant 8p
• Author: Franz Lemmermeyer
• Classification: math.NT (Number Theory)
• Submission Date: October 11, 2025 (arXiv submission)
• Paper Link: https://arxiv.org/abs/2510.10295

Abstract

This paper explains how to construct cyclic octic unramified extensions of real quadratic fields $k = \mathbb{Q}(\sqrt{2p})$, where $p \equiv 1 \pmod{8}$ is a prime satisfying $h_2(k) \equiv 0 \pmod{8}$. The construction is achieved by appropriately modifying the methods from reference 2 concerning $\mathbb{Q}(\sqrt{-p})$, requiring only the solution of the Diophantine equation $eu^2 = t^2 + 2ps^2$ over the integers.

Research Background and Motivation

Problem Background

1. Hilbert Class Field Theory: This research belongs to class field theory in algebraic number theory, particularly focusing on the construction of Hilbert class fields for real quadratic fields
2. Class Group Structure of Quadratic Fields: For real quadratic fields of the form $\mathbb{Q}(\sqrt{2p})$, the structure of the 2-class group is closely related to the properties of the prime $p$
3. Existence of Unramified Extensions: The existence of cyclic octic unramified extensions is related to the 2-adic divisibility of the class number

Research Motivation

1. Theoretical Completeness: To supplement and perfect the construction theory of Hilbert class fields for real quadratic fields
2. Computational Methods: To provide an explicit construction method based on solving Diophantine equations
3. Generalization of Existing Results: To extend the author's work on imaginary quadratic fields to the real quadratic case

Core Problem

To construct cyclic octic unramified extensions of real quadratic fields $k = \mathbb{Q}(\sqrt{2p})$ satisfying specific conditions, where the key conditions are $p \equiv 1 \pmod{8}$ and the strict class number $h^+$ is divisible by 8.

Core Contributions

1. Explicit Construction Method: Provides an explicit method for constructing cyclic octic unramified extensions of $\mathbb{Q}(\sqrt{2p})$
2. Diophantine Equation Solution: Reduces the construction problem to solving the Diophantine equation $eu^2 = t^2 + 2ps^2$
3. Discriminant Conditions: Gives precise discriminant conditions for the existence of octic extensions
4. Computational Examples: Provides numerous concrete numerical examples and verifications
5. Theoretical Generalization: Successfully extends the relevant theory from imaginary quadratic fields to the real quadratic case

Detailed Methods

Task Definition

Given a prime $p \equiv 1 \pmod{8}$, construct a cyclic octic Galois extension $L/k$ of the real quadratic field $k = \mathbb{Q}(\sqrt{2p})$ such that the extension is unramified at all finite primes.

Theoretical Foundation

Class Group Structure of Quadratic Fields

For $k = \mathbb{Q}(\sqrt{2p})$, according to genus theory:

• When $p \equiv 1 \pmod{4}$, the genus class field is $k_{gen} = \mathbb{Q}(\sqrt{2}, \sqrt{p})$
• The 2-class group is cyclic
• The class number is always even

Existence of Quartic Extensions

Proposition 1: Let $p \equiv 1 \pmod{8}$ be a prime. Then there exist positive integers $e, f$ such that:

• $p = e^2 - 2f^2$
• $e \equiv 3 \pmod{4}$, $f \equiv 2 \pmod{4}$

For $\alpha = e + f\sqrt{2}$, the extension $K = k(\sqrt{\alpha})$ is a cyclic quartic unramified extension of $k$.

Divisibility Criterion for Class Numbers

According to the analysis in the paper, the 2-adic divisibility of the class number can be determined by the following conditions:

Construction of Octic Extensions

Core Diophantine Equation

The key to the construction is solving the equation: $A^2 - \alpha B^2 = \alpha' C^2$

By setting:

• $A = u\sqrt{2}$
• $B = r + s\sqrt{2}$
• $C = r - s\sqrt{2}$

the problem can be transformed into solving: $eu^2 = t^2 + 2ps^2$ where $t = er + 2fs$.

Solvability Conditions

Lemma 5: When $e > 0$, $e \equiv 3 \pmod{8}$, $f \equiv 2 \pmod{4}$, the equation $eu^2 = t^2 + 2ps^2$ has solutions in odd integers.

The proof is established by verifying the solvability of the equation modulo various primes:

• Modulo real numbers: $e > 0$ ensures solvability
• Modulo 8: $e \equiv 3 \pmod{8}$ ensures solvability
• Modulo $p$: requires verification that $(\frac{e}{p}) = +1$
• Modulo $e$: requires verification that $(\frac{-2p}{e}) = +1$

Technical Innovations

1. Unified Construction Framework: Unifies the construction of quartic and octic extensions within the same theoretical framework
2. Explicit Solution Algorithm: Provides concrete methods for solving the Diophantine equation
3. Unit Selection Mechanism: Ensures the unramified nature of the extension by choosing appropriate units $\varepsilon = 1 \pm \sqrt{2}$
4. Sign Conditions: Establishes correspondence between extension properties and the signs of representation parameters

Experimental Setup

Computational Examples

The paper provides two main classes of computational examples:

Data Sources

• Primes $p \equiv 1 \pmod{8}$ satisfying corresponding class number conditions
• Parameters determined through the representation $p = e^2 - 2f^2$
• Construction parameters obtained by solving the Diophantine equation

Verification Methods

• Computing class group structures to verify theoretical predictions
• Checking the unramified nature of extensions
• Verifying the cyclicity of the Galois group

Computational Tools

The paper uses standard computational tools in algebraic number theory to:

• Compute class numbers and class group structures
• Verify the decomposition behavior of prime ideals
• Check the ramification properties of extensions

Experimental Results

Totally Real Octic Extensions

For the case of strict class number $h \equiv 0 \pmod{8}$, the paper provides 6 concrete examples:

Totally Complex Octic Extensions

For the case of class number $h \equiv 4 \pmod{8}$ with $N\varepsilon_{2p} = +1$, the paper provides 9 examples:

Main Findings

1. Validity of Construction: All theoretically predicted cases can be realized through solving the Diophantine equation
2. Class Group Changes: The class group structure after extension conforms to theoretical expectations
3. Computational Complexity: For larger primes, solving the Diophantine equation may require handling common divisor issues

Related Work

Historical Background

1. Classical Class Field Theory: Foundational class field theory established by Hilbert, Weber, Takagi and others
2. Quadratic Field Research: Gauss's theory of binary quadratic forms
3. Modern Developments: Modern tools such as Scholz reciprocity law

Directly Related Work

1. Author's Previous Work:
   • 1 Doctoral dissertation on class field construction
   • 2 Construction of Hilbert 2-class fields for imaginary quadratic fields
2. Related Theory:
   • C4-decomposition theory
   • Applications of genus theory in quadratic fields

Uniqueness of This Paper's Contribution

1. Real Field Generalization: First systematic generalization of construction methods from imaginary quadratic fields to real quadratic fields
2. Computational Methods: Provides more concrete and operational construction algorithms than general theory
3. Completeness: Gives complete characterization of existence conditions

Conclusions and Discussion

Main Conclusions

1. Existence Theorem: When $p \equiv 1 \pmod{8}$ and the strict class number is divisible by 8, $\mathbb{Q}(\sqrt{2p})$ admits a cyclic octic unramified extension
2. Construction Algorithm: This extension can be explicitly constructed by solving the Diophantine equation $eu^2 = t^2 + 2ps^2$
3. Discriminant Conditions: The totally real or totally complex nature of the extension can be determined by the sign of the parameter $e$

Theoretical Significance

1. Perfection of Class Field Theory: Provides important supplements to the Hilbert class field theory for real quadratic fields
2. Computational Number Theory: Provides effective algorithms for related computational problems
3. Generalization Value: The methods have potential for generalization to more general cases

Limitations

1. Condition Restrictions: The method only applies to primes in specific congruence classes
2. Computational Complexity: For large primes, solving the Diophantine equation may face efficiency issues
3. Theoretical Scope: Currently only handles the 2-class group case

Future Directions

1. Generalization to Higher Degrees: Study cyclic extensions of sixteenth or higher degrees
2. Other Discriminants: Consider quadratic fields with other forms of discriminants
3. Computational Optimization: Improve algorithms for solving Diophantine equations
4. Application Exploration: Explore applications in cryptography and other fields

In-Depth Evaluation

Strengths

1. Theoretical Rigor:
   • Mathematical reasoning is rigorous with sufficient theoretical support for each step
   • Combines classical genus theory with modern class field theory tools
2. Methodological Innovation:
   • Successfully generalizes methods from imaginary quadratic fields to real quadratic fields
   • Provides explicit construction methods based on Diophantine equations
3. Computational Completeness:
   • Provides numerous concrete numerical examples
   • Verifies the correctness of theoretical predictions
   • Gives complete computational procedures
4. Practical Value:
   • The algorithm is operationally feasible
   • Provides useful tools for related research

Weaknesses

1. Scope of Applicability:
   • Limited to primes satisfying specific congruence conditions
   • Imposes strict requirements on class numbers
2. Computational Efficiency:
   • For large primes, computational complexity may be high
   • General algorithms for solving Diophantine equations are not fully discussed
3. Theoretical Depth:
   • Primarily an application and generalization of existing methods
   • Lacks fundamental theoretical breakthroughs

Impact

1. Academic Contribution:
   • Provides new tools and methods for algebraic number theory research
   • Advances the development of Hilbert class field theory for real quadratic fields
2. Application Prospects:
   • Has practical value in computational algebraic number theory
   • May play a role in cryptography-related applications
3. Reproducibility:
   • The paper provides sufficient computational details
   • The methods have good reproducibility

Applicable Scenarios

1. Theoretical Research: Algebraic number theory, class field theory research
2. Computational Mathematics: Computational problems requiring construction of specific algebraic extensions
3. Applied Mathematics: Potential applications in coding theory and cryptography
4. Teaching: Can be used as concrete examples of class field theory in teaching

References

The paper cites the author's main related works:

1. F. Lemmermeyer, Die Konstruktion von Klassenkörpern, Ph.D. Diss. Univ. Heidelberg, 1995
2. F. Lemmermeyer, Hilbert 2-class fields and 2-descent, Publ. Math. Debr. 88 (2016), 319–343
3. F. Lemmermeyer, Dirichlet's Lemma in number fields, arXiv:2502.00526v2

These references form the theoretical foundation and methodological basis of this research, reflecting the author's systematic investigation in this field.