디스크 매끄러움 이론 디루핑과 임베딩 공간의 새로운 전개

초록

본 논문은 Morlet‑Burghelea‑Lashof‑Kirby‑Siebenmann 매끄러움 이론을 확장하여, 경계에 고정된 원판의 다양한 매끄러운 임베딩 공간(보통 임베딩, 몰입을 나눈 임베딩, 프레이밍된 임베딩)의 디루핑을 구축한다. 특히 프레이밍된 임베딩은 $Ω^{m+1}$ 로 표현되는 이중 코시터와 위상·PL 군들의 이중 잔여공간으로 동형이며, $n\neq4$인 경우 Budney의 $E_{m+1}$ 작용과 Hatcher의 $O_{m+1}$ 작용을 동시에 만족하는 프레임드 리틀 디스크 작용 $E_{m+1}^{O_{m+1}}$ 를 얻는다.

상세 분석

이 논문은 기존 매끄러움 이론에서 알려진 “$\mathrm{Diff}\partial(D^n)\simeq Ω^{n+1}(\mathrm{PL}n/O_n)$” 및 “$Ω^{n+1}(\mathrm{TOP}n/O_n)$”(단 $n\neq4$)라는 동형을 출발점으로 삼는다. 저자들은 이를 일반적인 원판 임베딩 공간으로 확장한다는 두 가지 핵심 아이디어를 제시한다. 첫 번째는 임베딩을 “임베딩을 몰입으로 나눈 호모토피 섬유” 혹은 “프레이밍된 임베딩”이라는 보다 정교한 구조로 재구성함으로써, 원판 차원 $m$과 대상 차원 $n$ 사이의 관계에 따라 적절한 위상·PL 군들의 코시터를 얻는 것이다. 구체적으로 $V{n,m}=O_n/O{n-m}$ 를 표준 스테펠 군으로 두고, 그 위상·PL 버전 $V{n,m}^{\mathrm{TOP}}$, $V_{n,m}^{\mathrm{PL}}$ 를 고려한다. 그러면
\