2025-11-11T22:10:19.678537

Congruent modular forms and anticyclotomic Iwasawa theory

Nguyen
Let $p$ be an odd prime. Consider normalized newforms $f_1,f_2$ that both satisfy the Heegner hypothesis for an imaginary quadratic field $K$ and suppose that they induce isomorphic residual Galois representations. In the work of Greenberg-Vatsal and Emerton-Pollack-Weston, the authors compare the cyclotomic Iwasawa $μ$ and $λ$-invariants of $f_1$ and $f_2$. We extend this to the anticyclotomic indefinite setting by comparing the BDP $p$-adic $L$-functions attached to $f_1$ and $f_2$. Using this comparison, we obtain arithmetic implications for both generalized Heegner cycles and the Iwasawa main conjecture.
academic

Конгруэнтные модулярные формы и антициклотомическая теория Ивасавы

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

  • ID статьи: 2503.00247
  • Название: Congruent modular forms and anticyclotomic Iwasawa theory
  • Автор: Dac-Nhan-Tam Nguyen (University of British Columbia)
  • Классификация: math.NT (Теория чисел)
  • Дата публикации: Март 2025 г. (arXiv v2: 23 октября 2025 г.)
  • Ссылка на статью: https://arxiv.org/abs/2503.00247

Аннотация

В данной работе исследуется применение конгруэнтных модулярных форм в антициклотомической теории Ивасавы. Пусть pp — нечётное простое число, и рассмотрим нормализованные newform f1,f2f_1, f_2, удовлетворяющие условию Хегнера на мнимом квадратичном поле KK, предполагая, что они индуцируют изоморфные остаточные представления Галуа. Работы Гринберга-Ватсала и Эмертона-Поллака-Вестона сравнивали циклотомические инварианты Ивасавы μ\mu и λ\lambda для f1f_1 и f2f_2. В настоящей работе этот результат обобщается на антициклотомический неопределённый случай путём сравнения pp-адических LL-функций BDP, присоединённых к f1f_1 и f2f_2, получая арифметические следствия, касающиеся обобщённых циклов Хегнера и главной гипотезы Ивасавы.

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

Предпосылки проблемы

  1. Основной вопрос: Исследование арифметических соотношений между модулярными формами с изоморфными остаточными представлениями Галуа, в частности связей между их pp-адическими LL-функциями и инвариантами Ивасавы.
  2. Значимость:
    • Теория Ивасавы является центральной областью современной теории чисел, связывающей модулярные формы, представления Галуа и LL-функции
    • Циклы Хегнера играют ключевую роль в исследовании гипотезы Бёрча-Суиннертона-Дайера для эллиптических кривых
    • Антициклотомическая теория Ивасавы предоставляет важные инструменты для понимания арифметических свойств модулярных форм
  3. Ограничения существующих исследований:
    • Работы Гринберга-Ватсала 1 и Эмертона-Поллака-Вестона 2 сосредоточены главным образом на циклотомических расширениях
    • В антициклотомическом неопределённом случае имеются только частичные результаты для веса 2 (Криз-Ли 9,10)
    • Отсутствует систематическая теория сравнения для модулярных форм высокого веса и обобщённых циклов Хегнера
  4. Исследовательская мотивация:
    • Обобщить классические результаты циклотомического случая на антициклотомический неопределённый случай
    • Установить отношения конгруэнтности между pp-адическими LL-функциями BDP
    • Исследовать арифметические приложения к циклам Хегнера и главной гипотезе Ивасавы

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

  1. Установлена теория конгруэнтности в антициклотомическом неопределённом случае: Доказано, что для модулярных форм f1,f2f_1, f_2 с изоморфными остаточными представлениями pp-адические LL-функции BDP удовлетворяют конгруэнтности по модулю ϖm\varpi^m (Теорема 5.12, т.е. Теорема A)
  2. Введена модульная интерпретация операторов Гекке: В рамках координат Серра-Тейта схемы Игусы дана геометрическая интерпретация оператора Гекке VℓV_\ell (раздел 5.2), что критически важно для изучения вариации pp-адических LL-функций
  3. Обобщены известные результаты для веса 2: Результаты Криза-Ли 9,10 для веса 2 обобщены на модулярные формы произвольного веса 2r2r и обобщённые циклы Хегнера
  4. Получены теоремы сравнения инвариантов Ивасавы:
    • μ(Lp(f1))=0⇔μ(Lp(f2))=0\mu(L_p(f_1)) = 0 \Leftrightarrow \mu(L_p(f_2)) = 0
    • При μ\mu-инварианте, равном 0, дано точное соотношение для λ\lambda-инвариантов
  5. Приложения к обобщённым циклам Хегнера: Через pp-адическую формулу Гросса-Загира получены отношения конгруэнтности между логарифмами циклов Хегнера (Теоремы 6.2, 6.3)
  6. Свойство распространения главной гипотезы Ивасавы: Доказано, что если f1f_1 удовлетворяет главной гипотезе Ивасавы, то при надлежащих условиях f2f_2 также её удовлетворяет (Теорема 7.5)

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

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

Входные данные: Две нормализованные собственные формы Гекке f1∈S2r1(Γ0(N1))newf_1 \in S_{2r_1}(\Gamma_0(N_1))^{\text{new}} и f2∈S2r2(Γ0(N2))newf_2 \in S_{2r_2}(\Gamma_0(N_2))^{\text{new}}, такие что:

  • Удовлетворяют условию Хегнера на мнимом квадратичном поле KK
  • Индуцируют изоморфные остаточные представления Галуа: ρˉf1≅ρˉf2(modϖm)\bar{\rho}_{f_1} \cong \bar{\rho}_{f_2} \pmod{\varpi^m}

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

  • Отношения конгруэнтности между pp-адическими LL-функциями BDP Lp(f1)L_p(f_1) и Lp(f2)L_p(f_2)
  • Сравнение инвариантов Ивасавы μ\mu и λ\lambda
  • Арифметические следствия для циклов Хегнера и главной гипотезы Ивасавы

Теоретический фреймворк

1. Конструкция pp-адической LL-функции BDP

pp-адическая LL-функция BDP строится через значения pp-адических модулярных форм в CM-точках. Для newform f∈S2r(Γ0(N))newf \in S_{2r}(\Gamma_0(N))^{\text{new}}, удовлетворяющей условию Хегнера:

Определение (Определение 4.1): Пусть ψ\psi — антициклотомический характер Гекке с бесконечным типом (r,−r)(r,-r) и кондуктором c0OKc_0\mathcal{O}_K. Определим Lp,ψ(f)L_{p,\psi}(f) как pp-адическую меру на Γ~\tilde{\Gamma}:

Lp,ψ(f)(ρ)=∑[a]∈PicOc0ψ(a)N(a)−r⋅∫Zp×ψpρ∣[a]df^a♭L_{p,\psi}(f)(\rho) = \sum_{[\mathfrak{a}]\in \text{Pic}\mathcal{O}_{c_0}} \psi(\mathfrak{a})N(\mathfrak{a})^{-r} \cdot \int_{\mathbb{Z}_p^\times} \psi_p\rho|_{[\mathfrak{a}]} d\hat{f}^\flat_{\mathfrak{a}}

где f^a♭\hat{f}^\flat_{\mathfrak{a}} — pp-адическое воплощение pp-depleted геометрической модулярной формы f♭f^\flat вблизи CM-точки xax_{\mathfrak{a}}.

Через операцию twist получаем: Lp(f):=Twψ^−1(Lp,ψ(f))L_p(f) := \text{Tw}_{\hat{\psi}^{-1}}(L_{p,\psi}(f))

Используя оператор θ\theta (оператор tddtt\frac{d}{dt}), можно переписать как: Lp(f)(ρ)=(−DK)r∑[a]∈PicOK((θ−rf^♭)a⊗ρ∣[a])(Aa,ηa)L_p(f)(\rho) = (\sqrt{-D_K})^r \sum_{[\mathfrak{a}]\in \text{Pic}\mathcal{O}_K} ((\theta^{-r}\hat{f}^\flat)_{\mathfrak{a}} \otimes \rho|_{[\mathfrak{a}]})(A_{\mathfrak{a}}, \eta_{\mathfrak{a}})

2. Интерпретация операторов Гекке в координатах Серра-Тейта

Это ключевое техническое нововведение работы. Для простого числа ℓ≠p\ell \neq p, разлагающегося как ℓ=vvˉ\ell = \mathfrak{v}\bar{\mathfrak{v}}:

Определение (Определение 5.4): Определим оператор VℓV_\ell на pp-адических модулярных формах: Vℓ:Ig(N♯)→Ig(N♯ℓ−1)V_\ell: \text{Ig}(N^\sharp) \to \text{Ig}(N^\sharp\ell^{-1})(A,η)↦(A/C[ℓ],π∘ηN♯∘(⋅)1/ℓ×πˇ−1∘ηp)(A, \eta) \mapsto (A/C[\ell], \pi \circ \eta_{N^\sharp} \circ (\cdot)^{1/\ell} \times \check{\pi}^{-1} \circ \eta_p)

Ключевая лемма (Лемма 5.7): Для CM-точки xa=(Aa,ηa)x_{\mathfrak{a}} = (A_{\mathfrak{a}}, \eta_{\mathfrak{a}}) имеет место Vℓ(xa)=xv−1aV_\ell(x_{\mathfrak{a}}) = x_{\mathfrak{v}^{-1}\mathfrak{a}}

и координаты Серра-Тейта удовлетворяют: tv−1a(Vℓ(x))=ta(x)ℓt_{\mathfrak{v}^{-1}\mathfrak{a}}(V_\ell(x)) = t_{\mathfrak{a}}(x)^\ell

Это геометрическое соотношение приводит к (Лемма 5.8): ((θ−rVℓ∗f)a⊗ϕ)(xa)=ℓ−r((θ−rf)v−1a⊗ϕ)(xv−1a)((θ^{-r}V_\ell^* f)_{\mathfrak{a}} \otimes \phi)(x_{\mathfrak{a}}) = \ell^{-r}((θ^{-r}f)_{\mathfrak{v}^{-1}\mathfrak{a}} \otimes \phi)(x_{\mathfrak{v}^{-1}\mathfrak{a}})

3. Стабилизация и множители Эйлера

Определение (Определение 5.9): Определим многочлен Эйлера

1 - a_\ell(f)\ell^{-r} \cdot \gamma_{\mathfrak{v}} + \ell^{-1} \cdot \gamma_{\mathfrak{v}}^2 & \text{если } \ell \nmid N \\ 1 - a_\ell(f)\ell^{-r} \cdot \gamma_{\mathfrak{v}} & \text{если } \ell \mid N \end{cases}$$ где $\gamma_{\mathfrak{v}} \in \Gamma_K^-$ — элемент Фробениуса в $\mathfrak{v}$. **Ключевая теорема** (Теорема 5.11): $\ell$-depletion удовлетворяет $$L_p(f^{(\ell)}) = P_{\mathfrak{v}}(f)L_p(f)$$ ### Стратегия доказательства основных теорем **Стратегия доказательства Теоремы 5.12**: 1. **Базовая конгруэнтность**: Когда $f_1, f_2$ имеют одинаковый уровень, из конгруэнтности $q$-разложений (Лемма 5.1) получаем $$L_p(f_1) \equiv L_p(f_2) \pmod{\varpi^m W\llbracket\Gamma_K^-\rrbracket}$$ 2. **Корректировка уровня**: Для форм разных уровней рассмотрим $$N^\sharp := \text{lcm}_{\ell|N_1N_2}(N_1, N_2, \ell^2)$$ Повторным применением Теоремы 5.11 получаем $$L_p(f^{(N_1N_2)}) = \prod_{\ell|N_1N_2} P_{\mathfrak{v}}(f) \cdot L_p(f)$$ 3. **Передача конгруэнтности**: Из $f_1^{(N_1N_2)} \equiv f_2^{(N_1N_2)} \pmod{\varpi^m}$ получаем $$\prod_{\ell|N_1N_2} P_{\mathfrak{v}}(f_1) L_p(f_1) \equiv \prod_{\ell|N_1N_2} P_{\mathfrak{v}}(f_2) L_p(f_2) \pmod{\varpi^m}$$ 4. **Сравнение инвариантов**: Поскольку $\mu(P_{\mathfrak{v}}(f)) = 0$ (Лемма 5.10), сравнивая степени после редукции по модулю $\varpi$, получаем соотношения для инвариантов $\mu$ и $\lambda$. ### Технические инновации 1. **Модульная интерпретация в координатах Серра-Тейта**: - Традиционный подход использует $q$-разложения: $f(q) \mapsto f(q^\ell)$ - В данной работе дана внутренняя интерпретация через геометрию схемы Игусы - Ключевым является использование модульной интерпретации CM-точек и свойств преобразования координат Серра-Тейта 2. **Техника обработки различий весов** (доказательство Леммы 5.1): - Когда $2r_1 \not\equiv 2r_2 \pmod{\phi(p^{m'})}$, вводится символ Лежандра $(\frac{\cdot}{p})$ - Используется $n^{r_1} \equiv (\frac{n}{p})n^{r_2} \pmod{p^{m'}}$ для компенсации - Ключевое наблюдение: характер Гекке, соответствующий символу Лежандра, тривиален на антициклотомическом расширении $\Gamma_K^-$ 3. **Единообразная обработка конгруэнтностей произвольных степеней простого**: - В отличие от [9], которая может обрабатывать только конгруэнтности по модулю $\varpi$, в данной работе построена общая теория для модулю $\varpi^m$ - Это критически важно для изучения явлений высших порядков конгруэнтности ## Экспериментальная установка **Примечание**: Как чистая математическая теоретическая работа, данная статья не содержит численных экспериментов, но включает обширные теоретические проверки и приложения. ### Фреймворк теоретической верификации 1. **Условия предположений**: - $p$ — нечётное простое число, $p \nmid 2(2r-1)!N\phi(N)$ - $K/\mathbb{Q}$ — мнимое квадратичное поле с дискриминантом $-D_K$ - $p = \mathfrak{p}\bar{\mathfrak{p}}$ разлагается в $K$ - Удовлетворяет сильному условию Хегнера: каждый простой делитель $N$ разлагается в $K$ 2. **Конструируемые объекты**: - Схема Игусы $\text{Ig}(N)$ и её формальное пополнение - CM-точки $(A_{\mathfrak{a}}, \eta_{\mathfrak{a}})$ и их редукции - Координаты Серра-Тейта $t_{\mathfrak{a}}$ 3. **Методы верификации**: - Проверка действия Галуа на CM-точках через закон взаимности Шимуры - Проверка конгруэнтностей модулярных форм через принцип $q$-разложения - Проверка интерполяционных свойств $p$-адических $L$-функций через локально-глобальный принцип ## Основные результаты ### Теорема A (Теорема 5.12): Конгруэнтность $p$-адических $L$-функций BDP Пусть $f_1 \in S_{2r_1}(\Gamma_0(N_1))^{\text{new}}$, $f_2 \in S_{2r_2}(\Gamma_0(N_2))^{\text{new}}$ удовлетворяют: - Коэффициенты лежат в $p$-адическом поле $F$ - Индуцируют изоморфные mod $\varpi^m$ представления Галуа: $\bar{\rho}_{f_1} \cong \bar{\rho}_{f_2}$ Тогда имеет место конгруэнтность: $$\prod_{\ell|N_1N_2} P_{\mathfrak{v}}(f_1) L_p(f_1) \equiv \prod_{\ell|N_1N_2} P_{\mathfrak{v}}(f_2) L_p(f_2) \pmod{\varpi^m W\llbracket\Gamma_K^-\rrbracket}$$ **Следствия**: 1. $\mu(L_p(f_1)) = 0 \Leftrightarrow \mu(L_p(f_2)) = 0$ 2. Если $\mu(L_p(f_1)) = \mu(L_p(f_2)) = 0$, то $$\sum_{\ell|N_1N_2} \lambda(P_{\mathfrak{v}}(f_1)) + \lambda(L_p(f_1)) = \sum_{\ell|N_1N_2} \lambda(P_{\mathfrak{v}}(f_2)) + \lambda(L_p(f_2))$$ ### Теорема 6.2: Приложение к обобщённым циклам Хегнера Пусть $\chi = \hat{\phi}$ — антициклотомический характер Гекке с бесконечным типом $(j,-j)$ (где $-r < j < r$) и кондуктором $p^n\mathcal{O}_K$. Если $f_1, f_2$ как выше и $\mu(L_p(f_1)) = \mu(L_p(f_2)) = 0$, то $$v_p\left(\langle \prod_{\ell|N_1N_2} P_{\mathfrak{v}}(f_1)(\chi^{-1}) \log_p(z_{f_1,\chi}), \omega_f \otimes \omega_A^{r-1+j}\eta_A^{r-1-j}t^{1-2r}\rangle - \text{(слагаемое для } f_2)\right) \geq n\left(\frac{j+r-1}{2} - v_p(\chi_p^{-1}(p))\right) + v_p(\varpi^m)$$ Это даёт точные оценки конгруэнтности между логарифмами циклов Хегнера. ### Теорема 6.3: Следствие для веса 2 Для модулярных форм веса 2 приведённый выше результат упрощается до конгруэнтности логарифмов точек Хегнера: $$v_p\left(\langle \prod_{\ell|N_1N_2} P_{\mathfrak{v}}(f_1)(\chi^{-1}) \log_{\omega_{A_{f_1}}}(P_{f_1}(\chi^{-1})) - \text{(слагаемое для } f_2)\rangle\right) \geq \frac{n}{2} + v_p(\varpi^m)$$ Это обобщает результат Криза-Ли [10, Теорема 3.9]. ### Теорема 7.5: Распространение главной гипотезы Ивасавы Пусть $f_1$ удовлетворяет главной гипотезе Ивасавы (Гипотеза 7.4) и $\mu_{\text{anal}}(f_1) = \mu_{\text{alg}}(f_1) = 0$. Если $f_2$ удовлетворяет: - Условию делимости: $L_p(f_2)^2 \in \text{char}_\Lambda(X_p(K,A_2))$ - $\bar{\rho}_{f_1} \cong \bar{\rho}_{f_2} \pmod{\varpi}$ - $H^0(K_w, A_i) = 0$ для всех $w|\mathfrak{p}$ то $\mu_{\text{anal}}(f_2) = \mu_{\text{alg}}(f_2) = 0$ и $f_2$ также удовлетворяет главной гипотезе Ивасавы. **Ключевые моменты доказательства**: - Использование Теоремы 5.12 и Следствия 3.8 из [9] Лея-Мюллера-Ся для получения равенства $\mu$-инвариантов - Сравнение уравнений (7.1) и (7.2) для $\lambda$-инвариантов в сочетании с условием делимости для получения полной главной гипотезы ## Связанные работы ### Конгруэнтности в циклотомической теории Ивасавы 1. **Гринберг-Ватсал [1]** (2000): - Исследование инвариантов Ивасавы эллиптических кривых на циклотомических расширениях - Доказано, что для эллиптических кривых с изоморфными остаточными представлениями $\mu$-инварианты равны, а $\lambda$-инварианты отличаются на ограниченную величину 2. **Эмертон-Поллак-Вестон [2]** (2006): - Обобщение на вариацию инвариантов Ивасавы в семействах Хида - Построение систематического теоретического фреймворка ### Антициклотомическая теория Ивасавы 3. **Поллак-Вестон [6]**, **Ким [7]**, **Кастелла-Ким-Лонго [8]**: - Исследование конгруэнтностей и вариации инвариантов в **определённом** антициклотомическом случае - Данная работа исследует **неопределённый** случай, что технически существенно отличается 4. **Криз-Ли [9,10]** (2019, 2023): - Исследование конгруэнтностей логарифмов точек Хегнера в случае веса 2 - Использование метода стабилизации, но ограничено весом 2 и конгруэнтностями по модулю $\varpi$ - **Обобщение в данной работе**: произвольный вес, обобщённые циклы Хегнера, конгруэнтности по модулю $\varpi^m$ 5. **Кастелла и соавторы [11]** (2022): - Исследование антициклотомической главной гипотезы в точках Эйзенштейна - Может рассматриваться как обобщение [1, Теорема (1.3)] - **Данная работа**: обобщение [1, Теорема (1.4)] на BDP-случай ### Теория $p$-адических $L$-функций BDP 6. **Бертолини-Дармон-Прасанна [4]** (2013): - Конструкция обобщённых циклов Хегнера и $p$-адических рядов Ранкина $L$ - Установление $p$-адической формулы Гросса-Загира 7. **Бракочевич [5]** (2011), **Кастелла-Сие [3]** (2018): - Конструкция $p$-адических $L$-функций BDP через координаты Серра-Тейта - Данная работа тесно следует фреймворку [3], вводя новую интерпретацию операторов Гекке ### Позиционирование данной работы Данная работа вносит инновации в следующих аспектах: - **Случай**: От определённого к неопределённому антициклотомическому случаю - **Вес**: От веса 2 к произвольному чётному весу $2r$ - **Порядок конгруэнтности**: От модулю $\varpi$ к модулю $\varpi^m$ - **Техника**: Введение модульной интерпретации операторов Гекке, упрощение доказательств и ослабление предположений - **Приложения**: Единообразная обработка циклов Хегнера и главной гипотезы Ивасавы ## Заключение и обсуждение ### Основные выводы 1. **Теоретический вклад**: Построена систематическая теория конгруэнтных модулярных форм в антициклотомическом неопределённом случае, доказано, что $p$-адические $L$-функции BDP удовлетворяют конгруэнтности при изоморфности остаточных представлений. 2. **Инварианты Ивасавы**: Даны точные теоремы сравнения для инвариантов $\mu$ и $\lambda$, обобщающие классический результат Гринберга-Ватсала. 3. **Геометрическая интерпретация**: Через схему Игусы и координаты Серра-Тейта дана внутренняя геометрическая интерпретация операторов Гекке, критически важная для понимания вариации $p$-адических $L$-функций. 4. **Арифметические приложения**: - Точные оценки конгруэнтности для логарифмов циклов Хегнера - Свойство распространения главной гипотезы Ивасавы в семействах конгруэнтных форм ### Ограничения 1. **Условия предположений**: - Требуется условие Хегнера, в частности простые делители уровня должны разлагаться в $K$ - Для Теоремы 7.5 требуются дополнительные условия делимости и локальные условия 2. **Технические ограничения**: - Основные результаты в $p$-ordinary случае ($a_p(f) \in \mathbb{Z}_p^\times$) - Для supersingular случая требуются иные техники 3. **Область применения**: - Антициклотомический случай ограничивает типы применимых модулярных форм - Для общих расширений Галуа методы могут быть неприменимы напрямую ### Будущие направления 1. **Обобщение на другие случаи**: - Модулярные формы Гильберта и антициклотомическая теория на вполне вещественных полях - Аналогичные результаты для кватернионных алгебр (частично завершено Магроне [24]) 2. **Неordinary случай**: - Исследование теории конгруэнтности в supersingular простых числах - Возможно потребуется использование логарифмических отображений Перрина-Риу или высотных спариваний Нековаржа 3. **Явные вычисления**: - Вычисление явных констант конгруэнтности для конкретных модулярных форм (например, соответствующих эллиптическим кривым) - Проверка конкретных примеров главной гипотезы Ивасавы 4. **Связь с другими гипотезами**: - Исследование связи с гипотезой Блоха-Като - Изучение интерпретации в рамках программы Ленглендса ## Глубокая оценка ### Преимущества 1. **Теоретическая глубина**: - Успешное обобщение классических результатов циклотомической теории на антициклотомический неопределённый случай - Тщательная техническая обработка, особенно геометрических соотношений координат Серра-Тейта и CM-точек - Объединение нескольких предыдущих частичных результатов 2. **Методологические инновации**: - Модульная интерпретация операторов Гекке (Лемма 5.7) — ключевое нововведение, упрощающее доказательства - Техника обработки различий весов (использование символа Лежандра) демонстрирует глубокое теоретико-числовое понимание - Общая теория конгруэнтности по модулю $\varpi^m$ сильнее предыдущих работ 3. **Полнота результатов**: - Не только доказана конгруэнтность $p$-адических $L$-функций, но и даны точные соотношения для инвариантов Ивасавы - Приложения охватывают как циклы Хегнера, так и главную гипотезу Ивасавы - Теорема 7.5 демонстрирует распространение главной гипотезы в семействах конгруэнтных форм — результат большой ценности 4. **Качество изложения**: - Ясная структура работы, логичное развитие от предпосылок к приложениям - Полные технические детали, чёткие определения - Хорошо описаны связи с релевантной литературой ### Недостатки 1. **Множество условий предположений**: - Условие Хегнера ограничивает область применения - Теорема 7.5 требует дополнительных условий делимости, которые на практике могут быть трудны для проверки - Основные результаты в ordinary случае 2. **Отсутствие конкретных примеров**: - Как теоретическая работа, не содержит численных примеров - Некоторые явные вычисления помогли бы читателям в понимании 3. **Зависимость доказательств**: - Теорема 7.5 опирается на результаты Лея-Мюллера-Ся [9] - Условия исчезновения $\mu$-инварианта (ссылки [25,26]) имеют дополнительные предположения 4. **Технические детали**: - Разделы 2-3 с подготовительным материалом довольно объёмны, что может влиять на читаемость - Некоторые обозначения сложны (многоуровневые индексы) ### Влияние 1. **Вклад в область**: - Заполняет важный пробел в антициклотомической неопределённой теории - Предоставляет новую геометрическую перспективу на конгруэнтные модулярные формы - Устанавливает мосты между $p$-адическими $L$-функциями, циклами Хегнера и главной гипотезой Ивасавы 2. **Практическая ценность**: - Теорема A может использоваться для исследования инвариантов Ивасавы конкретных модулярных форм - Теорема 7.5 предоставляет новый путь для проверки главной гипотезы Ивасавы - Методы потенциально применимы к другим типам $p$-адических $L$-функций 3. **Воспроизводимость**: - Теоретические доказательства полны и логичны - Необходимые фоновые знания имеют явные ссылки - Основные результаты могут быть использованы и обобщены другими исследователями ### Области применения 1. **Теоретические исследования**: - Исследование арифметических свойств модулярных форм - Изучение явлений конгруэнтности представлений Галуа - Дальнейшее развитие теории Ивасавы 2. **Конкретные приложения**: - Исследование гипотезы Бёрча-Суиннертона-Дайера для эллиптических кривых - $p$-адическая интерполяция специальных значений $L$-функций - Вычисление структуры групп Селмера 3. **Направления обобщения**: - Модулярные формы Гильберта - Многомерные многообразия Шимуры - Другие типы представлений Галуа ## Ключевые ссылки [1] Greenberg, R., Vatsal, V.: On the Iwasawa invariants of elliptic curves. Invent. Math. 142(1), 17–63 (2000) [2] Emerton, M., Pollack, R., Weston, T.: Variation of Iwasawa invariants in Hida families. Invent. Math. 163(3), 523–580 (2006) [3] Castella, F., Hsieh, M.-L.: Heegner cycles and p-adic L-functions. Math. Ann. 370(1-2), 567–628 (2018) [4] Bertolini, M., Darmon, H., Prasanna, K.: Generalized Heegner cycles and p-adic Rankin L-series. Duke Math. J. 162(6), 1033–1148 (2013) [9] Lei, A., Müller, K., Xia, J.: On the Iwasawa invariants of BDP Selmer groups and BDP p-adic L-functions. Forum Mathematicum (2023) [10] Kriz, D., Li, C.: Goldfeld's conjecture and congruences between Heegner points. Forum Math. Sigma 7, 15–80 (2019) --- **Общая оценка**: Это высокого качества теоретическая работа по теории чисел, успешно обобщившая классические результаты циклотомической теории Ивасавы на антициклотомический неопределённый случай. Основной вклад работы заключается во введении геометрической интерпретации операторов Гекке, построении теории конгруэнтности для $p$-адических $L$-функций BDP и получении важных приложений к циклам Хегнера и главной гипотезе Ивасавы. Несмотря на множество условий предположений и высокие технические требования, работа закладывает прочный фундамент для дальнейших исследований в этой области и имеет значительную теоретическую ценность и потенциальные перспективы применения.