[论文解读] Eichler-Shimura isomorphism for complex hyperbolic lattices

Инканг Ким, Genkai Zhang|arXiv (Cornell University)|Mar 1, 2013

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

一句话总结

本文为 $SU(n,1)$ 中复双曲格点的 Eichler-Shimura 同构提供了初等证明，表明取值于对称张量表示 $S^m(\mathbb{C}^{n+1})$ 的调和 1-形式恰好是商流形 $\Gamma\backslash B$ 上的 $(0,1)$-形式。关键结果将 $H^1(\Gamma, \rho_m)$ 与 Dolbeault 上同调 $H^{1,0}(\Gamma\backslash B, S^m TX \otimes \mathcal{L}^{-m})$ 关联起来，将经典结果推广至高秩 Hermitian 对称空间。

ABSTRACT

We consider the cohomology group $H^1(Γ, ρ)$ of a discrete subgroup $Γ\subset G=SU(n, 1)$ and the symmetric tensor representation $ρ$ on $S^m(\mathbb C^{n+1})$. We give an elementary proof of the Eichler-Shimura isomorphism that harmonic forms $H^1(Γ\backslash G/K, ρ)$ are $(0, 1)$-forms for the automorphic holomorphic bundle induced by the representation $S^m(\mathbb C^{n})$ of $K$.

研究动机与目标

• 为 $SU(n,1)$ 中复双曲格点的 Eichler-Shimura 同构提供一种初等且直接的证明。
• 证明 $H^1(\Gamma, \rho_m)$ 中的调和上同调类对应于取值于 $S^m TX \otimes \mathcal{L}^{-m}$ 的 $(0,1)$-形式，其中 $\rho_m = S^m(\mathbb{C}^{n+1})$。
• 通过统一的表示论方法，将经典 Eichler-Shimura 对应关系推广至高秩 Hermitian 对称空间，特别是 $n > 1$ 的情形，避免依赖 Koszul 复形与 Hodge 范性定理等高级工具。

提出的方法

• 使用 Cartan 分解 $\mathfrak{g} = \mathfrak{k} \oplus \mathfrak{p}$，并将对称空间 $B = G/K$ 识别为 $\mathbb{C}^n$ 中的单位球面。
• 通过李代数作用 $\rho^+(\xi_v)$ 显式分析 $\mathfrak{p} \cong \mathbb{C}^n$ 在表示空间 $S^m(\mathbb{C}^{n+1})$ 上的作用。
• 利用 $\mathfrak{k}$ 中的中心元素 $H_0$ 在表示空间上定义滤子，从而实现权空间的分解。
• 应用 $\bar{\partial}$-闭性条件与 $\partial$-方程，证明调和形式必为 $(0,1)$-形式。
• 识别线丛 $\mathcal{L}^{-1}$，使得 $\mathcal{L}^{-(n+1)} = \mathcal{K}_X$（即 canonical bundle），并利用此对全纯向量丛 $S^m TX$ 进行扭量。
• 借助 Serre 对偶性及关于紧 Riemann 曲面上线丛上同调的已知结果，将上同调群与全纯截面空间关联起来。

实验结果

研究问题

• RQ1 如何在不依赖 Koszul 复形或 Hodge 范性定理的前提下，对 $n > 1$ 的 $SU(n,1)$ 中复双曲格点，以初等方式证明 Eichler-Shimura 同构？
• RQ2 取值于对称张量表示 $S^m(\mathbb{C}^{n+1})$ 的调和 1-形式在 $\Gamma\backslash B$ 上的精确几何与上同调解释为何？
• RQ3 能否通过统一的表示论方法，将 $n=1$ 情形（即 Riemann 曲面）的经典 Eichler-Shimura 对应关系推广至高秩 Hermitian 对称空间？

主要发现

• 证明了 $H^1(\Gamma, \rho_m)$ 中的调和 1-形式为取值于全纯向量丛 $S^m TX \otimes \mathcal{L}^{-m}$ 的 $(0,1)$-形式，其中 $\mathcal{L}^{-1}$ 为 tautological 线丛的对偶。
• 对于对偶表示 $\rho_m'$，调和 1-形式为在所有 $m+1$ 个变量上对称的 $(1,0)$-形式，因此自然对应于 $S^{m+1} T^*X \otimes \mathcal{L}^m$ 的截面，从而建立对偶性。
• $H^1(\Gamma, \rho_m)$ 同构于 Dolbeault 上同调 $H^{1,0}(\Gamma\backslash B, S^m TX \otimes \mathcal{L}^{-m})$，而 $H^1(\Gamma, \rho_m')$ 同构于 $H^{0,0}(\Gamma\backslash B, S^{m+1} T^*X \otimes \mathcal{L}^m)$，从而在该设定下确认了 Eichler-Shimura 同构。
• 该方法适用于 $n=1$ 情形（即 Riemann 曲面），为经典 Eichler-Shimura 对应关系提供了初等证明，即 $H^1(\Gamma, \rho_{2j})$ 同构于 $H^0(\Sigma, \mathcal{K}^{j+1}) \oplus H^0(\Sigma, \mathcal{K}^{j+1})^*$。
• 在 Fuchsian 点处，$\mathrm{SL}(n,\mathbb{R})$-表示的 Hitchin 分量的切空间被识别为 $\sum_{j=2}^{m+1} H^0(\Sigma, K_\Sigma^j)$，并可分解为全纯与反全纯部分。
• $H^1(\Gamma, \mathfrak{sl}(m+1,\mathbb{R}))$（对应于 $m$-次对称幂表示）被实现为实形式 $\sum_{j=1}^m H^0(\Sigma, \mathcal{K}^{j+1}) \oplus H^0(\Sigma, \mathcal{K}^{j+1})^*$，并包含来自低秩表示的额外贡献。