그룹 코호몰로지 피니터리 조건

본 논문은 군 \(G\)에 대한 코호몰로지 함자 \(H^{n}(G,-)=\operatorname{Ext}^{n}_{\mathbb Z G}(\mathbb Z,-)\) 가 필터드 콜리밋과 교환하는 경우를 “피니터리”라 정의한다. Brown과 Bieri의 이전 연구를 인용해, 군이 FP\(_\infty\) 타입이면 모든 차수에서 피니터리이며, 반대로 피니터리성은 FP\(_\infty\)의 동등조건이 된다. 저자는 이 개념을 확장해, 차수가 충분히 큰 \(n\)에 대해 피니터리인 경우를 “거의 모든 차수에서 피니터리”라고 명명하고, 이러한 군들을 체계적으로 조사한다. 첫 번째 절에서는 지역적으로 (다항식-바이-유한)인 군을 대상으로 한다. Lemma 2.1–2.3을 통해 유한 지수 부분군에 대한 피니터리성 전이와 링 동형사상의 보존성을 증명한다. Proposition 2.4에서는 직접곱 \(N\times Q\) (여기서 \(Q\)는 비자명 유한군)에서 어느 차수의 코호몰로지가 피니터리이면 \(N\)이 유한 생성임을 보인다. 이를 바탕으로 Theorem A를 증명한다. Theorem A는 “\(G\)가 지역적으로 (다항식-바이-유한)이고 가상 코호몰로지 차원(vcd)이 유한하면, \(G\)가 거의 모든 차수에서 피니터리 ⇔ 모든 비자명 유한 부분군의 정규화자 \(N_G(F)\)가 유한 생성”이라는 정확한 동치성을 제시한다. 증명은 먼저 \(G\)가 유한 차원의 \(E G\) 모델을 가짐을 이용하고, 정규화자들의 프로젝트ive 차원을 제어하기 위해 Kropholler‑Mislin의 임베딩 및 연결성 결과(Prop 3.4, 3.5)를 활용한다. 또한 Lemma 3.6, 3.7을 통해 확장된 정확한 시퀀스의 Ext‑함자들이 고차원에서 피니터리이면 전체 군이 피니터리함을 귀납적으로 증명한다. Corollary B는 Theorem A의 직접적인 귀결로, “\(G\)가 위 조건을 만족하면 모든 부분군도 거의 모든 차수에서 피니터리”임을 보여, 일반적인 군에서는 성립하지 않는 이 성질이 지역적 (다항식-바이-유한) 군에서는 강하게 유지됨을 강조한다. 다음 절에서는 초등 아벨 군을 포함한 더 넓은 클래스인 elementary amenable 군을 다룬다. Proposition C는 이러한 군이 거의 모든 차수에서 피니터리이면, 유한 부분군의 동형류가 유한하고, 모든 \(p\)-부분군의 중심화자 \(C_G(E)\)가 유한 생성임을 증명한다. 섹션 6에서는 가상 코호몰로지 차원이 유한한 군을 대상으로, 정수 계열 대신 소수 \(p\)에 대한 특성 체 \(\mathbb F_p\) 위의 코호몰로지를 고려한다. 여기서 FP\(_\infty\) 타입을 \(\mathbb F_p\)‑모듈에 대한 FP\(_\infty\)와 동등시킨다. Theorem D는 세 가지 동등조건을 제시한다: (i) \(\mathbb F_p\)‑위에서 거의 모든 차수에서 피니터리, (ii) 초등 아벨 \(p\)-부분군의 동형류가 유한하고 정규화자가 \(\mathbb F_p\)‑FP\(_\infty\), (iii) 같은 동형류 조건과 정규화자가 \(\mathbb F_p\)‑위에서 거의 모든 차수에서 피니터리. 이 결과는 Künneth 정리와 Shapiro 보조정리를 통해 직접곱 구조를 분석하고, 정규화자의 프로젝트ive 차원을 제어함으로써 얻어진다. Theorem E는 Leary‑Nucinkis가 제기한 질문에 대한 해답이다. 군 \(G\)가 VFP 타입(가상 FP)이고 \(p\)-부분군 \(P\)를 가질 때, 정규화자 \(C_G(P)\)도 동일한 VFP 타입을 갖는다. 이는 Theorem D의 (ii)⇒(i) 방향을 적절히 적용하고, 정규화자에 대한 가상 코호몰로지 차원 보존을 보임으로써 증명된다. 마지막으로 §8에서는 정수 계열에서의 결과를 다시 검토한다. Proposition F는 “\(G\)가 유한 차원의 \(E G\) 모델을 가지고, 유한 부분군의 동형류가 유한하며, 모든 비자명 유한 부분군의 정규화자가 거의 모든 차수에서 피니터리이면 \(G\)도 피니터리”라는 충분조건을 제시한다. 그러나 반대는 일반적으로 성립하지 않으며, Leary의 예시(정리 20 in