[논문 리뷰] The $S^1$ fixed points in Quot-schemes and mirror principle computations

Bong H. Lian, Chien‐Hao Liu외 2명|ArXiv.org|2001. 11. 24.

Algebraic Geometry and Number Theory참고 문헌 63인용 수 10

한 줄 요약

이 논문은 $\mathbb{P}^1$ 위의 정규층에 대한 고정점 성분의 $S^1$-동차 오일러 클래스를 계산하기 위한 다이어그램적 방법을 개발하며, 그로모프-위튼 불변량의 미러 원리 계산을 가능하게 한다. 이는 청색 표준형으로 표시된 고정점 성분을 식별하고, 표준형에서 직접적으로 동차 오일러 클래스를 계산하는 규칙을 도출하며, 다양한 표현 방식에서 일관된 결과를 얻는 캘라비-야우 완전교차의 A-모델 앰리튜드를 계산하는 데 응용된다.

ABSTRACT

We describe the $S^1$-action on the Quot-scheme $\Quot({\cal E}^n)$ associated to the trivial bundle ${\cal E}^n=CP^1 imes{\smallBbb C}^n$. In particlular, the topology of the $S^1$-fixed-point components in $\Quot({\cal E}^n)$ and the $S^1$-weights of the normal bundle of these components are worked out. Mirror Principle, as developed by three of the current authors in the series of work [L-L-Y1, I, II, III, IV], is a method for studying certain intersection numbers on a stable map moduli space. As an application, in Mirror Principle III, Sec 5.4, an outline was given in the case of genus zero with target a flag manifold. The results on $S^1$ fixed points in this paper are used here to do explicit Mirror Principle computations in the case of Grassmannian manifolds. In fact, Mirror Principle computations involve only a certain distinguished subcollection of the $S^1$-fixed-point components. These components are identified and are labelled by Young tableaus. The $S^1$-equivariant Euler class $e_{S^1}$ of the normal bundle to these components is computed. A diagrammatic rule that allows one to write down $e_{S^1}$ directly from the Young tableau is given. From this, the aforementioned intersection numbers on the moduli space of stable maps can be worked out. Two examples are given to illustrate our method. Using our method, the A-model for Calabi-Yau complete intersections in a Grassmannian manifold can now also be computed explicitly. This work is motivated by the intention to provide further details of mirror principle and to understand the relation to physical theory. Some related questions are listed for further study.

연구 동기 및 목표

• 그라스만이안 대상 공간의 경우에 대해 미러 원리 계산을 위한 명시적이고 계산 가능한 공식을 제공하는 것.
• 일반적으로 $\mathbb{P}^1$ 위의 정규층에 대해 정의된 $\mathrm{Quot}(\mathcal{E}^n)$의 $S^1$-고정점 성분을 식별하고 특성화하는 것.
• 청색 표준형에서 직접적으로 $S^1$-동차 오일러 클래스 $e_{S^1}(\nu)$를 계산할 수 있는 다이어그램적 규칙을 수립하는 것.
• 이 방법을 이용해 안정 사상의 매니폴드 위에서의 교차 수, 특히 캘라비-야우 완전교차의 A-모델 앰리튜드를 계산하는 것.
• 미러 원리의 수학적 구조와 끈 이론의 물리적 이론 간의 연결 고리를 명확히 하는 것.

제안 방법

• Quot-스키마 $\mathrm{Quot}(\mathcal{E}^n)$에 대한 $S^1$-작용을 분석하여 고정점 성분을 분류하며, 이들이 청색 표준형으로 매개화된 플라그 다양체임을 보인다.
• 청색 표준형의 조합적 자료와 표현 이론 기법을 사용하여 각 고정점 성분에서 정규층의 $S^1$-중량을 계산한다.
• 청색 표준형의 형태와 내용에서 직접적으로 $S^1$-동차 오일러 클래스 $e_{S^1}(\nu)$를 계산할 수 있는 다이어그램적 규칙을 도출한다.
• 이 방법은 미러 원리를 적용하여 안정 사상의 매니폴드 위에서의 적분을 이들 특징적인 고정점 성분으로의 합으로 환원한다.
• 각 성분으로의 초평면 클래스의 역상은 유도된 범주적 성질을 통해 계산되며, 그로모프-위튼 불변량의 평가가 가능해진다.
• 두 가지 구체적인 예제를 계산한다: 하나는 $\mathrm{Gr}_2(\mathbb{C}^3)$에 대해, 다른 하나는 $\mathrm{Gr}_1(\mathbb{C}^3)$에 대해, 둘 다 동일한 결과를 도출하여 일관성을 확인한다.

실험 결과

연구 질문

• RQ1 Quot-스키마 $\mathrm{Quot}(\mathcal{E}^n)$의 어떤 $S^1$-고정점 성분이 그라스만이안에 대한 미러 원리 계산에 기여하는가?
• RQ2 청색 표준형과 같은 조합적 자료로부터 $S^1$-동차 오일러 클래스를 직접 계산할 수 있는 방법은 무엇인가?
• RQ3 청색 표준형에서 $S^1$-동차 오일러 클래스를 정확히 어떻게 다이어그램적으로 변환할 수 있는가?
• RQ4 미러 원리 계산의 결과는 그라스만이안의 표현 방식(예: $\mathrm{Gr}_1(\mathbb{C}^3)$ 대비 $\mathrm{Gr}_2(\mathbb{C}^3)$)에 따라 어떻게 달라지는가?
• RQ5 이 방법은 플라그 다양체와 하이퍼-Quot 스킴으로 일반화될 수 있는가?

주요 결과

• $\mathrm{Quot}(\mathcal{E}^n)$의 $S^1$-고정점 성분은 청색 표준형으로 매개화된 플라그 다양체 $\mathrm{Fl}_{k_1,\dots,k_r}(\mathbb{C}^n)$ 와 동형이며, 위상수학적으로 완전히 분류됨을 보였다.
• 각 고정점 성분에서 정규층의 $S^1$-중량을 명시적으로 계산하였으며, 이는 채르-루트의 차이와 표준형의 형태에 따라 달라짐을 보였다.
• 청색 표준형에서 직접적으로 $S^1$-동차 오일러 클래스 $e_{S^1}(\nu)$를 계산할 수 있는 다이어그램적 규칙이 수립되었으며, 중간 단계의 표현 이론을 우회함으로써 효율성을 확보하였다.
• $\mathrm{Gr}_2(\mathbb{C}^3)$에 대해 차수 3의 사상에서, 특징적인 성분들 위에서의 총 적분은 $-\frac{103}{1296}\frac{1}{\alpha^{11}} - \frac{11}{432}\frac{\zeta}{\alpha^{10}} - \frac{1}{432}\frac{\zeta^2}{\alpha^9}$이다.
• $\mathrm{Gr}_1(\mathbb{C}^3)$에 대해 동일한 차수 3의 사상에서 동일한 총 적분이 도출되었으며, 그라스만이안의 쌍대 표현 방식 간의 일관성을 확인하였다.
• 이 방법은 이전에 표준 기법으로는 접근이 어려웠던 그라스만이안 다양체 내 캘라비-야우 완전교차의 A-모델을 명시적으로 계산할 수 있게 하였다.