3차원 포인카레 이중성 그룹은 (T) 성질을 가질 수 없다

초록

최근 Bader‑Sauer의 코바운더리 확장 결과를 이용해, 잔여 유한성(residually finite)을 가진 3차원 포인카레 이중성(PD³) 그룹은 Kazhdan의 Property (T)를 가질 수 없음을 보였다. 이로써 이러한 그룹은 Kähler이 될 수 없으며, 동일한 방법으로 “3차원 콤팩트 다양체의 기본군이 (T)를 가질 경우 유한군이다”는 Fujiwara 정리를 기하화 없이도 증명한다.

상세 분석

본 논문은 세 가지 핵심 아이디어를 결합한다. 첫째, Bader‑Sauer가 증명한 “FP₂ 유형을 가진 (T) 군은 모든 유한 지수 정규 부분군에 대해 ℓ¹‑노름으로 측정된 코바운더리 확장 상수 C가 존재한다”는 정리를 FP₂ 수준으로 일반화한다(정리 3). 이는 부분 해석적 해석에서 코바운더리 2‑형식 η에 대해 1‑형식 ω가 존재하고 ‖ω‖ ≤ C‖η‖을 만족한다는 의미이며, 정수 계수를 사용해도 동일하게 적용된다.

둘째, 3차원 포인카레 이중성 그룹 G는 Poincaré 이중성에 의해 H²(G;ℤG)≅ℤ이며, 이는 코바운더리 확장 정리와 결합해 “코드미멘션 2 선형 동형사상”을 만든다(명제 1.11). 구체적으로, G의 모든 유한 지수 부분군 H에 대해 2‑체 z가 경계이면, 이를 메우는 3‑체 A에 대해 |z| ≥ c|A| (c>0)인 선형 하한이 존재한다는 것이다.

셋째, 저자는 자체적으로 증명한 비확장 정리(정리 4)를 이용한다. 이는 잔여 유한군 G에 대해, 어느 유한 커버 Mᵢ에서도 첫 베티수가 0이면, 임의의 ε>0에 대해 “경계 z가 존재하지만, 이를 메우는 2‑체 A에 대해 |z| < ε|A|”가 가능함을 보인다. 즉, 경계와 체적 사이에 임의로 작은 비율을 만들 수 있다.

이 두 결과를 동시에 만족시키는 것은 모순이다. 만약 G가 PD³이면서 (T)를 가진다면, 정리 3·정리 1.11에 의해 선형 하한 c가 존재해야 하지만, 정리 4에 의해 ε를 c보다 작게 잡을 수 없게 된다. 따라서 이러한 G는 (T)를 가질 수 없으며, 이는 정리 1의 결론이다.

또한, PD³ Kähler 군은 반드시 (T)를 가져야 한다는 Delzant‑BMS12 결과와 Kotschick‑Reznikov의 작업을 인용해, PD³ 군이 Kähler일 수 없음을 즉시 얻는다(정리 1의 직접적인 귀류). 마지막으로, 3차원 콤팩트 다양체 M의 기본군 π₁(M)이 (T)를 가질 경우, 위와 동일한 논증이 적용되어 π₁(M)은 유한군이어야 함을 보인다(정리 2). 이때 필요한 유일한 기하학적 입력은 3‑다양체 군이 잔여 유한성이라는 사실이며, 이는 Agol‑Wise‑Perelman 등 현대 기하위상학 결과에 의해 보장된다.

전체적으로 논문은 (T)와 코바운더리 확장, 그리고 Poincaré 이중성 사이의 미묘한 상호작용을 이용해, 기존에 기하화 전제에 의존하던 3‑다양체 결과들을 보다 순수한 대수적·코호몰로지적 방법으로 재증명한다는 점에서 의의가 크다.