[논문 리뷰] Topological quantum field theory and hyperkähler geometry

Justin Sawon|arXiv (Cornell University)|2000. 09. 25.

Algebraic structures and combinatorial models인용 수 4

한 줄 요약

이 논문은 LMO 불변량에 기반한 Murakami-Ohtsuki TQFT에 초현실적 다양체의 코homology로부터 유도된 초현실적 가중치 체계를 적용하여 초현실적 위상적 양자장이론(Hyperkähler topological quantum field theory, TQFT)을 구성한다. 주요 결과는 얻어진 TQFT가 Rozansky-Witten 이론과 동일한 힐베르트 공간을 가지며, 이는 유한형 불변량과 초현실적 기하학 사이의 깊은 연결성을 시사한다.

ABSTRACT

Rozansky and Witten proposed a 3-dimensional sigma-model whose target space is a hyperkähler manifold. They conjectured that this theory has an associated TQFT, with Hilbert spaces given by certain cohomology groups of the hyperkähler manifold. On the other hand, there is a certain modified TQFT constructed by Murakami and Ohtsuki using the universal quantum invariant. We explain how the Rozansky-Witten TQFT can be obtained from the latter by applying a `hyperkähler weight system'.

연구 동기 및 목표

• 초현실적 다양체에서 유도된 가중치 체계를 Murakami-Ohtsuki TQFT에 적용하여 초현실적 TQFT를 수립하는 것.
• 얻어진 TQFT가 특히 종수 g의 리만 곡면에 대해 Rozansky-Witten 이론의 힐베르트 공간과 일치하는지 조사하는 것.
• 코homology 쌍대성에 기반하여 Murakami-Ohtsuki TQFT 프레임워크 내에서 Rozansky-Witten 관측량을 재해석하는 것.
• Murakami-Ohtsuki 구성에 기반하여 초현실적 힐베르트 공간 위의 매핑 클래스 군 작용을 탐구하는 것.
• 경계가 분리된 3차원 다양체에 가중치 체계를 적용할 때 발생하는 기술적 과제를 해결하는 것.

제안 방법

• LMO 불변량과 3차원 다양체의 보편적인 유한형 불변량에 기반한 수정된 TQFT인 Murakami-Ohtsuki TQFT를 사용한다.
• 초현실적 다양체의 코homology와 벡터 번들의 조합으로 구성된 초현실적 가중치 체계를 Murakami-Ohtsuki TQFT의 다이어그램 공간에 적용한다.
• 방향성이 있는 변을 가진 삼차원 그래프에 대한 현수선 다이어그램을 사용하며, 특정 부분공간에 있는 단일 끝점(vertex)을 갖는다. 이는 AS, IHX, STU, 및 분기 관계에 대해 모듈로 취한다.
• g개의 간격의 집합에 대한 다이어그램 공간에서, 간격에 나무 Δ를 부착하여 형성된 그래프 Γ에 대한 다이어그램 공간으로의 사상 ρ를 도입한다.
• 라벨이 부여된 탭과 루트 기반 분기 관계를 사용하여, Γ의 나무 부분에서 다이어그램의 다리를 간격 부분으로 '밀어내는' 방식으로 역사상 σ를 구성한다.
• 관계에 따라 등가인 경우, 특히 목표 공간에서 STU 관계를 만족하는 경우, σ가 잘 정의된 역사상임을 보여 이로써 ρ가 A(∅)-모듈러스의 동형사상임을 증명한다.

실험 결과

연구 질문

• RQ1 Murakami-Ohtsuki TQFT에 초현실적 가중치 체계를 일관적으로 적용하여, Rozansky-Witten 이론과 동일한 힐베르트 공간을 갖는 TQFT를 생성할 수 있는가?
• RQ2 초현실적 다양체 위의 복소構조의 선택이 얻어진 TQFT의 힐베르트 공간에 어떤 영향을 미치는가?
• RQ3 Murakami-Ohtsuki 프레임워크 내에서 Rozansky-Witten 관측량은 어느 정도까지 TQFT 벡터와 초현실적 다양체의 코homology 클래스 간의 쌍대성으로 복원될 수 있는가?
• RQ4 간격에 대한 다이어그램 공간과 나무를 부착한 그래프에 대한 다이어그램 공간 사이의 동형사상은 TQFT의 구조에 어떤 함의를 지닌다?
• RQ5 초현실적 힐베르트 공간 위의 매핑 클래스 군 작용은 어떻게 Murakami-Ohtsuki TQFT에서 유도될 수 있는가?

주요 결과

• 가중치 체계를 적용한 Murakami-Ohtsuki TQFT를 통해 구성된 초현실적 TQFT는 Rozansky-Witten 이론과 동일한 힐베르트 공간을 갖는다: H_g = ⨁_q H^q(X, (Λ^•T)^⊗g).
• 사상 ρ: A(⊔_i=1^g I) → A(Γ)는 A(∅)-모듈러스의 동형사상이며, 나무 부분의 다리들을 간격 부분으로 밀어내는 방식으로 구성된 역사상 σ가 잘 정의되어 있음을 증명함으로써 입증된다.
• 역사상 σ는 STU 관계에 대해 잘 정의되어 있으며, 루트를 둘러싸는 다리의 이동에 발생하는 모호성이 목표 다이어그램 공간 내에서 알려진 항등식으로 인해 사라지기 때문이다.
• 이 구성은 다이어그램 공간 간의 도식적 동형사상을 수립하여, 간격 기반 다이어그램 공간의 TQFT 구조를 그래프 기반 공간으로 이전할 수 있도록 한다.
• Rozansky-Witten 이론의 모든 관측량은 Proposition 4.1에 의해 형식화된 바와 같이, TQFT의 벡터와 초현실적 다양체의 코homology 클래스 간의 쌍대성으로 복원될 수 있다.
• 이 접근법은 LMO 불변량과 Rozansky-Witten 불변량의 배경에 있는 보편적인 유한형 구조를 시사하며, 두 TQFT가 동치임을 지지하는 추측을 뒷받침한다.