[논문 리뷰] Borel's stable range for the cohomology of arithmetic groups

Bena Tshishiku|arXiv (Cornell University)|2019. 04. 09.

Advanced Algebra and Geometry참고 문헌 12인용 수 7

한 줄 요약

이 논문은 산술군 $\Gamma < \operatorname{Sp}_{2n}(\mathbb{Z})$ 및 $\Gamma < \operatorname{SO}_{n,n}(\mathbb{Z})$의 코homology에 대한 Borel의 안정 범위 정리에 대한 개선을 다루며, 기존의 안정 범위 $i \leq c(G,V)$를 $\operatorname{Sp}_{2n}$의 경우 $i \leq n-1$, $\operatorname{SO}_{n,n}$의 경우 $i \leq n-2$로 향상시킨다. 이는 루트와 무게 위에 대한 Weyl 군 작용의 세밀한 분석을 통해 Borel의 코homological 안정성 정리에서 최적의 상수 $C(G,V)$를 계산함으로써 달성된다.

ABSTRACT

In this note, we remark on the range in Borel's theorem on the stable cohomology of the arithmetic groups Sp(2n,Z) and SO(n,n;Z). This improves the range stated in Borel's original papers, an improvement that was known to Borel. Our main task is a technical computation involving the Weyl group action on roots and weights. This note originally appeared as the appendix to arXiv:1711.03139.

연구 동기 및 목표

• 산술군 $\operatorname{Sp}_{2n}(\mathbb{Z})$ 및 $\operatorname{SO}_{n,n}(\mathbb{Z})$의 코homology에 대한 Borel 정리의 안정 범위를 개선한다.
• Borel의 원본 논문에서 제시된 경계를 초월하여 코homological 안정성 범위를 향상시키며, 이는 Borel에게는 이미 알려져 있었지만 상세한 증명이 부족했던 바이다.
• Weyl 군의 루트와 무게 위에 대한 작용을 포함한 표현 이론적 기법을 사용하여 Borel의 안정성 정리에서 최적의 상수 $C(G,V)$를 계산한다.
• 높은 차수에서의 알려진 비영인 결과를 참조하여 개선된 경계가 거의 최적임을 입증한다.

제안 방법

• Lie 대수 $\mathfrak{sp}_{2n}$ 및 $\mathfrak{so}_{n,n}$의 양의 루트와 무게 위에 대한 Weyl 군 작용을 분석하여 상수 $C(G,V)$를 계산한다.
• Borel의 일반적인 안정 코homology 프레임워크를 적용하여 $H^*(\Gamma;V)$를 Lie 대수 코homology $H^*(\mathfrak{g},K;V)$ 및 대칭 공간 위의 $G(\mathbb{R})$-불변 형식 공간과 연결한다.
• $\rho$를 양의 루트의 합의 1/2로, $\mu$를 $V$의 최고 무게로 하여, 모든 길이 $\leq q$인 $\sigma$에 대해 $\sigma(\rho + \mu) > 0$ 조건을 정의함으로써 $C(G,V)$를 정의한다.
• $\operatorname{Sp}_{2n}$의 경우 $C(G,V) = C(G,\mathbb{C}) = n-1$, $\operatorname{SO}_{n,n}$의 경우 $C(G,V) = n-2$임을 증명하기 위해, $\sigma(\phi_k) < 0$를 만족시키는 기본 무게 $\phi_k$에 대해 Weyl 군 원소의 최소 길이를 분석한다.
• 길이 $\leq n-1$인 Weyl 군 원소 $\sigma$에 대한 케이스 분석을 수행하여, $\sigma(\rho)$가 여전히 주도 정규임을 보이며, 이는 모든 $\mu$에 대해 $\sigma(\rho + \mu) > 0$임을 의미한다.
• 길이 $\leq n-1$인 그러한 $\sigma$가 존재하지 않아 $\sigma(\rho + \mu) \leq 0$가 되는 것을 방지함으로써, $\operatorname{Sp}_{2n}$의 경우 $C(G,V) = n-1$, $\operatorname{SO}_{n,n}$의 경우 $C(G,V) = n-2$임을 증명한다.

실험 결과

연구 질문

• RQ1 기약 유리 표현 $V$를 계수로 가지는 $\operatorname{Sp}_{2n}(\mathbb{Z})$ 및 $\operatorname{SO}_{n,n}(\mathbb{Z})$의 코homology에 대한 최적의 안정 범위는 무엇인가?
• RQ2 Borel의 안정 범위 정리에서 상수 $c(G,V)$를 $C(G,V)$로 개선할 수 있으며, $\operatorname{Sp}_{2n}$ 및 $\operatorname{SO}_{n,n}$에 대해 $C(G,V)$의 정확한 값은 무엇인가?
• RQ3 Weyl 군의 루트와 무게 위에 대한 작용은 Lie 대수 코homology에서의 안정성 범위를 어떻게 결정하는가?
• RQ4 개선된 경계 $i \leq n-1$ ($\operatorname{Sp}_{2n}$) 및 $i \leq n-2$ ($\operatorname{SO}_{n,n}$)는 거의 최적인가? 그에 대한 증거는 무엇인가?
• RQ5 개선된 안정 범위는 [ERW15, Prop. 3.9]와 같은 관련 결과에서 차수 가정을 제거하는 데 기여하는가?

주요 결과

• $\operatorname{Sp}_{2n}(\mathbb{Z})$의 안정 코hom로지 범위는 $i \leq n-1$로 향상되었으며, 이 범위 내에서 비자명한 $V$에 대해 $H^k(\Gamma;V)$는 영이 되고, 이는 자명한 $V$의 안정 코hom로지와 일치한다.
• $\operatorname{SO}_{n,n}(\mathbb{Z})$의 경우 안정 범위는 $i \leq n-2$로 향상되었으며, 유사한 영성과 자명한 $V$의 안정 코hom로지와의 일致가 성립한다.
• $\operatorname{Sp}_{2n}$의 경우 최적의 상수 $C(G,V)$는 $n-1$, $\operatorname{SO}_{n,n}$의 경우 $n-2$이며, 이는 길이가 제한된 Weyl 군 원소의 세밀한 분석을 통해 도달된다.
• 증명은 길이 $\leq n-1$인 Weyl 군 원소가 어떤 주도 무게 $\mu$에 대해서도 $\sigma(\rho + \mu) \leq 0$를 만들 수 없음을 보이며, 이는 $\operatorname{Sp}_{2n}$에 대해 $C(G,V) = n-1$임을 확인한다.
• 이 경계는 거의 최적이다: 홀수 $n$에 대해 $\Gamma < \operatorname{SO}_{n,n}(\mathbb{Z})$가 존재하여 $H^n(\Gamma;\mathbb{Q}) \neq 0$이며, 이는 홀수 $i \leq n-2$에 대해 $H^i(\Gamma;\mathbb{Q}) = 0$임을 확인함으로써 범위의 날카로움을 뒷받침한다.
• 개선된 경계는 [ERW15, Prop. 3.9]와 같은 적용에서 차수 가정을 제거하며, $d \geq 3$에 대해 $\#_n(S^d \times S^d)$의 동형사상군의 Torelli 부분군 연구에 활용되었다.