3차원 다양체의 무한 기본군에서 나타나는 무한 차수 의사동형군

초록

Y가 기본군이 무한한 콤팩트한 3차원 다양체일 때, I×Y의 의사동형군 π₀Diff_PI와 π₀Homeo_PI 사이의 자연 사상은 무한 차수의 이미지를 갖는다. 결과적으로 네 가지 매핑 클래스 군(π₀Diff_PI, π₀Diff_∂, π₀Homeo_PI, π₀Homeo_∂) 모두 무한 차수의 아벨 군이며, 동일한 방법으로 C(Y)와 C(I×Y)의 π₀도 무한 차수의 아벨 부분군(또는 전사)를 포함한다. 증명은 바벨(diffeo) 변환을 이용해 임베딩된 호의 공간 Emb†(I, I×Y)와 그 구성공간에 대한 동형군 작용을 분석한다.

상세 분석

이 논문은 기본군이 무한한 콤팩트한 3차원 다양체 Y에 대해 I×Y의 매핑 클래스 군을 정밀히 조사한다. 먼저 Diff_∂(I×Y)와 Homeo_∂(I×Y) 사이의 자연 포함이 π₀ 수준에서 아벨 군을 형성한다는 사실을 이용한다. 핵심은 Diff_PI(I×Y)⊂Diff_∂(I×Y)와 Homeo_PI(I×Y)⊂Homeo_∂(I×Y) 사이의 사상이 무한 차수의 이미지를 갖는다는 정리(A)이다. 이를 증명하기 위해 저자들은 Budney‑Gabai가 도입한 ‘바벨’ 디프오몰피즘을 사용한다. 바벨 변환은 I×Y 안에 작은 고리와 그 고리를 연결하는 ‘바’를 삽입해 만든 특수한 diffeomorphism이며, 서로 다른 바벨 변환들의 조합이 서로 독립적인 원소가 된다.

바벨 변환이 비자명함을 보이기 위해서는 이들이 Emb†(I, I×Y)라 불리는 ‘양끝이 고정된 임베딩 호 공간’에 미치는 작용을 조사한다. 이 공간의 기본군 π₁과 두 번째 동형군 π₂를 정확히 계산하는 것이 핵심이다. π₁은 Dax 동형을 이용해 π₂(Y)와 직접 연결되며, π₂는 구성공간(configuration space)과 Bousfield‑Kan 스펙트럼을 통해 ⊕_{∞}ℚ 로 사상 Ψ를 정의한다. Ψ는 바벨 변환이 만든 호의 동형 클래스가 비자명함을 검출한다.

또한 Y가 비단순 연결이므로 유한 커버 eY를 잡아 그 위에서 바벨 변환을 끌어올릴 수 있다. 커버링 공간이 Haken이면 매핑 클래스 군 사이의 풀백 사상이 정의되고, 이를 통해 원래의 변환이 동형동형이 아님을 증명한다. Y를 경계 성분을 D³ 로 채워 만든 ˆY가 비가환, 비Seifert, 혹은 Seifert 섬유화된 경우에 따라 각각 다른 호와 표면의 동형 클래스를 이용해 독립성을 확보한다. 특히 ˆY가 비가환이면 표면(2‑차원) 동형 클래스를, Seifert 경우에는 특수한 호 클래스를 사용한다. ˆY가 축소가능(reducible)인 경우에는 S¹×S²와 RP³#RP³ 같은 특수 예외를 별도로 다루어 전체 경우를 포괄한다.

정리 B에서는 위의 정리 A를 강화해 C(Y)와 C(I×Y)의 π₀도 무한 차수의 아벨 부분군(또는 전사)를 포함한다는 결과를 얻는다. 여기서 C(·)는 ‘컨코던스 자동군’으로, 고전적인 고차원 매니폴드 이론에서 K‑이론과 연결되는 중요한 객체이다. 논문은 정확한 장-구조와 증명 흐름을 제시함으로써 3·4 차원 다양체에 대한 의사동형군의 구조를 처음으로 크게 확장한다.