비콤팩트 다양체의 디피오몰피즘 군 휘트니 C무한 위상에서의 구조

초록

본 논문은 경계가 없는 비콤팩트 연결 n-다양체 M에 대해, 휘트니 C⁽ⁿ⁾-위상을 부여한 디피오몰피즘 군 Diff(M)와 그 정체 성분 Diff₀(M)의 위상적 구조를 규명한다. 주요 결과는 Diff₀(M)이 l₂-매니폴드 N과 무한 차원 힐베르트 공간 ℝ^∞의 곱 N × ℝ^∞와 위상동형이며, N의 위상형은 Diff₀(M)의 동형 유형에 의해 유일히 결정된다는 것이다. 차원 1·2·3에서 M이 방향가능하고 비분해적이면 N은 l₂와 동형이 된다. 또한, 경계가 있는 콤팩트 매니폴드 N에 대해, 내부 N\∂N의 Diff₀는 경계 고정 디피오몰피즘 군 Diff₀(N;∂N)와 ℝ^∞의 곱과 동형임을 보인다.

상세 분석

이 연구는 비콤팩트 매니폴드의 디피오몰피즘 군을 휘트니 C^∞-위상으로 살펴보는 최초의 시도 중 하나이며, 기존에 콤팩트 경우에만 알려졌던 무한 차원 위상 구조를 비콤팩트 상황으로 확장한다. 논문은 먼저 Diff_c(M), 즉 컴팩트 지지 디피오몰피즘 군을 정의하고, 그 안에서 정체 성분 Diff₀(M)이 열린 서브그룹임을 증명한다. 핵심 기술은 M을 점점 큰 컴팩트 서브매니폴드 K_i의 증가열로 분해하고, 각 K_i에 대한 제한된 디피오몰피즘 군 Diff(K_i)와의 직접극한을 이용해 Diff_c(M)의 토폴로지를 기술하는 것이다. 이러한 접근은 Whitney C^∞-위상이 강한 프레시-세미프레시 구조를 가짐을 이용해, 각 단계에서 l₂-매니폴드와 ℝ^∞의 곱 구조가 유지된다는 점을 보인다.

특히, 차원 n=1,2,3에서 M이 방향가능하고 비분해적(irreducible)일 경우, Diff₀(M)의 동형 유형이 l₂와 동형임을 보이는 데는 3차원 경우의 스테인베르크 정리와 2차원 경우의 고전적인 표면 이론이 핵심 역할을 한다. 1차원 경우는 단순히 실선 또는 원의 디피오몰피즘 군이 l₂와 동형임을 이용한다. 이러한 차원별 결과는 Diff₀(M)의 기본군이 트리비얼하거나, 경우에 따라 ℤ와 동형인 경우를 배제하고, 결국 l₂-구조가 유일하게 남는다는 결론을 도출한다.

또 다른 중요한 결과는 경계가 있는 콤팩트 매니폴드 N에 대해, 내부 N\∂N의 Diff₀가 경계 고정 디피오몰피즘 군 Diff₀(N;∂N)와 ℝ^∞의 곱과 위상동형이라는 점이다. 여기서는 확장 사상과 제한 사상의 연속성, 그리고 경계 고정 조건이 위상적 분해를 허용한다는 사실을 정밀히 증명한다. 이 과정에서 사용된 기술은 매니폴드의 끝(end) 구조와 컴팩트 지원 디피오몰피즘의 연속적 확장성을 결합한 것으로, 기존의 콤팩트 경우에 비해 훨씬 복잡한 위상적 제어가 필요했다.

결과적으로, 논문은 Diff₀(M)이 N × ℝ^∞와 위상동형이라는 일반적인 형태를 제시함으로써, 비콤팩트 매니폴드의 디피오몰피즘 군이 무한 차원 힐베르트 공간과 l₂-매니폴드의 곱 구조를 갖는다는 강력한 보편성을 입증한다. 이는 무한 차원 위상 그룹 이론, 매니폴드 이론, 그리고 미분동형학 사이의 깊은 연관성을 새롭게 조명한다.