Базисы ассоциированных модулей Галуа в общих дико ветвящихся расширениях и в элементарных абелевых расширениях степени $p^2$

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

• ID статьи: 2511.20634
• Название: Bases of associated Galois modules in general wildly ramified extensions and in elementary abelian extensions of degree $p^2$
• Авторы: Mikhail V. Bondarko, Kirill S. Ladny, Konstantin I. Pimenov
• Классификация: math.AG (алгебраическая геометрия)
• Дата публикации: 26 ноября 2025
• Ссылка на статью: https://arxiv.org/abs/2511.20634

Аннотация

В данной работе изучаются подмножества элементов группового кольца $k[G]$ (где $G=\text{Gal}(K/k)$) в дико ветвящихся расширениях $K/k$ полных дискретно нормированных полей, которые подходят для построения базисов различных ассоциированных модулей Галуа и порядков. В случае $G=(\mathbb{Z}/p\mathbb{Z})^2$ (где $p$ — характеристика поля вычетов) авторы вычисляют действие элементов $(σ_1-1)^i(σ_2-1)^j$ ($0\le i,j\le p-1$) на фильтрацию нормирования, где $σ_1,σ_2$ — образующие группы $G$. Если точки ветвления расширения $K/k$ различны по модулю $p^2$, эти элементы действительно дают требуемые "достаточно хорошие" базисы.

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

1. Основная проблема

Данная работа исследует проблему построения явных базисов ассоциированных модулей Галуа (associated Galois modules). Для расширения Галуа $K/k$ ассоциированные модули Галуа определяются как: $C_i = \{f \in K[G] : \min_{x\in K^*}(v(f(x))-v(x)) \geq i\}$$A_i = C_i \cap k[G]$

Основная задача состоит в нахождении полного описания всех $A_i$, в частности в построении "хороших" базисов, пригодных для всех $A_i$.

2. Значимость исследования

Ассоциированные модули Галуа тесно связаны с ассоциированными порядками Галуа (associated Galois orders). С момента пионерской работы Леопольдта в 1959 году исследование ассоциированных порядков остаётся важной темой алгебраической теории чисел. Ассоциированные порядки определяются как: $A(O) = \{f \in k[G] : f(O_K) \subset O_K\}$

Значимость исследования ассоциированных модулей Галуа проявляется в:

• Арифметических приложениях: Теорема 1.1.2 демонстрирует связь между ассоциированными модулями Галуа и когомологиями Галуа формальных групп, что имеет важное применение в теории Куммера
• Теории структуры: Понимание структуры $A_i$ помогает разобраться в структуре ассоциированных порядков $A(O)$, поскольку $A_0 \subset A(O) \subset A_{1-n}$
• Теории ветвления: Эти модули кодируют информацию о ветвлении расширения

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

• Большинство известных результатов сосредоточены на ручном ветвлении или специальных случаях (например, циклические расширения)
• В случае дикого ветвления без результатов о свободности вычисления ассоциированных порядков крайне редки (как указано в Замечании 1.2.3)
• Для общих расширений $p$-групп отсутствует систематический метод построения базисов ассоциированных модулей Галуа

4. Мотивация данной работы

Данная работа ставит целью:

• Развить общую теорию построения "градуированно независимых базисов" (graded bases) ассоциированных модулей Галуа
• Дать полные вычисления в случае $G=(\mathbb{Z}/p\mathbb{Z})^2$
• Обобщить результаты на относительный случай (с подполем $k_0 \subset k$)
• Исследовать связь с ручными поднятиями (tame lifts)

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

1. Введение концепции градуированной независимости (§3.1): Определены градуированно независимые множества и градуированные базисы, что представляет новую основу для построения базисов ассоциированных модулей Галуа
2. Основная теорема (Теорема 1.2.1/3.3.2): Для $G \cong (\mathbb{Z}/p\mathbb{Z})^2$ при условии, что точки ветвления различны по модулю $p^2$, дано явное описание $A_l$: $A_l = \langle \pi_k^{[(l-d-H(i,j)-1)/n]+1}(σ_1-1)^i(σ_2-1)^j \mid 0 \leq i,j \leq p-1 \rangle_o$ где $H: \mathbb{Z}^2 \to \mathbb{Z}$ — кусочно-линейная функция
3. Вычисление функций $d$ и $\rho$ (Теорема 3.3.2): Точное вычисление "степени" элементов $(σ_1-1)^i(σ_2-1)^j$ и их образов в градуированном кольце
4. Относительная теория (§4.1): Развита теория относительных ассоциированных модулей Галуа $A_i^0 = A_i \cap k_0[G]$, обобщающая основные результаты на случай, когда точки ветвления совпадают по модулю $p$, но различны по модулю $p^2$
5. Теория диагональных базисов (§4.2): Введена концепция диагональных базисов (diagonal bases) и доказано, что ручные поднятия порождают диагональные базисы (Теорема 4.2.7)
6. Алгоритмическая основа: Предоставлена алгоритмическая схема вычисления всех ассоциированных порядков $A_0(i,j) = \{f \in k_0[G]: f(M^i) \subset M^j\}$

Подробное описание методов

Постановка задачи

Дано полное дискретно нормированное поле с полностью ветвящимся расширением Галуа $K/k$ степени $n=p^2$ и группой Галуа $G=(\mathbb{Z}/p\mathbb{Z})^2$. Цель состоит в:

1. Построении базиса $B$ кольца $k[G]$ такого, что для каждого $i \in \mathbb{Z}$ можно непосредственно из $B$ выделить базис $A_i$
2. Вычислении функций $d: K[G]\backslash\{0\} \to \mathbb{Z}$ и $\rho: K[G]\backslash\{0\} \to R_{K/k}$

Основная техническая схема

1. Изоморфизм $\phi: K\otimes_k K \to K[G]$

Это ключевой инструмент всей теории (Теорема 2.2.2): $\phi(x\otimes y) = x\sum_{σ\in G} σ(y)σ$

Ключевые свойства:

• $C_{i+d} = \phi(X_i)$, где $X_i = \sum_{j\in\mathbb{Z}} M^j \otimes M^{i-j}$
• $\phi$ сохраняет определённую мультипликативную структуру: $\phi(α)*\phi(β) = \phi(αβ)$
• Позволяет изучать фильтрацию $C_i$ через фильтрацию $K\otimes_k K$

2. Теория градуированной независимости (§3.1)

Определение (Определение 3.1.1):

• Для $B \subset K[G]\backslash\{0\}$ определим $B_i = \{f\in B: d(f) \equiv i \bmod n\}$
• $B$ называется градуированно независимым (graded-independent), если для всех $i\in\mathbb{Z}$ множество $\rho(B_i) \subset R_{K/k}$ линейно независимо над $k$
• $B$ называется градуированным базисом (graded base), если $B$ градуированно независимо и порождает $k[G]$

Ключевое свойство (Предложение 3.1.2): $C_i \cap (\bigoplus_{b\in B} k\cdot b) = \bigoplus_{b\in B} \pi_k^{[(i-d-d(b)-1)/n]+1}b \cdot o$

Это означает, что градуированный базис полностью определяет структуру всех $A_i$.

3. Вычисление коротких композиций (§3.2)

Общий результат (Теорема 3.2.2): Для $\prod = \prod_{i=1}^a (σ_i-1)$, где $a < p$: $p_{\sum}(\prod) \sim \sum_{j=0}^{n-1} (\prod_{l=1}^a (j-lh))X^j$

При $h\neq 0$: $p_{\sum}(\prod) \sim (X^h-1)^{n-a-1}$

Это даёт $d(\prod) = \sum h(σ_i) - d$.

Критерий градуированной независимости (Теорема 3.2.2(3)): При подходящих условиях (возрастание $p$-адического нормирования точек ветвления) множество $B = \{\prod(σ_i-1)^{n_i}: \sum n_i < p\}$ является градуированно независимым.

4. Полные вычисления для $G=(\mathbb{Z}/p\mathbb{Z})^2$ (§3.3)

Пусть $K = K_1K_2$, где $K_i/k$ — расширения степени $p$ с точками ветвления $h_2 > h_1 > 0$.

Ключевые параметры (Предложение 3.3.1):

• Точки ветвления для $σ_1, σ_2$: $h_1$ и $\tilde{h}_2 = ph_2 - (p-1)h_1$
• Глубина ветвления: $d = (p-1)(ph_2 + h_1)$

Кусочно-линейная функция $H$: