[논문 리뷰] $S^1$-fixed-points in hyper-Quot-schemes and an exact mirror formula for flag manifolds from the extended mirror principle diagram

Chien‐Hao Liu, Kefeng Liu외 1명|ArXiv.org|2004. 01. 27.

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

한 줄 요약

이 논문은 초과열-쿼트 스킴에서 $S^1$-등변 국소화를 이용하여 플래그 다양체 위의 고르모프-위튼 불변량에 대한 정확한 미러 공식을 개발한다. $S^1$-고정점 성분 $E_{(A;0)}$ 를 분석하고 그 등변 오일러 클래스를 계산함으로써, 적분 $\int_X \tau^* e^{H\cdot t} \cap \mathbf{1}_d$ 에 대한 닫힌 형태 표현을 유도한다. 이는 기본 초함수급수 $HG[\mathbf{1}]^X(t)$ 를 포함하며, 기존 그라스만이안에 대한 결과를 일반화하고, 톰 클래스 수정을 포함한 가족 히로바-바파 공식의 가능성을 시사한다.

ABSTRACT

In [L-L-Y1, III: Sec. 5.4] on mirror principle, a method was developed to compute the integral $\int_{X}τ^{\ast}e^{H\cdot t}\cap {\mathbf 1}_d$ for a flag manifold $X=\Fl_{r_1, ..., r_I}({\Bbb C}^n)$ via an extended mirror principle diagram. This method turns the required localization computation on the augmented moduli stack $\bar{\cal M}_{0,0}(\CP^1 imes X)$ of stable maps to a localization computation on a hyper-Quot-scheme $\HQuot({\cal E}^n)$. In this article, the detail of this localization computation on $\HQuot({\cal E}^n)$ is carried out. The necessary ingredients in the computation, notably, the $S^1$-fixed-point components and the distinguished ones $E_{(A;0)}$ in $\HQuot({\cal E}^n)$, the $S^1$-equivariant Euler class of $E_{(A;0)}$ in $\HQuot({\cal E}^n)$, and a push-forward formula of cohomology classes involved in the problem from the total space of a restrictive flag manifold bundle to its base manifold are given. With these, an exact expression of $\int_{X}τ^{\ast}e^{H\cdot t}\cap {\mathbf 1}_d$ is obtained. Comments on the Hori-Vafa conjecture are given in the end.

연구 동기 및 목표

• 플래그 다양체 $X = \mathrm{Fl}_{r_1,\ldots,r_I}(\mathbb{C}^n)$ 에 대해 적분 $\int_X \tau^* e^{H\cdot t} \cap \mathbf{1}_d$ 를 계산함으로써 기본 초함수급수 $HG[\mathbf{1}]^X(t)$ 를 결정한다.
• 모듈리 스택 $\overline{\mathcal{M}}_{0,0}(\mathbb{CP}^1 \times X)$ 에서의 국소화를 초과열-쿼트 스킴 $\mathrm{HQuot}(\mathcal{E}^n)$ 에서의 계산으로 줄이는 확장 다이어그램을 통한 미러 원리의 확장.
• 제약 플래그 다양체 번들의 등변 코homology와 푸시-어퍼 포지션 공식을 이용하여 플래그 다양체 위의 고르모프-위튼 불변량(스트링 인stanton 수)에 대한 정확한 표현을 유도한다.
• 플래그 다양체에서 칼라비-야우 다양체에 대한 히로바-바파 공식을 톰 클래스와 양자 표준 표기법의 조합을 통해 일반화한다.

제안 방법

• 증강된 모듈리 스택 $\overline{\mathcal{M}}_{0,0}(\mathbb{CP}^1 \times X)$ 에서의 국소화 계산을 초과열-쿼트 스킴 $\mathrm{HQuot}(\mathcal{E}^n)$ 으로 줄인다.
• 초과열-쿼트 스킴 $\mathrm{HQuot}(\mathcal{E}^n)$ 에서의 $S^1$-고정점 성분을 분류하며, 특별한 성분 $E_{(A;0)}$ 는 제약 플래그 다양체 섬유를 가진 $X$ 위의 피브레이션 타워로 식별된다.
• 제약 플래그 다양체 성분 $E_{(A;0)}$ 의 정규(bundle)의 $S^1$-등변 오일러 클래스를 $E_{(A;0)}$ 의 $K$-군 내의 변형 이론적 분해를 통해 계산한다.
• 제약 플래그 다양체 번들의 총공간에서 기저에 이르는 코homology 클래스의 푸시-어퍼 포지션 공식을 유도하고, $E_{(A;0)}$ 의 피브레이션 타워를 따라 반복 적용한다.
• 최종 표현은 오일러 클래스 계산과 푸시-어퍼 공식을 결합함으로써 유도되며, $y_{i,j;k}$, $\alpha$, $\zeta_i$ 파라미터에 대한 곱의 형태를 가지며 형식적이지만 정확한 공식이 된다.
• 일반적인 제약 플래그 다양체 번들 $W$ 와 그 플래그 다양체 번들 $W'$ 에로의 임bedding 이론을 포함하며, 포함사상 $W \hookrightarrow W'$ 의 톰 클래스를 명시적으로 계산한다.

실험 결과

연구 질문

• RQ1 플래그 다양체의 고르모프-위튼 불변량은 $S^1$-등변 국소화를 통해 어떻게 정확하게 계산할 수 있는가?
• RQ2 초과열-쿼트 스킴 $\mathrm{HQuot}(\mathcal{E}^n)$ 에서의 $S^1$-고정점 성분의 정확한 구조는 무엇이며, 플래그 다양체 $X$ 와 어떻게 관련되어 있는가?
• RQ3 이러한 국소화 방법을 통해 일반 플래그 다양체에 대해 기본 초함수급수 $HG[\mathbf{1}]^X(t)$ 가 닫힌 형태로 표현될 수 있는가?
• RQ4 제약 플래그 다양체 번들의 톰 클래스는 미러 공식에 어떻게 기여하며, 히로바-바파 공식을 일반화하는 데서 어떤 역할을 하는가?
• RQ5 최종 공식에서의 제약 곱 $\accentset{\sim}{\prod}_{i=1}^I 의 기하학적 및 조합론적 의미는 무엇이며, 플래그 다양체의 구조를 어떻게 반영하는가?

주요 결과

• 적분 $\int_X \tau^* e^{H\cdot t} \cap \mathbf{1}_d$ 에 대한 정확한 표현이 $S^1$-고정점 성분 $E_{(A;0)}$ 에 대한 합으로 유도되며, 정규(bundle)의 $S^1$-등변 오일러 클래스의 역수를 포함한다.
• 그라스만이안 다양체의 경우, 이 공식은 [B-CF-K] 에서 알려진 결과를 재현하여 이전 연구와의 일致성을 확인한다.
• 최종 공식은 $i=1$ 에서 $I$ 까지의 제약 곱으로 표현되며, $y_{i,j;k}$, $\alpha$, $\zeta_i$, 그리고 양자 표준 표기법과 플래그 구조에서 유래한 조합론적 계수를 포함한다.
• 차이의 역수 곱 $(-y_{i,j;k} + y_{i+1,j';k'} - l\alpha)$ 와 $(y_{i,j';k'} - y_{i,j;k} - (a_{i,j'} - a_{i,j})\alpha)$ 의 존재는 '양자 부분다양체 공식'과 유사한 양자 보정 구조를 나타낸다.
• 이 공식은 플래그 다양체에 대한 일반화된 '가족 히로바-바파 공식' 을 시사하며, $i$ 에 따라 인덱싱된 레벨 구조와 초과열-쿼트 스킴이 쿼트 스킴의 곱에 임베딩되는 것에서 유래한 톰 클래스 수정을 포함한다.
• 제약 플래그 다양체 번들 $W$ 와 그 $W'$ 에로의 임베딩의 구성은 계산에 사용된 푸시-어퍼 공식의 기초를 제공한다.