[논문 리뷰] Homology of subgroups of right-angled Artin groups

Graham Denham|ArXiv.org|2006. 12. 24.

Algebraic structures and combinatorial models참고 문헌 20인용 수 3

한 줄 요약

이 논문은 오른쪽-각도 아르틴 군의 좌표 부분군 $N_{\rho}$ 의 정수 계수 호몰로지 계산을 $\mathbb{Z}[\mathbb{Z}^m]$-모듈로써, 외부 스탠리-라이스너 링과 조합적 교환 대수를 사용한다. 주요 결과는 다항식 링 $S$ 상에서 호몰로지 모듈로와 Ext 모듈로 사이의 이중성 동형사상 수립을 보여주며, 코hen-맥컬레이 클리크 복합체에 대해 $H_q(\mathcal{Z}_K(S^1), \mathbb{k}[\mathbb{Z}^m]) \cong \mathrm{Ext}^{d+1-q}_S(F_K, R)$ 를 보이고, 코homology 는 차수 $d+1$ 를 제외한 곳에서는 모두 0이 된다.

ABSTRACT

We describe the (co)homology of a certain family of normal subgroups of right-angled Artin groups that contain the commutator subgroup, as modules over the quotient group. We do so in terms of (skew) commutative algebra of squarefree monomial ideals.

연구 동기 및 목표

• 오른쪽-각도 아르틴 군의 정규 부분군 $N_{\rho}$ 의 호몰로지를 $\mathbb{Z}[\mathbb{Z}^m]$-모듈로로서 기술하기.
• 이러한 부분군의 코homology 를 조합적 교환 대수학을 통해 클리크 복합체 $K_\Gamma$ 의 단순 복합체 위상과 연결하기.
• 클리크 복합체 $K_\Gamma$ 가 코헨-맥컬레이일 경우, 호몰로지 모듈로와 Ext 모듈로 사이의 이중성 동형사상을 수립하기.
• 외부 스탠리-라이스너 링을 사용하여 각 호몰로지 모듈로 $H_p(N_{\rho}, \mathbb{Z})$ 의 크룰 차원을 계산하기.

제안 방법

• 오른쪽-각도 아르틴 군 $G_\Gamma$ 의 분류 공간을 모델링하기 위해 부분적 곱 복합체 $\mathcal{Z}_K(S^1)$ 를 사용하며, $K$ 는 $\Gamma$ 의 클리크 복합체이다.
• 좌표 부분군 $N_{\rho}$ 의 호몰로지를 $\mathcal{Z}_K(S^1) \times_{\mathbb{Z}^n} \mathbb{Z}^m$ 의 전형적 아벨 쌍대 덮개의 호몰로지로 표현한다.
• 군 링 $\mathbb{Z}[\mathbb{Z}^m]$ 을 외부代수 $E$ 의 몫으로 모델링하고, 코호몰로지 계산을 위해 코즐 복합체를 사용한다.
• 버니스타인-겔판드-겔판드 이중성을 적용하여 $H_q(\mathcal{Z}_K(S^1), \mathbb{k}[\mathbb{Z}^m])$ 와 $\mathrm{Ext}^{d+1-q}_S(F_K, R)$ 를 연결하며, 여기서 $F_K$ 는 카르탕 복합체 모듈로이다.
• 이건-레인어 정리를 사용하여 클리크 복합체 $K$ 의 코헨-맥컬레이 성질과 이중 스탠리-라이스너 아이디얼 $I_{K^\star}$ 의 선형 해상성 사이의 연결 고리를 설정한다.
• 쿠넨스 포지션 공식과 $m$ 에 대한 귀납법을 적용하여 베스트비나-브래디의 경우에서 일반적인 좌표 호모모르피즘으로 결과를 일반화한다.

실험 결과

연구 질문

• RQ1 오른쪽-각도 아르틴 군의 좌표 부분군 $N_{\rho}$ 의 호몰로지를 $\mathbb{Z}[\mathbb{Z}^m]$-모듈로 어떻게 기술할 수 있는가?
• RQ2 부분군 $N_{\rho}$ 의 코homology 와 클리크 복합체 $K_\Gamma$ 의 단순 복합체 위상 사이의 관계는 무엇인가?
• RQ3 언제 $H^q(G_\Gamma, \mathbb{k}[G_\Gamma^{ab}])$ 가 단일 차수 이외의 곳에서 소멸하는가?
• RQ4 클리크 복합체 $K_\Gamma$ 가 코헨-맥컬레이일 경우, $N_{\rho}$ 의 호몰로지의 구조에 어떤 영향을 미치는가?
• RQ5 다항식 링 $S$ 상에서 Ext 와 토르 함수를 포함한 이중성 동형사상으로 $N_{\rho}$ 의 호몰로지를 계산할 수 있는가?

주요 결과

• 차수 $d$ 의 코헨-맥컬레이 복합체 $K$ 에 대해, 코homology $H^q(G_\Gamma, \mathbb{k}[G_\Gamma^{ab}])$ 는 $q \leq m - n + d$ 와 $q > d + 1$ 에서 소멸하며, 비영인 코homology 는 오직 차수 $d+1$ 에서만 존재한다.
• 클리크 복합체 $K$ 가 차수 $d$ 의 코헨-맥컬레이 복합체일 경우, $H_q(\mathcal{Z}_K(S^1), \mathbb{k}[\mathbb{Z}^m])$ 는 $S$-모듈로로서 $\mathrm{Ext}^{d+1-q}_S(F_K, R)$ 와 동형이다.
• 콤���트 지지 코호몰로지 $H^q_c(\mathcal{Z}_K(S^1), \mathbb{k}[\mathbb{Z}^m])$ 는 $\mathrm{Tor}^{S}_{d+1-q}(F_K, R)$ 와 동형이며, 이는 이중적 묘사로 이어진다.
• 각 모듈로 $H_p(N_{\rho}, \mathbb{Z})$ 의 크룰 차원은 클리크 복합체 $K_\Gamma$ 의 외부 스탠리-라이스너 링을 통해 계산할 수 있다.
• 클리크 복합체 $K$ 가 호모로지 구면 (Gorenstein*)일 경우, $F_K \cong I_{K^\star}$ 로서 $S$-모듈로 동형이 되며, 이중성 동형사상을 단순화한다.
• 결과는 레리와 사아데투글루의 베스트비나-브래디 군에 대한 유한 차원성 기준을 회복하고 확장하며, $H^q(\mathcal{Z}_K(S^1), \mathbb{k}[\mathbb{Z}])$ 가 유한 차원임과 동시에 $\widetilde{H}^{q-1}(K, \mathbb{k}) = 0$ 이다.