[논문 리뷰] On degree zero elliptic orbifold Gromov-Witten invariants

Hsian‐Hua Tseng|arXiv (Cornell University)|2009. 12. 18.

Algebraic Geometry and Number Theory참고 문헌 6인용 수 8

한 줄 요약

이 논문은 두 가지 방법을 사용하여 모듈리 공간 분석과 가상 국소화를 통해 비스택적 삽입을 가진 종수 1도 0인 오비폴드 그로모프-와이너 인버리언트를 계산한다. 이는 이중 이너티 스택의 탄성층의 첫 번째 코hen 클래스를 포함하는 인버리언트에 대한 추측 공식을 검증하여 오비폴드 그로모프-와이너 이론에서 바이르아소 제약 조건의 기초를 제공한다.

ABSTRACT

We compute, by two methods, the genus one degree zero orbifold Gromov-Witten invariants with non-stacky insertions which are exceptional cases of the dilaton and divisor equations. One method involves a detailed analysis of the relevant moduli spaces. The other method, valid in the presence of torus actions with isolated fixed points, is virtual localization. These computations verify the conjectural evaluations of these invariants. Some genus one twisted orbifold Gromov-Witten invariants are also computed.

연구 동기 및 목표

• 모듈리 공간의 불안정성으로 인해 표준적인 딜라톤 및 디바이저 방정식의 예외적인 경우인 종수 1도 0 오비폴드 그로모프-와이너 인버리언트를 계산하기 위해.
• 종수 1, 도수 0, 비스택적 마킹 점이 하나인 경우에서 표준 그로모프-와이너 방정식의 실패를 해결하기 위해.
• 이전 연구에서 제안된, 특히 이중 이너티 스택과 그 탄성층을 포함하는 이러한 인버리언트에 대한 추측 공식을 검증하기 위해.
• 특성 클래스와 가상 국소화를 사용하여 트위스트드 오비폴드 그로모프-와이너 인버리언트로의 확장을 위해.

제안 방법

• 비스택적 마킹 점이 하나인 종수 1, 도수 0 안정 사상의 모듈리 스택 $\overline{\mathcal{M}}_{1,1}(\mathcal{X},0)^{\prime}$ 를 분석하며, 이는 일반 가족의 구조를 갖지 않는다.
• 고립된 고정점이 있는 토르 작용 하에서 가상 국소화 기법을 적용하여 등급별 적분을 통한 인버리언트 계산을 수행한다.
• 서로 가환하는 자기 동형사상의 삼중체 $(x,g_1,g_2)$ 로 정의된 이중 이너티 스택 $II\mathcal{X}$ 를 사용하여 인버리언트를 특성 클래스로 표현한다.
• 가상 차원의 리만-로흐 계산과 가상 기본류에 대한 적분을 통해 인버리언트를 유도한다.
• 특성 클래스와 적분식에 코호몰로지 클래스와 코탄제이트 라인 번들에서 온 성분을 포함하여 트위스트드 인버리언트에 이 전략을 적용한다.
• 특히 $F_{1,1,0} = R^\bullet\pi_*f^*F$ 와 그 이얼로프 기반의 불변 부분다중공간에 의한 기술적 기반을 활용한다.

실험 결과

연구 질문

• RQ1 표준 딜라톤 및 디바이저 방정식이 실패할 경우, 비스택적 삽입이 있는 종수 1도 0 오비폴드 그로모프-와이너 인버리언트의 값은 무엇인가?
• RQ2 일반 가족의 구조가 없는 상황에서 가상 국소화 기법을 어떻게 적용하여 인버리언트를 계산할 수 있는가?
• RQ3 인버리언트 $\left\langle\tau_1(1)\right\rangle_{1,1,0}^{\prime\mathcal{X}}$ 와 $\left\langle\tau_0(D)\right\rangle_{1,1,0}^{\prime\mathcal{X}}$ 의 정확한 기하학적 및 코호몰로지적 해석은 무엇인가?
• RQ4 종수 1, 도수 0에서 트위스트드 그로모프-와이너 인버리언트는 언트위스트드 인버리언트와 어떻게 관련되어 있으며, 불변 부분다중공간 $F^{\langle g,h \rangle}$ 는 어떤 역할을 하는가?
• RQ5 특성 클래스 $c_{\text{top}}(T_{II\mathcal{X}})$ 와 $c_{\text{top}-1}(T_{II\mathcal{X}})$ 를 포함하는 추측 공식을 엄밀하게 검증할 수 있는가?

주요 결과

• 인버리언트 $\left\langle\tau_1(1)\right\rangle_{1,1,0}^{\prime\mathcal{X}}$ 는 정확히 $\frac{1}{24}\int_{II\mathcal{X}}c_{\text{top}}(T_{II\mathcal{X}})$ 와 일치하며, [8]에서 제안된 추측을 검증한다.
• 인버리언트 $\left\langle\tau_0(D)\right\rangle_{1,1,0}^{\prime\mathcal{X}}$ 는 $-\frac{1}{24}\int_{II\mathcal{X}}\pi_{\mathcal{X}}^*D \cup c_{\text{top}-1}(T_{II\mathcal{X}})$ 와 같으며, 두 번째 추측 공식을 확인한다.
• 계산은 직접 모듈리 공간 분석과 가상 국소화의 두 가지 독립된 방법을 통해 수행되어 결과의 신뢰성을 보장한다.
• 트위스트드 인버리언트의 경우, $ch_k(\pi_{\mathcal{X}}^*F)$, $c_{\text{top}}(T_{II\mathcal{X}})$, 특성 클래스 $\mathbf{c}$ 에서 유도된 $s_j$ 계수를 포함하는 일반 공식을 유도한다.
• 결과는 등급별 및 비등급별 설정 모두에서 유효하며, 불변 부분다중공간 $F^{\langle g,h \rangle}$ 는 국소화 계산에서 중심적인 역할을 한다.
• 이 공식들은 이전의 $\mathcal{X} = BG$ 경우에 대한 결과를 일반화하여, 전체 일반성에서 처음으로 완전한 종수 1 오비폴드 그로모프-와이너 인버리언트를 계산한 것이다.