[논문 리뷰] Characteristic numbers of crepant resolutions of Weierstrass models

Mboyo Esole, Monica Jinwoo Kang|arXiv (Cornell University)|2018. 07. 23.

Advanced Algebra and Geometry참고 문헌 38인용 수 10

한 줄 요약

이 논문은 F-theory compactification에서 Weierstrass 모델의 크립탄 해석에 대해 특성 수—예를 들어 체른 수와 폰트리아진 수, $ hat{A}$-genus, 토드 genus, $L$-genus, 곡률 불변량 $X_8$—을 계산한다. 이들 불변량이 $K$-등치 불변량임을 증명하여, 크립탄 해석의 선택과 무관하다는 것을 보이며, 보다 구체적으로는 $G = \mathrm{SU}(n)$, $\mathrm{USp}(4)$, $\mathrm{Spin}(7)$, $\mathrm{Spin}(8)$, $\mathrm{Spin}(10)$, $G_2$, $F_4$, $E_6$, $E_7$, $E_8$의 게이지 군을 가진 $G$-모델에 대해, 특이점에 대한 보정 항을 포함한 푸시포워드 기법을 사용하여 명시적인 공식을 유도한다.

ABSTRACT

We compute characteristic numbers of crepant resolutions of Weierstrass models corresponding to elliptically fibered fourfolds $Y$ dual in F-theory to a gauge theory with gauge group $G$. In contrast to the case of fivefolds, Chern and Pontryagin numbers of fourfolds are invariant under crepant birational maps. It follows that Chern and Pontryagin numbers are independent on a choice of a crepant resolution. We present the results for the Euler characteristic, the holomorphic genera, the Todd-genus, the $L$-genus, the $\hat{A}$-genus, and the curvature invariant $X_8$ that appears in M-theory. We also show that certain characteristic classes are independent on the choice of the Kodaria fiber characterizing the group $G$. That is the case of $\int_Y c_1^2 c_2$, the arithmetic genus, and the $\hat{A}$-genus. Thus, it is enough to know $\int_Y c_2^2$ and the Euler characteristic $χ(Y)$ to determine all the Chern numbers of an elliptically fibered fourfold. We consider the cases of $G=$ SU($n$) for ($n=2,3,4,5,6,7$), USp($4$), Spin($7$), Spin($8$), Spin($10$), G$_2$, F$_4$, E$_6$, E$_7$, or E$_8$.

연구 동기 및 목표

• Weierstrass 모델의 크립탄 해석에 대해 체른 수와 폰트리아진 수, $\hat{A}$-genus, 토드 genus, $L$-genus, 곡률 불변량 $X_8$를 계산한다.
• 이들 특성 수가 $K$-등치 불변량임을 입증하여, 일반적으로 고차원에서 성립하지 않는 바람에, 크립탄 해석의 선택과 무관하다는 것을 보인다.
• 기초 기하학과 기본 선다발 $\mathscr{L}$에 대한 명시적 공식을 유도하며, 특이점이 포함된 초면 $S$에 국한된 보정 항을 포함한다.
• 이전 문헌에서의 모호함을 해결하기 위해 $c_2(TY)$와 $p_1(TY)$의 푸시포워드 공식의 타당성을 입증하고, $\varphi_*c(Y)$와 $\varphi_*\mathrm{Td}(Y)$의 이전 유도에서의 오류를 수정한다.
• 일부 불변량—예를 들어 $\int_Y c_1^2 c_2$, $\hat{A}$-genus, 토드 genus—가 코다이라 섬유 유형과 무관하고 기초와 $\mathscr{L}$에만 의존하며, 필요한 입력 수를 줄인다.

제안 방법

• 논문은 타원 섬유화된 4차원 다양체의 특성류를 계산하기 위해 대수기하학에서의 푸시포워드 기법을 사용하며, 특히 크립탄 해석이 체른 수와 폰트리아진 수에 미치는 영향을 중심으로 다룬다.
• 그로텐디크의 차원환에서의 체른 수에 대한 공리적 프레임워크를 적용하고, 프로젝티브 번들의 공식을 사용하여 타원 섬유화에서 $c_2(TY)$와 $p_1(TY)$의 푸시포워드를 계산한다.
• 특이점의 영향을 고려하기 위해 블로우업 순서를 통해 체른 수를 보정하며, 코다이라 섬유가 포함된 초면 $S$에 국한된 명시적 기여를 한다.
• 특수한 $G$-모델에 대해, $\int_Y p_1(TY) \cdot \varphi^*\beta = \int_B (c_1 - L)^2 \beta - 24 \int_B L \cdot \beta$ 공식을 통해 첫 번째 폰트리아진 수의 푸시포워드를 유도한다.
• 이전 공식의 오류를 규명하여 [44]에서의 총 체른 수와 토드 수의 푸시포워드에 오류가 있음을 밝히고, $\varphi_*\mathrm{Td}(Y) = (1 - e^{-L})\mathrm{Td}(B)$의 완전한 증명을 제공한다.
• 모든 $G$-모델에 대해 $X_8(Y)$를 명시적으로 계산하고, 겹치는 경우 [44]와 일치함을 확인하며, $\int_Y c_2^2$와 $\int_Y p_1^2$는 다른 불변량과 달리 섬유 유형에 따라 달라진다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 고차원에서 일반적으로 성립하지 않지만, 4차원 다양체의 체른 수와 폰트리아진 수가 크립탄 비라지오 맵에 대해 불변인지 여쭤본다.
• RQ2 특성 수가 $G$-모델에서 코다이라 섬유 유형이나 특정 해석의 선택에 얼마나 의존하는가?
• RQ3 $c_2(TY)$와 $p_1(TY)$의 푸시포워드가 게이지 군 $G$에 관계없이 $G$-모델 전반에 걸쳐 일반적으로 계산 가능한가?
• RQ4 특이점(초면 $S$에 지원됨)이 $\int_Y c_1^2 c_2$와 $\int_Y c_2^2$와 같은 특성 수에 미치는 정확한 기여는 무엇인가?
• RQ5 문헌에서 충돌하는 공식—특히 $\varphi_*c(Y)$와 $\varphi_*\mathrm{Td}(Y)$에 관해—결과는 어떻게 조화를 이룰 수 있는가?

주요 결과

• 4차원 다양체의 체른 수와 폰트리아진 수는 $K$-등치 불변량이며, 크립탄 해석의 선택과 무관하다. 이는 일반적으로 고차원 다양체에서는 성립하지 않지만, 4차원에서는 성립한다.
• $\int_Y c_1^2 c_2$, $\hat{A}$-genus, 토드 genus는 코다이라 섬유 유형과 무관하며, 기초와 기본 선다발 $\mathscr{L}$에만 의존한다. 특이 섬유의 구조와는 무관하다.
• $X_8(Y)$는 모든 $G$-모델에 대해 명시적으로 계산되었으며, 겹치는 경우 [44]와 일치하여 일관성을 확인한다.
• $\int_Y p_1(TY) \cdot \varphi^*\beta = \int_B (c_1 - L)^2 \beta - 24 \int_B L \cdot \beta$ 공식은 섬유 유형과 무관하며, 고려된 모든 $G$-모델에 대해 유효하다.
• $\varphi_*c(Y) = \frac{12L}{1+L}c(B)$ 공식은 매끄러운 Weierstrass 모델에 대해 성립하지만, 특이점이 존재할 경우 $G$-모델에서는 실패하며, [44]에서 이 공식이 일반적으로 확장된다는 가정은 잘못되었다.
• 일반적으로 오일러 특성 $\chi(Y)$는 12의 배수가 아니며, 잘못된 공식 $\chi(Y) = 12 \int_B L(1+\cdots)c(B)$가 암시하는 바와 반대된다. SU(2)-모델에 대해 반례를 제시한다.