[논문 리뷰] 0-concordance of knotted surfaces and Alexander ideals

Jason Joseph|arXiv (Cornell University)|2019. 11. 29.

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

한 줄 요약

이 논문은 4차원 구면 $S^4$ 속의 끈적 표면의 앨리거스터 아이디얼이 0-동치성 불변량임을 증명하며, 이는 $ℚ[t^{\pm 1}]$의 아이디얼 클래스 모노이드로 향하는 $×_0$ 동치성 모노이드 $ℝ_0$ 에서의 준동형사상으로 이어진다. 핵심 결과는 앨리거스터 아이디얼이 주 아이디얼이 아닌 표면 끈은 0-스ライ스이거나 $ℝ_0$ 내에서 가역적이지 않다는 것이며, 이는 고전적인 포크-밀너 조건을 초월한 0-동치성에 대한 첫 번째 차단 조건을 제공하고, 무한히 많은 선형 독립적인 0-동치성 유형이 존재한다는 것을 증명한다.

ABSTRACT

In this paper we provide a new obstruction to 0-concordance of knotted surfaces in $S^4$ in terms of Alexander ideals. We use this to prove the existence of infinitely many linearly independent 0-concordance classes and to provide the first proof that the submonoid of 2-knots is not a group. The main result is that the Alexander ideal induces a homomorphism from the 0-concordance monoid $\mathscr{C}_0$ of oriented surface knots in $S^4$ to the ideal class monoid of $\mathbb{Z}[t^{\pm1}]$. Consequently, any surface knot with nonprincipal Alexander ideal is not 0-slice and in fact, not invertible in $\mathscr{C}_0$. Many examples are given. We also characterize which ideals are the ideals of surface knots, generalizing a theorem of Kinoshita, and generalize the knot determinant to the case of nonprincipal ideals. Lastly, we show that under a mild condition on the knot group, the peripheral subgroup of a knotted surface is also a 0-concordance invariant.

연구 동기 및 목표

• 4차원 구면 $S^4$ 속의 끈적 표면의 0-동치성에 대한 새로운 차단 조건을 앨리거스처 아이디얼을 통해 수립하기.
• 연결 합에 의한 2-끈의 부분모노이드가 주어진 조건에서 군이 아니라는 것을 보여주기 위해 주 아이디얼이 아닌 앨리거스처 아이디얼을 가진 끈의 비가역성을 증명하기.
• 표면 끈의 앨리거스처 아이디얼이 어떤 것이 나타나는지 특성화하고, 히노시타의 정리를 일반화하기.
• 약간의 군론적 조건 하에서 외곽 부분군이 0-동치성 불변량임을 증명하기.
• 비주 아이디얼에 대해 끈 행렬식을 확장하고, 이의 비틀기 스핀에 대한 행동을 연구하기.

제안 방법

• 논문은 각 표면 끈에 대해 앨리거스처 아이디얼을 부여함으로써 $ℝ_0 \to \mathcal{I}(\mathbb{Z}[t^{\pm 1}])$ 의 준동형사상을 정의한다.
• 리본 동치성 동안 앨리거스처 아이디얼이 주 아이디얼의 곱으로 변화함을 보이며, 0-동치성의 두 반대 방향 리본 동치성으로 분해하는 사실을 이용한다.
• 핵심 보조정리는 연결 합의 앨리거스처 아이디얼이 개별 아이디얼의 곱과 같음을 보여주며, 이는 모노이드 구조와의 호환성을 보장한다.
• 논문은 고전적 끈의 비틀기 스핀을 분석하여, $|\Delta_K(-1)| \neq 1$ 이면 $\tau^nK$ 가 주 아이디얼이 아닌 앨리거스처 아이디얼을 가짐을 보인다.
• 앨리거스처 아이디얼 사상의 상을 특성화하기 위해, $ℚ[t^{\pm 1}]$ 내의 임의의 아이디얼로 히노시타의 정리를 일반화한다.
• 끈의 군이 그 교환자 부분군에 대해 소수 조건을 만족할 경우, 외곽 부분군이 0-동치성 불변량임을 증명한다.

실험 결과

연구 질문

• RQ1 모든 0-스라이스 2-끈은 삼각형 동치를 통해 단순 끈으로 갈 수 있는가?
• RQ2 $\u211d_0$ 내에서 2-끈의 부분모노이드는 역원에 대해 닫혀 있는가?
• RQ3 앨리거스처 다항식이 자명하거나 주 아이디얼일 경우에도 앨리거스처 아이디얼이 0-스라이스가 아님을 감지할 수 있는가?
• RQ4 표면 끈에 대해 무한히 많은 선형 독립적인 0-동치성 유형이 존재하는가?
• RQ5 소수 끈 군을 가진 끈에 대해 외곽 부분군이 0-동치성 하에 보존되는가?

주요 결과

• 앨리거스처 아이디얼은 잘 정의된 준동형사상 $\Delta: \mathscr{C}_0 \to \mathcal{I}(\mathbb{Z}[t^{\pm 1}])$ 를 유도하며, 이는 0-동치성 불변량이 된다.
• 주 아이디얼이 아닌 앨리거스처 아이디얼을 가진 표면 끈은 0-스라이스가 아니며, $ℝ_0$ 내에서 역원이 없으며, 이는 2-끈의 부분모노이드가 군이 아니라는 것을 증명한다.
• 모든 고전적 끈 $K$ 에 대해 $|\Delta_K(-1)| \neq 1$ 이면, 무한히 많은 $n \in \mathbb{Z}$ 가 존재하여 $n$-비틀기 스핀 $\tau^nK$ 는 주 아이디얼이 아닌 앨리거스처 아이디얼을 가진다.
• 2-브릿지 끈의 행렬식은 그 2-비틀기 스핀에 대해 0-동치성 불변량이며, 따라서 $\tau^2K$ 와 $\tau^2J$ 는 $|\Delta_K(-1)| = |\Delta_J(-1)|$ 이어야만 0-동치가 된다.
• 끈 군이 소수 조건을 만족할 경우(예: 홀수 소수 $p$ 에 대해 $(2,p)$-토루스 끈의 2-비틀기 스핀), 외곽 부분군은 0-동치성 불변량이 된다.
• 논문은 비주 아이디얼로 끈 행렬식을 일반화하여, 앨리거스처 아이디얼의 아이디얼 클래스가 0-동치성에 대한 산술적 장애를 포착함을 보였다.