보크스테인 영성, 크로플러 계층과 무어 추측의 증명

초록

무어의 추측은 유한 지수 부분군 H를 가진 군 G에 대해, G\H에 소소수 차수 원소가 없을 때 H‑모듈이 G‑모듈보다도 사영이면 전체 G‑모듈도 사영임을 주장한다. 본 논문은 무한 군에 대한 세레의 Bockstein 영성 정리와 동등한 조건을 만족하는 군들에 대해 이 추측을 증명하고, Kropholler가 정의한 LHF 계층 전체에 대해 동일한 결과를 확장한다. 또한 (G,H) 쌍을 보존하는 두 가지 폐쇄 연산을 도입해, 소수 지수의 완전 정규 부분군을 가진 경우만을 고려하면 일반적인 경우도 귀결됨을 보인다.

상세 분석

무어 추측은 “G가 H의 유한 지수 확장이고, G\H에 소수 차수 원소가 존재하지 않을 때, H‑모듈 M이 G‑모듈보다도 사영이면 M은 G‑모듈에서도 사영이다”라는 명제를 담고 있다. 유한 군의 경우는 Chouinard 정리와 Serre의 Bockstein 연산 곱이 사라지는 결과에 의해 즉시 따라온다. 그러나 무한 군에서는 Baumslag‑Dyer‑Heller가 제시한 예시를 통해 Serre의 정리가 일반적으로 성립하지 않음이 알려졌다.

논문은 먼저 “Bockstein 연산이 nilpotent”이라는 조건을 군 G에 대해 정의하고, 이 조건이 성립하면 무어 추측이 그대로 유지된다는 핵심 정리를 증명한다. 여기서 사용된 기술은 Benson이 제시한 “Bockstein nilpotency ⇒ projectivity detection”이라는 아이디어와, Bousfield‑Kan 식을 통한 고차 동형사상의 사라짐을 결합한 것이다.

다음 단계에서는 Kropholler가 만든 LHF(Locally Hierarchically Finite) 계층을 고려한다. LHF는 기본적으로 HNN‑extension, amalgamated product, 그리고 유한 지수 확장을 반복적으로 적용해 얻어지는 군들의 폐쇄된 클래스이다. Benson‑Goodearl의 결과를 이용해, LHF에 속하는 모든 군은 Bockstein 연산이 nilpotent임을 보인다. 따라서 LHF 안의 모든 군은 무어 추측을 만족한다는 결론에 도달한다.

특히 논문은 (G,H) 쌍에 대한 두 가지 폐쇄 연산을 정의한다. 첫 번째는 군 사상 φ:G→G’에 대해 φ⁻¹(H’)가 H와 동형이면 (G,H)⇒(G’,H’)가 유지되는 “사상에 대한 폐쇄”이다. 두 번째는 Kropholler의 “construction‑closure”로, H가 G의 정상 부분군이고 G/H가 소수 차수이면, (G,H) 쌍을 (G/H,1)와 (H,1)으로 분해해 각각 검증한 뒤 다시 합성하는 방식이다. 이 두 연산을 통해, 소수 지수의 완전 정상 부분군을 가진 경우만을 검증하면 모든 경우로 일반화될 수 있음을 보인다.

결과적으로, 무한 군에 대해 Serre의 정리가 실패하더라도, 위의 폐쇄 연산과 Kropholler 계층의 구조적 특성을 이용하면 무어 추측은 여전히 성립한다는 강력한 결론을 얻는다. 이는 기존에 알려진 제한된 사례들을 훨씬 넓은 범위로 확장시키는 중요한 진전이다.