[논문 리뷰] 2-torsion in the grope and solvable filtrations of knots

Hye Jin Jang|arXiv (Cornell University)|2015. 02. 16.

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

한 줄 요약

이 논문은 knot concordance group의 grope 및 solvable 필터레이션에서 순서 2인 무한 가닥의 가닥들을 구성하며, 각 $ n \geq 4 $에 대해 몫 $ \mathcal{G}_n / \mathcal{G}_{n+0.5} $가 $ \mathbb{Z}_2^\infty $ 부분군을 포함함을 보여준다. 특정한 감염 가닥을 반복적으로 사용하고 $ L^2 $-signature 차단 조건을 분석함으로써, 저자는 이 가닥들이 $ (n) $-solvable이며 PTFA $ L^2 $-signature 차단 조건이 0임을 보이며, 이는 이전의 구성과 다름을 보이는 새로운 2-torsion 원소를 제공한다.

ABSTRACT

We study knots of order 2 in the grope filtration $\{\G_h\}$ and the solvable filtration $\{\F_h\}$ of the knot concordance group. We show that, for any integer $n\ge4$, there are knots generating a $\Z_2^\infty$ subgroup of $\G_n/\G_{n.5}$. Considering the solvable filtration, our knots generate a $\Z_2^\infty$ subgroup of $\F_n/\F_{n.5}$ $(n\ge2)$ distinct from the subgroup generated by the previously known 2-torsion knots of Cochran, Harvey, and Leidy. We also present a result on the 2-torsion part in the Cochran, Harvey, and Leidy's primary decomposition of the solvable filtration.

연구 동기 및 목표

• grope 및 solvable 필터레이션에서 knot concordance group의 새로운 2-torsion 원소를 구성하는 것.
• Cochran, Harvey, Leidy가 이전에 찾은 예외들과 다름을 보이는 $ \mathbb{Z}_2^\infty $ 부분군이 $ \mathcal{G}_n / \mathcal{G}_{n.5} $에 존재함을 보여주는 것.
• $ L^2 $-signature 차단 조건이 solvable 필터레이션의 높은 수준에서 2-torsion을 감지하는 데 어떻게 기여하는지 분석하는 것.
• 특히 고차수 수준에서의 연속 몫의 구조를 이해하는 데 기여하는 것, 즉 grope 및 solvable 필터레이션의 구조를 확장하는 것.

제안 방법

• Horn의 grope-bounding 가닥과 Cha의 감염 가닥에서 유도된 정확히 선택된 감염 가닥을 반복적으로 사용하는 것.
• $ (n) $-solvable 이지만 $ (n+0.5) $-solvable이 아닌 가닥을 구성함으로써 $ \mathcal{F}_n / \mathcal{F}_{n.5} $에 속함을 보장하는 것.
• PTFA 군환 위에서의 $ L^2 $-signature 차단 조건을 적용하여 구성된 가닥의 비-sliceness를 검증하는 것.
• Blanchfield 대칭성과 모듈러 이론적 추론을 사용하여 $ H_1(W, \mathcal{R}) $ 내의 호모로지 클래스의 비자명성을 보이는 것.
• 귀납법과 유도된 시리즈 몫의 구조를 활용하여 군환으로의 호모로지 사상에 따른 중심선의 이미지를 추적하는 것.
• Theorem 4.3 및 Theorem 4.4 from [CHL11c]를 활용하여 모듈러 자명성과 $ L^2 $-signature 차단 조건의 소멸 사이의 관계를 규명하는 것.

실험 결과

연구 질문

• RQ1 순서 2인 새로운 2-torsion 원소를 $ n \geq 4 $에 대해 grope 필터레이션 $ \mathcal{G}_n / \mathcal{G}_{n.5} $에서 구성할 수 있는가?
• RQ2 Cochran-Harvey-Leidy의 2-torsion 가닥이 생성하는 부분군과 다름을 보이는, $ \mathcal{F}_n / \mathcal{F}_{n.5} $ 내에서 구성된 가닥이 $ \mathbb{Z}_2^\infty $ 부분군을 생성하는가?
• RQ3 $ L^2 $-signature 차단 조건을 PTFA 군에서 사용하여 solvable 필터레이션의 고차수 수준에서 2-torsion을 감지할 수 있는가?
• RQ4 모듈러 이론적 추론에서 아르바이저 다항식과 그 강한 서로소성의 역할은 무엇인가?
• RQ5 군환 $ \mathcal{R} $을 계수로 가지는 수술 다각형의 호모로지에서 중심선의 이미지는 비자명한가?

주요 결과

• 각 정수 $ n \geq 4 $에 대해, $ \mathcal{G}_n / \mathcal{G}_{n+0.5} $에 $ \mathbb{Z}_2^\infty $와 동형인 부분군이 존재한다.
• 구성된 가닥들은 $ (n) $-solvable이며 PTFA $ L^2 $-signature 차단 조건이 0이므로 $ (n+0.5) $-solvable이 아니라는 것이 보장된다.
• 이 가닥들은 $ n \geq 2 $에 대해 $ \mathcal{F}_n / \mathcal{F}_{n+0.5} $에서 Cochran-Harvey-Leidy의 2-torsion 가닥이 생성하는 부분군과 다름을 보이는 $ \mathbb{Z}_2^\infty $ 부분군을 생성한다.
• 증명 과정에서 중심선의 사상에 의한 $ H_1(W, \mathcal{R}) $ 내 이미지가 비자명함을 보이며, 이는 Blanchfield 형식의 비소멸성에 필수적이다.
• 모듈러 $ \frac{\mathbb{Z}[t^{\pm 1}]}{\langle p_{n-1}(t) \rangle} \otimes_{\mathbb{Z}[t^{\pm 1}]} \mathcal{R} $는 비자명하며, 이는 $ L^2 $-signature 차단 조건이 모듈러가 자명하지 않다면 소멸하지 않음을 의미한다.
• 이론적 추론을 통해 $ \mathcal{T}_{n-k}\pi_1(W_k)/\mathcal{T}_{n-k+1}\pi_1(W_k) \to H_1(W_{k+1}, \mathcal{R}) $의 사상이 비자명함을 보여, 유도된 시리즈 이미지의 비자명성을 확인한다.