[논문 리뷰] Cohomology of convex cocompact groups and invariant distributions on limit sets

Martin Olbrich|ArXiv.org|2002. 07. 31.

Geometric and Algebraic Topology참고 문헌 51인용 수 5

한 줄 요약

이 논문은 볼록 코컴팩트 군의 군 코hom로지와 그 극한 집합 위의 불변 분포 사이의 호지 이론적 동형을 확립하여 실 하이퍼볼릭 다양체에 대한 패트릭슨의 추측을 증명한다. 이는 아이젠스타인 급수와 표현 이론을 사용하여 $L^2$-코호몰로지와 초함수에 계수를 가진 코호몰로지 사이의 관계를 설정함으로써 정밀한 소멸 결과를 도출하고, 유니터리 표현 및 다중도 공간 $U_\Lambda(\sigma, \varphi)$를 통해 고차 코호몰로지 군을 계산한다.

ABSTRACT

This paper contains a thorough investigation of invariant distributions supported on limit sets of discrete groups acting convex cocompactly on symmetric spaces of negative curvature. It can be considered as a continuation of math.DG/9810146. Based on this investigation we provide proofs of the Hodge theoretic results for the cohomology of real hyperbolic manifolds announced in math.DG/0009038, improve the bounds for the critical exponents obtained by Corlette for the quaternionic and the Cayley case, compute the L^2-cohomology for the corresponding locally symmetric spaces, prove a version of the Harder-Borel conjecture for real hyperbolic manifolds, and compute higher cohomology groups with coefficients in hyperfunctions supported on the limit set.

연구 동기 및 목표

• 비콤팩트 하이퍼볼릭 다양체에 대한 호지 이론에 관한 패트릭슨의 추측을 증명하여 군 코호몰로지와 극한 집합 위의 불변 분포 사이의 관계를 규명한다.
• 볼록 코컴팩트 군과 관련된 국소 대칭 공간의 $L^2$-코호몰로지를 계산한다.
• 실 하이퍼볼릭 다양체에 대한 하더-보렐 추측의 판별판을 수립한다.
• 극한 집합에 지지된 초함수에 계수를 가진 고차 코호몰로지 군의 구조를 규명한다.
• 다중도 공간 $U_\Lambda(\sigma, \varphi)$가 $L^2$-코호몰로지에서 수행하는 역할과 그 이산 급수 및 컵형 함수와의 관계를 명확히 한다.

제안 방법

• 경계 $\partial X = S^{n-1}$ 위의 분포 섹션을 통해 코호몰로지를 실현하기 위해 BGG-분해(Želobenko 복합체)를 사용하여 $G$-표현의 약한 복합체를 구성한다.
• 매개수 $s$를 가진 아이젠스타인 급수 $E^p_s(\phi)$를 분석하여, 그들이 $s = p - \frac{n+1}{2}$에서 닫힌 조화 형식을 유도함을 중점적으로 다룬다.
• $G = \mathrm{PO}(n,1)$의 표현 이론을 적용하여 $L^2(\Gamma\backslash G, \varphi)$를 기약 성분으로 분해하고, $U_\Lambda(\sigma, \varphi)$가 $L^2$-코호몰로지의 원시 부분공간으로 식별한다.
• 유니버설 환의 중심 $\mathcal{Z}(\mathfrak{g})$의 작용을 이용하여 고정된 무한소 특성 $\chi_F$를 가진 성분을 분리하고, 이로써 $C^{-\infty}(\partial X, V(F,p))$를 구성한다.
• 초함수 이론과 $G$-불변의 흐름을 사용하여 코호몰로지 클래스를 $Y = \Gamma\backslash X$ 위의 닫힘 및 코코호몰로지 형식의 경계값으로 해석한다. 특히 $\Gamma$-불변 부분공간 $Z^{n-p}_{F,\Lambda}$를 통해 수행된다.
• $\Gamma\backslash G$ 위의 조화 분석을 적용하여 $L^2$-코호몰로지를 컵형 함수와 슈와르츠 공간 $^{0}\mathcal{C}(\Gamma\backslash G, \varphi)$와 연결하고, $L^2(\Gamma\backslash G, \varphi)_{cusp} \oplus L^2(\Gamma\backslash G, \varphi)_U$ 가 컵형 함수 공간의 닫힘임을 보여준다.

실험 결과

연구 질문

• RQ1 볼록 코컴팩트 군 $\Gamma$의 군 코호몰로지 $H^p(\Gamma, F)$는 극한 집합 $\Lambda$ 위의 $\Gamma$-불변 분포 공간 $Z^{n-p}_{F,\Lambda}$와 등장하는가?
• RQ2 국소 대칭 공간 $Y = \Gamma\backslash X$ 에 대해 $L^2$-코호몰로지 군 $\mathcal{H}^p_{(2)}(Y, E(\pi \otimes \varphi))$의 구조는 어떠한가?
• RQ3 다중도 공간 $U_\Lambda(\sigma, \varphi)$는 $L^2$-코호몰로지의 원시 부분공간과 이산 급수와 어떻게 관련되어 있는가?
• RQ4 자연스러운 사상 $\mathcal{H}^p_{(2)}(Y, E(\pi \otimes \varphi)) \to H^p(Y, E(\pi \otimes \varphi))$가 동형 또는 전성 사상이 되는 조건은 무엇인가?
• RQ5 $L^2$-코호몰로지와 컵형 함수의 맥락에서 공간 $L^2(\Gamma\backslash G, \varphi)_U$ 의 의미는 무엇인가?

주요 결과

• 논문은 패트릭슨의 추측을 증명한다: $H^p(\Gamma, F) \cong Z^{n-p}_{F,\Lambda}$로써, 코호몰로지와 극한 집합 위의 불변 분포 사이의 호지 이론적 동형을 확립한다.
• 실 하이퍼볼릭 다양체에서는 $p \geq \frac{n+1}{2}$일 때 자연스러운 사상 $\mathcal{H}^p_{(2)}(Y, E(\pi \otimes \varphi)) \to H^p(Y, E(\pi \otimes \varphi))$ 가 동형이며, $p = \frac{n}{2}$일 때는 전성 사상임을 보였다.
• $L^2$-코호몰로지 군 $\mathcal{H}^p_{(2)}(Y, E(\pi \otimes \varphi))$ 는 $p \notin S_X$ 이고 $p \neq \frac{\dim Y}{2}$ 일 때는 영이 되며, 여기서 $S_X$ 는 대칭 공간 $X$ 에 따라 달라지는 임계 스트립이다.
• 일반적인 $F$ 에 대해 $\mathcal{H}^p_{(2)}(Y, E(\pi \otimes \varphi)) = \{0\}$ 이며, $p = \frac{\dim Y}{2}$ 가 아닐 경우에만 성립함을 보여, 일반 계수에 대해 강한 소멸성을 입증하였다.
• $U_\Lambda(\sigma_{\lambda}, \varphi)$ 는 $L^2$-코호몰로지의 원시 부분공간으로 나타나며, 조화 분석에서 이산 급수와 유사한 역할을 한다.
• $\Gamma\backslash G$ 위의 컵형 함수 공간의 닫힘은 $L^2(\Gamma\backslash G, \varphi)_{cusp} \oplus L^2(\Gamma\backslash G, \varphi)_U$ 이며, $L^2(\Gamma\backslash G, \varphi)_U$ 는 관련된 $\sigma$ 에 대해 $U_\Lambda(\sigma, \varphi)$ 의 직합과 동형이다.