[논문 리뷰] Calabi--Yau complete intersections in exceptional Grassmannians

Atsushi Ito, Makoto Miura외 2명|arXiv (Cornell University)|2016. 06. 13.

Geometry and complex manifolds참고 문헌 10인용 수 9

한 줄 요약

이 논문은 전적으로 생성되고 완전히 기약 가능하며 동치 불변인 벡터 다발을 통해 예외적 그라스만니안에서 유래한 칼라비–유아 3차원 다양체를 분류한다. 표현 이론, 스펙트럴 시퀀스 및 체른 클래스 계산을 통해 이러한 모든 칼라비–유아 3차원 다양체를 식별하고, 그들의 호지 수와 위상적 불변량을 계산한다. 주요 결과는 $G_2$, $F_4$, $E_6$, $E_7$, $E_8$ 유형의 예외적 플래그 다양체에 대한 표 1.1에 완전한 목록을 제시하는 것이다. 분류 과정은 랭크와 첫 번째 체른 클래스 조건에 기반하며, 호지 수는 스펙트럴 시퀀스와 히르체브루흐–리만–로흐 정리에 의해 계산된다.

ABSTRACT

We classify completely reducible equivariant vector bundles on Grassmannians of exceptional Lie groups which give Calabi--Yau 3-folds as complete intersections. In particular, we find a new family of Calabi--Yau 3-folds in an $E_6$-Grassmannian.

연구 동기 및 목표

• 예외적 그라스만니안에서 전적으로 생성되고 완전히 기약 가능하며 동치 불변인 벡터 다발로부터 유도된 완전 교차 칼라비–유아 3차원 다양체를 모두 분류하는 것.
• 이러한 다발들 중에서 사영 공간 위의 선다발들의 완전 교차가 아닌 칼라비–유아 3차원 다양체를 식별하는 것.
• 모든 이러한 칼라비–유아 3차원 다양체에 대해 호지 수 $h^{1,1}$, $h^{1,2}$, 차수, 그리고 두 번째 체른 클래스 $c_2$를 계산하는 것.
• 모든 예외적 플래그 다양체 유형 $G_2$, $F_4$, $E_6$, $E_7$, $E_8$ 에서 이러한 칼라비–유아 3차원 다양체의 완전한 목록을 확립하는 것.

제안 방법

• 최대 포일라 부군군 $P$ 에 대해 $G/P$ 위의 완전히 기약 가능하며 동치 불변인 벡터 다발을 분류하기 위해 예외적 리 군의 표현 이론을 활용한다.
• 스펙트럴 시퀀스 (2.26, 3.6, 3.8) 를 적용하여 호지 수 $h^{1,1}$ 과 $h^{1,2}$ 를 계산하고, $h^{0,1} = h^{0,2} = 0$ 를 확인한다.
• 완전 교차 $X$ 위의 선다발 $\mathcal{O}_X(i)$ 의 코homology 를 계산하기 위해 코즐 해상 (3.7) 을 활용한다.
• 히르체브루흐–리만–로흐 정리 (4.12) 를 사용하여 오일러 특성과 차수 및 두 번째 체른 클래스 사이의 관계를 설정한다: $\chi(\mathcal{O}_X(i)) = \frac{1}{6}\deg X \cdot i^3 + \frac{1}{12}c_2(X) \cdot i$.
• 한 경우에서 두 번째 체른 클래스 $c_2(X)$ 를 계산하기 위해 체른–가우스–보네 정리 (3.10) 를 적용한다.
• 랭크 조건 $\operatorname{rank}\mathcal{E} = \dim G/P - 3$ 과 첫 번째 체른 클래스 조건 $c_1(\mathcal{E}) = c_1(G/P)$ 을 활용하여 439개의 예외적 플래그 다양체 중 대부분을 제거한다.

실험 결과

연구 질문

• RQ1 예외적 그라스만니안에서 전적으로 생성되고 완전히 기약 가능하며 동치 불변인 어떤 다발이 완전 교차를 통해 칼라비–유아 3차원 다양체를 유도하는가?
• RQ2 이러한 칼라비–유아 3차원 다양체들 중에서 사영 공간 위의 선다발들의 완전 교차가 아닌 것은 무엇인가?
• RQ3 모든 이러한 칼라비–유아 3차원 다양체에 대해 호지 수 $h^{1,1}$ 과 $h^{1,2}$ 는 무엇인가?
• RQ4 이러한 칼라비–유아 3차원 다양체의 차수와 두 번째 체른 클래스 $c_2$ 는 무엇인가?
• RQ5 모든 예외적 플래그 다양체에 걸쳐 이러한 칼라비–유아 3차원 다양체를 체계적으로 분류하는 방법은 무엇인가?

주요 결과

• 이 논문은 전적으로 생성되고 완전히 기약 가능하며 동치 불변인 다발을 통해 예외적 그라스만니안에서 유도된 칼라비–유아 3차원 다양체를 완전히 분류하며, 모든 경우가 표 1.1에 나열되어 있다.
• $G_2$-그라스만니안 $G/P_1$ 에서는 분해 가능 다발로부터 얻을 수 있는 유일한 칼라비–유아 3차원 다양체는 $\mathcal{E}_{(1,1)}$ 이며, 이는 $h^{1,1} = 1$, $h^{1,2} = 50$, $\deg X = 42$, $c_2(X) = 84$ 를 유도한다.
• 분류 과정은 랭크 조건 $\operatorname{rank}\mathcal{E} = \dim G/P - 3$ 과 첫 번째 체른 클래스 조건 $c_1(\mathcal{E}) = c_1(G/P)$ 에 기반하며, 이 조건들이 439개의 예외적 플래그 다양체 중 대부분을 제거한다.
• 호지 수는 스펙트럴 시퀀스 (2.26, 3.6, 3.8) 를 통해 계산되며, 차수와 $c_2$ 는 히르체브루흐–리만–로흐 정리 (4.12) 를 통해 결정된다.
• 두 번째 체른 클래스 $c_2(X)$ 는 한 경우에서 체른–가우스–보네 정리 (3.10) 를 통해 계산된다.
• 모든 계산은 보조 파일에 시스템적으로 기록되어 있으며, 결과는 Mathematica 패키지 [FKS20] 를 사용하여 검증되었다.