[논문 리뷰] Spin structures and codimension-two homeomorphism extensions

Fan Ding, Yi Liu외 2명|arXiv (Cornell University)|2009. 10. 26.

Geometric and Algebraic Topology참고 문헌 10인용 수 3

한 줄 요약

이 논문은 유클리드 공간에서 codimension-two 임bedding에 의해 유도되는 스핀 구조라는 위상적 불변량을 설정하여, 다양체의 어떤 매핑 클래스가 주변 공간으로 확장 가능한지를 제약한다. 주어진 매핑 클래스가 ℝ^{p+2}로 확장되는 경우, 그 확장이 유지하는 스핀 구조를 보여줌으로써, 확장 가능한 매핑 클래스 부분군의 인덱스에 비자명한 하한을 도출한다. 주요 결과는 ℝ⁴ 내의 풀린 표면과 ℝ^{p+2} 내의 특정 토러스에 대해 이러한 하한이 정확히 도달되며, 각각 인덱스가 정확히 2^{2g−1} + 2^{g−1} 및 2^p − 1임을 보여준다.

ABSTRACT

Let $\imath: M o \RR^{p+2}$ be a smooth embedding from a connected, oriented, closed $p$-dimesional smooth manifold to $\RR^{p+2}$, then there is a spin structure $\imath^\sharp(ς^{p+2})$ on $M$ canonically induced from the embedding. If an orientation-preserving diffeomorphism $τ$ of $M$ extends over $\imath$ as an orientation-preserving topological homeomorphism of $\RR^{p+2}$, then $τ$ preserves the induced spin structure. Let $\esg_\cat(\imath)$ be the subgroup of the $\cat$-mapping class group $\mcg_\cat(M)$ consisting of elements whose representatives extend over $\RR^{p+2}$ as orientation-preserving $\cat$-homeomorphisms, where $\cat= opo$, $\pl$ or $\diff$. The invariance of $\imath^\sharp(ς^{p+2})$ gives nontrivial lower bounds to $[\mcg_\cat(M):\esg_\cat(\imath)]$ in various special cases. We apply this to embedded surfaces in $\RR^4$ and embedded $p$-dimensional tori in $\RR^{p+2}$. In particular, in these cases the index lower bounds for $\esg_ opo(\imath)$ are achieved for unknotted embeddings.

연구 동기 및 목표

• 닫힘된, 정렬된, 매끄러운 p-다양체의 어떤 매핑 클래스가 ℝ^{p+2}로 주변 홈오모르피즘으로 확장되는지 이해하는 것.
• 그러한 확장을 방해하는 위상적 불변량을 규명하는 것.
• 전체 매핑 클래스 군 내에서 확장 가능한 매핑 클래스 부분군의 인덱스를 계산하거나 추정하는 것.
• 풀린 임bedding의 경우 유도된 인덱스 하한이 정확히 도달됨을 보이는 것.

제안 방법

• 매끄러운 임bedding 𝝳: M → ℝ^{p+2}에 의해 ℝ^{p+2}의 표준 스핀 구조에서의 풀백을 통해 p-다양체 M 위에 자연스러운 스핀 구조를 정의한다.
• ℝ^{p+2}로 확장되는 방향을 유지하는 M의 임의의 방향 보존 미분형사가 M 위에 유도된 스핀 구조를 유지함을 증명한다.
• 유도된 스핀 구조가 ℝ^{p+2} 내의 시에르베르트 초면 위의 스핀 구조의 경계임을 이용하여 그 위상적 불변성을 분석한다.
• 스핀 구조의 불변성을 적용하여, C = Top, PL, Diff에 대해 [MCG_C(M) : 𝔈_C(𝝳)]의 인덱스에 하한을 도출한다.
• 특히 토렐리 군과 모듈리 군의 구조를 포함한 표면 및 토러스의 매핑 클래스 군에 관한 알려진 결과를 활용하여 인덱스를 계산하거나 추정한다.
• 풀린 임bedding의 경우 하한이 도달됨을 보이며, 히로세의 구성과 스핀 cobordism, 락힐린 정리의 결과를 활용한다.

실험 결과

연구 질문

• RQ1 닫힘된, 정렬된, 매끄러운 p-다양체의 어떤 매핑 클래스가 주변 공간의 방향 보존 홈오모르피즘으로 ℝ^{p+2}로 확장되는가?
• RQ2 Codimension-two 임bedding을 통한 다양체 위에 유도된 스핀 구조는 어떻게 미분형사의 확장을 방해하는가?
• RQ3 ℝ⁴ 내의 풀린 표면과 ℝ^{p+2} 내의 토러스에 대해, 확장 가능한 매핑 클래스 부분군의 정확한 인덱스는 무엇인가?
• RQ4 스핀 구조 불변성에서 유도된 하한은 특정 임bedding에 대해 정확한 값으로 실현될 수 있는가?
• RQ5 임bedding의 선택(예: 풀린 vs. 뭉친)은 매핑 클래스의 확장 가능성에 어떤 영향을 미치는가?

주요 결과

• 모든 매끄러운 임bedding에 대해 ℝ⁴에 매장된 종수 g의 표면 F_g에 대해, [MCG_Top(F_g) : 𝔈_Top(𝝳)]의 인덱스는 최소 2^{2g−1} + 2^{g−1}이다.
• 이 하한은 ℝ⁴ 내의 풀린 임bedding의 경우 정확히 도달되며, 이 경우 인덱스는 정확히 2^{2g−1} + 2^{g−1}이다.
• 비-리 군 스트럭처를 유도하는 p-토러스 T^p의 모든 매끄러운 임bedding에 대해, [MCG_Top(T^p) : 𝔈_Top(𝝳)]의 인덱스는 최소 2^p − 1이다.
• 이 하한은 ℝ^{p+2} 내의 풀린 임bedding의 경우 정확히 도달되며, 따라서 인덱스는 정확히 2^p − 1이다.
• 풀린 임bedding에 의해 유도된 T^p 위의 스핀 구조는 절대 리 군 스핀 구조가 아니며, 이는 하한에 핵심적인 역할을 한다.
• p ≤ 3일 때, C = Diff, PL, 또는 Top에 대해 [MCG_C(T^p) : 𝔈_C(𝝳)]의 인덱스는 정확히 2^p − 1이며, 모든 p에 대해 유한하다.