Critical-point-free energy for fractional-Toledo representations

技術的要約：分数型トレド表現における臨界点のないエネルギー

問題設定
本論文は、閉じた向き付け可能曲面 $S_g$（$g \ge 2$）の基本群 $\pi_1(S_g)$ から $PU(2, 1)$への簡約表現$\rho$に関連する、テイチミュラー空間$\mathcal{T}(S_g)$上のエネルギー関数$E_\rho$を調査している。エネルギー関数は、複素双曲空間$\mathbb{CH}^2$への等変調和写像$f_{\rho, J}: (\tilde{S}g, J) \to \mathbb{CH}^2$を通じて定義される。$E\rho$の臨界点は、ホップ・微分形式が消滅する複素構造$J$ に対応し、これは調和写像が（おそらく分岐を持つ）極小浸入であることを意味する。

本研究が取り組んでいる中心的な問いは、特に非整数値のトレド不変量によって索引付けられた $PU(2, 1)$特性多様体の連結成分において、エネルギー関数$E_\rho$ が常に臨界点を持つかどうかである。先行研究（Goldman–Wentow）では、凸コーカパクトな表現 $\sigma$ に対して $E_\sigma$ は固有（proper）であること（したがって最小値に達すること）が確立されているが、非自明な核を持つ表現や、特定の幾何学的制約を持つ非整数値トレド成分における $E_\rho$ の挙動は未解決のままであった。具体的には、著者らは、等変分岐極小面のモジュライ空間から特性多様体への忘却写像が、これらの成分において全射であるかどうかを検討している。

手法
著者らは、特定の既約簡約表現 $\rho_{g,h,d}$ の族を構成し、それらに関連するエネルギー関数が臨界点を持たないことを示す。その手法は、主に以下の3つの段階で進行する。

1. 表現の構成:
   構成は、種数 $h$ の曲面に対するブロンシュタインのほぼ・フックス的（almost-Fuchsian）表現 $\rho_0: \pi_1(S_h) \to PU(2, 1)$ から始まる。これらの表現は、$\rho_0$-等変な正則埋め込み $F: \tilde{S}_h \to \mathbb{CH}^2$ を持ち、その像 $Y$ は、第2基本形式が小さい（$\|II_F\|_{op} \le \eta < 1/2$）完全な極小なほぼ・フックス面である。
   標的となる表現 $\rho$ は、向きを保存する次数1のピンチ写像 $P: S_g \to S_h$（$g-h$ 個のハンドルを潰す写像）によって誘導される準同型 $P_*: \pi_1(S_g) \to \pi_1(S_h)$ によって $\rho_0$ を前合成することで定義される。すなわち、$\rho = \rho_0 \circ P_*$ である。この表現は既約かつ簡約であるが（$\rho_0$ と同じ像を共有する）、忠実ではなく、非自明な核を持つ。

2. 定量的幾何学的トラッピング:
   著者らは「分岐トラッピング（branched trapping）」補題を確立する。彼らは、$\mathbb{CH}^2$ 上の距離の二乗関数 $\Psi(x) = d(x, Y)^2$ を定義するために、ブロンシュタインの法指数関数定理を利用する。彼らは、$\mathbb{CH}^2$ の接空間内の任意の2平面における $\Psi$ のヘッセ行列のトレースに関する一様な点別不等式を証明する。
   具体的には、閉曲面 $M$ から $\mathbb{CH}^2$ への弱共形調和写像 $f$ について、基本群の像が $Y$ を保存する場合、合成 $u = \Psi \circ f$ は微分不等式 $\Delta_M u \ge c u$ （ここで $c > 0$ は $Y$ への距離に依存する）を満たす。最大値原理により、$u$ が非負でありコンパクトな曲面上で定義されている場合、$u$ は定数でなければならない。もし写像が非定数であれば、これは $u \equiv 0$ を強制し、写像の像が完全に極小面 $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$ は、リーマン面間の非定数な弱共形調和写像であることが示され、これは $H$ が正則または反正則であることを意味する。ピンチ写像 $P$ の次数が1であるため、$H$ の次数も1である。コンパクトなリーマン面間の次数1の非定数正則写像は双正則写像であり、これはドメインの種数（$g$）がターゲットの種数（$h$）と等しくなければならないことを意味する。これは、構成上の仮定である $g > h$ と矛盾する。

主要な貢献と結果
主要な結果は定理 1.1であり、以下のように述べている：
任意の正の整数 $d$（ただし $3 \nmid d$）に対して、すべての $h \ge h_0(d)$ およびすべての $g > h$ について、トレド不変量が次を満たす既約簡約表現 $\rho_{g,h,d}: \pi_1(S_g) \to PU(2, 1)$ が存在する：
$$\tau(\rho_{g,h,d}) = \frac{2h - 2 - 2d}{3} \notin \mathbb{Z}$$
このようなとき、エネルギー関数の臨界点の集合は空である：
$$\text{Crit}(E_{\rho_{g,h,d}}) = \emptyset$$

意義と主張
本論文は、いくつかの具体的な理論的含意を主張している：

• 固有性の失敗: この結果は、ドメインの群としての表現が凸コーカパクトでない場合（たとえその像のサブグループが凸コーカパクトであっても）、エネルギー関数 $E_\rho$ は固有ではないことを示している。忠実性の喪失（非自明な核）により、エネルギー関数が下限に達しないという劇的な失敗が生じる。
• 忘却写像の非全射性: この構成は、特性多様量（特に非整数値のトレド成分において）の中に、等変分岐極小面のモジュライ空間からの忘却写像の像の外側に位置する、具体的な点を提供している。これは、先行研究 [LM19] で提起された像の問題を解決するものである。
• 非整数値の役割: 著者らは、トレド不変量の非整数性自体が極小面の存在を排除するものではないこと（そのような面は他の分数型トレド成分においても存在することが知られているため）を明確にしている。ここでの障害は、具体的には、ほぼ・フックス的な曲面によって提供される幾何学的障壁と、次数1のピンチ写像の組み合わせから生じている。
• 技術的革新: 本論文は、分岐点においても、分岐点における特異点での極限議論を必要とせずに、平方距離障壁に対する「一様な2平面トレース不等式」を定式化している。

要約すると、本論文は、ドメイン群による幾何学的制約とターゲットとなるサブグループによる幾何学的制約が、エネルギー関数の臨界点の存在と両立しないような表現のクラスを構成しており、それによって、特性多様量の特定の非整数成分における忘却写像の非全射性を証明している。