[논문 리뷰] The lines of the Kontsevich integral and Rozansky's rationality conjecture

Andrew Kricker|ArXiv.org|2000. 05. 31.

Geometric and Algebraic Topology참고 문헌 11인용 수 39

한 줄 요약

이 논문은 로잔스키가 제기한 추측을 증명한다. 즉, 루프의 전개가 유리 함수 계수를 가진 다이어그램의 '선'들로 정리될 수 있으며, 그 분모는 끈의 아크산더 다항식에 의해 유계화됨을 보여준다. Aarhus 스타일의 수술 공식과 LMO 불변량을 사용하여, 콘테시비치 적분의 루프 전개가 각각 아크산더 다항식에 의해 정의된 공간에 속하는 에지 레이블을 가진 유한한 $\mathbb{Q}$-선형 조합으로 이루어진 '선'들로 정리됨을 보인다.

ABSTRACT

This work develops some technology for accessing the loop expansion of the Kontsevich integral of a knot. The setting is an application of the LMO invariant to certain surgery presentations of knots by framed links in the solid torus. A consequence of this technology is a certain recent conjecture of Rozansky's. Rozansky conjectured that the Kontsevich integral could be organised into a series of ``lines'' which could be represented by finite $\Qset$-linear combinations of diagrams whose edges were labelled, in an appropriate sense, with rational functions. Furthermore, the conjecture requires that the denominator of the rational functions be at most the Alexander polynomial of the knot. This conjecture is obtained from an Aarhus-style surgery formula for this setting which we expect will have other applications.

연구 동기 및 목표

• 로잔스키의 추측을 증명한다. 즉, 끈의 콘테시비치 적분은 유리 함수 계수를 가진 다이어그램의 '선'들로 분해될 수 있다.
• LMO 불변량과 형식적 가우시안 적분을 사용하여 고체 토러스 내의 스트링 링크에 대한 다이어그램가치 불변량을 개발한다.
• 콘테시비치 적분과 LMO 불변량, 아크산더 다항식을 연결하는 Aarhus 스타일의 수술 공식을 수립한다.
• 결과 다이어그램의 에지 레이블이 아크산더 다항식의 분모를 나누는 유리 함수로 생성된 $\mathbb{Q}$-벡터 공간에 속한다는 것을 보인다.
• winding 행렬의 위상적 해석과 콘테시비치 적분의 유리 선으로 정리되는 데서의 역할을 제공한다.

제안 방법

• Hopf 대수 $B^{ST}(X)$와 코곱 구조를 사용하여 고체 토러스 내의 스트링 링크에 대한 다이어그램가치 불변량을 구성한다.
• 수술 표현과 LMO 불변량을 연결하는 핵심 요소로 윈딩 행렬 $W(T,t)$를 정의한다.
• 고체 토러스 내에서 형식적 가우시안 적분을 적용하여 LMO 불변량의 경로 적분을 계산하고, 콘테시비치 적분의 생성 함수를 도출한다.
• Aarhus 스타일의 수술 공식을 사용하여 고체 토러스 내의 프레임드 링크의 LMO 불변량과 결과 끈의 콘테시비치 적분을 연결한다.
• 윈딩 행렬의 역행렬 $W^{-1}(T,e^k)$의 원소들이 $L_{(M,K)}$에 속한다는 것을 보이며, 이는 아크산더 다항식의 분모를 나누는 유리 함수 공간이다.
• 결과 다이어그램가치가 $L_{(M,K)}$ 내의 유리 함수 계수를 가진 다이어그램의 유한한 $\mathbb{Q}$-선형 조합임을 입증한다.

실험 결과

연구 질문

• RQ1 끈의 콘테시비치 적분은 각각의 선이 유리 함수 계수를 가진 다이어그램의 유한한 $\mathbb{Q}$-선형 조합에 대응하는 '선'들로 정리될 수 있는가?
• RQ2 콘테시비치 적분 전개에서 이러한 유리 함수 계수의 분모는 끈의 아크산더 다항식을 나누는가?
• RQ3 고체 토러스 내의 프레임드 링크의 LMO 불변량과 결과 끈의 콘테시비치 적분을 연결하는 Aarhus 스타일의 수술 공식이 존재하는가?
• RQ4 윈딩 행렬 $W(T,t)$는 콘테시비치 적분 전개의 유리 구조를 제어하는 데 사용될 수 있는가?
• RQ5 LMO 불변량의 경로 적분 계산은 그 로그가 $L_{(M,K)}$ 내의 유리 함수 계수를 가진 다이어그램에 대응하는 군-유사 원소를 생성하는가?

주요 결과

• 정수 호모로지 구리 내의 끈의 콘테시비치 적분은 아크산더 다항식 $A_{(M,K)}(t)$의 분모를 나누는 유리 함수로 생성된 $\mathbb{Q}$-벡터 공간 $L_{(M,K)}$에 속하는 레이블을 가진 다이어그램들의 합으로 표현될 수 있다.
• 윈딩 행렬의 역행렬 $W^{-1}(T,e^k)$의 원소들이 $L_{(M,K)}$에 속함을 보이며, 이는 다이어그램 전개의 에지 레이블이 제어된 분모를 가진 유리 함수임을 보장한다.
• LMO 불변량과 형식적 가우시안 적분을 사용하여 유도된 수술 공식은 콘테시비치 적분의 루프 전개가 각각 아크산더 다항식에 의해 정의된 공간에 속하는 에지 레이블을 가진 다이어그램의 유한한 $\mathbb{Q}$-선형 조합에 대응하는 '선'들로 정리됨을 보여준다.
• LMO 불변량의 로그 내의 항 $q^{(i)}$는 다항식 생성 다이어그램의 다리를 이어붙여 만든 연결 다이어그램을 나타내며, 그 레이블은 $L_{(M,K)}$에 속하고 콘테시비치 적분의 차수 $i$ 항에 기여한다.
• 윈딩 행렬 $W(T,e^k)$의 행렬식은 $\pm A_{(M,K)}(e^k)$와 같다. 이는 다이어그램 전개 내의 유리 함수의 분모가 아크산더 다항식에 의해 유계화됨을 확인한다.
• 결과는 군-유사이며, 전체적인 구조는 Aarhus 공식과 행렬식 항등식과 일관되며, 전개의 유리성은 확인된다.