[논문 리뷰] Central extensions of groups and adjoint groups of quandles

Takefumi Nosaka|arXiv (Cornell University)|2015. 05. 12.

Geometric and Algebraic Topology참고 문헌 18인용 수 9

한 줄 요약

이 논문은 쿼랜들 $X$의 호의군 $\mathrm{As}(X)$를 계산하기 위한 방법을 제시한다. 이 방법은 $t_X$- torsion을 무시한 유니버설 중심확장에 기반하며, 여기서 $t_X$는 쿼랜들의 유형이다. 이 논문은 $H_2^{\mathrm{gr}}(\mathrm{As}(X))$ 가 $t_X$ 에 의해 소멸됨을 증명하고, $\ker(\psi_X)$ 가 $[1/t_X]$-isomorphic하게 $\mathbb{Z} \oplus H_2^{\mathrm{gr}}(\mathrm{Inn}(X))$ 임을 보여주며, 이는 연결 쿼랜들에 대해 두 번째 쿼랜들 호몰로지의 명시적 계산을 가능하게 한다.

ABSTRACT

This paper develops an approach for describing centrally extended groups, as determining the adjoint groups associated with quandles. Furthermore, we explicitly describe such groups of some quandles. As a corollary, we determine some second quandle homologies.

연구 동기 및 목표

• 쿼랜들 $X$의 호의군 $\mathrm{As}(X)$ 를 직접 다루기 어려운 경우에도 실용적인 대수적 방법으로 계산할 수 있도록 하는 것.
• 특히 $H_2^{\mathrm{gr}}(\mathrm{As}(X))$ 에 있어 $\mathrm{As}(X)$, $\mathrm{Inn}(X)$, 그리고 군 호몰로지 간의 관계를 명확히 하는 것.
• $t_X$-torsion까지의 정확한 범위에서 특정 쿼랜들에 대해 $H_2^Q(X)$, 즉 두 번째 쿼랜들 호몰로지를 결정하는 것.
• $\mathrm{As}(X)$ 가 $t_X$-torsion을 무시한 $\mathrm{Inn}(X)$ 의 유니버설 중심확장으로서의 행동을 수립하는 것에 초점을 맞추며, 쿼랜들 유형 $t_X$ 의 역할을 강조하는 것.

제안 방법

• 모든 $x,y \in X$ 에 대해 $e_{x\lhd y}^{-1} e_y^{-1} e_x e_y = 1$ 인 관계를 갖는 생성자 $e_x$ 를 통해 호의군 $\mathrm{As}(X)$ 를 정의한다.
• 쿼랜들 유형 $t_X$ 를 도입한다. 이는 모든 $x,y \in X$ 에 대해 $x = x \lhd^N y$ 가 되는 최소의 $N$ 이다.
• $x \cdot e_y = x \lhd y$ 로 정의된 $\mathrm{As}(X)$ 의 오른쪽 작용을 정의하며, 이 작용의 궤도는 연결 성분을 이룬다.
• $\mathrm{As}(X)$ 에 대해 각 궤도 $i$ 에 대해 $\varepsilon_i: \mathrm{As}(X) \to \mathbb{Z}$ 를 정의하고, $\mathrm{As}(X)_{\mathrm{ab}} \cong \mathbb{Z}^{\oplus \mathrm{O}(X)}$ 임을 보여준다.
• 사슬 호모토피 $h_n$ 을 구성하여, $t \cdot c_n$ 이 영호모토피임을 보인다. 여기서 $c_n$ 은 쿼랜들 사슬을 군 사슬로 매핑한다.
• $t \cdot c_*$ 가 영호모토피임을 증명함으로써, $t \cdot H_n(BX) \to H_n^{\mathrm{gr}}(\mathrm{As}(X))$ 가 소멸함을 보이며, 이는 주요 정리의 기초가 된다.

실험 결과

연구 질문

• RQ1 직접 계산이 어렵기 때문에, 쿼랜들 $X$ 의 호의군 $\mathrm{As}(X)$ 는 어떻게 명시적으로 계산할 수 있는가?
• RQ2 $\mathrm{As}(X)$, $\mathrm{Inn}(X)$, 그리고 두 번째 군 호몰로지 $H_2^{\mathrm{gr}}(\mathrm{As}(X))$ 간의 정확한 관계는 무엇인가?
• RQ3 쿼랜들 유형 $t_X$ 는 $\mathrm{As}(X)$ 와 그 호몰로지의 구조에 어떻게 영향을 미치는가?
• RQ4 $H_2^Q(X)$, 즉 두 번째 쿼랜들 호몰로지는 $\mathrm{As}(X)$ 로부터 결정될 수 있는가? 만약 가능하면 어떤 조건에서 가능한가?
• RQ5 $c_*: H_n(BX) \to H_n^{\mathrm{gr}}(\mathrm{As}(X))$ 는 $t_X$-torsion을 무시할 때 어느 정도 소멸하는가?

주요 결과

• 모든 연결 쿼랜들 $X$ 에 대해 유형 $t_X$ 를 갖는 경우, 두 번째 군 호몰로지 $H_2^{\mathrm{gr}}(\mathrm{As}(X))$ 는 $t_X$ 에 의해 소멸된다.
• $\mathrm{Inn}(X)$ 에 대한 작용 사상 $\psi_X: \mathrm{As}(X) \to \mathrm{Inn}(X)$ 의 핵 $\ker(\psi_X)$ 는 $[1/t_X]$-isomorphic하게 $\mathbb{Z} \oplus H_2^{\mathrm{gr}}(\mathrm{Inn}(X))$ 와 같다.
• $t_X \cdot c_*: H_n(BX) \to H_n^{\mathrm{gr}}(\mathrm{As}(X))$ 는 영호모토피이며, 이는 호몰로지에서 $t_X$-torsion 이 소멸됨을 의미한다.
• 호의군 $\mathrm{As}(X)$ 는 $t_X$-torsion을 무시한 $\mathrm{Inn}(X)$ 의 유니버설 중심확장으로서 효과적으로 작용한다.
• 이 방법은 코xeter 군과 관련된 특정 쿼랜들에 대해 $H_2^Q(X)$ 를 $t_X$-torsion까지의 정확도로 명시적으로 계산할 수 있게 한다.
• 사슬 호모토피 $h_n$ 의 구성은 $t \cdot c_n$ 이 0과 호모토피임을 증명하며, 이는 $t$-torsion 이 호몰로지에서 소멸됨을 확인한다.