[论文解读] Classification of tight homomorphisms

Oskar Hamlet, Maria Beatrice Pozzetti|arXiv (Cornell University)|Dec 19, 2014

Advanced Algebra and Geometry参考文献 10被引用 4

一句话总结

本文通过分析可约域，完成了对酉对称空间之间紧同态的分类，证明此类映射除非涉及 $σ(1,1)$ 因子，否则均为全纯映射。关键结果表明，紧同态的酉包络是 $σ(2m,\mathbb{R})$ 与非 $σ(1,1)$ 因子的直和，且提供了显式矩阵实现，除可能存在于 $͕_7(-25)$ 中的异常嵌入外。

ABSTRACT

A totally geodesic map $f:\mathcal X_1 o\mathcal X_2$ between Hermitian symmetric spaces is tight if its image contains geodesic triangles of maximal area. Tight maps were first introduced in [BIW09], and were classified in [Ham13, Ham14, HO14] in the case of irreducible domain. We complete the classification by analyzing also maps from reducible domains. This has applications to the study of maximal representations and of the Hitchin component for representations in the groups $Sp(2n,\mathbb R)$.

研究动机与目标

• 通过分析来自可约域的映射，完成对酉对称空间之间紧同态的分类，扩展先前对不可约情形的研究。
• 确定来自可约酉李代数的紧映射是否必然全纯，以填补文献中的空白。
• 显式描述紧同态的酉包络，识别其作为特定李代数直和的结构。
• 提供所有紧嵌入的完整列表，除可能存在于 $͕_7(-25)$ 中的异常情形外。
• 通过经典李代数中的显式矩阵表示刻画紧映射的像，并识别可交换子图。

提出的方法

• 利用通过凯勒形式 $\omega$ 定义的面积不变量 $\beta_{\mathcal{X}}$，测量酉对称空间中最大面积测地三角形。
• 应用酉包络 $\mathcal{H}(\rho)$ 的概念，定义为包含同态 $\rho$ 的像的最小全纯嵌入对称子空间。
• 通过条件：在像上 $|\beta_{\mathcal{X}_2}|$ 的上确界等于其在 $\mathcal{X}_2$ 上的全局最大值，分析紧映射。
• 通过将定义域李代数 $\mathfrak{g}$ 分解为 $\mathfrak{su}(1,1)^l \oplus \mathfrak{g}_1 \oplus \cdots \oplus \mathfrak{g}_k$（其中 $\mathfrak{g}_i$ 不同构于 $\mathfrak{su}(1,1)$）来分类紧同态。
• 显式构造同态 $\rho: \mathfrak{g} \to \mathfrak{h}$，采用包含 $\rho_1(X)$、$X_i$ 和 $\rho_{r_j}(Y_j)$ 的分块对角形式，确保与酉结构相容。
• 运用表示论，包括 $\mathfrak{sl}(2,\mathbb{R})$ 到 $\mathfrak{sp}(2n,\mathbb{R})$ 的不可约表示，以描述紧映射的结构。

实验结果

研究问题

• RQ1 来自可约酉李代数的紧同态是否必然全纯，除非涉及 $\mathfrak{su}(1,1)$ 因子？
• RQ2 对于紧的、正定的、单射的同态 $\rho: \mathfrak{g} \to \mathfrak{h}$，其酉包络 $\mathcal{H}(\rho)$ 的结构为何？
• RQ3 所有酉李代数之间的紧嵌入是否均可显式列出？其定义域与目标代数有何约束？
• RQ4 是否存在非全纯的紧同态映入 $\mathfrak{e}_7(-25)$？若存在，能否排除？
• RQ5 紧同态的矩阵实现如何反映定义域代数不可约分量的分解？

主要发现

• 定理 1.1 证明：若同态 $\rho: \mathfrak{g} \to \mathfrak{h}$ 是紧的、正定的、单射的，且 $\mathfrak{g}$ 不含 $\mathfrak{su}(1,1)$ 因子，则其为全纯映射。
• 紧同态 $\rho: \mathfrak{g} \to \mathfrak{h}$ 的酉包络 $\mathcal{H}(\rho)$ 同构于 $\bigoplus_{j=1}^{l} \bigoplus_{l=1}^{n_{j}} \mathfrak{sp}(2m_{jl},\mathbb{R}) \oplus \mathfrak{g}_1 \oplus \cdots \oplus \mathfrak{g}_k$，且其到 $\mathfrak{h}$ 的包含映射为全纯且紧的。
• $\rho: \mathfrak{g} \to \mathcal{H}(\rho)$ 的同态分解为：在 $\mathfrak{su}(1,1)$ 因子上为不可约表示的直和，在 $\mathfrak{g}_i$ 因子上为恒等映射。
• 对于 $\mathfrak{g} \to \mathfrak{so}(2,p)$，所有紧同态均为标准包含与不可约表示 $\rho_3$ 的复合，非可交换子图以红色标出。
• 对于 $\mathfrak{g} \to \mathfrak{e}_6(-14)$，所有紧同态均为可交换图中箭头的复合，非可交换子图涉及 $\mathfrak{su}(1,1)$ 对。
• 对于 $\mathfrak{g} \to \mathfrak{e}_7(-25)$，尽管无法排除非全纯的紧映射，但所有已知的全纯紧同态均可实现为映入 $\mathfrak{so}(2,10)$ 的标准包含与映入 $\mathfrak{e}_7(-25)$ 的嵌入的复合，且提供了显式图示。