Extremal mappings of tori, Teichmüller potentials and symmetric-space distance

技術要約：トーリの極値写像、テヒミュラー・ポテンシャル、および対称空間距離

問題提起
対称空間 $X_n = SL(n, \mathbb{R})/SO(n)$ は、マークされた単位体積の $n$ 次元平坦トーリのテヒミュラー空間と同一視される。この空間は、一意な（スケールを除いて）$SL(n, \mathbb{R})$ 不変リーマン計量 $d_{X_n}$ を備えている。$n=2$ の場合は1939年にテヒミュラーによって解決されており、双曲計量 $d_{X_2}$ を、トーリ間の写像の最小準共形拡張係数に関する極値問題の解として解釈しているが、$n \ge 3$ における同様のモジュラー的解釈は未解決のままであった。

著者らは、自然な候補となるものが $n \ge 3$ では失敗することを指摘している。具体的には、ホモトピー類内におけるリプシッツ定数（最小拡張係数）、準共形拡張係数、または全エネルギー（微分のヒルベルト・シュミットエネルギー）を最小化しても、対称空間距離 $d_{X_n}$ は得られない。本論文は、平坦トーリ間のリプシッツ写像の空間上で定義された、インフィマム（下限）が $d_{X_n}$ を回収するような汎関数を見出すという問題に取り組んでいる。

手法および定義
本論文では、「テヒミュラー・ポテンシャル」と呼ばれる2つの新しい汎関数を導入しており、これらは閉リーマン多様体間のリプシッツ写像 $f: M \to N$ 上に定義される。これらは微分 $Df$ の特異値から構成される。

1. 特異値と準備： 内積空間間の線形写像 $A: E \to F$ に対し、特異値を $\sigma_1 \ge \sigma_2 \ge \dots \ge 0$ とする。$k$ 次拡張係数 $Dilk(f)$は、外積の演算子ノルム$|\wedge^k Df_p|$の本質的上限である。$k$次ヒルベルト・シュミットエネルギー$E_k(f)$は、$\wedge^k Df_p$ の二乗ヒルベルト・シュミットノルムの多様体上の積分である。

2. 全拡張 ($TE$)： 全拡張は以下のように定義される：
   $$TE(f) = \sqrt{\sum_{k=1}^r (\log Dilk(f) - \log Dilk-1(f))^2}$$
   ここで $r = \min(\dim M, \dim N)$ である。この汎関数は、$k$ 次拡張係数を単一の $L^\infty$ 型の量へと集約したものである。

3. **ヒルベルト・シュミット拡張 ($HE$)：** ヒルベルト・シュミット拡張は、「ヒルベルト・シュミットエネルギー多項式」$P_f(t) = \sum E_k(f) t^k$から導かれる。もし$P_f(t)$が$\prod (1 + y_k t)$ と因数分解できるならば、
   $$HE(f) = \frac{1}{\sqrt{2}} \sqrt{\sum (\log y_k)^2}$$
   である。この汎関数は、エネルギー密度を積分した $L^2$ 型の量である。

著者らは、トレース不等式とメジャー化（優位性）を用いた線形代数の補題（補題2.4）を利用して、線形写像を比較し、さらに平坦なカレントのホモトピー公式を用いて、形式のプルバックの積分とホモトピー類を関連付けている。

主要な結果
主定理（定理1.1）は、$n$ 次元平型トーリ $T_0$ と $T_1$、および絶対次数 $d = \text{vol}(T_0)/\text{vol}(T_1)$ を持つホモトピー類 $F$ に対して、以下のことを確立している：

1. アフィン写像による最小化： $TE(f)$と$HE(f)$は、ホモトピー類$F$ における体積保存リプシッツ写像の集合上で最小値をとる。決定的なことに、これらの最小値は、その類におけるアフィン写像（平行移動群に関して同変な写像）のみによって達成される。
2. 対称空間距離の回収： これらの汎関数の最小値は、マークされたトーリ間の対称空間距離に等しい：
   $$d_{X_n}((T_0, F_0), (T_1, F_1)) = \inf_{h \in F_1 \circ F_0^{-1}} TE(h) = \inf_{h \in F_1 \circ F_0^{-1}} HE(h)$$
   ここで、インフィマムは体積保存リプシッツ写像の上で取られる。

本論文は、$Dilk$および$E_k$汎関数がアフィン写像によって最小化されることの証明（定理2.1）を提供している。さらに、これらの汎関数の特定の組み合わせとして定義された$TE$および$HE$が、この最小化特性を保持し、かつ$X_n$ 上の測地線距離を正しく計算することを示している。

意義と範囲
本論文は、$n \ge 3$ において、対称空間距離 $d_{X_n}$ を極値写像問題を通じてモジュラー的に解釈するという長年の課題を解決したと主張している。標準的な候補（リプシッチ定数、準共形拡張係数、全エネルギー）は、異なる対称空間距離を区別できないことを強調している（注釈2.6参照）。これに対し、新たに定義されたポテンシャル $TE$および$HE$ は成功している。

著者らはこれらの結果を クマー・オービフォールド（Kummer orbifolds） にも拡張し（定理3.4）、これらのオービフォールドの対称空間距離もまた、体積保存リプシッツ写像を最小化することで同様に実現されることを示している。

さらに、本論文は、ヒルベルト・シュミット拡張の無限小バージョンとリーマン計量の空間の幾何学との関連性を示している。命題3.1は、$HE$が固定体積の計量の空間上の標準的なリーマン計量を誘導することを示している。種数$g \ge 2$ の曲面の文脈では、これはワイル・ペーターソン計量を回収する（例3.2）。

最後に、本論文は、これらの結果を K3 曲面のリーマン平坦計量のテヒミュラー空間へ拡張すること（問題3.5）、および $HE$のインフィマムが計量のモジュライ空間上のパス距離を決定する他の多様体を特定すること（問題3.6）に関する未解決問題を提示している。著者らは、定理2.1を導出するための$k$ 次拡張係数およびヒルベルト・シュミットエネルギーを用いるアイデアが、ChatGPT Pro との対話に由来すること、および Claude Pro が証明のチェックを支援したことを明記している。