[논문 리뷰] Smoothly embedding Seifert fibered spaces in $S^4$

Ahmad Issa, Duncan McCoy|arXiv (Cornell University)|2018. 10. 10.

Geometric and Algebraic Topology참고 문헌 18인용 수 4

한 줄 요약

이 논문은 도널드슨 정리와 뉴먼-지벤만 불변량을 사용하여 $S^4$ 속의 세이페르트 피브리드 공간에 대한 날카운 스무스 임베딩 장벽을 확립한다. 정규화된 중심 무게 $e$가 $e \geq k/2$ 를 만족할 때 이러한 공간들이 스무스하게 임베딩될 수 있는 경우를 정확히 분류하며, 임베딩이 일어나는 것은 특정한 대칭적 구성의 특이 섬유들에 국한됨을 보이고, 이러한 결과를 이용하여 변형에 대해 불변인 것을 고려한 스무스 이중으로 분리 가능한 홀수 프레틀셀 끈을 분류한다.

ABSTRACT

Using an obstruction based on Donaldson's theorem, we derive strong restrictions on when a Seifert fibered space $Y = F(e; \frac{p_1}{q_1}, \ldots, \frac{p_k}{q_k})$ over an orientable base surface $F$ can smoothly embed in $S^4$. This allows us to classify precisely when $Y$ smoothly embeds provided $e > k/2$, where $e$ is the normalized central weight and $k$ is the number of singular fibers. Based on these results and an analysis of the Neumann-Siebenmann invariant $\overlineμ$, we make some conjectures concerning Seifert fibered spaces which embed in $S^4$. Finally, we also provide some applications to doubly slice Montesinos links, including a classification of the smoothly doubly slice odd pretzel knots up to mutation.

연구 동기 및 목표

• 기하학적 기저 표면이 올림형이면서, 세이페르트 피브리드 공간이 $S^4$ 속에 스무스하게 임베딩될 수 있는 필요 및 충분 조건을 규명하는 것.
• 도널드슨 정리와 첫 번째 호모로지 군의 구조를 이용하여 강력한 스무스 임베딩 장벽을 도출하는 것.
• $e > k/2$ 일 때는 세이페르트 피브리드 공간이 $S^4$ 속에 스무스하게 임베딩될 수 있는지 정확히 분류하고, $e = k/2$ 일 때는 부분적으로 분류하는 것.
• 이 분류 결과를 활용하여 변형에 대해 불변인 것을 고려한 홀수 프레틀셀 끈이 스무스하게 이중으로 분리 가능한지 결정하는 것.
• 뉴먼-지벤만 불변량 $\overline{\mu}$ 가 스무스 및 위상적 임베딩을 방해하는 데서 수행하는 역할을 조사하는 것.

제안 방법

• 스무스 4차원 다양체에 대한 도널드슨 정리를 사용하여 세이페르트 피브리드 공간의 특이 섬유들에 대한 분할 가능성 조건을 유도하는 것.
• 기약 호모로지 군이 $G \oplus G$ 로 분해되고, 특이 섬유들이 $e$ 개의 클래스로 두 개의 분할이 가능하며, 특정한 유리수 합 조건을 만족하는 세이페르트 피브리드 공간을 분할 가능하다고 정의하는 것.
• 각 분할에서 한 클래스의 합이 $1 - 1/\operatorname{lcm}(p_1,\dots,p_k)$ 이고, 나머지 모든 클래스의 합이 1이 되며, 두 분할 간에 부분집합의 합이 일치하지 않는 조건을 적용하는 것.
• 특성 부분집합의 노름 합이 0이 아닐 경우, 뉴먼-지벤만 불변량 $\overline{\mu}$ 를 사용하여 임베딩을 방해하는 것.
• 몬테스inos 린크와 프레틀셀 끈의 이중 브랑치 커버를 분석하여 그 위상수학적 성질이 $S^4$ 속의 임베딩 장벽과 어떻게 연결되는지 조사하는 것.
• 분할 가능성 조건과 $\overline{\mu}$ 불변량을 결합하여 일부 준-대칭 몬테스inos 린크의 경우 임베딩을 배제하는 것.

실험 결과

연구 질문

• RQ1 정규화된 중심 무게 $e$ 가 $e > 0$ 를 만족하는 세이페르트 피브리드 공간 $Y = F(e; \frac{p_1}{q_1}, \dots, \frac{p_k}{q_k})$ 가 $S^4$ 속에 스무스하게 임베딩될 수 있는 조건은 무엇인가?
• RQ2 스무스 임베딩에 대한 정규화된 중심 무게 $e$ 의 날카운 상한은 무엇이며, 이 상한은 언제 달성되는가?
• RQ3 어느 홀수 프레틀셀 끈이 스무스하게 이중으로 분리 가능한가? 그리고 변형은 이러한 분류에 어떤 영향을 미치는가?
• RQ4 뉴먼-지벤만 불변량 $\overline{\mu}$ 는 $S^4$ 속의 세이페르트 피브리드 공간의 스무스 또는 위상적 임베딩을 방해하는 데 사용될 수 있는가?
• RQ5 준-대칭 몬테스inos 린크의 이중 브랑치 커버는 $S^4$ 속에 스무스하게 임베딩될 수 있는가?

주요 결과

• 세이페르트 피브리드 공간 $Y = F(e; \frac{p_1}{q_1}, \dots, \frac{p_k}{q_k})$ 가 $S^4$ 속에 스무스하게 임베딩된다면, $e \leq \frac{k+1}{2}$ 를 만족하며, 등호는 특이 섬유들의 특정한 대칭적 구성일 때에만 성립한다.
• $e = \frac{k+1}{2}$ 일 때, $Y$ 가 $S^4$ 속에 스무스하게 임베딩될 수 있는 것은 $Y$ 가 $F(\frac{k+1}{2}; \frac{a}{a-1}, a, \frac{a}{a-1}, a, \dots)$ 의 형태일 때에만 성립한다. 여기서 $a \geq 2$ 인 정수이다.
• $k$ 가 짝수이고 $e = \frac{k}{2}$ 일 때, 스무스 임베딩 가능성은 $Y$ 가 쌍 $\{\frac{p}{q}, \frac{p}{p-q}\}$ 와 $\{\frac{r}{s}, \frac{r}{r-s}\}$ 로 이루어져 있으며, $\frac{s}{r} + \frac{q}{p} = 1 - \frac{1}{pr}$ 을 만족해야 한다는 것을 의미한다.
• 스무스하게 이중으로 분리 가능한 홀수 프레틀셀 끈의 이중 브랑치 커버는 분할 가능하고 $\overline{\mu} = 0$ 이어야 하며, 이는 변형에 대해 불변인 것을 고려한 완전한 분류를 가능하게 한다.
• 뉴먼-지벤만 불변량 $\overline{\mu}$ 는 특성 부분집합의 노름 합이 $e + \sum b_i$ 와 일치할 때에만 0이 되며, 이는 프레틀셀 케이스에서는 $e = 0$ 이 되도록 강제하여 대칭적인 섬유 구조를 유도한다.
• 이중 브랑치 커버가 $e \geq k$ 또는 $e = k-1$ 이고 $\frac{q_{k-1}}{p_{k-1}} + \frac{q_k}{p_k} < 1$ 이 되는 준-대칭 몬테스inos 린크는 $S^4$ 속에 국소적으로 평탄하게 위상적으로 임베딩될 수 없으며, 따라서 이러한 린크는 위상적으로 이중으로 분리 가능하지 않다.