비컴팩트 다양체 위트니 위상에서의 홈오몰피즘·디프오몰피즘 군 구조

본 논문은 비컴팩트 σ‑compact n‑다양체 M에 대해 위트니 위상으로 정의된 홈오몰피즘 군 H(M)과 그 컴팩트 지지 부분군 H_c(M)의 위상적 구조를 체계적으로 연구한다. 서론에서는 위트니 위상의 정의와 기존 연구(특히 컴팩트 경우에 대한 결과)들을 소개하고, 비컴팩트 상황에서 위트니 위상이 갖는 “나쁜” 국소적 성질을 지적한다. 그럼에도 불구하고 H_c(M)은 훨씬 더 좋은 위상적 특성을 가진다며 연구의 동기를 제시한다. 제2절에서는 박스(product)와 작은 박스(product)의 기본 개념을 정리한다. □^wℓ₂는 ℓ₂의 무한 박스 파워이며, ⊡^wℓ₂는 그 작은 박스 버전으로, 각각 비국소 연결성, 비정규성 등을 가지고 있다. 이러한 구조는 LF‑공간, 특히 ℝ^∞, ℓ₂, ℓ₂×ℝ^∞와 동형인 무한 차원 매니폴드와 연결된다. 저자들은 작은 박스(product) ⊡_n G_n에 대한 연속 사상 p:⊡_n G_n→G의 연속성(Lemma 2.10)과, p가 정체점에서 국소 섹션을 가질 경우 전체 군 G가 국소적으로 수축 가능함을 보이는 일반적 결과(Lemma 2.11)를 제시한다. 제3절에서는 위트니 위상이 적용된 H(M)의 기본 성질을 다룬다. 기본 이웃 U(f)={g∈H(M) | (f,g)≺U} 로 정의되며, 이는 열린 커버 U에 대한 “U‑근접” 관계를 이용한다. 지원(supp h)=cl{ x | h(x)≠x } 로 정의하고, H_c(M)은 지원이 컴팩트인 변환들의 집합이다. 여기서 중요한 사실은 H_0(M)⊂H_c(M)이며, H_c(M)이 국소적으로 수축 가능하다는 것(정리 1)이다. 이를 증명하기 위해 저자들은 작은 박스(product) 모델을 이용해 H_c(M) 내부에 동형밀도(HD)인 PL‑compact 지지 서브그룹 H_{PL,c}(M)를 구성하고, 그 위에 연속적인 흡수 동형을 정의한다. 정리 1은 H_c(M)이 국소적으로 수축 가능하고, 따라서 정체 성분 H_0(M)이 H_c(M) 안에서 열린 정규 부분군이 됨을 보인다. 이로부터 H_c(M)≅H_0(M)×𝔐_c(M)라는 위상적 직분해가 도출된다. 여기서 𝔐_c(M)=H_c(M)/H_0(M) 은 매핑 클래스 군이며, 위의 분해에 의해 이산적인 위상을 갖는다. 다음으로 저자들은 비컴팩트 2‑다양체, 즉 표면에 대해 구체적인 모델을 제시한다(정리 2). 표면은 PL‑구조를 가질 수 있으므로 H_{PL,c}(M)⊂H_c(M)이 동형밀도임을 이용한다. 작은 박스(product) ⊡_n ℓ₂와 □_n ℓ₂를 각각 H(M)와 H_c(M)의 국소 모델로 삼아, (H(M),H_c(M))가 (□^wℓ₂,⊡^wℓ₂)와 정체점 id_M에서 국소 동형임을 증명한다. 결과적으로 H_c(M)은 ℓ₂와 ℝ^∞의 직접곱인 (ℓ₂×ℝ^∞)-매니폴드가 된다. 이는 기존에 1‑차원 경우(