[논문 리뷰] A virtual fundamental class construction for the moduli space of torus equivariant morphisms

Andrei Mustaţǎ|arXiv (Cornell University)|2014. 09. 22.

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

한 줄 요약

이 논문은 GIT 졸업과 그 플립에 관련된 딜리그레-멈포르 스택의 역극한을 이용하여, 안정 타이닉 다양체에서 스무드 프로젝티브 다양체 $X$로의 $({\mathbb{C}}^*)^n$--equivariant 사상의 모듈리 공간에 대해 가상 기본류를 구성한다. 이 구성은 $\dim X - n$ 차원의 차우 군에 속하는, $X$의 $({\mathbb{C}}^*)^n$-equivariant 변형에 대해 불변인 클래스를 얻으며, $n=1$의 경우 안정 사상 모듈리 공간과의 비교를 통해 기존 정의와 일致한다.

ABSTRACT

Let X be a smooth projective variety with the action of the n dimensional torus. The article describes the moduli space of torus equivariant morphisms from stable toric varieties into X as the inverse limit of the GIT quotients of X and their flips when these spaces are enhanced with a naturally associated Deligne-Mumford stack structure. This description is used for constructing a class in the Chow group of the moduli space of dimension dim(X)-n which is invariant to equivariant deformations of X.

연구 동기 및 목표

• 스스로의 완전한 오염 이론이 존재하지 않는 상황에서도, 안정 타이닉 다양체에서 스무드 프로젝티브 다양체 $X$로의 $({\mathbb{C}}^*)^n$-equivariant 사상의 모듈리 공간에 대해 가상 기본류를 정의하는 것.
• 토루스 작용 하에서 GIT 졸업과 그 플립에 관련된 딜리그레-멈포르 스택의 역극한으로 이 모듈리 공간의 기하적 실현을 확립하는 것.
• $X$의 $({\mathbb{C}}^*)^n$-equivariant 변형에 대해 불변인 $\dim X - n$ 차원의 차우 클래스를 구성하여 함의성과 알려진 사례와의 호환성을 확보하는 것.
• 재구성군 작용으로의 일반화를 위한 프레임워크를 제공하며, 그로모프-위튼 인버티언트와 안정 사상 모듈리 공간에 응용 가능성을 고려하는 것.

제안 방법

• 모듈리 공간은 $X$와 그 플립에 대한 $({\mathbb{C}}^*)^n$-작용 하의 GIT 졸업과 관련된 딜리그레-멈포르 스택의 역극한으로 실현된다.
• 역극한 위의 보편 가족은 $X$로의 생애 0의 안정 사상 모듈리 공간을 통해 구성되며, 이는 $({\mathbb{C}}^*)^n$-equivariant 사상과 안정 사상 이론을 연결한다.
• 상대적 내재 정규 콘 $\mathcal{C}_Z$ 는 코homology 층 $h^1/h^0(R^f\pi_* e^*T_Z)$ 안에 매립되어 가상 클래스의 구성이 가능해진다.
• 가상 클래스는 $[BT]$-스택의 역극한으로부터, 탄성 이미지의 고정 부분을 포함하는 사상에 의해 올려진다.
• GIT 졸업과 그 플립의 부분범주에 대해 타우토로지컬 링을 정의하고, 5.2조를 통해 당김 및 밀림 사상의 정의를 확립한다.
• 구성된 결과가 $n=1$의 경우 표준적인 가상 기본류와 일致함을 입증하였으며, 이는 정리 6.3에서 확인된다.

실험 결과

연구 질문

• RQ1 완전한 오염 이론이 존재하지 않는 상황에서도, 스무드 프로젝티브 다양체 $X$로의 $({\mathbb{C}}^*)^n$-equivariant 사상의 모듈리 공간에 대해 가상 기본류를 구성할 수 있는가?
• RQ2 GIT 졸업과 그 플립에 관련된 딜리그레-멈포르 스택의 역극한은 $({\mathbb{C}}^*)^n$-equivariant 사상의 모듈리 공간과 어떻게 관련되어 있는가?
• RQ3 구성된 가상 클래스는 $X$의 $({\mathbb{C}}^*)^n$-equivariant 변형에 대해 올바르게 변환되는가? 또한 $n=1$의 경우 안정 사상 모듈리 공간의 가상 클래스와 호환되는가?
• RQ4 이 프레임워크는 토루스를 초월해 재구성군 작용, 예를 들어 $SL_{k+1}$ 등으로 확장될 수 있는가? 그리고 안정 사상 모듈리 공간에 대해 어떤 함의를 갖는가?
• RQ5 GIT 졸업의 역극한에서의 타우토로지컬 링의 구조는 어떠한가? 그리고 그 당김 및 밀림 사상에서의 행동은 어떠한가?

주요 결과

• $({\mathbb{C}}^*)^n$-equivariant 사상의 모듈리 공간은 자연스러운 스택 구조 하에서 GIT 졸업과 그 플립에 관련된 딜리그레-멈포르 스택의 역극한과 스킴으로서 동형이다.
• 차우 군에 속하는 $\dim X - n$ 차원의 가상 기본류가 구성되었으며, 이는 $X$의 $({\mathbb{C}}^*)^n$-equivariant 변형에 대해 불변이다.
• $n=1$의 경우, 가상 클래스는 안정 사상 모듈리 공간에서의 표준적인 가상 기본류와 일치한다. 이는 정리 6.3에서 검증되었다.
• 상대적 내재 정규 콘 $\mathcal{C}_Z$ 는 $h^1/h^0(R^f\pi_* e^*T_Z)$ 안에 매립되어, 가상 클래스가 기저 스택 $\underleftarrow{\lim} [BT]$ 로부터 당겨질 수 있게 되었다.
• 역극한에서의 타우토로지컬 링은 5.2조에서 확립된 바와 같이 당김 및 밀림 사상이 존재하며, 비고 5.5에서 계산 알고리즘이 제시되었다.
• 이 구성은 $SL_{k+1}$ 등 재구성군의 작용에 대해 안정 사상 모듈리 공간을 정의하는 데로 이어지는 길을 시사한다. 유사한 역극한 기법을 통해 가능성이 열린다.