[논문 리뷰] Homology of SL2 over function fields I: parabolic subcomplexes

Matthias Wendt|arXiv (Cornell University)|2014. 04. 23.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 3

한 줄 요약

이 논문은 대수적으로 닫힌 체 $k$ 위의 매끄럽고 아핀 곡선 $C$ 에 대해 $\mathrm{SL}_2(k[C])$ 의 빌딩에서의 평행 부분복합체의 등변 호모로지(-equivariant homology)를 계산한다. $\mathbb{Z}[1/2]$ 계수를 사용하여, 단위군 $k[C]^\times$ 와 정밀한 자르기 합동군 $\mathcal{RP}^1_\bullet(k)$ 에 대해 명시적인 공식을 제시하며, $s=1$ 인 Suslin 의 결과를 일반화하고 함수체 설정에서의 호모로지 이해를 확장한다.

ABSTRACT

The present paper studies the homology of the groups $SL_2(k[C])$ and $GL_2(k[C])$ where $C=\overline{C}\setminus\{P_1,\dots,P_s\}$ is a smooth affine curve over an algebraically closed field $k$. It is well-known that these groups act on a product of trees and the quotients can be described in terms of certain equivalence classes of vector bundles on the complete curve. There is a natural subcomplex of cells with non-unipotent isotropy group. The paper provides explicit formulas for the equivariant homology of this "parabolic subcomplex". These formulas also describe the homology of $SL_2(k[C])$ above degree s, with finite coefficients away from the characteristic of $k$, generalizing a result of Suslin for the case s=1.

연구 동기 및 목표

• 표준적인 해석적 방법이 실패하는 대수적으로 닫힌 체 위의 아핀 곡선 $C$ 에 대해 $\mathrm{SL}_2(k[C])$ 의 호모로지 이해.
• $\mathrm{SL}_2(k[C])$ 와 관련된 빌딩 $\mathfrak{X}_C$ 에서의 평행 부분복합체 $\mathfrak{P}_C$ 의 구조 분석.
• $\mathfrak{P}_C$ 의 등변 호모로지를 명시적으로 계산하여, 특히 $s$ 이상의 차수에서 Suslin 의 결과($s=1$ 인 경우)를 일반화.
• 스펙트럴 시퀀스 기법을 통해 호모로지를 정밀한 자르기 합동군 $\mathcal{RP}^1_\bullet(k)$ 와 단위군 $k[C]^\times$ 와 연결.

제안 방법

• $\mathrm{SL}_2(k[C])$ 는 트리의 곱에 작용하며, 몫 $\mathrm{SL}_2(k[C])\backslash\mathfrak{X}_C$ 는 이소트로피 스펙트럴 시퀀스를 통해 분석된다.
• 평행 부분복합체 $\mathfrak{P}_C$ 는 비일반적(비유니포텐트) 안정자군을 갖는 세포들의 부분복합체로 정의되며, 그 연결 성분들은 $\mathcal{K}(C) = \operatorname{Pic}(C)/\iota$ 에 의해 인덱싱된다. 여기서 $\iota$ 는 역전환 사상이다.
• 등변 호모로지를 $\mathbb{Z}[1/2]$-계수를 사용하여 계산하여 스펙트럴 시퀀스를 단순화하였으며, 핵심 경우에서 이 시퀀스가 분해된다.
• $\mathcal{L}|_C \not\cong \mathcal{L}|_C^{-1}$ 인 성분들에 대해서는 호모로지가 $\mathrm{H}_\bullet(\mathbb{Z}[1/2], k[C]^\times)$ 와 동형이다.
• $\mathcal{L}|_C \cong \mathcal{L}|_C^{-1}$ 인 성분들에 대해서는 $\tilde{\mathcal{SN}}$ (모노미얼 행렬) 과 $\mathcal{RP}^1_\bullet(k)$ 을 포함하는 장점 긴 정렬 시퀀스를 유도한다.
• 유사한 스펙트럴 시퀀스 분석과 $\mathrm{SL}_2$ 경우와의 비교를 통해 결과를 $\mathrm{PGL}_2$ 로 확장한다.

실험 결과

연구 질문

• RQ1 함수체 설정에서 $\mathrm{SL}_2(k[C])$ 의 평행 부분복합체 $\mathfrak{P}_C$ 의 등변 호모로지를 어떻게 명시적으로 계산할 수 있는가?
• RQ2 역전환에 대한 피카르 군이 $\mathfrak{P}_C$ 의 연결 성분들을 어떻게 인덱싱하는가?
• RQ3 정밀한 자르기 합동군 $\mathcal{RP}^1_\bullet(k)$ 이 $\mathfrak{P}_C$ 의 호모로지 계산에 어떻게 나타나는가?
• RQ4 $\mathcal{L}|_C \cong \mathcal{L}|_C^{-1}$ 인 경우 호모로지의 구조는 어떻게 되며, 비자기쌍대 경우와 어떻게 다를까?
• RQ5 빌딩에 대한 작용에 대해 $\mathbb{Z}[1/2]$-계수를 사용하여 스펙트럴 시퀀스를 단순화하여 명시적 공식을 도출할 수 있는가?

주요 결과

• $\mathfrak{P}_C$ 의 등변 호모로지는 $\mathcal{K}(C) = \operatorname{Pic}(C)/\iota$ 에 따라 분해되며, 각 성분은 클래스 $[\mathcal{L}]$ 에 의해 인덱싱된다.
• $[\mathcal{L}] \in \mathcal{K}(C)$ 이고 $\mathcal{L}|_C \not\cong \mathcal{L}|_C^{-1}$ 인 경우, $\mathfrak{P}_C(\mathcal{L})$ 의 호모로지는 $\mathrm{H}_\bullet(k[C]^\times, \mathbb{Z}[1/2])$ 와 동형이다.
• $[\mathcal{L}] \in \mathcal{K}(C)$ 이고 $\mathcal{L}|_C \cong \mathcal{L}|_C^{-1}$ 인 경우, $\mathcal{RP}^1_\bullet(k)$ 와 $\mathrm{H}_\bullet(\tilde{\mathcal{SN}}, \mathbb{Z}[1/2])$ 를 포함하는 장점 긴 정렬 시퀀스가 존재한다. 여기서 $\tilde{\mathcal{SN}}$ 은 $\mathrm{SL}_2(k[C])$ 에서의 모노미얼 행렬 군이다.
• 복합체 $C^\mathrm{alt}_\bullet(F)$ 의 스펙트럴 시퀀스는 통제된 방식으로 분해되며, 미분형식이 $\mathcal{RP}^1_q(F) \to \mathrm{H}_{q-1}(\mathrm{N}(F), \mathbb{Z}[1/2])$ 와 동형이다.
• $\mathcal{RP}^1_q(F)$ 는 스펙트럴 시퀀스의 미분형식 $d^1$ 과 $d^{q-1}$ 의 핵으로 식별되며, $q \leq 1$ 인 경우 자명하다.
• 장점 긴 정렬 시퀀스의 저차수 부분은 블로크-바이너 시퀀스를 복원하며, $\mathcal{RP}^1_2(F) \cong I(F)$ 이다. 여기서 $I(F)$ 는 $F$ 의 유클리드 환의 기본 이상이다.