2025-11-28T22:31:19.148874

On Galois Extensions of Local Fields with a Single Wild Ramification Jump

Goodman
For a given positive integer $n$ and $K/\mathbb{Q}_p$ a finite extension of ramification degree $e$, we determine the number of finite Galois extensions $L/K$ with inertia degree $f$ and a single nonnegative ramification jump at $n$ as long as $(p,e)$ is outside of a finite set. This builds upon the tamely ramified case, which is a classical consequence of Serre's Mass Formula, exhibiting a more restrictive behavior than in the tamely ramified case because the degrees of such extensions are bounded. We do this by working in a fixed Lubin-Tate extension and exploiting the surjectivity of a map corresponding to the ramification jump to reconstruct the $U^1$ part of the norm subgroup (coming from local class field theory) from its fibers and then by understanding how the fibers interact by studying them in terms of properties of the formal logarithm and partitions.
academic

О расширениях Галуа локальных полей с единственным диким скачком ветвления

Основная информация

  • ID статьи: 2406.14845
  • Название: Galois Extensions of Local Fields with One Wild Ramification Jump
  • Автор: Samuel Goodman
  • Классификация: math.NT (Теория чисел)
  • Дата публикации: Ноябрь 2025 (arXiv v4)
  • Ссылка на статью: https://arxiv.org/abs/2406.14845

Аннотация

В данной работе для заданного положительного целого числа nn и конечного расширения K/QpK/\mathbb{Q}_p (с индексом ветвления ee) определяется количество конечных расширений Галуа L/KL/K с индексом инерции ff и единственным неотрицательным скачком ветвления в точке nn, при условии, что (p,e)(p,e) находится вне конечного множества. Данная работа основывается на классическом случае ручного ветвления, который является классическим результатом формулы масс Серра. Исследование проводится путём работы в фиксированном расширении Любина-Тейта, использования сюръективности отображения, соответствующего скачку ветвления, реконструкции U1U^1-части подгруппы норм из её слоёв, а также понимания взаимодействия слоёв через свойства формальных логарифмов и разбиений.

Исследовательский контекст и мотивация

Исследуемая проблема

Данная работа изучает задачу подсчёта расширений локальных полей, в частности количество расширений Галуа с единственным диким скачком ветвления (wild ramification jump).

Значимость проблемы

  1. Обобщение классической задачи: Подсчёт расширений с ручным ветвлением является классической задачей, полностью решённой формулой масс Серра. Для расширений степени nn с ручным ветвлением при p∤np \nmid n существует ровно σ0(n)\sigma_0(n) таких расширений (где σ0(n)\sigma_0(n) — сумма делителей nn, взаимно простых с pp).
  2. Углубление теории ветвления: Группы ветвления (ramification groups) являются центральным понятием локальной теории полей классов. Расширения с ручным ветвлением можно рассматривать как (−1,0)(-1,0)-расширения (имеющие скачки ветвления только в точках −1-1 и 00). Естественным следующим вопросом является подсчёт (−1,n)(-1,n)-расширений, то есть расширений с единственным диким скачком ветвления.
  3. Ограничивающее поведение: В отличие от случая ручного ветвления, расширения с диким ветвлением проявляют более сильные ограничения, так как степень таких расширений ограничена.

Ограничения существующих методов

  • Метод Куммера: Хотя применим к случаю ручного ветвления, в случае дикого ветвления быстро становится сложным, требуя подсчёта неподвижных точек под действием группы Галуа.
  • Отсутствие систематического подхода: Для общих расширений с диким ветвлением отсутствует унифицированный инструмент подсчёта, аналогичный формуле масс Серра.

Мотивация исследования

Данная работа направлена на создание систематического подхода к подсчёту расширений с единственным диким скачком ветвления путём:

  1. Использования локальной теории полей классов для преобразования задачи в подсчёт подгрупп норм
  2. Работы в расширениях Любина-Тейта для получения явного контроля
  3. Понимания этих подгрупп через структуру слоёв и теорию формальных логарифмов

Основные вклады

  1. Полное решение случая n=2n=2: Для случая единственного скачка ветвления в точке n=2n=2 предоставлена полная формула подсчёта (Теорема 1.2).
  2. Почти полное решение общего случая: Для общего nn дана явная формула подсчёта для всех пар (p,e)(p,e) вне конечного множества (Теорема 1.1). Нерешённые случаи ограничены конечным числом пар (p,e)(p,e), удовлетворяющих p−1≤e<np-1 \leq e < n.
  3. Замкнутая формула для полностью ветвлённого случая: Когда K/QpK/\mathbb{Q}_p полностью ветвлено, предоставлена особенно простая замкнутая формула, включающая ζ\zeta-функцию кольца многочленов над полем характеристики pp (Следствие 1.3).
  4. Новый технический подход:
    • Метод реконструкции через слои (fiber reconstruction) для понимания структуры подгрупп норм
    • Использование формальных логарифмов и теории разбиений для установления функциональных уравнений
    • Введение поднятий Тейхмюллера в случае ветвления
  5. Выявление интересного бинарного явления: При n=2n=2 существует заметная двойственность между ветвлёнными расширениями при p=2p=2 и ветвлёнными расширениями для других простых чисел.

Детальное описание методов

Определение задачи

Входные данные:

  • Локальное поле K/QpK/\mathbb{Q}_p с индексом ветвления ee, индексом инерции f′f' и полем вычетов kk
  • Положительное целое число nn (позиция скачка ветвления)
  • Положительное целое число ff (желаемый индекс инерции)

Выходные данные:

  • Количество (−1,n)(-1,n)-расширений Галуа L/KL/K, где L/KL/K имеет индекс инерции ff и единственный дикий скачок ветвления в точке nn

Ограничения:

  • Определение групп ветвления: Gi={σ∈G:∀α∈OL,σ(α)≡α(modmi+1)}G_i = \{\sigma \in G : \forall \alpha \in O_L, \sigma(\alpha) \equiv \alpha \pmod{m^{i+1}}\}
  • Скачок ветвления: L/KL/K имеет скачок ветвления в точке ii тогда и только тогда, когда Gi≠Gi+1G_i \neq G_{i+1}

Общая стратегия

Статья использует многоуровневую стратегию:

Первый уровень: Преобразование через локальную теорию полей классов (Раздел 2)

Через локальную теорию полей классов расширения Галуа соответствуют подгруппам норм:

  • Предложение 2.2: Для башни M/L/KM/L/K, где M/LM/L абелево и L/KL/K расширение Галуа, пусть HH — подгруппа норм, соответствующая MM. Тогда M/KM/K является расширением Галуа тогда и только тогда, когда σ(H)=H\sigma(H) = H для всех σ∈Gal(L/K)\sigma \in \text{Gal}(L/K).

Это преобразует задачу в подсчёт инвариантных относительно Галуа подгрупп норм.

Второй уровень: Характеризация в расширениях Любина-Тейта (Раздел 3)

Работа проводится в расширении Любина-Тейта Kπ,n/KK_{\pi,n}/K, группа Галуа которого G≅OK×/(1+mn)G \cong O_K^\times/(1+m^n).

Предложение 3.1 (ключевая характеризация): Предположим n≥k+1n \geq k+1. Подрасширение L/KL/K имеет единственный дикий скачок ветвления в точке kk тогда и только тогда, когда соответствующая подгруппа H⊂GH \subset G удовлетворяет:

  1. HH содержит (1+mk+1)/(1+mn)(1+m^{k+1})/(1+m^n)
  2. Каноническое отображение H→OK×/(1+mk)H \to O_K^\times/(1+m^k) является сюръективным

Ключевым моментом этой характеризации является условие сюръективности.

Третий уровень: Теория структуры слоёв (Раздел 6)

Основная идея: Использование сюръективности для реконструкции подгруппы HH через её слои.

Лемма 6.1 (лемма о реконструкции слоёв): Пусть GG — конечная группа, S⊂GS \subset G — подмножество, H⊂GH \subset G — нормальная подгруппа. Предположим:

  • Отображение смежных классов S→G/HS \to G/H является сюръективным
  • Sg1H⋅Sg2H=Sg1g2HS_{g_1H} \cdot S_{g_2H} = S_{g_1g_2H} (совместимость слоёв)
  • SHS_H является подгруппой GG

Тогда SS является подгруппой GG.

Эта лемма показывает, что если слои удовлетворяют условию совместимости, то можно реконструировать всю подгруппу из слоёв.

Четвёртый уровень: Изоморфизм полей характеристики pp (случай e≥ne \geq n)

Когда e≥ne \geq n, ключевой технический прорыв состоит в следующем:

Лемма 6.3 (изоморфизм Тейхмюллера): Отображение ϕ:(1+Tk0[T])/(1+Tn+1k0[T])→(1+m)/(1+mn+1)\phi: (1+Tk_0[T])/(1+T^{n+1}k_0[T]) \to (1+m)/(1+m^{n+1}) определённое как 1+∑i=1naiTi↦1+∑i=1nai′πi1+\sum_{i=1}^n a_iT^i \mapsto 1+\sum_{i=1}^n a_i'\pi^i является эквивариантным относительно Галуа изоморфизмом.

Здесь ai′a_i' — поднятие Тейхмюллера элемента aia_i. Этот изоморфизм преобразует задачу из смешанной характеристики локального поля в кольцо формальных степенных рядов характеристики pp, которое имеет лучшую алгебраическую структуру.

Предложение 6.4 (характеризация слоёв): При e≥ne \geq n данные инвариантной относительно Галуа подгруппы HH эквивалентны:

  • Инвариантной относительно Галуа подгруппе h⊂k0+h \subset k_0^+
  • Эквивариантной относительно Галуа функции f:k0n−1→k0/hf: k_0^{n-1} \to k_0/h, удовлетворяющей функциональному уравнению: f(a1,…,an−1)+f(b1,…,bn−1)+∑i=1n−1aibn−i≡f(c1,…,cn−1)(modh)f(a_1,\ldots,a_{n-1}) + f(b_1,\ldots,b_{n-1}) + \sum_{i=1}^{n-1} a_ib_{n-i} \equiv f(c_1,\ldots,c_{n-1}) \pmod{h} где ci=ai+bi+∑j=1i−1ajbi−jc_i = a_i + b_i + \sum_{j=1}^{i-1} a_jb_{i-j}.

Теория формальных логарифмов (Раздел 4)

Для понимания вышеупомянутого функционального уравнения статья вводит формальные логарифмы:

Лемма 4.1 (разложение логарифма): log⁡(1+∑i=1∞aiTi)=∑n=1∞(∑pn∈Pn(−1)ℓ(pn)m(pn)ℓ(pn)∏i=1naipni)Tn\log(1+\sum_{i=1}^\infty a_iT^i) = \sum_{n=1}^\infty \left(\sum_{p_n \in P_n} \frac{(-1)^{\ell(p_n)}m(p_n)}{\ell(p_n)} \prod_{i=1}^n a_i^{p_{ni}}\right)T^n где PnP_n — множество разбиений числа nn, ℓ(pn)\ell(p_n) — длина разбиения, m(pn)m(p_n) — число перестановок разбиения.

Определим rn(x1,…,xn)=∑pn∈Pn(−1)ℓ(pn)m(pn)ℓ(pn)∏i=1nxipnir_n(x_1,\ldots,x_n) = \sum_{p_n \in P_n} \frac{(-1)^{\ell(p_n)}m(p_n)}{\ell(p_n)} \prod_{i=1}^n x_i^{p_{ni}}.

Лемма 4.4 (аддитивность): Пусть zi=xi+yi+∑j=1i−1xjyi−jz_i = x_i + y_i + \sum_{j=1}^{i-1} x_jy_{i-j}, тогда rn(x1,…,xn)+rn(y1,…,yn)=rn(z1,…,zn)r_n(x_1,\ldots,x_n) + r_n(y_1,\ldots,y_n) = r_n(z_1,\ldots,z_n)

Это показывает, что g(x1,…,xn−1)=rn(x1,…,xn)−xng(x_1,\ldots,x_{n-1}) = r_n(x_1,\ldots,x_n) - x_n удовлетворяет требуемому функциональному уравнению (с точностью до перекрёстного члена).

Функциональные уравнения над конечными полями (Раздел 5)

Теорема 5.1 (основная теорема подсчёта): Пусть k0/kk_0/k — расширение конечных полей с группой Галуа GG, h⊂k0+h \subset k_0^+ — инвариантная относительно Галуа подгруппа, q=∣k∣q=|k|. Количество эквивариантных относительно Галуа функций f:k0n−1→k0+/hf: k_0^{n-1} \to k_0^+/h, удовлетворяющих функциональному уравнению, равно:

0 & p|n \\ q^{(n-1-\lfloor \frac{n-1}{p}\rfloor)\text{codim}_{\mathbb{F}_p}(h)} & p \nmid n \end{cases}$$ **Схема доказательства**: 1. При $p \nmid n$ функция $-g$ даёт решение 2. Другие решения имеют вид $-g + f_2$, где $f_2$ удовлетворяет однородному уравнению 3. Однородные решения соответствуют эквивариантным групповым гомоморфизмам: $$(1+Tk_0[T])/(1+T^nk_0[T]) \to k_0/h$$ 4. Используя топологический базис из Предложения 2.3, подсчитываем эти гомоморфизмы 5. При $p|n$ итерирование $p$-кратного дифференцирования приводит к противоречию ### Доказательство основной теоремы (Раздел 7) **Теорема 7.1** (основной результат): Пусть $b = n-1-\lfloor \frac{n-1}{p}\rfloor$, $q' = q^f$, $t$ — подпространство элементов со следом ноль. Тогда количество $(-1,n)$-расширений Галуа равно: $$\begin{cases} 0 & p|n, e \geq n \\ q^{bf'f+1} \sum_{h \in S} \frac{|h \cap t|}{|h|^{bf'+1}} & e \geq n, p \nmid n \\ 0 & e < n, p > e+1 \end{cases}$$ **Ключевые моменты доказательства**: 1. Использование Предложения 6.4 для преобразования задачи в выбор пар $(h,f)$ 2. Для каждого $h$ по Теореме 5.1 существует $q^{b\text{codim}(h)}$ функций $f$ 3. Необходимо подсчитать неподвижные точки Галуа: $x \in k_0/h$, удовлетворяющие $x^q - x \in h$ 4. Отображение $x \mapsto x^q - x$ имеет ядро $\mathbb{F}_q$ и образ — подпространство элементов со следом ноль $t$ 5. Количество неподвижных точек равно $q|h \cap t|/|h|$ 6. Суммирование даёт окончательную формулу Для случая $e < n, p > e+1$ используется Замечание 2.5: $(1+m)^p = 1+m^{e+1} \supset 1+m^n$, что противоречит сюръективности. ## Экспериментальная установка Как чистая математическая теоретическая работа, данная статья не содержит экспериментов в традиционном смысле. Все результаты получены посредством строгих математических доказательств. ### Методы верификации Статья проверяет корректность теории следующим образом: 1. **Проверка частных случаев**: Проверка соответствия известному случаю ручного ветвления 2. **Проверка согласованности**: Совпадение результатов, полученных различными методами (например, специальная обработка $n=2$) 3. **Анализ граничных случаев**: Проверка разумности формулы в граничных случаях ### Конкретные примеры **Следствие 1.3** (полностью ветвлённый случай): Когда $K/\mathbb{Q}_p$ полностью ветвлено, пусть $m(x) = \frac{x^f-1}{(x-1)^{p^{v_p(f)}}}$, $d = f - p^{v_p(f)}$, $\zeta_m(s) = \sum_{i=0}^d \frac{a_i}{p^{is}}$ (где $a_i$ — количество нормированных многочленов степени $i$, делящих $m$). Тогда количество равно: $$\begin{cases} 0 & p|n, e \geq n \\ \frac{(p^{(f+1)b} - p^{fb} + p^{(f-1)b+1} - p^{db+1})}{p^b-1} \zeta_m(b) & e \geq n, p \nmid n \\ 0 & e < n, p > e+1 \end{cases}$$ ## Результаты экспериментов ### Основные результаты **Явная формула Теоремы 1.1**: Для $e \geq n, p \nmid n$ количество равно $q^{bf'f+1} \sum_{h \in S} \frac{|h \cap t|}{|h|^{bf'+1}}$, где: - $b = n-1-\lfloor \frac{n-1}{p}\rfloor$ — "эффективная размерность" - Сумма берётся по всем инвариантным относительно Галуа подпространствам - Каждый член включает пересечение с подпространством элементов со следом ноль **Специальный результат Теоремы 1.2** ($n=2$, $p=2$, неветвлённый случай): Когда $K/\mathbb{Q}_2$ неветвлено, количество $(-1,2)$-расширений Галуа равно $2^{n+1}$ (независимо от индекса инерции). ### Ключевые находки 1. **Поведение роста**: Количество расширений растёт экспоненциально с увеличением степени неветвлённой части 2. **Зависимости**: - Общий случай (Теорема 1.1): Зависит от полных данных расширения поля вычетов - Специальные случаи (Теорема 1.2): Зависит только от базового поля вычетов 3. **Явления препятствия**: - При $p|n$ таких расширений не существует ($e \geq n$) - При $e < n, p > e+1$ расширений также не существует - При $n=2$ бинарность: препятствие при $p=2$ ветвлённом, отсутствие препятствия при других простых числах ветвлённых 4. **Конечные исключения**: Для каждого $n$ лишь конечное число пар $(p,e)$ не охватывается теоремой (удовлетворяющих $p-1 \leq e < n$) ### Анализ случаев **Пример 1: Полностью ветвлённый случай с $f=1$ (без неветвлённых расширений)** В этом случае $m(x) = \frac{x-1}{x-1} = 1$, $d=0$, $\zeta_m(s) = 1$. Количество становится $\frac{p^{2b} - p^b + p^{b+1} - p}{p^b-1}$. **Пример 2: $n=2, p$ нечётное, $K/\mathbb{Q}_p$ неветвлено** В этом случае $b=1$, $e \geq 2$ автоматически выполнено (так как при нечётном $p$ имеем $e \geq p-1 \geq 2$). Количество равно $q^{f+1} \sum_h \frac{|h \cap t|}{|h|^2}$. ## Связанные работы ### Теория ручного ветвления 1. **Формула масс Серра**: Даёт, что существует ровно $n$ полностью ручно ветвлённых расширений степени $n$ (при $p \nmid n$) 2. **Теория Куммера**: Может быть использована для построения и подсчёта ручно ветвлённых расширений 3. **Теория Хассе**: Содержит базовую теорию ручно ветвлённых расширений ### Локальная теория полей классов 1. **Нойкирх "Алгебраическая теория чисел"**: Систематическое изложение локальной теории полей классов 2. **Серр "Локальные поля"**: Содержит классическое изложение теории групп ветвления 3. **Фесенко-Востоков**: Современная обработка локальных полей и их расширений ### Теория Любина-Тейта - Теория Любина-Тейта предоставляет явное построение абелевых расширений локальных полей - Данная работа использует расширения Любина-Тейта как рабочее пространство, что является ключевым техническим выбором ### Инновации данной работы 1. **Первый систематический подход к диким скачкам ветвления**: Предыдущие работы сосредоточивались главным образом на ручном ветвлении 2. **Метод реконструкции через слои**: Это новая перспектива на обработку условия сюръективности 3. **Комбинация формальных логарифмов и разбиений**: Введение инструментов комбинаторики в теорию локальных полей 4. **Почти полное решение**: Явная формула дана для всех случаев вне конечного множества исключений ## Заключение и обсуждение ### Основные выводы 1. **Основная теорема**: Для $(p,e)$ вне конечного множества дана точная формула подсчёта $(-1,n)$-расширений Галуа 2. **Полное решение $n=2$**: Включая единственный исключительный случай $(p,e) = (2,1)$ 3. **Структурное понимание**: - Количество расширений определяется структурой расширения поля вычетов - Существуют систематические препятствия ($p|n$ или $e$ слишком мало) - Структура слоёв обеспечивает глубокую геометрическую интуицию ### Ограничения 1. **Конечные исключения**: Для каждого $n$ пары $(p,e)$, удовлетворяющие $p-1 \leq e < n$, не полностью решены 2. **Ограничение на единственный скачок**: Метод специализирован для единственного дикого скачка ветвления; случай нескольких скачков более сложен 3. **Технические условия**: Условие $e \geq n$ критично для метода слоёв, но ограничивает область применения 4. **Явность**: Хотя даны формулы, в некоторых случаях (например, Следствие 1.3) они включают $\zeta$-функции, требующие дополнительной работы для вычисления ### Направления будущих исследований 1. **Множественные скачки**: Обобщение на случай нескольких диких скачков ветвления 2. **Завершение исключительных случаев**: Решение оставшихся случаев $p-1 \leq e < n$ 3. **Многомерные обобщения**: Рассмотрение многомерных локальных полей или глобальных полей 4. **Алгоритмическая реализация**: Разработка алгоритмов для практического вычисления этих расширений 5. **Исследование приложений**: Приложения этих результатов подсчёта в арифметической геометрии или теории представлений ## Глубокая оценка ### Достоинства 1. **Теоретическая глубина**: - Искусное сочетание локальной теории полей классов, теории Любина-Тейта, теории формальных групп - Метод реконструкции через слои демонстрирует глубокое структурное понимание - Связь между формальными логарифмами и разбиениями является оригинальной 2. **Полнота результатов**: - Почти полное решение задачи (исключая конечное число случаев) - Явно вычислимые формулы - Полное решение специального случая ($n=2$) 3. **Инновационность методов**: - Изоморфизм Тейхмюллера (Лемма 6.3) — ключевой технический прорыв - Условие совместимости слоёв (Лемма 6.1) обеспечивает новый организационный принцип - Стратегия линеаризации нелинейной задачи достойна подражания 4. **Ясность изложения**: - Чёткая структура, постепенное движение от частного к общему - Ясное обозначение ключевых лемм - Достаточная, но не избыточная техническая детализация ### Недостатки 1. **Исключительные случаи**: - Для случаев $p-1 \leq e < n$ не дан унифицированный подход - Неветвлённый случай $n=2, p=2$ требует специальной обработки (Раздел 7, Теорема 7.3) 2. **Читаемость**: - Требует глубокого фона в алгебраической теории чисел - Некоторые технические скачки (например, Леммы 5.3, 5.4) довольно резкие - Связь части о формальных логарифмах с основной линией могла бы быть более явной 3. **Вычислительная сложность**: - Выражение $\zeta$-функции в Следствии 1.3, хотя и замкнутое, требует факторизации для практического вычисления - Суммирование в Теореме 7.1 может быть сложным при практическом вычислении 4. **Обобщаемость**: - Метод сильно зависит от предположения единственного скачка - Применимость к более общим моделям ветвления неясна ### Влияние 1. **Теоретический вклад**: - Значительное продвижение в теории подсчёта расширений локальных полей - Предоставляет новые инструменты для работы с диким ветвлением - Метод слоёв может найти применение в других задачах подсчёта 2. **Техническое влияние**: - Использование изоморфизма Тейхмюллера может вдохновить аналогичные техники - Связь формальных логарифмов и разбиений может иметь самостоятельную ценность - Метод подсчёта неподвижных точек Галуа имеет общий характер 3. **Практическая ценность**: - Обеспечивает теоретическую основу для численных вычислений - Может использоваться для проверки существования расширений локальных полей - Возможные приложения в криптографии или теории кодирования 4. **Воспроизводимость**: - Все доказательства конструктивны - Формулы явны и в принципе реализуемы - Требует специализированных систем компьютерной алгебры ### Сценарии применения 1. **Чистая математика**: - Углубленное изучение локальной теории полей классов - Приложения теории ветвления - Теория представлений Галуа 2. **Арифметическая геометрия**: - Изучение локальных свойств арифметических многообразий - $p$-адическая теория когомологий - Подсчёт точек пространств модулей 3. **Приложения в теории чисел**: - Исследование локально-глобального принципа - Построение башен полей классов - Теория Ивасавы 4. **Вычислительная теория чисел**: - Построение баз данных локальных полей - Алгоритмы перечисления расширений - Инструменты численной верификации ### Открытые вопросы 1. **Полное решение исключительных случаев**: Можно ли унифицированным методом обработать все пары $(p,e)$ с $p-1 \leq e < n$? 2. **Обобщение на множественные скачки**: Как подсчитать $(-1, n_1, n_2, \ldots, n_k)$-расширения? 3. **Асимптотическое поведение**: Какова асимптотическая формула для количества расширений при $n \to \infty$? 4. **Глобальное соответствие**: Какова связь этих локальных результатов подсчёта с расширениями глобальных числовых полей? 5. **Неабелевы обобщения**: Можно ли обработать неабелевы, но всё ещё имеющие единственный скачок случаи? ## Библиография Ключевые источники, цитируемые в статье: 1. **[1] Фесенко-Востоков**: Local Fields and Their Extensions — обеспечивает основы теории локальных полей 2. **[2] Хассе**: Number Theory — содержит классические результаты ручного ветвления 3. **[3] Нойкирх**: Algebraic Number Theory — стандартный справочник по локальной теории полей классов 4. **[4] Серр**: Local Fields — классическое изложение теории групп ветвления 5. **[5] Серр**: оригинальная статья о формуле масс — основа для подсчёта ручно ветвлённых расширений --- **Общая оценка**: Это высокого качества чистая математическая работа, достигшая существенного прогресса в классической задаче подсчёта расширений локальных полей. Через инновационный метод реконструкции через слои и технику формальных логарифмов автор почти полностью решил задачу подсчёта расширений с единственным диким скачком ветвления. Несмотря на наличие конечного числа исключительных случаев и технических ограничений, теоретическая глубина, инновационность методов и полнота результатов работы достигают очень высокого уровня, обеспечивая значительный вклад в локальную теорию полей классов и теорию ветвления. Данная работа обеспечивает прочную основу и мощные инструменты для дальнейшего исследования более общих моделей ветвления.