Critical-point-free energy for fractional-Toledo representations

技术摘要：分数型 Toledo 表示的无临界点能量函数

问题陈述
本文研究了与还原表示 $\rho: \pi_1(S_g) \to PU(2, 1)$ 相关的 Teichmüller 空间 $\mathcal{T}(S_g)$ 上的能量函数 $E_\rho$，其中 $S_g$ 是亏格为 $g \ge 2$ 的闭定向曲面。能量函数通过从 $(\tilde{S}_g, J)$ 到复双曲空间 $\mathbb{CH}^2$ 的等变调和映射 $f_{\rho, J}$ 定义。能量函数的临界点对应于 Hopf 微分消失的复结构 $J$，这意味着该调和映射是一个（可能是分支的）极小浸入。

核心问题在于：能量函数 $E_\rho$ 是否在由非整数 Toledo 不变量索引的 $PU(2, 1)$ 特征簇连通分支中始终存在临界点？此前的工作（Goldman–Wentow）已经证明，对于凸紧紧致表示 $\sigma$，能量函数 $E_\sigma$ 是适当函数（从而能达到最小值）；然而，对于具有非平凡核或特定几何约束的非整数 Toledo 分量中的表示 $\rho$，其能量函数 $E_\rho$ 的行为仍是开放问题。具体而言，作者探讨了从等变分支极小曲面模空间到特征簇的遗忘映射在这些分量中是否为满射。

方法论
作者构造了一个特定的不可约还原表示族 $\rho_{g,h,d}$，并证明其相关的能量函数没有临界点。其方法论分为三个阶段：

1. 表示的构造：
   构造始于 Bronstein 的几乎 Fuchsian 表示 $\rho_0: \pi_1(S_h) \to PU(2, 1)$，其中 $S_h$ 是亏格为 $h$ 的曲面。这些表示存在一个 $\rho_0$-等变的全纯嵌入 $F: \tilde{S}_h \to \mathbb{CH}^2$，其像 $Y$ 是一个完整的、极小的、几乎 Fuchsian 曲面，且具有较小的第二基本形式（$\|II_F\|_{op} \le \eta < 1/2$）。
   目标表示 $\rho$ 通过将 $\rho_0$ 与由定向保持度数为 1 的捏合映射 $P: S_g \to S_h$（该映射塌缩了 $g-h$ 个把手）诱导的满同态 $P_*: \pi_1(S_g) \to \pi_1(S_h)$ 进行复合来定义。因此，$\rho = \rho_0 \circ P_*$。该表示是不可约且还原的（与 $\rho_0$ 共享相同的像），但不是忠实的，具有非平凡的核。

2. 定量几何陷阱：
   作者建立了一个“分支陷阱”引理。他们利用 Bronstein 的法指数定理定义了 $\mathbb{CH}^2$ 上的平方距离函数 $\Psi(x) = d(x, Y)^2$。他们证明了对于 $\mathbb{CH}^2$ 切空间中的任何二平面，$\Psi$ 的 Hessian 的迹满足一个一致的点处不等式。
   具体而言，对于从闭黎曼曲面 $M$ 到 $\mathbb{CH}^2$ 的弱共形调和映射 $f$，如果基本群的像保持 $Y$，则复合映射 $u = \Psi \circ f$ 满足微分不等式 $\Delta_M u \ge c u$（其中 $c > 0$ 取决于到 $Y$ 的距离）。根据极大值原理，如果 $u$ 是非负的且定义在紧曲面上，则 $u$ 必须是常数。如果映射是非常数的，这迫使 $u \equiv 0$，意味着 $f$ 的像完全位于极小曲面 $Y$ 之内。

3. 拓扑矛盾：
   假设 $E_\rho$ 存在临界点 $J$，则相关的调和映射 $f$ 必须是弱共形的。根据陷阱引理，$f$ 将映射到 $Y$。由于 $F: \tilde{S}_h \to Y$ 是一个嵌入，因此 $f$ 会提升为一个映射 $H: \tilde{S}_g \to \tilde{S}_h$。$f$ 与 $F$ 的等变性意味着 $H$ 关于 $P_*$ 是等变的。
   $H$ 被证明是两个黎曼曲面之间的一个非常数、弱共形调和映射，这意味着它是全纯或反全纯的。由于捏合映射 $P$ 的度数为 1，因此 $H$ 的度数也是 1。两个紧黎曼曲面之间度数为 1 的非常数全纯映射必为双全纯映射，这意味着定义域的亏格（$g$）必须等于目标域的亏格（$h$）。这与构造假设 $g > h$ 相矛盾。

主要贡献与结果
主要结果是 定理 1.1，它指出：
对于每一个满足 $3 \nmid d$ 的正整数 $d$，存在一个阈值 $h_0(d)$，使得对于所有 $h \ge h_0(d)$ 且所有 $g > h$，都存在一个不可约还原表示 $\rho_{g,h,d}: \pi_1(S_g) \to PU(2, 1)$，其 Toledo 不变量为：
$$\tau(\rho_{g,h,d}) = \frac{2h - 2 - 2d}{3} \notin \mathbb{Z}$$
使得能量函数的临界点集为空：
$$\text{Crit}(E_{\rho_{g,h,d}}) = \emptyset$$

意义与主张
该论文提出了以下具体的理论含义：

• 适当性的失效： 该结果表明，即使作为定义域群的表示是凸紧致的，只要其不是作为定义域群的凸紧致表示，能量函数 $E_\rho$ 就不是适当的。由于失去了忠实性（非平凡核），导致能量函数无法达到下确界。
• 遗忘映射的非满射性： 该构造提供了 $PU(2, 1)$ 特征簇中（特别是在非整数 Toledo 分量中）位于等变分支极小曲面模空间遗忘映射像之外的具体点。这解决了先前文献 [LM19] 中提出的关于像的问题。
• 非整数性的角色： 作者澄清，非整数 Toledo 不变量本身并不排除极小曲面的存在（因为在其他分数型 Toledo 分量中已知存在此类曲面）。这里的障碍特指由几乎 Fuchsian 曲面提供的几何屏障与度数为 1 的捏合映射共同作用的结果。
• 技术创新： 论文为平方距离屏障制定了一个“一致二平面迹不等式”，该不等式甚至适用于带有分支点的弱共形调和映射，从而避免了在奇异点处进行极限论证的需求。

总而言之，本文构造了一类表示，在这些表示中，由像子群施加的几何约束与由定义域群施加的拓扑约束是不相容的，从而证明了遗忘映射在特定的非整数 Toledo 分量中的非满射性。