[논문 리뷰] Gromov-Witten invariants for varieties with C* action

Anca Mustaţǎ, Andrei Mustaţǎ|arXiv (Cornell University)|2015. 05. 06.

Algebraic Geometry and Number Theory참고 문헌 11인용 수 5

한 줄 요약

이 논문은 ℂ*-작용을 가진 매끄럽고 사영적인 대상의 고루모프-원워틴 불변량을 계산하기 위한 가상 국소화 프레임워크를 개발한다. 문제는 고정점의 불변량으로 환원되고, 스택형 GIT 및 비알린치-비르울 분해를 통해 명시적인 모듈리 공간 M_{ω,2}을 구성한다. 핵심 기여는 가상 정규(bundle)과 가상 기본류의 고정 부분을 역극한의 보편 가속가와 가중 블로업을 이용해 체계적으로 계산하는 데 있다.

ABSTRACT

For any smooth projective variety with a C* action, we reduce the problem of computing its Gromov-Witten invariants to the similar problem for its fixed locus. Starting from the stacky version of variation of GIT for our variety, we construct the building blocks for the fixed loci of the moduli space of stable maps. We use this construction to compute their contribution to the virtual fundamental class.

연구 동기 및 목표

• 강한 토루스 작용을 갖는 다양체를 초월해 일반적인 매끄럽고 사영적인 다양체에 대한 가상 국소화 기법을 확장하는 것.
• 고정점으로 환원함으로써 안정 사상의 모듈리 공간의 가상 기본류를 계산하는 것.
• 역극한의 스택형 GIT 몫과 가중 블로업을 통해 가상 장애 이론 기여를 계산하기 위한 모듈리 공간의 계층적 계층을 구성하는 것.
• 정규(bundle)과 에퀴브리언트 오일러 클래스를 이용해 가상 기본류의 고정 및 이동 부분에 대한 명시적 공식을 유도하는 것.
• 비일반적인 궤도 클래스와 M_{ω,2}의 오비폴드 구성 요소를 관성 스택과 비알린치-비르울 스트라타에서의 당김을 통해 다루는 것.

제안 방법

• X와 그의 비알린치-비르울 스트라타에 대해 스택형 GIT의 변형을 구성하여 ℂ*-작용을 갖는 안정 사상의 모듈리 공간을 모델링하는 데 사용한다.
• M_{ω,2}를 스택형 몫과 보편 가속가의 역극한 시스템의 역극한으로 정의하여 계층적 네트워크 형태의 모듈리 공간, 가속가, 평가 사상의 집합을 형성한다.
• 역극한 구조를 이용해 [M]의 정리 6.3을 활용해 가상 기본류의 고정 부분을 계산하고, 장애 이론의 에퀴브리언트 오일러 클래스를 통해 이동 부분을 계산한다.
• 비알린치-비르울 이론의 산물인 [B2]의 곱 법칙을 적용하여 고정점의 접선(bundle)의 양음성 및 음성 무게 공간 기여로 가상 정규(bundle)을 분해한다.
• 비일반적인 궤도 클래스의 경우 중간 스트라타에서의 당김과 유한부분군(예: ℤ_n)의 작용을 고려하여 오비폴드 구성 요소를 모델링한다.
• 가상 정규(bundle)을 동치 작용 무게 w와 인덱스 l에 대해 에퀴브리언트 선(bundle)의 합으로 표현하며, 장애층 Q_w,± 및 P_w,±와 텐서곱하고, 계수는 작용 무게에 따라 달라진다.

실험 결과

연구 질문

• RQ1 가장자리 궤도가 유한한 다양체를 초월해 ℂ*-작용을 갖는 매끄럽고 사영적인 다양체에 대해 가상 국소화를 어떻게 일반화할 수 있는가?
• RQ2 ℂ*-다양체의 안정 사상 모듈리 공간에서 고정점의 위치는 어떤 구조를 가지며, 장식된 그래프를 통해 어떻게 색인화할 수 있는가?
• RQ3 호모로지 클래스가 일반 궤도의 배수일 때가 아니면 M_{ω,2}의 가상 기본류는 어떻게 계산할 수 있는가?
• RQ4 스택형 GIT 몫과 가중 블로업은 M_{ω,2} 위의 보편 가속가를 구성하는 데 어떤 역할을 하는가?
• RQ5 장애 이론의 이동 및 고정 부분 기여는 어떻게 조합되어 전체 가상 클래스를 도출하는가?

주요 결과

• 안정 사상의 모듈리 공간의 가상 기본류는 고정점 구성 요소 F_Γ의 합으로 환원되며, 기여는 [F_Γ]^{vir} / e^{ℂ*}(N^{vir}_{F_Γ})로 주어진다.
• 주요 구성 요소 M_{ω,2}는 스택형 GIT 몫과 그 보편 가속가의 시스템의 역극한으로 구성되며, 비알린치-비르울 스트라타 기반의 계층적 구조를 가진다.
• ω = ((u₀,u∞), nβ)인 경우, 공간 M_{ω,2}는 (M_{(0,k)}(X)/ℤ_n)과 동형이며, 그 가상 클래스는 피보트 곱과 에퀴브리언트 오일러 클래스를 통해 계산된다.
• M_{ω,2}의 가상 정규(bundle)은 장애층 Q_w,± 및 P_w,± 위의 에퀴브리언트 선(bundle)의 합으로 표현되며, 계수는 작용 무게와 인덱스에 따라 달라진다.
• β가 일반 궤도 클래스가 아니면, M_{ω,2}는 (M_{(j,q)}(X)/ℤ_n)에 매장되며, 가상 클래스의 고정 부분은 정규 콘 위의 프로젝티브 범주들의 곱으로 주어진다.
• 유리수 클래스 ω = ((u,v), n/m β)인 경우, 가상 정규(bundle)은 재스케일된 무게 (lm)와 ℤ_m가 정규(bundle) 위에서 비자명하게 작용하는 고정점 X_m의 기여를 포함한다.