[논문 리뷰] Quantum Cohomology and Morse Theory on the Loop Space of Toric Varieties

Yiannis Vlassopoulos|ArXiv.org|2002. 03. 08.

Geometric and Algebraic Topology참고 문헌 14인용 수 9

한 줄 요약

이 논문은 루프 공간 위의 S¹-동차 플로어 코homology를 통해 토릭 다양체의 양자 D-모듈을 모어스 이론적으로 계산하며, 기존 기브נטל의 추측을 일반화한다. 양자 D-모듈이 심플렉틱 작용 함수의 임계 다양체와 경사 하강 선을 포함하는 D-모듈의 반고전적 극한으로 나타남을 증명하며, ∫_d c₁ > 0 를 만족하는 모든 비자명한 d에 대해 명시적인 검증을 수행한다.

ABSTRACT

On a symplectic manifold $M$, the quantum product defines a complex, one parameter family of flat connections called the A-model or Dubrovin connections. Let $\hbar$ denote the parameter. Associated to them is the quantum $\mathcal{D}$ - module ${\mathcal{D}}/I$ over the Heisenberg algebra of first order differential operators on a complex torus. An element of $I$ gives a relation in the quantum cohomology of $M$ by taking the limit as $\hbar o 0$. Givental (HomGeom), discovered that there should be a structure of a $\mathcal{D}$ - module on the (as yet not rigorously defined) ${S^1}$ equivariant Floer cohomology of the loop space of $M$ and conjectured that the two modules should be equal. Based on that, we formulate a conjecture about how to compute the quantum cohomology $\mathcal{D}$ - module in terms of Morse theoretic data for the symplectic action functional. The conjecture is proven in the case of toric manifolds with $\int_d{c_1}> 0$ for all nonzero classes $d$ of rational curves in $M$.

연구 동기 및 목표

• 자유 루프 공간의 S¹-동차 코homology를 이용하여 심플렉틱 토릭 다양체의 양자 D-모듈에 대한 모어스 이론적 기술을 수립한다.
• 기브נטל의 추측을 검증한다: 양자 D-모듈이 심플렉틱 다양체의 루프 공간에 대한 S¹-동차 플로어 코hom로 실현된다.
• 심플렉틱 작용 함수를 통해 양자 코hom로지 관계와 미분 연산자 간의 구체적 계산 프레임워크를 수립한다.
• ∫_d c₁ > 0 를 만족하는 모든 비자명한 유리 곡선 d에 대해 토릭 다양체의 경우 추측을 증명한다.
• 양자 D-모듈이 심플렉틱 작용 함수의 경사 하강 데이터로부터 구성된 D-모듈의 반고전적 극한임을 보여준다.

제안 방법

• 루프 공간의 S¹-동차 코homology로부터 복소 토르스 위의 일阶 미분 연산자로 구성된 히젠베르그 대수 위의 D-모듈을 구성한다.
• 자유 루프 공간 위의 심플렉틱 작용 함수를 모어스-보트 함수로 사용하며, 임계 다양체는 S¹-행동의 주기적 궤도에 대응한다.
• 임계 부분다양체와 그 불안정 다각형의 동차 코homology로부터 구성된 D-모듈의 반고전적 극한(ℏ → 0)으로서 양자 D-모듈을 복원한다.
• 드브로비노 연결의 평탄한 섹션에 대한 기브נטל의 공식과 생성 함수 F를 플로어 무한대 사이클 Δ의 푸리에 변환으로 식별하는 데 의존한다.
• 이 방법은 ∫_d c₁ > 0 를 만족하는 모든 비자명한 d에 대해 적용 가능하며, 이는 안정 사상의 매니폴드 공간이 잘 정의되고, 그로모프-위튼 인버리언트가 유한함을 보장한다.
• 평가 사상 ev_i: M_{3,d} → M 과 첫 번째 찰스 클래스 c를 가진 유니버설 코탄제트 라인 번들 L을 사용하여 중력 유도체를 정의하고 생성 함수 F를 구성한다.

실험 결과

연구 질문

• RQ1 심플렉틱 토릭 다양체의 양자 D-모듈은 심플렉틱 작용 함수를 사용한 루프 공간 위의 모어스 이론으로 계산될 수 있는가?
• RQ2 심플렉틱 다양체의 루프 공간에 대한 S¹-동차 플로어 코hom로이 양자 D-모듈이 기브נטל의 추측처럼 실현되는가?
• RQ3 양자 코hom로지 링의 관계는 어떻게 경사 하강 데이터로부터 구성된 D-모듈의 반고전적 극한으로부터 유도되는가?
• RQ4 심플렉틱 작용 함수와 그 임계 다양체는 양자 코호몰로지 관계를 어떻게 인코딩하는가?
• RQ5 Gromov-Witten 인버리언트를 포함하는 생성 함수 F는 루프 공간의 플로어 코호몰로지의 사이클의 푸리에 변환으로 해석될 수 있는가?

주요 결과

• 모든 비자명한 d에 대해 ∫_d c₁ > 0 를 만족하는 토릭 다양체의 양자 D-모듈은 루프 공간의 S¹-동차 코호몰로지로부터 구성된 D-모듈과 동형이다.
• Gromov-Witten 인버리언트의 생성 함수 F는 미분방정식 R(ℏ∂/∂t₁, e^{t₁}, ℏ) = 0 을 만족하며, 여기서 R = (ℏ∂/∂t₁)^{n+1} - e^{t₁} 이다. 이는 양자 코호몰로지 관계를 지배한다.
• ℙ^n 의 양자 코호몰로지 링은 ℂ[p,q]/(p^{n+1} = q) 로 주어지며, 이는 R로 정의된 D-모듈의 반고전적 극한(ℏ → 0)으로 유도된다.
• 생성 함수 F 의 성분 f_i 는 모두 동일한 미분 연산자 R 에 의하여 소거되며, 이는 해의 완전한 기저를 이룬다.
• Euler 클래스의 비율 e_{S¹}(N⁺_d)/e_{S¹}(N⁺_0) 이 ev₁ 아래에서 (ℏ - c)^{-1} 의 푸시포워드와 일치함을 보여, 일반적인 심플렉틱 다양체에 대한 정규화 메커니즘을 제안한다.
• 논문은 양자 D-모듈이 심플렉틱 작용 함수의 임계 다양체와 불안정 다각형의 데이터로부터 구성된 D-모듈의 반고전적 극한으로서 실현됨을 확인한다.