[논문 리뷰] A theory of the invariants obtained from the moduli stacks of stable objects on a smooth polarized surface

Takuro Mochizuki|ArXiv.org|2002. 10. 15.

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

한 줄 요약

이 논문은 매끄럽고 극화된 표면 위의 반안정층의 모듈리 스택에 대한 가상 기본류 이론을 수립하며, 안정성 매개변수(δ)의 변화에 따른 불변량의 전이 공식을 확립한다. $p_g > 0$일 경우 불변량이 극화의 선택에 독립적이며, $p_g = 0$일 경우 약한 벽을 횡단하는 공식과 교차 라운딩 공식을 유도하여, 불변량을 힐베르트 스킴과 아벨 쌍으로 환원한다.

ABSTRACT

Let $X$ be a smooth polarized algebraic surface over the compex number field. We discuss the invariants obtained from the moduli stacks of semistable sheaves of arbitrary ranks on $X$. For that purpose, we construct the virtual fundamental classes of some moduli stacks, and we show the transition formula of the integrals over the moduli stacks of the $δ$-stable Bradlow pairs for the variation of the parameter $δ$. Then, we study the relation among the invariants. In the case $p_g>0$, we show that the invariants are independent of the choice of a polarization of $X$. We also show that the invariants can be reduced to the invariants obtained from the moduli of abelian pairs and the Hilbert schemes. In the case $p_g=0$, we obtain the weak wall crossing formula and the weak intersection rounding formula, which describes the dependence of the invariants on the polarization.

연구 동기 및 목표

• 매끄럽고 극화된 표면 위의 임의의 계수를 가진 반안정층의 모듈리 스택에 대한 가상 기본류를 구성한다.
• 안정성 매개변수 δ의 변화에 따라 δ-안정 브래들로 페어의 적분에 대한 전이 공식을 수립한다.
• 특히 $p_g = 0$과 $p_g > 0$의 경우를 구분하여, 불변량이 극화의 선택에 어떻게 의존하는지 분석한다.
• $p_g > 0$의 경우 일반 불변량을 힐베르트 스킴과 아벨 쌍에서 유도된 간단한 불변량으로 환원한다.
• $p_g = 0$의 경우 약한 벽 횡단 공식과 약한 교차 라운딩 공식을 유도하여, 불변량이 극화에 따라 어떻게 변화하는지 기술한다.

제안 방법

• 반안정층의 모듈리 스택과 강화된 마스터 스페이스 위에서 오염 이론을 통해 가상 기본류를 구성한다.
• 기하학적 불변 이론(GIT)과 원환면 작용을 활용하여 고정점 집합을 분석하고, 모듈리 스택을 곱으로 분해한다.
• 등급 부여된 오염 이론과 편향 기법(브래들로 편향 및 폴리드 편향)을 적용하여 다양한 안정성 조건을 연결한다.
• 마스터 스페이스 구성 기법을 통해 안정성 매개변수 δ의 변화를 통일화하고, 벽 횡단 행동을 연구한다.
• 약한 콘의 타일과 칸에 따른 코homology 위의 유도 사상과 DT 불변량을 활용하여, 다양한 안정성 매개변수 간의 불변량을 비교한다.
• 방향성 있는 감소된 경우와 비방향성의 원래 경우 간의 비교 정리를 적용하여 다양한 오염 이론을 연결한다.

실험 결과

연구 질문

• RQ1 반안정층의 모듈리 스택과 관련된 불변량은 안정성 매개변수 δ의 변화에 어떻게 반응하는가?
• RQ2 특히 $p_g = 0$일 경우, 이러한 불변량은 극화의 선택에 어떻게 의존하는가?
• RQ3 만약 $p_g > 0$일 경우, 불변량은 극화의 선택에 독립적인가?
• RQ4 $p_g > 0$의 경우 불변량을 힐베르트 스킴과 아벨 쌍에서 유도된 불변량으로 환원할 수 있는가?
• RQ5 $p_g = 0$의 경우, 벽 횡단 행동과 교차 라운딩을 기술하는 공식은 무엇인가?

주요 결과

• $p_g > 0$의 경우, 반안정층의 모듈리 스택에서 유도된 불변량은 극화의 선택에 관계없이 일정하다.
• $p_g > 0$의 경우, 모듈리 공간의 분해를 통해 불변량을 힐베르트 스킴과 아벨 쌍에서 유도된 불변량으로 환원할 수 있다.
• $p_g = 0$의 경우, 약한 벽 횡단 공식이 확립되어, 약한 콘 내의 벽을 횡단할 때 불변량이 어떻게 변화하는지 기술한다.
• $p_g = 0$의 경우 약한 교차 라운딩 공식이 도출되어, 일부 불변량이 약한 콘 내의 칸 선택에 독립적임을 보여준다.
• δ-안정 브래들로 페어에 대한 전이 공식은 타일과 칸에 따른 기여도로 분해하고, 교차 수의 부호 조건을 활용하여 증명된다.
• 완전한 오염 이론을 통해 가상 기본류가 구성되었으며, 방향성 있는 경우와 비방향성 경우 간의 비교 정리를 통해 그 변형에 대한 불변성이 입증되었다.