Absolutely Abelian Hilbert Class Fields and $\ell$-torsion conjecture
Ram, Pandey, Mahapatra
There are several recent works where authors have shown that number fields $K$ with `sufficiently many' units and cyclic class group contain a Euclidean ideal class provided the Hilbert class field $H(K)$ is an abelian extension of $\mathbb{Q}$. In this article, we explore the latter hypothesis: how often a number field $K$ satisfies that its Hilbert class field $H(K)$ is an abelian extension of $\mathbb{Q}$? We also noticed that for such number fields, when the Hilbert class field is an abelian extension of $\mathbb{Q}$, we can get a better bound towards the $\ell-$torsion conjecture. Along with these, the article reports some results in a theme developed by the authors, where primes of higher degree are used to study class groups.
academic
Абсолютно абелевы поля классов Гильберта и гипотеза об ℓ-кручении
В данной работе исследуется вопрос о том, когда поле классов Гильберта числового поля является абелевым расширением поля Q. Авторы изучают случаи, когда поле классов Гильберта H(K) числового поля K представляет собой абелево расширение Q, что позволяет получить улучшенные границы для гипотезы об ℓ-кручении. Кроме того, в статье представлены новые результаты, полученные авторами при использовании простых идеалов высшего порядка для изучения групп классов.
Центральная проблема: Недавние исследования показали, что числовые поля K с «достаточно большим» количеством единиц и циклической группой классов содержат евклидовы классы идеалов, когда поле классов Гильберта H(K) является абелевым расширением Q. В данной работе глубоко исследуется частота возникновения последнего условия.
Значимость:
Абсолютная абелевость поля классов Гильберта играет ключевую роль в исследовании существования евклидовых классов идеалов
Тесно связана с гипотезой об ℓ-кручении, являющейся важной открытой проблемой алгебраической теории чисел
Имеет фундаментальное значение для понимания структуры групп классов числовых полей
Существующие ограничения:
Отсутствуют систематические исследования частоты возникновения абсолютно абелевых полей классов Гильберта
Известные результаты для гипотезы об ℓ-кручении ограничены и доказаны только в частных случаях
Исследовательская мотивация: Путём изучения абсолютно абелевых полей классов Гильберта получить улучшенные границы для гипотезы об ℓ-кручении и разработать новые методы использования простых идеалов высшего порядка при изучении групп классов.
Главная теорема: Доказано, что когда поле классов Гильберта H(K) абелева числового поля K является абелевым расширением Q, для любого простого числа ℓ и положительного числа ϵ выполняется ∣Cℓ(K)[ℓ]∣≪ϵ,ℓ,nDKΔ+ϵ, где Δ≤n1
Анализ частоты: Систематическое исследование распределения и свойств числовых полей с абсолютно абелевыми полями классов Гильберта
Связь с группами Пóльи: Установлена глубокая связь между абсолютно абелевыми полями классов Гильберта и группами Пóльи
Применение простых идеалов высшего порядка: Разработана теория порождения групп классов с использованием простых идеалов высшего порядка
Результаты конечности: Доказана конечность некоторых семейств числовых полей с абсолютно абелевыми полями классов Гильберта
Теорема 2.2: Пусть S — конечное множество простых чисел, K — абелево числовое поле, простые делители кондуктора которого принадлежат множеству S. Если GH(K) является абелевой группой, то существует число t, зависящее только от S, такое что:
Анализ кондуктора: Использование явных формул кондуктора абелевых числовых полей для установления равенства кондукторов K и H(K)
Разложение группы Галуа: Анализ полупрямого произведения группы Галуа для характеризации абсолютной абелевости
Разложение простых идеалов: Применение поведения разложения простых идеалов в расширениях для установления глубокой связи между группой классов и группой Галуа
Теорема 1.1: Пусть K — абелево числовое поле и H(K)/Q является абелевым расширением. Тогда для любого простого числа ℓ и положительного числа ϵ:
∣Cℓ(K)[ℓ]∣≪ϵ,ℓ,nDKn1+ϵ
Это значительно улучшает классическую границу Δ=21.
Теорема 4.1: Пусть K — циклическое числовое поле нечётной степени или нереальное циклическое числовое поле. Тогда H(K)/Q является абелевым расширением тогда и только тогда, когда Po(K)=Cℓ(K).
В статье цитируется 62 важных источника, охватывающих теорию полей классов, гипотезу об ℓ-кручении, евклидовы классы идеалов и другие направления, отражая полноту и актуальность исследования.