[논문 리뷰] Moduli of weighted stable maps and their gravitational descendants

Valery Alexeev, G. Michael Guy|ArXiv.org|2006. 07. 26.

Homotopy and Cohomology in Algebraic Topology참고 문헌 16인용 수 3

한 줄 요약

이 논문은 $V$에 대한 가중 안정 맵의 모듈리 공간 $\overline{M}_{g,A}(V,\beta)$를 구성하고, $A = (a_1, \dots, a_n)$, $0 \leq a_i \leq 1$의 가중치 데이터에 대해 중력 후손에 대한 벽을 넘는 공식을 수립한다. 가중 후손은 일반적인 후손으로 표현될 수 있으며(반대로도 마찬가지로), 이는 고전적 구면-고모보-와이너 인버리언트를 일반화하고, 가중 설정으로의 스트링, 딜라톤, 및 디바이저 방정식을 확장한다.

ABSTRACT

We study the intersection theory on the moduli spaces of maps of $n$-pointed curves $f:(C,s_1,... s_n) o V$ which are stable with respect to a weight data $(a_1,..., a_n)$, $0\le a_i\le 1$. After describing the structure of these moduli spaces, we prove a formula describing the way each descendant changes under a wall crossing. As a corollary, we compute the weighted descendants in terms of the usual ones, i.e. for the weight data $(1,...,1)$, and vice versa.

연구 동기 및 목표

• 임의의 가중치 데이터 $A = (a_1, \dots, a_n)$, $0 \leq a_i \leq 1$에 대해 가중 안정 맵의 모듈리 공간 $\overline{M}_{g,A}(V,\beta)$를 구성하여, 비가중치 경우를 일반화한다.
• 이들 모듈리 공간 위에 $\psi$ 클래스와 중력 후손을 정의하며, 특히 일부 가중치가 0인 경우에도 초점을 맞춘다.
• 가중치 매개변수 공간 내에서 단일 벽을 넘을 때 중력 후손이 어떻게 변화하는지를 묘사하는 벽을 넘는 공식을 수립한다.
• 기존의 스트링, 딜라톤, 및 디바이저 방정식의 가중치 버전을 유도하여, 고전적 인버리언트를 가중 설정으로 확장한다.
• 일반적인 구면-고모보-와이너 인버리언트가 가중치 버전과 일치함을 보이고, 가중치 후손과 비가중치 후손 간의 변환을 위한 명시적 공식을 제공한다.

제안 방법

• 비가중치 경우에서의 직접 감소와 일반적인 아르틴 스택 및 코arse 모듈리 공간을 이용한 일반적 구성 방식을 통해 $\overline{M}_{g,A}(V,\beta)$를 구성한다. 이는 유한한 특성 이외의 모든 경우에 유효하며, 임의의 노에테리안 기저 위에서 일반화된다.
• 코탄제이언트 벡터 복합체를 점선으로 제한하여 $\psi$ 클래스를 정의한다. 일부 $a_i = 0$일 경우 잘 정의됨을 확보하기 위해 구조를 조정한다.
• 가중치 공간 $[0,1]^n$을 모듈리 공간의 구조가 일정한 영역들로 분할하는 칸막이 분해를 도입하며, 칸막이가 칸들을 분리한다.
• 각 칸은 $\{1, \dots, n\}$ 위의 단체 복합체와 연관되며, 벽을 넘을 때는 단체를 추가하거나 제거하는 것으로 표현된다.
• 단일 벽을 넘을 때의 중력 후손 간 차이를, 더 적은 표본점을 가진 단순화된 모듈리 공간 위의 후손 합으로 표현하는 벽을 넘는 공식을 증명한다.
• 감소와 콘 구조 분석을 통해 중력 후손의 행동을 분석함으로써, 스트링, 딜라톤, 디바이저 방정식의 가중치 버전을 도출한다.

실험 결과

연구 질문

• RQ1 가중치 데이터 $A$가 매개변수 공간 내에서 단일 벽을 넘을 때, $\overline{M}_{g,A}(V,\beta)$ 위의 중력 후손은 어떻게 변화하는가?
• RQ2 가중치 후손은 비가중치 후손으로 표현될 수 있는가(반대로도 마찬가지로), 그리고 이러한 변환에 대한 정확한 공식은 무엇인가?
• RQ3 구면-고모보-와이너 이론에서 고전적 스트링, 딜라톤, 디바이저 방정식의 가중치 버전은 무엇인가?
• RQ4 $\{1, \dots, n\}$ 위의 단체 복합체 구조는 모듈리 공간 $\overline{M}_{g,A}(V,\beta)$의 기하학을 어떻게 표현하는가?
• RQ5 $\kappa$-클래스와 가중치 후손 간의 관계는 무엇인가, 특히 가중치 데이터 $(0^n)$ 또는 $(\epsilon^n)$의 경우 어떻게 되는가?

주요 결과

• 벽을 넘는 공식은 단일 벽을 넘을 때의 중력 후손 간 차이를, 더 적은 표본점을 가진 단순화된 모듈리 공간 위의 후손 합으로 표현한다. 여기서 감소는 표본점을 하나의 정점으로 조합하는 것으로 대응된다.
• 비가중치 구면-고모보-와이너 인버리언트는 가중치 버전과 동일하며, 모든 가중치가 1 또는 0일 때 가중치 변화에 따라 인버리언트가 변하지 않음을 의미한다.
• 모리타-밀러-머펀드의 $\kappa$-클래스는 가중치 데이터 $(0^n)$ 또는 동치로 $(\epsilon^n)$의 경우 가중치 후손으로 식별되며, 고전적 타우토로지컬 클래스와 가중치 인버리언트 사이의 직접적인 연결을 확립한다.
• 대칭 $A$-스트링 방정식이 성립한다: $k_{n+1} = 0$ 이고 $A$가 $\Delta_{n+1,r}$에 대응할 경우, 단체가 콘일 경우 후손은 0이 되며, 그렇지 않으면 면들에 대한 부호가 있는 합으로 분해된다.
• $A$-디바이저 방정식이 일반화된다: $k_{n+1} = 0$ 이면, $D$-삽입이 있는 후손은 $\beta$ 위에서 $D$의 적분을 포함하는 항과 면들에 대한 합으로 분리되며, 이는 단체 복합체의 기하학을 반영한다.
• 모듈리 공간 $\overline{M}_{g,A}(V,\beta)$의 구성은 일반적인 아르틴 스택 접근법을 통해 임의의 국소적으로 노에테리안 기저 위에서 유효하며, 이는 이전 결과를 더 넓은 기하적 맥락으로 확장한다.