[논문 리뷰] Fibered Multilinks and singularities $f \bar g$

Anne Pichon, José Seade|ArXiv.org|2005. 05. 15.

Algebraic Geometry and Number Theory참고 문헌 18인용 수 3

한 줄 요약

이 논문은 복소다양체 $(ℂ^n, 0)$ 에서 복소해석적 원소 $f, g: (ℂ^n, 0) \to (ℂ, 0)$ 에 대해, $0$ 이 고립된 임계값이면 실해석적 원소 $f\overline{g}$ 가 밀너의 분할 구조를 유도함을 보이며, 더 넓은 범주인 실해석적 특이점으로 밀너의 분할 정리의 일반화를 수행한다. 주요 결과는, 양의 다중성을 가진 플러밍 3-다양체 내의 모든 분할 다중링크가 이러한 $f\overline{g}$ 원소의 링크로 나타남을 보여준다.

ABSTRACT

In this article we extend Milnor's fibration theorem for complex singularities to the case of singularities $f \bar g:(X,P) o (C,0))$ defined on a complex analytic singularity germ $(X,P)$, with $f, g$ holomorphic and $f \bar g$ having an isolated critical value at $0 \in C$. This can also be regarded as a result for meromorphic germs. Then we strenghten this fibration theorem when $X$ has complex dimension 2, obtaining a fibration theorem for multilinks that extends previous work by Pichon. We prove that the multilink $L_{f \bar g}$ in $L_X$ (the link of $X$), is fibred iff the map $f \bar g$ has an isolated critical value at $0 \in C$, and in this case the map $\frac{f \bar g}{|f \bar g|}$ defined on $L_X \setminus L_{f \bar g}$ is a multilink fibration.We also give a combinatorial criterium, easy to verify, to decide when is $L_{f \bar g}$ a fibred multilink. We finally prove a realization theorem for fibred multilinks.

연구 동기 및 목표

• 해석적 특이점의 형태인 $f\overline{g}$ 에 대해 밀너의 분할 정리의 일반화를 수행한다. 여기서 $f$ 와 $g$ 는 해석적 원소이다.
• 플러밍 3-다양체 내에서 어떤 분할 다중링크가 실해석적 원소 $f\overline{g}$ 의 링크로 실현될 수 있는가를 규명한다.
• 정상 복소표면 특이점에서의 $f\overline{g}$ 원소를 이용하여 플러밍 3-다양체 내 분할 다중링크의 실현 정리를 수립한다.
• $f\overline{g}$ 와 관련된 밀너 분할의 위상수학적 및 기하학적 성질을 연구하며, 특히 오픈 북 분해와 세이페르트 분할과의 관계를 탐색한다.
• 특정 조건 하에서 비타우 또는 비분할 다중링크를 $f\overline{g}$ 구성으로 실현할 수 있는지에 대한 열린 문제를 다룬다.

제안 방법

• 복소특이점에 대한 밀너 분할 정리의 기초를 활용하여, 고립된 임계값을 가진 실해석적 사상 $f\overline{g}$ 로 확장한다.
• 오픈 북 분해와 세이페르트 분할을 적용하여 $S^3$ 과 플러밍 3-다양체 내 링크에서의 분할 구조를 분석한다.
• 플러밍 그래프와 교차행렬을 활용하여 링크의 위상수학적 성질을 특성화하고, 조건 $m_j^{(i)} \in \mathbb{Z}$ 를 통해 분할성 여부를 검증한다.
• G. Winters 의 복소표면 가속가운데의 가속가운데의 결과를 활용하여, 정상 표면 특이점에서의 해석적 원소의 링크로서 다중링크를 실현한다.
• $f\overline{g}/|f\overline{g}|$ 의 사상이 $S^1$ 에 대한 분할로 작용함을 이용하여, $L_1 \cup (-L_2)$ 가 분할 다중링크로 실현됨을 보인다.
• 정리 7.2 를 정리 7.1(분할 다중링크의 실현) 과 플러밍 다양체 및 다중링크의 다중성 조건의 위상수학적 조건을 결합하여 증명한다.

실험 결과

연구 질문

• RQ1 플러밍 3-다양체 내에서 어떤 분할 다중링크가 해석적 원소 $f\overline{g}$ 의 링크로 나타나는가? 여기서 $f$ 와 $g$ 는 해석적 원소이다.
• RQ2 $0$ 이 고립된 임계값일 때, 사상 $f\overline{g}$ 가 밀너 분할이 되는 조건은 무엇인가?
• RQ3 모든 양의 다중성을 가진 분할 다중링크가 정상 복소표면 특이점에서의 $f\overline{g}$ 원소의 링크로 실현될 수 있는가?
• RQ4 $L_1$ 과 $L_2$ 는 분할되지 않았지만 $L_1 \cup (-L_2)$ 는 분할될 경우, 어떤 위상수학적 장벽이 발생하는가?
• RQ5 환경 특이점이 타우가 아니면 $f\overline{g}$-링크의 실현이 가능한가?

주요 결과

• 고립된 임계값 $0$ 을 가진 실해석적 원소 $f\overline{g}$ 에 대해 밀너 분할 정리가 성립하며, 이는 $S^1$ 에서의 분할 으로 유지된다.
• 플러밍 3-다양체 $M$ 내에서 양의 다중성을 가진 모든 분할 다중링크 $L = n_1k_1 \cup \cdots \cup n_lk_l$ 는 정상 복소표면 특이점에서의 $f\overline{g}$ 원소의 링크로 나타난다.
• 분할 $f\overline{g}/|f\overline{g}|$ 는 $L_1$, $L_2$, $L_1 \cup (-L_2)$ 가 모두 분할이고, $M$ 이 타우 표면 특이점의 링크와 위상동형일 경우, $L_1 \cup (-L_2)$ 를 분할 다중링크로 실현한다.
• 다중링크가 분할임을 판단하는 조건은, $M_\Gamma^t m = -b(L)$ 의 해의 성분 $m_j^{(i)}$ 가 정수임과 동치이다. 여기서 $M_\Gamma$ 는 음의 정부호 교차행렬이다.
• $L_1$ 과 $L_2$ 는 분할되지 않았지만 $L_1 \cup (-L_2)$ 는 분할일 경우, 표면 특이점의 해석적 유형의 비유일성으로 인해 $f\overline{g}$-링크의 실현 여부는 아직 열려있다.
• 이 구성은 $S^3$ 내의 모든 코일과 링크를 $f\overline{g}$ 원소를 통해 대수적 링크로 실현하며, A’Campo 와 Akbulut-King 의 결과를 일반화한다.