On $p$-adic Asai $L$-functions of Bianchi modular forms at non-ordinary primes and their decomposition into bounded $p$-adic $L$-functions

本文针对非寻常素数 $p$ 处的非寻常小斜率双曲模形式，利用 Asai-Eisenstein 元素构造了插值其 Asai $L$-函数扭曲临界值的 $p$-adic 分布，并在一定假设下将其分解为有界 $p$-adic $L$-函数的线性组合。

要点

这篇论文听起来像是一堆天书，充满了"p-进数”、“模形式”和"L-函数”这样的术语。但如果我们把它想象成一个**“寻找宇宙隐藏密码”**的故事，就会变得有趣得多。

想象一下，数学家们正在试图解开一个巨大的、复杂的数学谜题。这个谜题的核心叫做**"L-函数”。你可以把 L-函数想象成“宇宙的超级账本”**，里面记录了关于数字世界最深层的秘密（比如素数是如何分布的）。

1. 故事的主角：毕达哥拉斯的“双胞胎”

在这个故事里，主角是一种特殊的数学对象，叫**“比安基模形式” (Bianchi modular forms)**。

• 通俗理解：想象这些模形式是生活在“虚数世界”（一种特殊的数学空间）里的**“双胞胎精灵”**。它们非常聪明，身上刻满了数字的规律。
• 任务：我们要研究的是这些精灵身上的一个特定特征，叫做**"Asai L-函数”。这就像是精灵身上的一条“指纹”**，能告诉我们关于它们本质的关键信息。

2. 遇到的难题：普通的“放大镜”失灵了

数学家们以前发明了一种叫**"p-进 L-函数”**的工具。

• 比喻：这就像是一个**“超级放大镜”**。当精灵们表现得“温顺”（在数学上叫“普通”ordinary）时，这个放大镜能完美地捕捉到它们身上的“指纹”（L-函数的特殊值），并把它们记录下来。
• 问题：但是，有些精灵非常**“叛逆”**（在数学上叫“非普通”non-ordinary）。当面对这些叛逆的精灵时，旧的“超级放大镜”就失效了，它要么看不清，要么记录的数据会无限膨胀，变得无法处理（就像试图用一把尺子去测量无限长的绳子，尺子不够长，数据会爆炸）。

3. 作者的解决方案：建造一座“桥梁”

这篇论文的作者米希尔·德奥（Mihir Deo）做了一件很厉害的事：他发明了一种新的、更强大的工具，专门用来捕捉那些“叛逆精灵”的指纹。

• 第一步：制造“积木” (多项式)
  作者没有直接试图测量无限长的绳子，而是先造了一些**“积木块”**（论文中的多项式）。

  • 比喻：这些积木块就像是**“乐高零件”**。作者利用一种叫做"Asai-Eisenstein 元素”的特殊材料（这是以前的大佬们留下的宝藏），结合精灵身上的“模符号”（精灵的 DNA），拼装出了这些积木。
  • 关键点：这些积木非常聪明，它们之间有着严格的**“连接规则”**（同余性质）。就像乐高积木一样，如果你把不同大小的积木拼在一起，它们能严丝合缝地扣上。

• 第二步：搭建“桥梁” (插值分布)
  有了这些积木，作者把它们像搭桥一样，一块一块地拼起来。

  • 比喻：因为积木之间有规则，作者可以预测出无限远处的样子。他把这些积木拼成了一座**“通往未来的桥梁”。这座桥梁就是"p-进分布”**。
  • 成果：这座桥梁虽然看起来有点“摇晃”（因为数据增长很快，叫“无界”），但它成功地连接了现在的精灵和它们身上的“指纹”（L-函数的特殊值）。这意味着，无论精灵多么叛逆，我们都能通过这座桥读出它们身上的秘密。

4. 最后的魔法：把“大洪水”变成“可控的水流”

虽然桥梁搭好了，但上面的数据量太大（无界），就像洪水一样，很难直接用来做具体的数学计算（比如证明著名的“主猜想”）。

• 分解魔法：作者又用了一种类似**“分流大坝”**的技术（参考了 Pollack, Sprung 等人的方法）。
  • 比喻：他把汹涌的“洪水”（无界的 p-进分布）通过一个特殊的**“分流矩阵”，分解成了两股“温和的小溪流”**（有界的 p-进 L-函数）。
  • 意义：这两股小溪流虽然流量小，但是非常稳定、可控。数学家现在可以用这两股稳定的水流，去灌溉数学的田野，去验证那些关于数字世界的宏大猜想（比如 Iwasawa 主猜想）。

总结

这篇论文的核心成就可以这样概括：

1. 以前：我们只能看清那些“听话”的数学精灵（普通情况），对于“调皮”的精灵（非普通情况），我们的工具会失效。
2. 现在：作者发明了一套**“乐高积木”系统**（利用 Asai-Eisenstein 元素构造多项式），成功搭建了一座桥梁，让我们能看清那些“调皮”精灵身上的秘密。
3. 更进一步：他还把这座桥上汹涌的数据流，分流成了两股稳定、可控的小溪，为未来解决更难的数学谜题铺平了道路。

一句话总结：作者发明了一套新工具，成功破解了数学界中那些最难搞的“叛逆精灵”身上的密码，并把混乱的数据整理成了有序的规律，为未来的数学探索打开了新的大门。

技术摘要

这篇论文由 M. V. Deo 撰写，题为《非素点处 Bianchi 模形式的 p-进 Asai L-函数及其分解为有界 p-进 L-函数》。文章主要研究在 $p$ 为非素（non-ordinary）且斜率较小（small slope）的情况下，如何构造 Bianchi 模形式的 $p$-进 Asai L-函数，并将其分解为有界测度。

以下是该论文的详细技术总结：

1. 研究问题与背景

• 核心问题：构造 Bianchi 模形式（定义在虚二次域 $F$ 上的模形式）的 Asai L-函数（或称扭曲张量 L-函数）的 $p$-进版本。
• 现有局限：Loeffler 和 Williams 在 [21] 中已经解决了 $p$-素（ordinary）的情形，构造了插值临界值的 $p$-进测度。然而，在 $p$-非素（non-ordinary）的情形下，传统的利用单一 Asai-Eisenstein 元素（对应 $j=0$）的方法失效，因为此时 $p$-进 L-函数不再是测度，而是具有无界分母的分布（distribution）。
• 目标：
  1. 构造一个插值 Asai L-函数扭曲值的 $p$-进分布 $L^{\text{As}}_p(\Psi)$，适用于 $p$-非素且小斜率的 Bianchi 模形式 $\Psi$。
  2. 在特定假设下（如 $p$ 在 $F$ 中分裂），将该无界分布分解为两个有界 $p$-进 L-函数（signed p-adic L-functions）的线性组合。

2. 方法论

文章采用了一套结合了几何、上同调和 $p$-进分析的复杂技术体系：

• Asai-Eisenstein 元素与 Betti 上同调：

  • 利用 Loeffler-Williams 构造的 Asai-Eisenstein 元素（$\Xi_{pr, N, a}^{k, j}$），这些元素是 Euler 系统（如 Beilinson-Flach 元素）在 Betti 上同调中的类比。
  • 由于 Bianchi 流形是实流形而非代数簇，文章完全在 Betti 上同调框架下工作，避免了 étale 上同调。

• 多项式插值法 (Amice-Vélu / Višik 方法)：

  • 为了处理非素情形下的无界性，文章没有直接构造测度，而是构造了一族多项式 $P_{r, j}(T)$。
  • 这些多项式通过将模符号（modular symbol）$\phi^*_\Psi$ 与 Asai-Eisenstein 元素配对得到。
  • 利用 Amice-Vélu 和 Perrin-Riou 的插值技术，通过多项式的同余性质（congruence properties）来定义 $p$-进分布。

• 关键引理与同余关系：

  • 证明了新的同余引理（Lemma 5.7 和 Lemma 6.1），涉及 Asai-Eisenstein 元素的矩映射（moment maps）和 Clebsch-Gordan 映射。
  • 核心同余关系表明，特定加权和的多项式在模 $p^{jr}$ 下具有特定的有界性，这是构造 $p$-进分布的关键。

• 对数矩阵分解 (Logarithmic Matrix)：

  • 在 $p$ 分裂的情形下，利用作者在前作 [9] 中发展的对数矩阵（logarithmic matrix）技术。
  • 通过 Wach 模块（Wach modules）和晶格理论，将无界分布分解为两个有界测度的线性组合，类似于 Pollack、Sprung 以及 Lei-Loeffler-Zerbes 在椭圆模形式上的工作。

3. 主要结果

定理 A：$p$-非素情形下 $p$-进 Asai L-分布的构造

• 构造：对于 $p$-非素、小斜率（$v_p(a_p) < k+1$）的 Bianchi 本征形式 $\Psi$，构造了一个 $v_p(a_p)$-容许的 $p$-进分布 $\mathcal{L}^{\text{As}}_p(\Psi) \in \mathcal{H}_{E, v_p(a_p)}(\Gamma)$。
• 插值性质：该分布插值了 Asai L-函数 $L^{\text{As}}(\Psi, \theta, s)$ 的临界值。具体地，对于特征标 $\theta$ 和整数 $0 \le j \le k$：
  $$\int_{\mathbb{Z}_p^\times} x^j \theta(x) d\mathcal{L}^{\text{As}}_p(\Psi)(x) \propto L^{\text{As}}(\Psi, \theta, j+1)$$
  （当 $(-1)^j \theta(-1) = 1$ 时非零，否则为 0）。
• 独立性：构造不依赖于 Asai 动机（Asai motive）在 $\mathbb{Q}$ 上的存在性猜想。

定理 B：分解为有界 $p$-进 L-函数

• 设定：假设 $p$ 在 $F$ 中分裂（$p\mathcal{O}_F = \mathfrak{p}\bar{\mathfrak{p}}$），且 $\Psi$ 在 $\mathfrak{p}$ 处非素，在 $\bar{\mathfrak{p}}$ 处素（或满足特定斜率条件）。
• 分解：存在两个有界 $p$-进 L-函数（测度）$\mathcal{L}^{\text{As}, \sharp}_p$ 和 $\mathcal{L}^{\text{As}, \flat}_p$，以及一个对数矩阵 $\tilde{M}$，使得：
  $$\begin{pmatrix} \mathcal{L}^{\text{As}}_p(\Psi^{\tilde{\alpha}}) \\ \mathcal{L}^{\text{As}}_p(\Psi^{\tilde{\beta}}) \end{pmatrix} = \tilde{Q}^{-1} \tilde{M} \begin{pmatrix} \mathcal{L}^{\text{As}, \sharp}_p \\ \mathcal{L}^{\text{As}, \flat}_p \end{pmatrix}$$
  其中 $\Psi^{\tilde{\alpha}}, \Psi^{\tilde{\beta}}$ 是 $\Psi$ 的 $p$-稳定化形式。
• 意义：这使得在 $p$-非素情形下，可以定义有界的 $p$-进 L-函数，从而为建立 Iwasawa 主猜想（Iwasawa Main Conjecture）提供了基础。

4. 技术细节与贡献

1. 多项式构造：文章详细定义了多项式 $P_{r, j}(T)$，这些多项式通过配对模符号与 Asai-Eisenstein 元素得到。证明了这些多项式满足关键的范数和有界性条件（Lemma 6.4），从而保证了极限分布的存在性。
2. 同余引理的证明：通过研究混合层级的局部对称空间 $Y^*_F(m, mN)$ 和矩映射，证明了 Asai-Eisenstein 元素满足特定的同余关系（Lemma 5.7），这是连接不同层级 $p$-进数据的关键。
3. 推广 Loefler-Williams 的工作：将 [21] 中针对 $p$-素情形的构造成功推广到了 $p$-非素情形，解决了非素情形下 $p$-进 L-函数不再是测度这一技术障碍。
4. 避免动机猜想：整个构造过程完全基于模形式和上同调理论，不依赖于 Asai 动机的存在性，增强了结果的坚实性。

5. 意义与展望

• Iwasawa 理论：构造出的 $p$-进分布为在 Bianchi 模形式上建立 Asai L-函数的 Iwasawa 主猜想提供了核心对象。特别是分解出的有界 L-函数，允许定义“有符号”（signed）的 Selmer 群和主猜想。
• 非素情形的突破：这是首次系统地在 Bianchi 模形式的非素情形下构造 Asai L-函数，填补了该领域的空白。
• 方法论的普适性：文章展示的利用 Betti 上同调和多项式插值处理非素情形的技术，可能适用于其他类型的自守形式或动机。

综上所述，该论文通过引入新的多项式构造和同余技术，成功解决了 Bianchi 模形式在非素情形下 $p$-进 Asai L-函数的构造问题，并进一步实现了其向有界测度的分解，为后续研究 $p$-进 L-函数与算术几何（如 Selmer 群）之间的关系奠定了坚实基础。