[논문 리뷰] Tautological rings of stable map spaces

Anca Mustaţǎ, Andrei Mustaţǎ|ArXiv.org|2006. 07. 18.

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

한 줄 요약

이 논문은 호모로지 차수 0인 프로젝티브 공간으로의 안정적 매핑의 모듈리 공간에 대한 코homology 및 초 Chow 링의 완전한 대수적 표현을 제시한다. 이는 경계 스트라타와 k-클래스로 생성되는 확장된 타우토로지 링을 사용한다. 명시적인 생성자와 관계를 확립하여 차수 2 및 3 매핑에 대해 알려진 결과를 복원하고 확장하며, Gromov-Witten 불변량에 대한 기하학적으로 직관적인 프레임워크를 제공한다.

ABSTRACT

We find a set of generators and relations for the system of extended tautological rings associated to the moduli spaces of stable maps in genus zero, admitting a simple geometrical interpretation. In particular, when the target is $\PP^n$, these give a complete presentation for the cohomology and Chow rings in the cases with/without marked points.

연구 동기 및 목표

• 매끄러운 프로젝티브 다양체 X로의 호모로지 차수 0에서의 안정적 매핑 모듈리 공간에 대한 확장된 타우토로지 링 시스템을 구성하는 것.
• 특히 X = P^n일 경우 이러한 링의 명시적 생성자와 관계를 규명하는 것.
• 타우토로지 클래스와 그 관계가 경계 스트라타와 k-클래스의 관점에서 기하학적으로 어떻게 해석될 수 있는지 제시하는 것.
• Behrend와 O’Halloran의 d=2,3 결과를 포함하여 기존의 Gromov-Witten 불변량 및 타우토로지 관계를 복원하고 일반화하는 것.
• Mbar_{0,0}(P^n,d)의 코homology 및 초 Chow 링을 마커크 포인트 유무에 관계없이 완전히 표현하는 것.

제안 방법

• X의 코homology 생성자와 관련된 평가 클래스와 k-클래스 k_{-1}(α_i)의 푸시포워드를 사용하여 확장된 타우토로지 링을 정의한다.
• 잊어버림 및 접합 사상들을 사용하여 푸시포워드에 대해 닫혀 있는 시스템을 확보하고, 가상 기본류와의 호환성을 보장한다.
• 경계 스트라타에 대한 일반 관계를 적용하고, 가상류 축약 원리를 통해 k-클래스에 대한 재귀 공식을 유도한다.
• 접합 사상에 대한 Gysin 사상과 피보터 스퀘어 및 가상류를 통한 교차곱을 정의한다.
• D_{h''h} = D_{hh'} + D_{h'h''}와 같은 관계를 사용하여 경계 디바이저 항목을 재귀적으로 단순화함으로써 타우토로지 관계를 단순화한다.
• 전이 행렬에서 k-클래스의 재귀 행렬을 구성하고, 대수적 제거를 통해 관계의 아이디얼을 유도한다.

실험 결과

연구 질문

• RQ1 Mbar_{0,0}(P^n,d)의 확장된 타우토로지 링에 대한 완전한 생성자 집합과 관계는 무엇인가?
• RQ2 H^*(X)의 관계가 안정적 매핑 모듈리 공간의 타우토로지 링에 어떻게 유도되는가?
• RQ3 Mbar_{0,0}(P^n,d)의 경계 스트라타의 기하학적 구조는 무엇이며, 타우토로지 링에 어떻게 기여하는가?
• RQ4 Mbar_{0,0}(P^n,d)의 코homology 및 초 Chow 링은 타우토로지 클래스와 k-클래스를 통해 완전히 표현될 수 있는가?
• RQ5 k-클래스 k_{-1}(α)와 경계 디바이저는 호모로지 차수 0에서 타우토로지 링을 어떻게 생성하는가?

주요 결과

• X = P^n일 경우, Mbar_{0,0}(P^n,d)의 확장된 타우토로지 링은 k(H^2), ρ, σ₁, σ₂, σ₃, τ를 생성자로 하며, 관계 τσ₃, ρσ₃, τ² − ρσ₂, U_{n+1}를 가진다.
• U_{n+1} 아이디얼은 k-클래스 k_h(H^l)와 D_{har{h}} 항목의 관계를 포함하며, k-클래스의 가환성에 따라 k(H^{n+1})σ₃와 동치이다.
• d=3일 경우, 링 H^*(Mbar_{0,0}(P^n,3))는 k(H^2), ρ, σ₁, σ₂, σ₃, τ를 생성자로 하며, 관계 τσ₃, ρσ₃, τ² − ρσ₂, U_{n+1}를 가지며, Behrend와 O’Halloran의 추측 4.19와 일치한다.
• 클래스 ρ는 각 경계 성분에서 (ψ')² = ψ_h²로 식별되며, ρσ₃는 Mbar_{har{h}}에서 ψ_h² = ρ라는 항등식에서 기인하는 타우토로지 관계이다.
• 관계 τ² = ρσ₂는 보조정리 3.1과 식 (3.1)에서 유도되며, 고차원 부분류의 구조를 반영한다.
• 타우토로지 링 시스템은 忽略 및 접합 사상에 대해 불변이며, 가상류와 Gysin 당김을 통한 교차곱은 잘 정의되어 있다.