[논문 리뷰] Characteristic numbers of elliptic fibrations with non-trivial Mordell-Weil groups

Mboyo Esole, Monica Jinwoo Kang|arXiv (Cornell University)|2018. 08. 21.

Algebraic Geometry and Number Theory참고 문헌 40인용 수 11

한 줄 요약

이 논문은 비자명한 Mordell-Weil 군을 가진 타원적 섬유화된 4차원 다양체에 대해 체르니, 폰트리아진, 토드 클래스와 같은 특성 수를 계산하며, 이는 Mordell-Weil 군이 자명한 칼라비-양 4차원 다양체에 대한 이전 연구를 확장한다. $G$-모델에 대해 $G = \text{SO}(n)$ ($n=3,4,5,6$) 및 $\text{PSU}(3)$, $Q_7$-모델, $E_{9-d}$ 모델에 대해 명시적인 공식을 유도하며, 찰프란 해소와 베르트라르 불변량을 다루기 위해 푸시포워드 정리를 사용한다.

ABSTRACT

We compute characteristic numbers of elliptically fibered fourfolds with multisections or non-trivial Mordell-Weil groups. We first consider the models of type E$_{9-d}$ with $d=1,2,3,4$ whose generic fibers are normal elliptic curves of degree $d$. We then analyze the characteristic numbers of the $Q_7$-model, which provides a smooth model for elliptic fibrations of rank one and generalizes the E$_5$, E$_6$, and E$_7$-models. Finally, we examine the characteristic numbers of $G$-models with $G= ext{SO}(n)$ with $n=3,4,5,6$ and $G= ext{PSU}(3)$ whose Mordell-Weil groups are respectively $\mathbb{Z}/2\mathbb{Z}$ and $\mathbb{Z}/3 \mathbb{Z}$. In each case, we compute the Chern and Pontryagin numbers, the Euler characteristic, the holomorphic genera, the Todd-genus, the L-genus, the A-genus, and the eight-form curvature invariant from M-theory.

연구 동기 및 목표

• 비자명한 Mordell-Weil 군을 가진 타원적 섬유화된 4차원 다양체에 대해 체르니 수, 폰트리아진 수, 오일러 특성, 토드 종수와 같은 특성 수의 계산을 자명한 Mordell-Weil 군의 경우를 초월하여 확장한다.
• 비자명한 Mordell-Weil 군을 가진 $G$-모델에 대해 체계적으로 위상적 불변량을 계산한다. 이는 $n=3,4,5,6$에 대해 $\text{SO}(n)$ 및 $\text{PSU}(3)$를 포함하며, 각각 $\mathbb{Z}/2\mathbb{Z}$ 및 $\mathbb{Z}/3\mathbb{Z}$ Mordell-Weil 군을 가진다.
• $Q_7$-모델을 분석한다. 이는 랭크-일 타원적 섬유화의 매끄러운 해소이며, 이전의 $E_5$, $E_6$, $E_7$ 모델을 일반화하며, 특성 수를 계산한다.
• $d=1,2,3,4,5$에 대해 $E_{9-d}$ 모델을 포함한다. 이들의 일반적인 섬유는 차수 $d$인 종수-일 정규 곡선이며, 특성 불변량을 계산한다.
• 같은 웨이어스타르 모델의 다양한 해소 간 비교를 가능하게 하는, 찰프란 베르트라르 사상에 대해 보존되는 특성 수의 포괄적인 공식 세트를 제공한다.

제안 방법

• 매끄러운 완전교차 중심을 가진 블로우업에 대한 새로운 푸시포워드 정리를 사용하여, 찰프란 해소의 링에서의 교차 이론 계산을 단순화한다.
• 타탄 알고리즘을 통해 특이한 웨이어스타르 모델을 해소함으로써, 비자명한 Mordell-Weil 군을 가진 $G$-모델에 대해 특성 수를 계산하기 위해 푸시포워드 기법을 적용한다. 이는 $\text{SO}(n)$ 및 $\text{PSU}(3)$를 포함한다.
• 기저의 체르니 클래스 $c_1, c_2$ 및 선다발 클래스 $L = c_1(\mathscr{L})$에 대해 체르니 수와 폰트리아진 수, 오일러 특성, 해석적 종수, 토드 종수, $L$-종수, $\hat{A}$-종수, 여덟차형 불변량 $X_8$의 명시적 표현을 유도한다.
• $Q_7$-모델을 모리슨-파크 모델의 매끄러운 해소로 간주하여, $E_5$, $E_6$, $E_7$ 모델을 일반화하고 동일한 푸시포워드 기반 기법을 통해 특성 수를 계산한다.
• $d=1,2,3,4,5$에 대해 $E_{9-d}$ 모델을 분석한다. 이들의 일반 섬유는 차수 $d$인 종수-일 정규 곡선이며, 동일한 프레임워크를 사용하여 특성 수를 계산한다.
• $\text{SO}(4)$-모델에서 $T$ 및 $S = 4L - T$ 계열의 초면에 지지된 분할 코다이라 섬유의 존재를 고려하여, 불변량에 보정 항을 명시적으로 포함한다.

실험 결과

연구 질문

• RQ1 비자명한 Mordell-Weil 군을 가진 타원적 섬유화에서 찰프란 베르트라르 사상에 대해 체르니 수와 폰트리아진 수와 같은 특성 수는 어떻게 행동하는가?
• RQ2 $G = \text{SO}(n)$ 및 $\text{PSU}(3)$인 $G$-모델에 대해 오일러 특성, 해석적 종수, 토드 종수, $L$-종수, $\hat{A}$-종수, 이상성 불변량 $X_8$에 대한 명시적 공식은 무엇인가?
• RQ3 $Q_7$-모델, 즉 랭크-일 타원적 섬유화의 매끄러운 해소의 특성 수는 $E_5$, $E_6$, $E_7$ 모델의 것과 어떻게 비교되는가?
• RQ4 $\text{SO}(4)$-모델에서 $T$ 및 $S = 4L - T$에 지지된 분할 코다이라 섬유로 인해 특성 수에 어떤 보정 항이 발생하는가?
• RQ5 $d=1,2,3,4,5$에 대해 $E_{9-d}$ 모델의 특성 수는 기저의 체르니 클래스와 선다발 클래스 $L$에 어떻게 의존하는가?

주요 결과

• $\text{SO}(3)$-모델의 경우 오일러 특성은 $\int_Y c_4 = 24L(-c_1^2 + 2c_2 + 15L^2)$이며, 해석적 종수는 $\int_Y p_2 = 48L(-c_1^2 + 2c_2 + 5L^2)$이고, $X_8 = 48L(c_1^2 - 2c_2 - 25L^2)$이다.
• $\text{PSU}(3)$-모델의 경우 해석적 종수는 $\int_Y p_2 = 48L(-c_1^2 + 2c_2 + 3L^2)$이며, 이상성 불변량은 $X_8 = 48L(c_1^2 - 2c_2 - 13L^2)$이다.
• $\text{SO}(4)$-모델에서 $T$ 및 $S = 4L - T$에 지지된 분할 섬유의 존재로 보정 항이 추가된다. $X_8$에는 $+192LT(4L - T)$가 포함되고, $\sigma$에는 $-360LT(4L - T)$가 포함된다.
• $\text{SO}(5)$-모델의 경우 폰트리아진 수 $\int_Y p_1^2 = 8L(-3c_1^2 + 6c_2 + 17L^2)$이며, 이상성 불변량 $X_8 = -48L(-c_1^2 + 2c_2 + 9L^2)$이다.
• $Q_7$-모델은 $E_5$, $E_6$, $E_7$ 모델의 특성 수를 일반화하며, $c_1$, $c_2$, $L$에 대한 명시적 표현을 제공한다.
• $d=1,2,3,4,5$에 대해 $E_{9-d}$ 모델은 $c_1$, $c_2$, $L$에 대한 유리함수 형태로 특성 수를 표현하며, $E_5$ 모델($d=4$)은 $Q_7$-모델의 특수한 경우이다.