[논문 리뷰] Gromov - Witten invariants and quantization of quadratic hamiltonians

Alexander Givental|ArXiv.org|2001. 08. 14.

Algebraic Geometry and Number Theory참고 문헌 22인용 수 17

한 줄 요약

이 논문은 이차 해밀토니안과 심플렉틱 루프군 작용의 양자화 형식을 도입하여 고차원 성질에서 고루모프-윈터 인버리언트와 프로베누스 구조를 통합하고 일반화한다. 이는 반단순 프로베누스 구조에 대한 바이라소로 제약 조건을 수립하고, 양자코homology 프레임워크 내에서 진동 적분과 감마함수 항등식의 渐近 분석을 통해 복소 프로젝티브 공간과 팬오 토릭 다양체에 대한 바이라소로 추측을 증명한다.

ABSTRACT

We describe a formalism based on quantization of quadratic hamiltonians and symplectic actions of loop groups which provides a convenient home for most of known general results and conjectures about Gromov-Witten invariants of compact symplectic manifolds and, more generally, Frobenius structures at higher genus. We state several results illustrating the formalism and its use. In particular, we establish Virasoro constraints for semisimple Frobenius structures and outline a proof of the Virasoro conjecture for Gromov -- Witten invariants of complex projective spaces and other Fano toric manifolds. Details will be published elsewhere.

연구 동기 및 목표

• 고차원에서 고루모프-윈터 인버리언트와 프로베누스 구조를 통합하기 위한 이차 해밀토니안과 심플렉틱 루프군 작용의 양자화 기반 형식을 개발한다.
• 이 형식을 사용하여 반단순 프로베누스 구조에 대한 바이라소로 제약 조건을 수립한다.
• 복소 프로젝티브 공간과 기타 팬오 토릭 다양체의 고루모프-윈터 인버리언트에 대한 바이라소로 추측을 증명한다.
• 형식을 등변 양자코homology 내의 진동 적분과 감마함수 渐近 분석에 연결한다.
• 프로베누스 구조의 중력 후손 및 그 생성 함수를 포크 공간 양자화의 관점에서 개념적 프레임워크를 제공한다.

제안 방법

• 형식은 심플렉틱 다양체의 코homology를 계수로 가지는 로렌츠 다항식 공간 위의 무한소 심플렉틱 변환의 포크 공간 양자화를 사용한다.
• 디라톤 이동을 적용하여 후손 생성함수를 루프 대수의 양의 부분에서의 좌표와 연결하고, 총 후손 생성함수를 포크 공간 내의 벡터로 식별한다.
• 등변 코hom로지 내의 진동 적분을 사용하여 양자코homology 한계 Q=0에서 R-행렬의 행렬 원소를 계산한다.
• 진동 적분의 정적 위상 渐近 분석을 통해 R-행렬의 상대적 渐近 분석을 추출하고, 바네스 G-함수와 감마함수 전개를 포함하는 표현식을 이끌어낸다.
• 포크 공간 위의 미분 연산자를 통해 정의된 바이라소로 연산자를 형식에 통합하여, 팬오 토릭 다양체의 총 후손 생성함수를 영으로 만든다.
• 팬오 토릭 다양체의 소형 양자코homology의 명시적 기술과 미러 대칭을 활용하여 전체 생성함수를 진동 연산자의 곱으로 유도한다.

실험 결과

연구 질문

• RQ1 고루모프-윈터 인버리언트와 그 중력 후손을 단일 양자화 프레임워크 내에서 체계적으로 통합할 수 있는 방법은 무엇인가?
• RQ2 바이라소로 대칭군은 반단순 프로베누스 다양체의 총 후손 생성함수를 제약하는 데 어떤 역할을 하는가?
• RQ3 등변 코hom로지 내의 진동 적분은 팬오 토릭 다양체의 양자코homology의 구조를 어떻게 반영하는가?
• RQ4 진동 적분 내 감마함수의 渐近 분석이 양자코homology와 미러 대칭의 깊은 구조를 얼마나 잘 반영하는가?
• RQ5 복소 프로젝티브 공간에 대한 바이라소로 추측은 심플렉틱 작용과 양자화에 기반한 일반 형식에서 유도될 수 있는가?

주요 결과

• 토릭 팬오 다양체의 총 후손 생성함수는 상수를 제외하고 공식 $\mathcal{D}_{X} = e^{C(t)}\hat{S}_{t}\hat{\Psi}_{t}\hat{R}_{t}{\mathcal{T}}$ 로 주어지며, 여기서 $\mathcal{T}$ 는 위튼-콘테비치 타우함수이다.
• 총 후손 생성함수는 바이라소로 제약 조건 $({\mathcal{L}}_{m} + N\delta_{m,0}/16)\mathcal{D}_{X} = 0$ 을 $m = -1,0,1,2,\dots$ 에 대해 만족하며, 에구치, 호리, 진젠지, 셩, 카츠의 추측을 확인한다.
• Q=0 에서 R-행렬의 원소 $R^{00}$ 은 상대적 渐近 분석을 통해 $\ln R^{00} = \sum_{k=1}^{\infty} \frac{B_{2k}}{2k} \frac{z^{2k-1}}{2k-1} \sum_{\alpha \neq 0} (\lambda_{\alpha} - \lambda_0)^{1-2k}$ 로 주어지며, 이는 양자코homology의 고전적 극한과 일치한다.
• 팬오 토릭 다양체의 미러 기술 내 진동 적분의 渐近 전개는 1차원 적분의 곱으로 분해되며, 그 渐近 분석은 감마함수에 의해 지배된다.
• 형식은 게츠러 및 반다리파ande가 발견한 $\lambda_g$-추측과 기타 호지 적분 항등식을 확인하며, 이전 증명보다 더 깊은 개념적 기반을 제공한다.
• 감마함수의 등장은 $S^1$-등변 플로어 이론이 루프 공간에서의 표현과 연결되어 있음을 시사하며, 이는 형식이 위상적 장 이론의 근본과 연결되어 있음을 보여준다.