[논문 리뷰] On the cube of the equivariant linking pairing for knots and 3-manifolds of rank one

Christine Lescop|arXiv (Cornell University)|2010. 08. 30.

Geometric and Algebraic Topology참고 문헌 28인용 수 12

한 줄 요약

이 논문은 첫 번째 베티 수가 1인 링크와 3차원 다중체에 대해, 무한 순환 커버링에서의 등변 블랑슈페어 링킹 페어링을 이용해 정의된 등변 큐브 불변량 $\mathcal{Q}$를 소개한다. 수술 공식을 수립하고, 애너졸리안 다항식이 중근을 가지지 않을 경우, $\overline{\mathcal{Q}}(M)$가 캐슨-워커 불변량이 비영인 유리수 동형 블록스피어와의 연결합을 감지함을 보이며, 이는 오츠키의 LMO 기반 불변량의 두 루프 부분과 추측적으로 동치이다.

ABSTRACT

Let M be a closed oriented 3-manifold with first Betti number one. Its equivariant linking pairing may be seen as a two-dimensional cohomology class in an appropriate infinite cyclic covering of the space of ordered pairs of distinct points of M. We show how to define the equivariant cube Q(K) of this Blanchfield pairing with respect to a framed knot K that generates H_1(M)/Torsion. This article is devoted to the study of the invariant Q. We prove many properties for this invariant including two surgery formulae. Via surgery, the invariant Q is equivalent to an invariant of null-homologous knots in rational homology spheres, that coincides with the two-loop part of the Kricker rational lift of the Kontsevich integral, at least for knots with trivial Alexander polynomial in integral homology spheres.

연구 동기 및 목표

• 첫 번째 베티 수가 1인 3차원 다중체에서의 프레임드 링크 $\mathbb{K}$에 대해 등변 링킹 페어링에서 유도된 새로운 불변량 $\mathcal{Q}(\mathbb{K})$를 정의한다.
• 유리수 동형 블록스피어 내에서 0-호모로지 링크에 대한 불변량과 관련된 $\mathcal{Q}$의 행동을 기술하는 수술 공식을 수립한다.
• 다른 생성 링크에 의해 유도되는 변형에 대해 모듈로하는 방식으로 위상적 정보를 포착하는 몫 불변량 $\overline{\mathcal{Q}}(M)$를 정의한다.
• Kricker의 컨체비치 적분에 대한 유리수 상승의 두 루프 부분과 $\mathcal{Q}$ 간의 관계를 조사한다.
• 유리수 동형 블록스피어와의 비자명한 연결합성분을 감지할 수 있는 조건을 규명한다. 이 경우 캐슨-워커 불변량이 비영일 것임을 전제로 한다.

제안 방법

• 등변 링킹 페어링은 $M$의 정렬된 서로 다른 점 쌍의 구성 공간인 $\widetilde{C}_2(M)$의 무한 순환 커버링에서 코homology 클래스로 올린다.
• 등변 큐브 $\mathcal{Q}(\mathbb{K})$는 이 페어링을 나타내는 닫힌 2형식의 제곱을 적절한 구성 공간에서 적분하여 정의된다.
• 프레임드 링크에 의한 딜리언 수술에서 $\mathcal{Q}$의 변환 방식을 분석함으로써 수술 공식을 유도한다. 이 수술은 $H_1(M;\mathbb{Z})/\text{Torsion}$을 생성한다.
• 불변량 $\mathcal{Q}$는 $\mathbb{Q}$ 위의 다항식환 $R$ 값으로 취하며, $\mathcal{Q}(\mathbb{K}') - \mathcal{Q}(\mathbb{K})$의 부분공간을 식별하여 몫 $\overline{\mathcal{Q}}(M)$을 정의한다.
• 라렌트 다항식과 애너졸리안 다항식 $\Delta(M)$을 이용한 대수적 기법을 사용하여, $\delta(x)\delta(y)\delta(z)$가 환 $\Lambda(M)$에서 영이 되는지 분석한다. 이는 연결합성분의 감지 가능성에 영향을 미친다.
• 논문은 가루팔리디스와 라잔스키의 결과를 사용하여, 정수 동형 블록스피어 내에서 애너졸리안 다항식이 자명한 링크에 대해 $\hat{\mathcal{Q}}(\hat{K})$가 컨체비치 적분의 크리커 유리수 상승의 두 루프 부분과 일치함을 보인다.

실험 결과

연구 질문

• RQ1 첫 번째 베티 수가 1인 3차원 다중체의 등변 링킹 페어링을 세제곱하여 새로운 위상 불변량을 정의할 수 있는가?
• RQ2 프레임드 링크에 대한 딜리언 수술에서 $\mathcal{Q}$의 행동을 기술하는 수술 공식은 무엇인가?
• RQ3 $\mathcal{Q}$는 Kricker의 컨체비치 적분에 대한 유리수 상승의 두 루프 부분과 어떻게 관련이 있는가?
• RQ4 유리수 동형 블록스피어와의 비자명한 연결합성분을 감지할 수 있는 몫 불변량 $\overline{\mathcal{Q}}(M)$의 조건은 무엇인가?
• RQ5 $\overline{\mathcal{Q}}(M)$이 추측적으로 오츠키의 LMO 기반 불변량의 두 루프 부분과 동치인가?

주요 결과

• 프레임드 링크 $\mathbb{K}$가 $H_1(M;\mathbb{Z})/\text{Torsion}$을 생성할 경우, 3차원 다중체 $M$의 첫 번째 베티 수가 1이면 불변량 $\mathcal{Q}(\mathbb{K})$는 잘 정의되어 있다.
• 수술 공식은 $\mathcal{Q}$가 유리수 동형 블록스피어 내 0-호모로지 링크에 대한 불변량 $\hat{\mathcal{Q}}$와 동치임을 보여준다.
• 정수 동형 블록스피어 내에서 애너졸리안 다항식이 자명한 링크에 대해 $\hat{\mathcal{Q}}(\hat{K})$는 Kricker의 컨체비치 적분에 대한 유리수 상승의 두 루프 부분과 일치한다.
• 만약 $\Delta(M)$이 중근을 가지지 않으면, $\overline{\mathcal{Q}}(M)$은 캐슨-워커 불변량이 비영인 유리수 동형 블록스피어와의 연결합일 경우 비자명하다.
• $R$에서 $\mathcal{Q}(\mathbb{K}') - \mathcal{Q}(\mathbb{K})$에 의해 생성되는 부분공간은 대수적으로 결정되며, $\overline{\mathcal{Q}}(M)$은 $\mathcal{Q}(\mathbb{K})$의 몫 클래스로 정의된다.
• $\Delta(M)$이 중근을 가지지 않으면, $\delta(x)\delta(y)\delta(z)$는 $\Lambda(M)$에서 영이 아니며, 이는 비자명한 워커 불변량을 가진 유리수 동형 블록스피어 $N$에 대해 $\overline{\mathcal{Q}}(M\sharp N) \neq \overline{\mathcal{Q}}(M)$임을 보장한다.