그룹 코호몰로지의 유한성: 언제 파인리(정리)인가

초록

그룹 (G)에 대해 코호몰로지 함자 (H^{n}(G,-))가 필터드(colimit)와 교환하면 ‘파인리’라 한다. 저자는 ‘거의 모든 차수에서 파인리’인 경우를 연구하여, 지역적으로 (다항식-유한)인 그룹은 유한 가상 코호몰로지 차원(vcd)과 모든 비자명 유한 부분군의 정규화자가 유한 생성이면 정확히 이 성질을 만족함을 보인다. 또한 VFP 군에 대한 Leary‑Nucinkis 질문을 해결하고, EG 모델 존재 여부와 유한한 공액류, 정규화자 조건 사이의 관계도 제시한다.

상세 분석

논문은 먼저 코호몰로지 함자 (H^{n}(G,-)=\operatorname{Ext}^{n}{\mathbb Z G}(\mathbb Z,-))가 ‘파인리’(finitary)라는 개념을 정의한다. 파인리란 모든 필터드 콜리밋(colimit) 시스템에 대해 함자가 한계와 교환한다는 뜻이며, 이는 FP(\infty) 성질과 직접 연결된다(브라운, Proposition 1.1). 저자는 “거의 모든 차수에서 파인리”(cohomology almost everywhere finitary)라는 새로운 클래스의 그룹을 도입한다.

주요 결과인 Theorem A는 지역적으로 (poly‑cyclic‑by‑finite)인 그룹 (G)에 대해 다음을 동치로 만든다. (1) (G)가 거의 모든 차수에서 파인리, (2) (G)가 유한 가상 코호몰로지 차원(vcd)와, (3) 모든 비자명 유한 부분군 (F\le G)의 정규화자 (N_G(F))가 유한 생성. 증명은 먼저 (G)가 vcd를 갖는 경우를 가정하고, (G)가 유한 차원의 (E G) 모델을 가짐을 이용한다(Conner‑Kropholler 정리). 그런 뒤, 정규화자들의 코호몰로지를 분석하고, Künneth 정리와 Shapiro 보조정리를 통해 정규화자가 파인리이면 그 자체가 유한 생성임을 보인다. 반대 방향에서는 직접적인 반증을 위해 (G=N\times Q) 형태( (N)은 무토션, (Q)는 유한)에서 (N)이 유한 생성이 아니면 어느 차수에서든 파인리함자가 깨진다(Proposition 2.4).

Corollary B는 이 클래스가 부분군에 대해 닫혀 있음을 보여, 일반적인 그룹에서는 성립하지 않는 점을 강조한다(예: Proposition 4.1).

다음으로 elementary amenable 그룹에 대한 Proposition C를 증명한다. 여기서는 거의 모든 차수에서 파인리인 경우, 유한한 공액류와 모든 p‑부분군의 중심화자가 유한 생성임을 얻는다. 이는 그룹이 FP(_\infty)이면서도 유한한 p‑부분군 구조를 가짐을 의미한다.

Theorem D에서는 기본 고리를 (\mathbb Z) 대신 소수 특성 (p)의 체 (R) 위에서 작업한다. 가상 코호몰로지 차원이 유한한 그룹 (G)에 대해, (i) 파인리함자 존재, (ii) elementary abelian (p)-부분군의 공액류가 유한하고 정규화자가 FP(_\infty) over (R), (iii) 정규화자가 다시 파인리함자를 갖는 조건이 서로 동치임을 보인다. 증명은 앞서의 구조 분석을 (R)-모듈에 맞게 일반화하고, Ext‑함자의 파인리성을 분해하는 Lemma 2.3을 핵심으로 한다.

이 결과를 이용해 Leary‑Nucinkis의 질문에 답하는 Theorem E를 얻는다. VFP(가상 FP) 군 (G)와 그 안의 p‑부분군 (P)에 대해, 중심화자 (C_G(P)) 역시 VFP임을 증명한다. 이는 정규화자와 중심화자 사이의 FP(_\infty) 전이 성질을 활용한 것이다.

마지막으로 Proposition F는 EG 모델을 갖는 그룹에 대해, (i) 유한한 공액류, (ii) 모든 비자명 유한 부분군의 정규화자가 거의 모든 차수에서 파인리이면 전체 그룹이 같은 성질을 갖는다는 충분조건을 제시한다. 반대는 일반적으로 거짓이며, Leary의 예시를 통해 반례를 만든다.

전체적으로 논문은 파인리 코호몰로지라는 새로운 관점을 통해 가상 코호몰로지 차원, 정규화자 구조, 그리고 FP(_\infty) 성질 사이의 미묘한 관계를 밝히며, 기존 질문에 대한 해답을 제공한다.