技术摘要：凯勒流形退化中小特征值的渐近性

问题陈述

本文研究了一参数紧凯勒流形退化 $\pi: X \to S$ 的光滑纤维 $(X_s, \omega_s)$ 上拉普拉斯算子小特征值在参数 $s$ 趋近于奇异纤维 $X_0$ 时的渐近行为。

具体而言，设 $X_0$ 为唯一的奇异纤维。经过适当的基变换和正规化后，中心纤维分解为一个约化除子 $Z = \bigcup Z_j$，包含 $N$ 个不可约分支。虽然光滑纤维 $X_s$ 是连通的（恰好产生一个零特征值），但极限中心纤维 $Z$ 具有 $N$ 个连通分支，导致极限情况下存在 $N$ 个零特征值。因此，$X_s$ 上拉普拉斯算子的恰好 $N-1$ 个特征值，记为 $\lambda_1(s) \leq \dots \leq \lambda_{N-1}(s)$，必须随着 $s \to 0$ 而收敛于零。这些被称为“小特征值”。

核心问题在于确定这些特征值消失的精确速率。虽然吉川（Yoshikawa）确立了谱的连续性，但对于高维退化（特别是那些具有非约化或可约奇异纤维的退化）的精确渐近速率，仍然是一个未决问题。戴（Dai）和吉川先前的工作利用解析挠率，在假设奇异纤维为约化的前提下，解决了黎曼曲面（维数 $n=1$）的情况。本文旨在将这些结果推广到任意维数 $n$ 以及更一般的奇异纤维。

方法论

作者采用复分析技术的组合，以克服里奇曲率缺乏一致下界的问题（该曲率通常在 $s \to 0$ 时发散）。证明策略分为建立小特征值的下界和上界。

1. 下界：重缩一致 Skoda 估计与辅助复 Monge-Ampère 方程

为了建立下界，本文避免了经典的黎曼估计（由于曲率发散而失效），转而采用纯复分析途径：

• 重缩一致 Skoda 不等式：作者将李（Li）近期关于多重次调和函数的一致 Skoda 不等式推广到退化凯勒流形的设定中。关键步骤涉及将相对凯勒形式按因子 $|\log|s||^{-1}$ 进行重缩，以控制奇异纤维附近的体积增长。
• 辅助复 Monge-Ampère 方程方法：遵循 Guo–Phong–Song–Sturm–Tong 以及 Guedj–Tô 的框架，作者构造了辅助复 Monge-Ampère 方程。这些方程为泊松方程的解提供了均匀的 $L^\infty$ 估计。
• 综合：通过将重缩后的 Skoda 估计与从辅助复 Monge-Ampère 方法导出的拉普拉斯估计相结合，作者推导出了特征函数相对于特征值的 $L^\infty$ 范数的一致界，从而得到了下界估计。

2. 上界：定量收缩与测试函数

为了建立上界，本文推广了戴和吉川在黎曼曲面上使用的测试函数构造：

• 定量收缩：作者构造了一族微分同胚 $F_s$，将奇异纤维的光滑部分 $Z_{reg}$ 收缩到邻近的光滑纤维 $X_s$ 上。该构造是定量的，提供了关于距离扭曲以及拉回度量和体积形式收敛性的精确估计。
• 中心纤维上的测试函数：利用简单正常交叉（snc）奇异纤维的局部结构，作者在中心纤维的每个不可约分支上构造了一族光滑测试函数。这些函数被设计为在每个分支的主体部分为常数，并在奇异轨迹附近平滑地过渡到零。
• 极小极大原理：这些测试函数通过收缩映射 $F_s$ 被推前到光滑纤维 $X_s$ 上。通过对所得正交系应用极小极大原理，作者推导出了特征值的上界。

主要结果

主定理

本文证明了小特征值以对数速率衰减。具体而言，如果 $N \geq 2$（即奇异纤维具有至少两个对体积有贡献的不可约分支），则存在常数 $C_1, C_2 > 0$，使得对于所有 $0 < |s| \leq 1/2$：
$$C_1 |\log|s||^{-1} \leq \lambda_1(s) \leq \dots \leq \lambda_{N-1}(s) \leq C_2 |\log|s||^{-1}$$
该结果适用于一般的退化，包括具有非约化和可约奇异纤维的退化，从而推广了戴–吉川关于黎曼曲面的结果。

技术贡献

1. 推广到高维：本文解决了任意复维数 $n$ 下凯勒退化中小特征值渐近性的问题，消除了先前工作中的维数限制。
2. 放宽奇点假设：与假设奇异纤维为约化的戴–吉川结果不同，本文通过利用半稳定约化并分析具有正体积的不可约分支的数量，处理了更一般的奇异纤维（包括非约化情形）。
3. 新的分析工具：本文成功地将辅助复 Monge-Ampère 方程方法和李的一致 Skoda 不等式适应于退化设定，为仅适用于一维的解析挠率方法提供了一种稳健的替代方案。

应用与意义

几何分析估计

对小特征值的精确控制使得几何分析中的估计得以细化：

• 格林函数界：作者推导出了纤维格林函数 $G_s(x, y)$ 的下界，形式为 $G_s(x, y) \geq -C |\log|s||$。该界对于分析退化族上的多重次调和函数族及泊松方程的解至关重要。
• 泊松方程估计：结果给出了纤维泊松方程 $\Delta_{\omega_s} \phi_s = g$ 解的一致估计，表明 $\|\phi_s\|_{L^\infty} \leq C |\log|s|| \|g\|_{L^\infty}$。

典范度量中的实例

本文讨论了特定几何背景下的现象：

• 卡拉比 - 丘退化：特征值的行为取决于本质骨架（essential skeleton）的维数。如果骨架维数 $\geq 1$，直径按 $|\log|s||^{1/2}$ 增长，导致小特征值具有 $|\log|s||^{-1}$ 量级。
• 双曲曲线：对于双曲曲线的退化，结果恢复了已知的 $N-1$ 个小特征值，其量级为 $|\log|s||^{-1}$。
• 法诺流形：本文指出，对于法诺流形，利希纳罗维茨（Lichnerowicz）定理保证了第一个非零特征值具有一致的正下界，因此不会出现小特征值。

非阿基米德视角

作者提出了复分析谱行为与非阿基米德极限（混合收敛）之间的猜想联系。本文表明，$N-1$ 个小特征值对应于定义在中心纤维对偶图上的加权图拉普拉斯算子的正特征值，其中权重由极限非阿基米德 Monge-Ampère 测度决定。这提供了一个谱收敛原理，即重缩特征值 $|\log|s|| \lambda_k(s)$ 预计收敛于图拉普拉斯算子的特征值。

结论

本文完整刻画了紧凯勒流形退化中小特征值的渐近速率。通过将重缩 Skoda 不等式与辅助复 Monge-Ampère 方程相结合，本文确立了所有维数和奇异纤维类型下的最优对数衰减速率 $|\log|s||^{-1}$。这项工作不仅推广了先前关于黎曼曲面的结果，也为几何分析和非阿基米德几何的进一步应用打开了大门。