[논문 리뷰] Virtual moduli cycles and Gromov-Witten invariants of algebraic varieties

Jun Li, Gang Tian|ArXiv.org|1996. 02. 09.

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

한 줄 요약

이 논문은 탄성-장애 복합체를 지닌 모듈리 공간에 대해 가상 기본 사이클을 체계적으로 구성하는 방법을 제시하며, 이를 매끄럽고 프로젝티브 다양체로의 안정적 매핑의 모듈리 공간에 적용한다. 핵심 기여는 가상 사이클을 통한 그로모프-윈터 불변량의 대수적 구성으로, 대수기하학에서의 수세기 불변량에 대한 엄밀한 기초를 제공한다.

ABSTRACT

We introduce a method of constructing the virtual cycle of any scheme associated with a tangent-obstruction complex. We apply this method to constructing the virtual moduli cycle of the moduli of stable maps from n-pointed genus g curves to any smooth projective variety. As an application, we give an algebraic definition of GW-invariants for any smooth projective variety.

연구 동기 및 목표

• 탄성-장애 복합체를 지닌 모듈리 공간에 대해 가상 기본 사이클을 구성하는 일반적 방법을 개발하기 위해.
• 이 방법을 n개의 점이 있는 생김새 g 곡선에서 매끄럽고 프로젝티브 다양체로의 안정적 매핑의 모듈리 공간에 적용하기 위해.
• 분석적 또는 오비폴드 방법에 의존하지 않는 대수적, 스킴 이론적 정의를 통해 그로모프-윈터 불변량을 정의하기 위해.
• 가상 사이클 기법을 사용하여 대수기하학에서의 수세기 불변량에 대한 엄밀한 프레임워크를 수립하기 위해.
• 분석적 또는 오비폴드 기법에 의존하지 않고 가상 사이클을 대수기하학적 방법으로 구성함으로써 그로모프-윈터 이론의 기초적 문제를 해결하기 위해.

제안 방법

• 탄성-장애 복합체와 관련된 완전한 장애 이론을 사용하여 가상 기본 클래스를 정의하기 위해.
• 내재적 정규 콘과 그 가상 기본 클래스를 통해 안정적 매핑의 모듈리 공간에서 가상 사이클을 사이클로 구성하기 위해.
• 안정적 매핑의 변형-장애 이론을 활용하여 폭발 [−1, 0]의 완전한 장애 이론을 정의하기 위해.
• 가상 카와사키-크누센-머피-페고라로 (KMP) 구성법을 적용하여 차우 군 내의 가상 사이클을 생성하기 위해.
• 가상 사이클을 사용하여 가상 사이클에 대한 psi-클래스와 평가 클래스의 교차수로서 그로모프-윈터 불변량을 정의하기 위해.
• 구성법이 대수적임을 보장하고, 적절한 투영과 기저 변경과도 호환되도록 하기 위해.

실험 결과

연구 질문

• RQ1 탄성-장애 복합체를 지닌 모듈리 공간에 대해 가상 기본 클래스를 어떻게 구성할 수 있는가?
• RQ2 매끄럽고 프로젝티브 다양체로의 안정적 매핑의 모듈리 공간에 대해 가상 사이클을 대수적으로 구성할 수 있는가?
• RQ3 가상 사이클을 사용한 그로모프-윈터 불변량의 정확한 대수적 정의는 무엇인가?
• RQ4 가상 사이클 구성법은 유리 곡선의 고전적 수세기 기하학과 어떻게 관련이 있는가?
• RQ5 분석적 또는 오비폴드 기법 없이 가상 기본 클래스를 정의할 수 있는가?

주요 결과

• 저자들은 완전한 장애 이론을 사용하여 안정적 매핑의 모듈리 공간에 대해 가상 기본 클래스를 구성한다.
• 가상 사이클은 모듈리 공간의 차우 군 내의 사이클로 정의되며, 교차 이론적 불변량을 가능하게 한다.
• 그로모프-윈터 불변량은 가상 사이클에 대한 psi-클래스와 평가 클래스의 교차수로서 대수적으로 정의된다.
• 구성법은 변형에 대해 불변이며 기저 변경과 호환되어 일관성을 보장한다.
• 이 방법은 분석적 또는 오비폴드 의존성 없이 그로모프-윈터 이론에 대한 엄밀한 대수적 기초를 제공한다.
• 가상 사이클 구성법은 이전의 수세기 기하학 결과를 일반화하기 위해 어떤 매끄럽고 프로젝티브 다양체에도 적용 가능하다.