[논문 리뷰] Invariants of links and 3-manifolds from graph configurations

Christine Lescop|arXiv (Cornell University)|2020. 01. 27.

Homotopy and Cohomology in Algebraic Topology참고 문헌 13인용 수 7

한 줄 요약

이 논문은 그래프 구성(configuration)에 대한 구성공간 적분을 사용하여 링크와 3차원 다양체에 대한 위상적 불변량을 구축한다. 이는 전파형(propagators)과 푸앵카레 대칭성(duality)을 통해 연결수(linking number)를 일반화한다. 프레임된 트랜글에 대한 보편적인 유한형 불변량 Z를 정의하고, 그 함수적 성질과 불변성을 증명함으로써 미분위상수학, 그래프 구성, 양자 불변량 사이의 깊은 연결 고리를 확립한다.

ABSTRACT

In this self-contained book, following Edward Witten, Maxim Kontsevich, Greg Kuperberg and Dylan Thurston, we define an invariant Z of framed links in rational homology 3-spheres, and we study its properties. The invariant Z, which is often called the perturbative expansion of the Chern-Simons theory, is valued in a graded space generated by Jacobi diagrams. It counts embeddings of this kind of unitrivalent graphs in the ambient manifold, in a sense that is explained in the book, using integrals over configuration spaces, or, in a dual way, algebraic intersections in the same configuration spaces. When the ambient manifold is the standard 3-sphere, the invariant Z is a universal Vassiliev link invariant studied by many authors including Guadagnini, Martellini and Mintchev, Bar-Natan, Bott and Taubes, Altschüler and Freidel, Thurston and Poirier... This book contains a more flexible definition of this invariant. We extend Z to a functor on a category of framed tangles in rational homology cylinders and we describe the behaviour of this functor under various operations including some cabling operations. We also compute iterated derivatives of our extended invariant with respect to the discrete derivatives associated to the main theories of finite type invariants. Together with recent results of Massuyeau and Moussard, our computations imply that the restriction of Z to rational homology 3-spheres (equipped with empty links) contains the same information as the Le-Murakami-Ohtsuki LMO invariant for these manifolds. They also imply that the degree one part of Z is the Casson-Walker invariant.

연구 동기 및 목표

• 3차원 다각형 내 그래프 구성(configuration)을 사용하여 다양체 간 사상의 차수로서 연결수를 일반화한다.
• 구성공간 적분을 사용하여 프레임된 트랜글에 대한 보편적인 유한형 불변량 Z를 정의한다.
• Z의 함수적 성질과 환경 동형변형 및 트랜글 합성에 대한 불변성을 확립한다.
• 푸앵카레 대칭성과 전파형(form)을 통해 불변량 Z를 폰트랴긴 클래스와 유리수 불변량과 연결한다.
• 횡단 체인과 코homology를 사용하여 Z의 이질성(anomalies)의 이산적이고 대수적 기술을 제공한다.

제안 방법

• 3차원 다각형 내 점들의 구성공간을 사용하여 그래프 다이어그램에 대한 적분을 정의한다.
• 사이클에 대해 쌍대적인 전파형(form)을 적용하여, 푸앵카레 대칭성을 통해 불변량을 얻는 적분을 정의한다.
• 대각선의 붓업(blow-ups)과 구성공간의 컴actification을 사용하여 특이점을 다룬다.
• 구성공간 내 부분다양체에 대해 미분형식의 적분을 통해 보편 불변량 Z를 구축한다.
• 튜브형 근처와 지지가 제어된 닫힌 형식을 사용하여 쌍대성 등급을 정의한다.
• 호모로지 대수학과 야코비 다이어그램에서의 바이알제라(bialgebra) 구조를 사용하여 Z의 대수적 구조를 분석한다.

실험 결과

연구 질문

• RQ1 3차원 다각형 내 그래프 구성(configuration)을 사용하여 연결수를 고차 불변량으로 일반화할 수 있는가?
• RQ2 구성공간 적분이 선택에 관계없이 위상적 불변량이 되기 위한 조건은 무엇인가?
• RQ3 Z는 트랜글 합성과 환경 동형변형에 대해 어떻게 행동하는가?
• RQ4 불변량의 공간의 대수적 구조는 무엇이며, 야코비 다이어그램과 유한형 불변량과 어떻게 관련되는가?
• RQ5 Z의 이질성(β 및 α)은 코homological 장애와 횡단 체인과 어떻게 관련되는가?

주요 결과

• 전파형이 동차이며 일정한 횡단 조건을 만족할 경우, Z는 선택에 관계없이 잘 정의되어 있으며 불변하다.
• 이상 β는 H^1(M; R)에 속하는 잘 정의된 코homology 클래스임이 입증되었으며, 횡단 체인을 사용한 이산적이고 대수적인 기술이 제공되었다.
• Z는 프레임된 장수 트랜글의 범주에서 함수적이다. 이는 Zf라는 모노이드 함수로 확장된다.
• 이 구성은 프레임된 트랜글에 대한 보편적인 유한형 불변량을 생성하며, 야코비 다이어그램의 공간을 값으로 갖는다.
• 연결 맵의 차수는 구성공간 적분을 통해 사이클에 대해 쌍대적인 것으로 일반화되어 고차 불변량이 된다.
• 부분다양체에 대해 α-쌍대 형식을 사용하여 푸앵카레 대칭성 등급을 구성함으로써, 적분을 통한 대수적 교차수를 정의할 수 있다.