[논문 리뷰] Eichler-Shimura isomorphism for complex hyperbolic lattices

Инканг Ким, Genkai Zhang|arXiv (Cornell University)|2013. 03. 01.

Advanced Algebra and Geometry참고 문헌 10인용 수 4

한 줄 요약

이 논문은 $SU(n,1)$ 내의 복소 하이퍼볼릭 격자에 대해 Eichler-Shimura 등장사상의 초등적 증명을 제공한다. 여기서 조화 1형식이 대칭 텐서 표현 $S^m(\mathbb{C}^{n+1})$ 값을 가지는 것은, 몫 다양체 $\Gamma\backslash B$ 상의 $(0,1)$-형식임을 보여준다. 핵심 결과는 $H^1(\Gamma, \rho_m)$를 Dolbeault 코hom로 $H^{1,0}(\Gamma\backslash B, S^m TX \otimes \mathcal{L}^{-m})$로 식별함으로써, 고전적 결과를 고계수 허미트 대칭 공간으로 확장한다.

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 등장사상의 초등적이고 직접적인 증명을 제공하는 것.
• 조화 코hom로 클래스 $H^1(\Gamma, \rho_m)$가 $S^m TX \otimes \mathcal{L}^{-m}$ 값을 가지는 $(0,1)$-형식과 정확히 일치함을 확립하는 것. 여기서 $\rho_m = S^m(\mathbb{C}^{n+1})$이다.
• 고전적 Eichler-Shimura 대응을 고계수 허미트 대칭 공간, 특히 $n > 1$인 경우로 확장하는 것. 이전의 증명들은 Koszul 복합체와 Hodge 소멸 정리와 같은 고급 도구에 의존하였다.

제안 방법

• $\mathfrak{g} = \mathfrak{k} \oplus \mathfrak{p}$의 카르탕 분해를 사용하고, 대칭 공간 $B = G/K$를 $\mathbb{C}^n$ 상의 단위 구로 식별하는 것.
• $\mathfrak{p} \cong \mathbb{C}^n$이 표현 공간 $S^m(\mathbb{C}^{n+1})$ 위에 작용하는 방식을 명시적으로 분석하고, 리 대칭 $\rho^+(\xi_v)$를 사용하는 것.
• $\mathfrak{k}$ 내의 중심 원소 $H_0$를 사용하여 표현 공간에 필터를 정의하고, 이를 통해 무게 공간으로의 분해를 가능하게 하는 것.
• $\bar{\partial}$-폐쇄 조건과 $\partial$-방정식을 적용하여, 조화 형식이 반드시 $(0,1)$-형식이어야 한다는 것을 보이는 것.
• $\mathcal{L}^{-1}$을 정의하여 $\mathcal{L}^{-(n+1)} = \mathcal{K}_X$가 되게 하고, 이를 통해 헬름홀로픽 번들 $S^m TX$를 트위스트하는 것.
• 세르 쌍대성과 컴acts 리만 곡면 상의 선다발 코호몰로지에 대한 알려진 결과를 활용하여, 코호몰로지 군을 정규화된 헬름홀로픽 단면 공간과 연결하는 것.

실험 결과

연구 질문

• RQ1 $n > 1$인 $SU(n,1)$ 내의 복소 하이퍼볼릭 격자에 대해 Koszul 복합체나 Hodge 소멸 정리에 의존하지 않고 Eichler-Shimura 등장사상의 초등적 증명을 어떻게 얻을 수 있는가?
• RQ2 조화 1형식이 대칭 텐서 표현 $S^m(\mathbb{C}^{n+1})$ 값을 가지는 $\Gamma\backslash B$ 상에서의 정확한 기하학적 및 코호몰로지적 해석은 무엇인가?
• RQ3 고전적 Eichler-Shimura 대응이 $n=1$인 경우(리만 곡면)에 대해 일반화되어, 고계수 허미트 대칭 공간에 대해 통일된 표현 이론적 접근을 통해 일반화될 수 있는가?

주요 결과

• $H^1(\Gamma, \rho_m)$ 내의 조화 1형식은 $\mathcal{L}^{-1}$이 타우토로지컬 선다발의 쌍대임을 고려할 때, $S^m TX \otimes \mathcal{L}^{-m}$ 값을 가지는 $(0,1)$-형식임을 보여주었다.
• 쌍대 표현 $\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$의 경우(리만 곡면)에도 적용되며, $H^1(\Gamma, \rho_{2j})$에 대해 고전적 Eichler-Shimura 대응을 초등적으로 증명한다. 이는 $H^0(\Sigma, \mathcal{K}^{j+1}) \oplus H^0(\Sigma, \mathcal{K}^{j+1})^*$로 표현된다.
• Fuchsian 위치에서 $\mathrm{SL}(n,\mathbb{R})$-표현의 히친 성분의 접선 공간은 $\sum_{j=2}^{m+1} H^0(\Sigma, K_\Sigma^j)$로 식별되며, 이는 헬름홀로픽 및 안티헬름홀로픽 부분으로 분해된다.
• $m$-번째 대칭 거듭제곱 표현에 대해 $H^1(\Gamma, \mathfrak{sl}(m+1,\mathbb{R}))$는 $\sum_{j=1}^m H^0(\Sigma, \mathcal{K}^{j+1}) \oplus H^0(\Sigma, \mathcal{K}^{j+1})^*$의 실수 형태로 표현되며, 더 낮은 계수 표현들로부터의 기여가 추가로 있다.