Absolutely Abelian Hilbert Class Fields and $\ell$-torsion Conjecture

Basic Information

• Paper ID: 2510.10725
• Title: Absolutely Abelian Hilbert Class Fields and $\ell$-torsion Conjecture
• Authors: Mahesh Kumar Ram, Prem Prakash Pandey, Nimish Kumar Mahapatra
• Classification: math.NT (Number Theory)
• Publication Date: October 14, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.10725v1

Abstract

This paper investigates when the Hilbert class field of a number field is an abelian extension of $\mathbb{Q}$. The authors explore how the condition that the Hilbert class field $H(K)$ of a number field $K$ is an abelian extension of $\mathbb{Q}$ yields improved bounds for the $\ell$-torsion conjecture. The paper also reports new results on studying class groups using higher-order prime ideals.

Research Background and Motivation

1. Core Problem: Recent research has shown that number fields $K$ with "sufficiently many" units and cyclic class groups, when their Hilbert class fields $H(K)$ are abelian extensions of $\mathbb{Q}$, contain Euclidean ideal classes. This paper investigates the frequency of this latter condition.
2. Significance:
   • The absolute abelian property of Hilbert class fields plays a key role in studying the existence of Euclidean ideal classes
   • Closely related to the $\ell$-torsion conjecture, an important open problem in algebraic number theory
   • Fundamental for understanding the structure of class groups of number fields
3. Existing Limitations:
   • Lack of systematic study on the frequency of absolutely abelian Hilbert class fields
   • Limited known results for the $\ell$-torsion conjecture, proven only in special cases
4. Research Motivation: By studying absolutely abelian Hilbert class fields, provide improved bounds for the $\ell$-torsion conjecture and develop new methods for studying class groups using higher-order prime ideals.

Core Contributions

1. Main Theorem: Proves that when the Hilbert class field $H(K)$ of an abelian number field $K$ is an abelian extension of $\mathbb{Q}$, for any prime $\ell$ and positive $\epsilon$, we have $|C\ell(K)[\ell]| \ll_{\epsilon,\ell,n} D_K^{\Delta+\epsilon}$, where $\Delta \leq \frac{1}{n}$
2. Frequency Analysis: Systematically studies the distribution and properties of number fields with absolutely abelian Hilbert class fields
3. Pólya Group Connection: Establishes deep connections between absolutely abelian Hilbert class fields and Pólya groups
4. Higher-Order Prime Ideal Applications: Develops theory for generating class groups using higher-order prime ideals
5. Finiteness Results: Proves finiteness for certain families of number fields with absolutely abelian Hilbert class fields

Detailed Methodology

Task Definition

Studies the frequency and properties of number fields $K$ satisfying:

• Input: Number field $K$ and its class group $C\ell(K)$
• Output: Determine whether the Hilbert class field $H(K)$ is an abelian extension of $\mathbb{Q}$
• Constraints: Primarily considers abelian number fields and specific types of Galois extensions

Core Theoretical Framework

1. Characterization of Absolutely Abelian Hilbert Class Fields

Definition: The Hilbert class field $H(K)$ is called absolutely abelian if the extension $H(K)/\mathbb{Q}$ is abelian.

Key Proposition 2.1: If the Hilbert class field $H(K)$ of a number field $K$ is abelian, then $K$ and $H(K)$ have the same conductor.

2. Main Technical Theorem

Theorem 2.2: Let $S$ be a finite set of primes, and $K$ an abelian number field whose conductor has prime factors only from $S$. If $G_{H(K)}$ is abelian, then there exists a number $t$ depending only on $S$ such that:

• All prime divisors of the class number $h_K$ divide $t$
• $h_K \leq t$ and $h_K | t$

3. Connection to the $\ell$-torsion Conjecture

$\ell$-torsion Conjecture: For any $\epsilon > 0$, there exists a constant $C_{\epsilon,\ell,n}$ such that $|C\ell(K)[\ell]| \leq C_{\epsilon,\ell,n} D_K^{\epsilon}$

Improvement in This Paper: Under the absolutely abelian condition, one can take $\Delta = \frac{1}{n}$, significantly improving the general case bound of $\Delta = \frac{1}{2}$.

Technical Innovations

1. Conductor Analysis: Utilizes explicit formulas for conductors of abelian number fields to establish conductor equivalence between $K$ and $H(K)$
2. Galois Group Decomposition: Characterizes the absolutely abelian property by analyzing the semidirect product structure of Galois groups
3. Prime Ideal Decomposition: Uses the decomposition behavior of prime ideals in extensions to establish deep connections between class groups and Galois groups

Experimental Setup

Theoretical Verification Methods

1. Concrete Number Field Computation: Verifies theoretical results using computational tools such as SageMath
2. Parameter Selection: Considers various types of number fields (quadratic fields, cyclic fields, biquadratic fields, etc.)
3. Boundary Case Analysis: Focuses on cases near theoretical boundaries

Main Verification Cases

1. Quadratic Fields: Cases of $K = \mathbb{Q}(\sqrt{d})$
2. Cyclic Cubic Fields: Prime degree cyclic extensions
3. Biquadratic Fields: Fields of type $\mathbb{Q}(\sqrt{d_1}, \sqrt{d_2})$
4. Cyclotomic Fields and Subfields: Special abelian fields

Main Results

Core Theorem Results

Theorem 1.1: Let $K$ be an abelian number field such that $H(K)/\mathbb{Q}$ is an abelian extension. Then for any prime $\ell$ and positive $\epsilon$: $|C\ell(K)[\ell]| \ll_{\epsilon,\ell,n} D_K^{\frac{1}{n}+\epsilon}$

This significantly improves the classical bound of $\Delta = \frac{1}{2}$.

Frequency Analysis Results

Theorem 4.7: For a positive proportion of $\ell$-cyclic extensions $K/\mathbb{Q}$, the Hilbert $\ell$-class field $H_\ell(K)$ is an abelian extension of $\mathbb{Q}$.

Pólya Group Characterization

Theorem 4.1: Let $K$ be an odd-degree cyclic number field or a non-real cyclic number field. Then $H(K)/\mathbb{Q}$ is an abelian extension if and only if $Po(K) = C\ell(K)$.

Finiteness Results

Theorem 6.2: There are only finitely many imaginary abelian number fields with absolutely abelian Hilbert class fields.

Theorem 6.5: Completely classifies imaginary abelian number fields with absolutely abelian Hilbert class fields:

• Quadratic case: Exactly 65 under GRH
• Non-quadratic case: Exactly 424 unconditionally

Related Work

Euclidean Ideal Classes Research

• Lenstra (1979): Introduces the concept of Euclidean ideal classes
• Graves-Murty (2013): Existence of Euclidean ideal classes under the absolutely abelian assumption
• Recent Work: Related results by Deshouillers-Gun-Sivaraman, Murty-Sivaraman, and others

$\ell$-torsion Conjecture Research

• Classical Results: Gauss genus theory gives the $(n,\ell) = (2,2)$ case
• Ellenberg-Venkatesh: Provides $\Delta = \frac{1}{3}$ for $(n,\ell) = (2,3)$
• Klüners-Wang: Proves the conjecture for $\ell$-extensions

Class Field Theory Foundations

• Hilbert Class Field Theory: Correspondence between class groups and Galois groups
• Genus Field Theory: Constructive results by Zhang, Ishida, and others
• Discriminant Formulas: Discriminant formulas for abelian fields by Bautista-Ancona and UC-Kuk

Conclusions and Discussion

Main Conclusions

1. Improved Bounds: Under the absolutely abelian assumption, the bound for the $\ell$-torsion conjecture can be improved to $\Delta = \frac{1}{n}$
2. Positive Frequency: A positive proportion of number fields possess absolutely abelian Hilbert class fields
3. Complete Classification: Complete classification in the imaginary case; sufficient conditions in the real case
4. New Tools: Higher-order prime ideals provide new perspectives for studying class groups

Limitations

1. Restrictive Conditions: Main results require the absolutely abelian assumption, which is a strong condition
2. Computational Complexity: Determining the absolutely abelian property may be difficult in practice
3. Real Fields: Complete classification for real fields remains unsolved
4. Generality: Some results apply only to specific types of number fields

Future Directions

1. Infinite Families: Find infinite families of number fields with absolutely abelian Hilbert class fields
2. Algorithmic Problems: Develop effective algorithms for determining the absolutely abelian property
3. Generalizations: Extend results to more general Galois extensions
4. Applications: Applications in elliptic curve and modular form theory

In-Depth Evaluation

Strengths

1. Theoretical Depth: Cleverly combines class field theory, Galois theory, and analytic number theory
2. Technical Innovation: New methods using conductor equivalence and Galois group decomposition
3. Significant Results: Achieves substantial progress on an important conjecture
4. Systematicity: Comprehensively studies the problem from multiple perspectives (frequency, classification, applications)

Weaknesses

1. Assumption Limitations: The absolutely abelian assumption restricts the universality of results
2. Constructiveness: Lacks explicit methods for constructing number fields with desired properties
3. Computational Verification: Most results are existential, lacking concrete computational verification

Impact

1. Theoretical Contribution: Provides new perspectives for research on the $\ell$-torsion conjecture
2. Methodology: The higher-order prime ideal method has broad application prospects
3. Subsequent Research: Lays foundation for related problem investigations

Applicable Scenarios

1. Algebraic Number Theory: Class group structure research
2. Computational Number Theory: Algorithmic determination of number field properties
3. Arithmetic Geometry: Elliptic curve and abelian variety theory
4. Cryptography: Analysis of number-theoretic cryptographic systems

References

The paper cites 62 important references covering multiple directions including class field theory, the $\ell$-torsion conjecture, and Euclidean ideal classes, reflecting the comprehensiveness and cutting-edge nature of the research.