[논문 리뷰] The tautological rings of the moduli spaces of stable maps

Dragos Oprea|arXiv (Cornell University)|2004. 04. 15.

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

한 줄 요약

이 논문은 $SL$ 플라그 다양체로의 생애 수준 0 안정 사상의 모듈리 공간에서 모든 유리수 코homology 클래스가 타우토로지컬임을 증명하며, Keel의 정리(안정 곡선의 타우토로지컬 코homology)를 구조적 이론으로 확장한다. 평가 사상, $\tau$-클래스, 잊기 및 접합 사상에 의한 전이를 통해 구성된 타우토로지컬 클래스들을 이용해, 전체 유리수 코homology가 이러한 타우토로지컬 클래스들에 의해 생성됨을 입증하며, 이는 구조적 이론의 교차 이론을 완전히 기록한다는 것을 의미한다.

ABSTRACT

We show that the rational cohomology of the genus zero stable map spaces to SL flag varieties is entirely tautological.

연구 동기 및 목표

• 안정 곡선의 모듈리 공간에 대한 Keel의 타우토로지컬 코homology 정리를 생애 수준 0 안정 사상에서 $SL$ 플라그 다양체로 확장한다.
• 모듈리 공간 $\overline{\mathcal{M}}_{0,n}(X,\beta)$의 타우토로지컬 링이 $X = G/P$인 플라그 다양체일 때 전체 유리수 코homology를 생성함을 입증한다.
• 모든 유리수 코homology 클래스가 타우토로지컬임을 증명함으로써, 구조적 이론 불변량이 이 모듈리 공간의 전체 교차 이론을 완전히 기록한다는 것을 보여준다.

제안 방법

• 잊기 및 접합 사상에 의한 전이에 대해 닫혀 있고, 타깃 플라그 다양체 $X$의 코homology 클래스의 역상에 대해 닫혀 있는 최소 체계로 타우토로지컬 링 $R^\star(\overline{\mathcal{M}}(\Gamma))$를 정의한다.
• 평가 사상 $ev_i^*\alpha$를 통해 타우토로지컬 클래스를 구성한다($\alpha \in H^\star(X)$), 잊기 전이를 통한 $\kappa$-클래스, 코탄제이트 선다발에서 유도된 $\psi$-클래스를 구성한다.
• 과잉 교차 공식을 사용해 서로 다른 이중 그래프 계층 $\overline{\mathcal{M}}(\Gamma)$에 지지된 타우토로지컬 클래스의 곱을 계산하며, 과잉 정규군이 이중 그래프에서 유도된 $\psi$-클래스들의 합으로 분해됨을 보인다.
• 사영 공식과 평행 이동에 의한 Gysin 사상의 호환성을 적용하여 $\psi$-클래스와 $\kappa$-클래스가 타우토로지컬 체계를 유지함을 보인다.
• 표본 집합 $\mathcal{S}^p$의 클래스들로 감소시키고, 표본 수에 대한 귀납법을 사용해 타우토로지컬 체계가 모든 연산에 대해 닫혀 있음을 증명한다.
• 프로젝티브 포함 $i: X \hookrightarrow \mathbb{P}^r$를 활용해 일반 플라그 다양체의 경우를 기존의 $\mathbb{P}^r$ 경우로 감소시키며, Pandharipande와 Maulik-Okounkov의 결과를 활용한다.

실험 결과

연구 질문

• RQ1 모듈리 공간 $\overline{\mathcal{M}}_{0,n}(X,\beta)$에서 $X$가 $SL$ 플라그 다양체일 때 모든 유리수 코homology 클래스가 타우토로지컬인가?
• RQ2 플라그 다양체로의 생애 수준 0 안정 사상 모듈리 공간의 타우토로지컬 링이 평가 클래스, $\kappa$-클래스, $\psi$-클래스로 생성될 수 있는가?
• RQ3 구조적 이론 불변량이 이 모듈리 공간의 전체 교차 이론을 어느 정도 완전히 결정하는가?
• RQ4 일반 플라그 다양체에 대해 잊기 전이, 접합 사상, 평가 역상에 대해 타우토로지컬 체계가 닫혀 있는가?
• RQ5 프로젝티브 포함과 기저 변경을 통해 $\mathbb{P}^r$의 결과가 임의의 플라그 다양체로 확장되는가?

주요 결과

• 플라그 다양체 $X$가 $SL$일 때, 모듈리 공간 $\overline{\mathcal{M}}_{0,n}(X,\beta)$에서 모든 유리수 코homology 클래스는 타우토로지컬이며, 이는 Keel의 결과를 안정 곡선에서 구조적 이론으로 일반화한 것이다.
• 타우토로지컬 링은 잊기 전이와 접합 사상에 대해 닫혀 있어, 자연적인 기하학적 연산에 대해 잘 행동함을 보장한다.
• 타우토로지컬 클래스의 곱은 과잉 교차 공식을 통해 계산되며, 과잉 정규군은 이중 그래프에서 유도된 $\psi$-클래스들의 곱으로 표현된다.
• $\psi$-클래스 작용은 사영 공식과 Gysin 사상의 호환성에 의해 타우토로지컬 체계를 유지함을 보였다.
• 일반적인 플라그 다양체의 경우는 프로젝티브 포함을 통해 $\mathbb{P}^r$의 경우로 감소되며, 기저 변경과 그 설정에서 알려진 결과에 의해 결과가 유지된다.
• 가상 기본 다양체는 즉각적으로 타우토로지컬이 아니지만, 타우토로지컬 체계를 통해 그 상호작용이 제어되며, 전체 코homology가 타우토로지컬임을 확인한다.