[논문 리뷰] The homology of Richard Thompson's group F

Kenneth S. Brown|ArXiv.org|2004. 11. 15.

Homotopy and Cohomology in Algebraic Topology참고 문헌 15인용 수 12

한 줄 요약

이 논문은 리처드 톰슨의 군 F의 정수 계승 homology 및 cohomology 링을 상세히 계산하여, 그 계승이 degree 0과 1인 원소들에 의해 생성되는 결합법칙이 성립하지만 단위원소가 없는 링임을 규명한다. 주요 결과는 cohomology 링이 $\bigwedge(a,b) \otimes \Gamma(u)$와 동형임을 보여주며, 여기서 $a,b$는 외적 대수의 degree-1 생성자이고 $u$는 분할 다항식 링의 degree-2 생성자이다. 이는 F군이 Kähler 군이 되기 위한 필요 조건을 만족함을 확인한다.

ABSTRACT

In the early 1980s Ross Geoghegan and I calculated the homology of Richard Thompson's group F as a graded abelian group. It turns out that the homology admits a natural ring structure, which I calculate in this paper. As a byproduct, I obtain the ring structure on the cohomology.

연구 동기 및 목표

• 톰슨의 군 F의 정수 계승 링의 구조에 대해 자가 포함적이고 독창적인 증명을 제공함. 이는 스톤의 후속 작업에 의해 묶여 있던 바를 다루기 위함이다.
• F의 정수 계승 링을 명시적으로 계산함. 특히 스톤의 일반적 프레임워크에서 충분히 다루지 않은 부분의 구조를 명확히 하기 위함이다.
• 로스 지오건이 제기한 질문, 즉 F가 Kähler 군인지 여부를 검토하기 위해 코ho를 $H^1 \otimes H^1 \to H^2$의 cup 곱이 비자명한지 확인함.
• F의 계승이 모든 양의 차수에서 자유롭게 생성되며, 계승 링의 구조가 직접적으로 cohomology를 계산하는 데 유용함을 확립함.
• 교환자 부분군 $F'$의 계승이 $\mathbb{Z}[t]$와 동형임을 보이고, F가 $F' \times F_{\text{ab}}$와 동일한 계승적 성질을 보임을 밝힘.

제안 방법

• 정수 계승 링의 기하학적 및 대수적 구조를 유도하기 위해, $F$의 $K(F,1)$ 복합체 $X$를 구축함. 이 복합체는 $X \times X \to X$의 엄격히 결합법칙이 성립하는 곱 연산을 지니며, 이는 $\pi_1(F)$에 대한 곱 연산을 유도하고, 셀룰러 계승 복합체 $C_*(X)$에 differential graded ring의 구조를 부여함.
• X의 곱 연산을 이용해 $\mu: F \times F \to F$의 호모로지 사상을 정의함. 이 사상은 $H_*(F)$에 대한 링의 구조를 유도하지만, $\mu$는 코너지에 대해만 결합법칙이 성립함.
• differential graded ring $C_*(X)$의 계승을 직접 계산함. 이로써 $n > 0$일 때 $H_n(F) \cong \mathbb{Z} \oplus \mathbb{Z}$임을 보이며, degree 1의 생성자 $\alpha$와 $\beta$를 갖음.
• 관계식을 통해 $H_*(F)$의 링의 구조를 규명함: $\varepsilon^2 = \varepsilon$, $\varepsilon\alpha = \beta\varepsilon = 0$, $\alpha\varepsilon = \alpha$, $\varepsilon\beta = \beta$, $\alpha^2 = \beta^2 = 0$. 교대적인 $\alpha$와 $\beta$의 곱이 basis를 이룸.
• 대칭성에 기반해 대각선 사상 $\Delta: H_*(F) \to H_*(F) \otimes H_*(F)$의 쌍대를 취함으로써 cohomology 링 $H^*(F)$를 계산함. 이때 $\alpha$와 $\beta$의 원소가 프라임티브하고, $t = \beta\alpha$의 공승산화 구조를 활용함.
• homology 동치 $F \to F' \times F_{\text{ab}}$를 이용해 $H^*(F) \cong H^*(F') \otimes H^*(F_{\text{ab}})$를 유도함. 이로써 $H^*(F') \cong \Gamma(u)$이며 $\deg u = 2$, $H^*(F_{\text{ab}}) \cong \bigwedge(a,b)$이며 $\deg a = \deg b = 1$로 식별됨.

실험 결과

연구 질문

• RQ1 톰슨의 군 F의 정수 계승 링의 구조는 무엇이며, 기하학적 및 대수적 구성에서 어떻게 유도되는가?
• RQ2 cup 곱 $H^1(F) \otimes H^1(F) \to H^2(F)$는 0인지 아니면 비자명한가? 이는 Kähler 군 질문에 어떤 함의를 갖는가?
• RQ3 cohomology 링 $H^*(F)$는 명시적으로 계산할 수 있으며, 외적 대수나 분할 다항식 링과 같은 표준적인 대수적 구조로 표현할 수 있는가?
• RQ4 교환자 부분군 $F'$의 계승은 F의 전체 계승과 어떻게 관련되어 있으며, $\mathbb{Z}[t]$로 식별될 수 있는가?
• RQ5 F는 어느 정도까지 $F' \times F_{\text{ab}}$와 동일한 계승적 성질을 보이며, 이는 그 계승을 계산하는 데 어떻게 기여하는가?

주요 결과

• 정수 계승 $H_*(F)$는 degree 0의 등幂원소 $\varepsilon$와 degree 1의 원소 $\alpha, \beta$에 의해 생성되는 비단위원소를 갖는 결합법칙이 성립하는 링이며, 다음 관계를 만족함: $\varepsilon^2 = \varepsilon$, $\varepsilon\alpha = \beta\varepsilon = 0$, $\alpha\varepsilon = \alpha$, $\varepsilon\beta = \beta$, $\alpha^2 = \beta^2 = 0$.
• 모든 양의 차수 $n$에서 교대적인 곱 $\alpha\beta\alpha\cdots$와 $\beta\alpha\beta\cdots$가 $H_n(F)$의 기저를 이룸. $n > 0$일 때 $H_n(F) \cong \mathbb{Z} \oplus \mathbb{Z}$.
• F의 cohomology 링은 $H^*(F) \cong \bigwedge(a,b) \otimes \Gamma(u)$와 동형이며, 여기서 $a,b$는 외적 대수의 degree-1 생성자이고 $u$는 분할 다항식 링의 degree-2 생성자이다.
• $t = \beta\alpha \in H_2(F)$는 $\mathbb{Z}[t]$와 동형인 부분 링을 생성하며, 이는 $F$의 교환자 부분군 $F'$의 계승과 일치하며, 대각선 공승산화에 대해 프라임티브하다.
• cup 곱 $H^1(F) \otimes H^1(F) \to H^2(F)$는 비자명하며, $ab$는 $H^2(F)$에서 0이 아닌 원소이므로, F군이 잠재적 Kähler 군임을 뒷받침한다.
• homology 동치 $F \to F' \times F_{\text{ab}}$는 $H_*(F) \cong H_*(F') \otimes H_*(F_{\text{ab}})$를 유도하며, 이 분해는 cohomology 링의 구조를 뒷받침한다.