[논문 리뷰] Knot invariants derived from the equivariant linking pairing

Christine Lescop|arXiv (Cornell University)|2010. 01. 25.

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

한 줄 요약

이 논문은 1차 베티 수가 1인 3차원 다중체에서 등변 링킹 쌍대성의 구성공간 적분과 등변 큐브 구조를 이용해 유도된 새로운 불변량 ${\mathcal{Q}}(M,\mathbb{K})$을 제안한다. 이 불변량은 $\mathbb{Q}(x,y)$에 값을 가지며, 수술 공식을 만족하며, 유리수 동치 다중체에서 동치가 없는 루프에 대해 콘체비치 적분의 크리커 유리수 상승의 두 루프 부분과 추측적으로 동치이다.

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 configuration space of ordered pairs of distinct points of M. We show how to define the equivariant cube Q(M,K) of this Blanchfield pairing with respect to a framed knot K that generates H_1(M;Z)/Torsion. We present the invariant Q(M,K) and some of its properties including a surgery formula. Via surgery, the invariant Q is equivalent to an invariant Q' of null-homologous knots in rational homology spheres, that is conjecturally equivalent to the two-loop part of the Kontsevich integral. We generalize the construction of Q' to obtain a topological construction for an invariant that is conjecturally equivalent to the whole Kricker rational lift of the Kontsevich integral for null-homologous knots in rational homology spheres.

연구 동기 및 목표

• 닫힌 올림된 3차원 다중체 $M$에 대해 $H_1(M;\mathbb{Z})/\text{Torsion} \cong \mathbb{Z}$를 만족하는 위상적 불변량 ${\mathcal{Q}}(M,\mathbb{K})$를 정의한다. 이는 등변 링킹 쌍대성에 기반한다.
• 구성공간 적분과 무한 순환 커버링에서의 블랑시에 쌍대성의 등변 큐브를 통해 이 불변량을 구축한다.
• 유리수 동치 다중체 $N$에 대해 ${\mathcal{Q}}(M,\mathbb{K})$와 캐슨-워커 불변량 $\lambda(N)$ 사이의 수술 공식을 수립한다.
• 이러한 구성법을 일반화하여, 유리수 동치 다중체에서 동치가 없는 루프에 대해 콘체비치 적분의 전체 크리커 유리수 상승과 추측적으로 동치인 위상적 불변량을 얻는다.
• 첫 번째 베티 수가 1인 3차원 다중체에 대해 ${\mathcal{Q}}(M,\mathbb{K})$가 오치우키의 두 루프 불변량과 랭크-일치 경우에서 동치임을 보인다.

제안 방법

• 등변 링킹 쌍대성을 $M$의 서로 다른 점들의 순서쌍의 구성공간에서의 코homology 클래스로 정의하고, 이를 무한 순환 커버링으로 올린다.
• 이 쌍대성에서 유도된 2차 불변량으로서 등변 큐브 ${\mathcal{Q}}(M,\mathbb{K})$를 구성하며, 이는 유리함수의 체 $\mathbb{Q}(x,y)$에 값을 가진다.
• 구성공간의 컴acts화 $C_2(M)$를 이용해 링킹 형식에 쌍대되는 사이클 $F_{X}, F_{Y}, F_{Z}$를 정의하고, 그 삼중 교차 수를 계산한다.
• 수술 공식을 적용한다: ${\mathcal{Q}}(M\sharp N,\mathbb{K}) = {\mathcal{Q}}(M,\mathbb{K}) + 6\lambda(N)$, 여기서 $\lambda(N)$은 워커 정규화된 캐슨 불변량이다.
• ${\mathcal{Q}}(M,\mathbb{K})$를 $\mathbb{K}$에 대한 0-수술을 통해 유리수 동치 다중체에서 동치가 없는 루프 $\hat{K}$의 불변량 $\hat{{\mathcal{Q}}}$로 재표현한다.
• 이를 일반화하여, 전체 크리커 유리수 상승과 추측적으로 동치인 위상적 구성법을 얻는다.

실험 결과

연구 질문

• RQ1 1차 베티 수가 1인 3차원 다중체 $M$에서의 등변 링킹 쌍대성을 이용해 새로운 유한형 불변량을 어떻게 정의할 수 있는가?
• RQ2 ${\mathcal{Q}}(M,\mathbb{K})$와 유리수 동치 다중체 $N$에 대한 연결합에 대해 캐슨-워커 불변량 $\lambda(N)$ 사이의 관계는 무엇인가?
• RQ3 ${\mathcal{Q}}(M,\mathbb{K})$는 동치가 없는 루프에 대해 콘체비치 적분의 크리커 유리수 상승의 두 루프 부분과 동치인가?
• RQ4 ${\mathcal{Q}}(M,\mathbb{K})$의 구성법을 일반화하여 전체 크리커 유리수 상승의 위상적 실현을 얻을 수 있는가?
• RQ5 다른 프레임드 루프 $\mathbb{K}'$가 $H_1(M;\mathbb{Z})/\text{Torsion}$을 생성할 때 ${\mathcal{Q}}(M,\mathbb{K}') - {\mathcal{Q}}(M,\mathbb{K})$의 차이로 생성되는 벡터 공간은 무엇인가?

주요 결과

• ${\mathcal{Q}}(M,\mathbb{K})$는 잘 정의되어 있으며 $\mathbb{Q}(x,y)$에 값을 가지며, ${\mathcal{Q}}(S^1 \times S^2, S^1 \times u) = 0$이다.
• 수술 공식은 ${\mathcal{Q}}(M\sharp N,\mathbb{K}) = {\mathcal{Q}}(M,\mathbb{K}) + 6\lambda(N)$로 표현되며, 여기서 $\lambda(N)$은 워커 정규화된 캐슨 불변량이다.
• ${\mathcal{Q}}(M,\mathbb{K})$는 첫 번째 베티 수가 1인 3차원 다중체에 대해 잘 정의된 불변량을 유도하며, 랭크-일치 경우에 오치우키의 두 루프 불변량과 동치이다.
• 0-수술을 통해 ${\mathcal{Q}}(M,\mathbb{K})$는 유리수 동치 다중체에서 동치가 없는 루프의 불변량 $\hat{{\mathcal{Q}}}$를 유도하며, 이는 추측적으로 크리커 유리수 상승의 두 루프 부분과 동치이다.
• 이 구성법은 전체 크리커 유리수 상승과 추측적으로 동치인 위상적 불변량을 얻는 데 일반화된다.
• ${\mathcal{Q}}$의 프레임드 루프 $\mathbb{K}$의 변화에 따른 변화는 그 프레임 클래스의 차이에 의해 결정되며, 이 변화는 일반 유한형 불변량의 변화 $\frac{1}{4}(p_1(\tau) - p_1(\tau'))\xi_n$와 일치한다.