프로피니트 완성화와 동등 코호몰로지를 갖는 군들의 새로운 사례

본 논문은 임의의 양의 정수 \(n\)에 대해 군 \(G\)가 모든 유한 이산 \(\widehat G\)-모듈 \(A\)에 대해 동등 코호몰로지 동형 \(H^{i}(\widehat G,A)\cong H^{i}(G,A)\) (\(0\le i\le n\))를 만족하는 군들의 클래스를 \(\mathcal A_{n}\)이라 정의한다. 서두에서 Serre의 기본 정리(레마 2.1)를 인용해 \(\mathcal A_{0},\mathcal A_{1}\)은 모든 군을 포함하고, \(\mathcal A_{2}\)부터는 제한이 나타나며 \(\mathbb Q/\mathbb Z\), \(PGL_{2}(\mathbb C)\) 등은 포함되지 않음을 보인다. 섹션 2에서는 \(\mathcal A_{n}\)의 기본 성질을 정리한다. 특히, \(\mathcal A_{2}\)에 대한 등가조건을 제시하는 명제 2.4를 통해, 유한 생성 정규 부분군 \(N\)이 포함된 확장 \(1\to N\to E\to G\to1\)에서 \(\widehat N\hookrightarrow\widehat E\)가 삽입이면 \(G\in\mathcal A_{2}\)임을 보인다. 이어서 정리 2.5는 \(N\hookrightarrow G\to Q\)가 확장이고, \(N,Q\in\mathcal A_{n}\)이며 \(N\)이 FP\(_{n-1}\) 조건을 만족하면 \(G\in\mathcal A_{n}\)임을 스펙트럴 시퀀스와 레마 2.6, 2.7을 이용해 증명한다. 이 결과는 코호몰로지 차원에서 유한성 조건을 유지하면서 확장이 가능함을 의미한다. 그 결과로부터, 코롤러리 2.8은 \(N\)과 \(Q\)가 모두 \(\mathcal A_{2}\)에 속하고 \(N\)이 유한 생성이면 \(G\)도 \(\mathcal A_{2}\)에 속한다는 사실을 도출한다. 코롤러리 2.9는 “가상 다항·가상 자유” 군이 모든 \(\mathcal A_{n}\)에 포함된다는 일반적인 결론을 제시한다. 반면, 예시에서는 다이아드릭 유리수 위의 상삼각 행렬군 \(U\)와 그 변형을 통해 \(\mathcal A_{2}\)에 속하지 않는 유한 생성 가 solvable 군을 제시한다. 섹션 3에서는 Mayer‑Vietoris 시퀀스를 활용해 자유곱·합성 및 HNN 확장이 \(\mathcal A_{n}\) 보존을 증명한다. 두 가상 다항군이 사이클릭 부분군을 공유할 때 그 자유곱은 모든 차원에서 \(\mathcal A_{n}\)에 속한다는 결과를 얻으며, 이는 오른쪽 각형 아티안 군(RAAG)도 전 차원에서 \(\mathcal A_{n}\)에 포함된다는 결론으로 이어진다. 이러한 결과는 기존에 알려진 자유군·다항군·유한군의 성질을 일반화한 것으로, 복잡한 합성 구조에서도 코호몰로지 동형이 유지됨을 보여준다. 섹션 4는 \(\mathcal A_{2}\)와 잔류 유한성의 교차점을 탐구한다. 정의에 따라 “고도로 잔류 유한(highly residually finite)” 군은 (i) 잔류 유한이며 (ii) \(\mathcal A_{2}\)에 속한다. 정리 2.10은 다음과 같은 동등조건을 제시한다: (i) 고도로 잔류 유한, (ii) 모든 유한 생성 잔류 유한 확장이 잔류 유한, (iii) 모든 유한 확장이 잔류 유한. 이를 통해 다항군, 자유군, 그리고 그들의 유한 확장은 모두 고도로 잔류 유한임을 확인한다. 코롤러리 2.11은 고도로 잔류 유한 군들의 클래스가 유한 생성 확장에 대해 닫혀 있음을 보여준다. 마지막으로 상승형 HNN 확장에 대한 새로운 잔류 유한성 결과를 제시한다. 기본군이 다항군이거나 자유 유한 계수(rank)인 경우, 해당 상승형 HNN 확장은 고도로 잔류 유한임을 기존 증명보다 훨씬 간결하게 증명한다. 더 일반적으로, 기본군이 유한·다항·자유 계층을 갖는 정상 급수 \(1=G_{0}\lhd G_{1}\lhd\cdots\lhd G_{r}=G\)를 가지고, 각 단계가 \(\phi(G_{i})\le G_{i}\)를 만족하면, 상승형 HNN 확장 \(G_{\phi}\)는 고도로 잔류 유한이 된다. 이는 기존 문헌에서 복잡하게 다루어졌던 사례들을 통합하고, 새로운 클래스의 군들을 쉽게 구성할 수 있는 방법을 제공한다. 전체적으로 논문은 \(\mathcal A_{n}\) 클래스의 구조적 특성을 명확히 하고, 자유곱·합성·HNN 확장을 통한 새로운 예시를 제시함으로써 코호몰로지와 잔류 유한성 사이의 깊은 연관성을 부각시킨다.