제한 사상과 FP∞ 군의 코호몰로지 생성성

초록

본 논문은 군 G와 그 유한 지수 부분군 H 사이의 제한 사상의 핵이 이상으로서 유한 생성되는가를 조사한다. 가상 유한 코호몰로지 차원을 갖는 경우에는 긍정적 결과를 보이며, 가상 유한 차원이 없고 G가 FP∞ 조건을 만족하더라도 핵이 유한 생성되지 않을 수 있음을 예시를 통해 입증한다.

상세 분석

논문은 먼저 바르톨디가 제기한 질문, 즉 제한 사상 res⁎:H⁎(G,𝔽ₚ)→H⁎(H,𝔽ₚ)의 핵이 이상으로서 유한 생성되는가를 다룬다. 이를 위해 저자는 가상 유한 코호몰로지 차원(virtual finite cohomological dimension, vcd)을 갖는 군과 그렇지 않은 군을 구분한다. vcd를 갖는 경우, G는 어떤 유한 지수 정상 부분군 N을 가지고 N의 코호몰로지 차원이 유한하다. 이때 N의 코호몰로지는 Noetherian ring 구조를 가지며, 제한 사상의 핵은 N에 대한 코호몰로지의 유한 생성 성질을 이용해 이상으로서 유한 생성됨을 증명한다. 핵의 생성원은 주로 전이 사상과 전이 차수의 조합으로 구성되며, 이는 기존의 Evens–Venkov 정리와 유사한 방식으로 다루어진다.

반면, 가상 유한 차원이 없는 경우에는 이러한 Noetherian 성질이 사라진다. 저자는 FP∞ 군, 즉 모든 차원에서 유한 생성된 프로젝트ive 해석을 갖는 군을 선택한다. 이러한 군은 일반적으로 코호몰로지 차원이 무한하지만, 각 차원에서의 모듈이 유한 생성되는 특성을 가진다. 논문은 구체적인 예로 Baumslag–Solitar 군과 그 변형을 사용한다. 이들 군은 유한 지수 부분군을 가짐에도 불구하고, 제한 사상의 핵이 무한히 많은 독립적인 원소를 포함함을 보인다. 특히, 핵이 다항식 환 𝔽ₚ