[논문 리뷰] Rozansky-Witten invariants via formal geometry

Maxim Kontsevich|ArXiv.org|1997. 04. 19.

Geometric and Algebraic Topology참고 문헌 4인용 수 26

한 줄 요약

이 논문은 형식적 해밀턴 벡터장과 리 대수 코hom로 Rozansky-Witten 불변량을 기하학적으로 구성하며, 이들이 복소 해밀턴 다양체 위의 심플렉틱 리듬의 특성류에서 유래됨을 보여준다. 주요 기여는 초카이러 메트릭에 의존하지 않는 순수 복소해석적 또는代수기하학적 표현으로 재구성된 보편적인 펄럭임 양자 Chern-Simons 이론 프레임워크를 제공함으로써 RW 불변량을 재정의하는 것이다.

ABSTRACT

We show that recently constructed invariants of 3-dimensional manifolds and of hyperkaehler manifolds (L.Rozansky and E.Witten, hep-th/9612216) come from characteristic classes of foliations and from Gelfand-Fuks cohomology. In particular, any symplectic foliation gives invariants of 3-manifolds. Our preprint has many intersections with the preprint alg-geom/9704009 by M.Kapranov.

연구 동기 및 목표

• 형식적 해밀턴 벡터장과 리 대수 코호몰로지를 사용하여 Rozansky-Witten 불변량의 기하학적이고 보편적인 구성법을 제공한다.
• 심플렉틱 리듬의 특성류에서 유도되는 방식으로 RW 불변량이 초카이러 다양체의 변형 불변량임을 보여준다.
• RW 불변량을 초카이러 메트릭에 대한 참조 없이 순수 복소해석적 또는 대수기하학적 표현으로 재구성한다.
• 일반화된 AKSZ 유형의 위상적 장 이론을 통해 유리수 동치 3차원 구의 유한형 불변량과 칼라비-유 3차원 다양체의 복소해석적 불변량 사이의 연결 고리를 설정한다.

제안 방법

• 3차 정점 그래프와 순환 정점 순서를 갖는 그래프 코호몰로지에서 안정적인 코homology 클래스를 구성하여 보편적인 유한형 불변량을 표현한다.
• 각 그래프 또는 유리수 동치 3차원 구에 대해 심플렉틱 벡터 공간 위의 형식적 해밀턴 벡터장의 리 대수의 연속 코호몰로지에 속하는 코homology 클래스를 부여한다.
• 형식 해밀턴 벡터장의 리 대수 $\mathfrak{ham}^0_{2n}$ 위의 $\mathfrak{sp}(2n,\mathbf{R})$-불변 코chains의 Gelfand-Fuks 유형 코호몰로지를 사용하여 보편 불변량 공간 $H^{\bullet}_{2n}$를 정의한다.
• 복소 해밀턴 다양체 $X$의 Dolbeault 코호몰로지 $H^{\bullet}(X, \mathcal{O}_X)$로의 호모모르피즘을 $\Pi T^{0,1}X_{\mathbf{C}}$ 위의 $Q$-등변 구조를 이용해 정의한다.
• 형식 심플렉틱 슈퍼다양체 위의 $Q$-다양체와 $Q$-등변 범주를 적용하여 특성류 사상의 일반화를 슈퍼차원 $(2n|k)$로 확장한다.
• 그래프 코호몰로지에서 $H^{\bullet}_{2n|k}$로의 결과적 사상이 보편 클래스의 풀백으로서 Rozansky-Witten 불변량을 제공함을 보여준다.

실험 결과

연구 질문

• RQ1 형식 기하학과 리 대수 코호몰로지를 사용하여 Rozansky-Witten 불변량을 어떻게 보편적으로 구성할 수 있는가?
• RQ2 심플렉틱 리듬과 $Q$-구조는 어떤 역할을 하여 RW 불변량을 유도하는 특성류를 정의하는가?
• RQ3 RW 불변량을 초카이러 메트릭에 대한 참조 없이 순수 복소해석적 또는 대수기하학적 표현으로 기술할 수 있는가?
• RQ4 보편적인 유한형 불변량이 3차원 다각형의 위상장 이론을 통해 칼라비-유 3차원 다양체의 복소해석적 불변량과 어떻게 관련되는가?
• RQ5 3차 정점 그래프의 그래프 코호몰로지와 복소 해밀턴 다양체의 코호몰로지 사이의 정확한 관계는 무엇인가?

주요 결과

• Rozansky-Witten 불변량은 심플렉틱 리듬의 특성류에서 기인하는 코호몰로지 클래스의 이미지로서, $H^{\bullet}(X, \mathcal{O}_X)$로의 호모모르피즘을 통해 구성된다.
• 이 구성은 초카이러 메트릭에 의존하지 않으며, 오직 $X$ 위의 복소 해밀턴 구조만 필요로 한다.
• 불변량 $Z(M,X)$와 $Z_\Gamma(X)$는 초카이러 다양체 $X$의 변형 불변량이며, 그들에 대한 의존성은 오직 그 복소 해밀턴 구조에 국한된다.
• 형식적 해밀턴 벡터장의 코호몰로지와 $Q$-등변 범주를 통해 보편적인 펄럭임 양자 Chern-Simons 이론이 실현된다.
• 이 프레임워크는 심플렉틱 슈퍼다양체의 가속으로 일반화되며, 그래프 코호몰로지에서 $H^{\bullet}_Q(B)$로의 사상이 $Q$-다양체 $B$에 대해 유도되며 슈퍼차원 $(2n|k)$로 확장된다.
• AKSZ 유형의 위상장 이론 구성은 유리수 동치 3차원 구의 유한형 불변량이 복소체적 볼륨 형식을 갖는 3차원 칼라비-유 다양체의 복소해석적 불변량을 유도함을 시사한다.