비콤팩트 다양체의 측정 보존 홈오몰피즘 약한 연장 정리

초록

본 논문은 비콤팩트 다양체 M 위의 측정 보존 홈오몰피즘 군 H(M, m)에 대해 약한 연장 성질을 정의하고, 이를 이용해 국소적으로 컴팩트 지지의 측정 보존 홈오몰피즘 군 H_c(M, m)의 위트니 위상에서의 국소 수축성을 증명한다.

상세 분석

논문은 먼저 군 작용에 의해 유도되는 임베딩들의 약한 연장 성질(weak extension property, WEP)을 일반적인 틀 안에서 정의한다. WEP는 주어진 부분집합 A⊂X와 그 위의 임베딩 f:A→Y가 존재할 때, f를 전체 공간 X에 연장하는 연속적인 방법이 존재함을 의미한다. 여기서 중요한 점은 연장의 연속성이 원래 임베딩 공간의 위상(보통 C^0‑위상)과 일치해야 한다는 것이다. 저자는 이 정의를 측정 공간(M, m) 위의 홈오몰피즘 군 H(M, m)에 적용한다. 비콤팩트 다양체 M은 일반적으로 무한 부피를 가질 수 있으므로, 전통적인 연장 정리(예: Alexander’s trick)와는 다른 접근이 필요하다.

이를 위해 저자는 먼저 H(M, m)의 부분군인 컴팩트 지지 홈오몰피즘 H_c(M, m)를 고려한다. 이 군은 Whitney C^0‑위상으로 위상화되며, 이 위상에서의 연속성은 점별 수렴이 아니라 전역적인 균등 수렴을 요구한다. 논문은 H_c(M, m) 내에서 임베딩을 정의하고, 임베딩이 제한된 컴팩트 부분 K⊂M에 대해 K를 포함하는 더 큰 컴팩트 집합 L으로 연장할 수 있음을 보인다. 핵심은 측정 보존성이다. 저자는 m‑측정이 L‑내에서 보존되는 변환을 선택함으로써, 연장 과정이 측정 보존성을 파괴하지 않도록 한다.

주요 기술적 결과는 두 가지 정리이다. 첫 번째는 “Weak Extension Theorem for H(M, m)”으로, 임베딩 f:A→M이 A가 컴팩트이고 m‑측정이 0이 아닌 경우, f를 전체 M에 연장하는 연속적인 사상 Φ가 존재함을 보인다. 두 번째는 “Local Contractibility of H_c(M, m)”이다. 위의 약한 연장 정리를 이용해, 임의의 아이덴티티 근처의 열린 이웃 U⊂H_c(M, m)에서, U를 하나의 점(항등 변환)으로 수축시키는 연속적인 사상 H:U×