[논문 리뷰] The class of the affine line is a zero divisor in the Grothendieck ring: via $G_2$-Grassmannians

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

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

한 줄 요약

이 논문은 특성 0인 대수적으로 닫힌 체 위의 다양체의 그로텐디크 링에서 애फ인 선의 동치류 $ L = [ℝ^1] $ 가 영약수임을 보여준다. $ G_2 $-그라스만이안에서 유도된 쌍의 칼라비-양 3차원 다양체 $ X $ 와 $ Y $ 를 사용하여, $ ([X] - [Y]) \cdot L = 0 $ 이며 $ [X] \neq [Y] $ 임을 보이며, 이는 이전의 펄라프-그라스만이안 쌍에 대한 결과보다 더 강력한 결과를 제공한다. 핵심 통찰은 $ D = Z(s) $ 가 $ F_1 $ 에서 $ X $ 에 따른 블로우업으로서 실현된다는 점에서 비롯되며, 이는 그로텐디크 링에서 기하학적 항등식을 이끌어낸다.

ABSTRACT

Motivated by [Bor] and [Mar], we show the equality $\left([X] - [Y] ight) \cdot [\mathbb{A}^1] = 0$ in the Grothendieck ring of varieties, where $(X, Y)$ is a pair of Calabi-Yau 3-folds cut out from the pair of Grassmannians of type $G_2$.

연구 동기 및 목표

• 특성 0인 체 위의 다양체의 그로텐디크 링에서 애फ인 선의 동치류 $ L $ 가 영약수임을 입증하는 것.
• G_2-그라스만이안에서 유도된 서로 동형이 아닌 칼라비-양 3차원 다양체 $ X $ 와 $ Y $ 의 쌍을 구성하여, 이러한 영약수 관계의 새로운, 더 강력한 예를 제공하는 것.
• $ ([X] - [Y]) \cdot L = 0 $ 이며 $ [X] \neq [Y] $ 임을 보여, 그로텐디크 링의 구조에 관한 추측의 약화된 형태에 대한 반례를 제시하는 것.

제안 방법

• G_2 군에 대한 6차원 동지적 공간인 플라그 다양체 $ F_{12} = G/B $ 를 구성하며, $ F_1 = G/P_1 $ 과 $ F_2 = G/P_2 $ 둘 다 5차원인 두 개의 $ \mathbb{P}^1 $-_bundle 構조를 가진다.
• 일반적인 전역 단면 $ s \in H^0(F_{12}, E(1,1)) $ 를 정의하고, $ D = Z(s) $, $ X = Z(p_1^*s) \subset F_1 $, $ Y = Z(p_2^*s) \subset F_2 $ 를 정의하며, 일반성에 의해 모두 매끄럽다.
• 정규 단면 $ s_1 = p_1^*s $ 와 관련된 정확한 수열을 사용하여, 제약 $ \pi_1: D \to F_1 $ 가 $ F_1 $ 의 $ X $ 에 따른 블로우업임을 증명하며, 마찬가지로 $ \pi_2 $ 에 대해서도 동일한 방식을 적용한다.
• 블로우업의 구조를 이용하여 그로텐디크 링에서 항등식 $ [D] = [F_1] + L \cdot [X] $ 와 이중적으로 $ [D] = [F_2] + L \cdot [Y] $ 를 유도한다.
• Weyl 군 쌍대류 $ W^{P_1} $ 와 $ W^{P_2} $ 간의 길이 유지 비례 사상에 의해 $ [F_1] = [F_2] $ 를 확립하며, 이로 인해 $ [F_1] = [F_2] = 1 + L + L^2 + L^3 + L^4 + L^5 $ 라는 결과를 이끌어낸다.
• 두 $ [D] $ 표현식을 동치로 놓아 $ ([X] - [Y]) \cdot L = 0 $ 를 유추하며, 안정적 비라티오널리티와 MRC 분해의 유일성에 기반하여 $ [X] \neq [Y] $ 를 증명한다.

실험 결과

연구 질문

• RQ1 특성 0인 체 위의 다양체의 그로텐디크 링에서 애फ인 선의 동치류 $ L $ 가 영약수인가?
• RQ2 비이sov론적 칼라비-양 3차원 다양체 $ X $ 와 $ Y $ 가 $ ([X] - [Y]) \cdot L = 0 $ 을 만족할 수 있는가?
• RQ3 G_2-그라스만이안 구조는 $ \alpha \cdot L^2 = 0 $ 이면 $ \alpha \in \langle L \rangle $ 이다 는 추측 1.2 에 대한 반례를 제공하는가?
• RQ4 G_2-동지적 공간에서의 영점으로서 구성된 다양체 $ X $ 와 $ Y $ 는 안정적으로 비라티오널인가?
• RQ5 그로텐디크 링에서 블로우업의 기하학적 구조를 통해 $ ([X] - [Y]) \cdot L = 0 $ 관계를 기하학적으로 확립할 수 있는가?

주요 결과

• 애फ인 선의 동치류 $ L $ 는 그로텐디크 링 $ K_0(V/k) $ 에서 영약수이며, 칼라비-양 3차원 다양체 쌍 $ X $ 와 $ Y $ 에 대해 $ ([X] - [Y]) \cdot L = 0 $ 이 성립함으로써 이를 입증한다.
• 쌍 $ (X, Y) $ 는 서로 동형이 아니며, 비이sov론적, 피카르 수가 1인 칼라비-양 3차원 다양체로 구성되어 있으므로 $ [X] \neq [Y] $ 이다.
• 그로텐디크 링에서 항등식 $ [D] = [F_1] + L \cdot [X] $ 가 성립하며, 여기서 $ D $ 는 일반 단면의 영점이고 $ \pi_1: D \to F_1 $ 는 $ X $ 에 따른 블로우업이다.
• 유사하게 $ [D] = [F_2] + L \cdot [Y] $ 이며, $ [F_1] = [F_2] $ 이므로 $ ([X] - [Y]) \cdot L = 0 $ 이 성립한다.
• 쌍 $ (X, Y) $ 는 $ d \geq 4 $ 에 대해 추측 1.2 의 반례를 제공한다. 왜냐하면 $ \alpha = [X] - [Y] $ 는 $ \alpha \cdot L^2 = 0 $ 을 만족하지만 $ \alpha \notin \langle L \rangle $ 이기 때문이다.
• G_2-그라스만이안을 통한 구조는 펄라프-그라스만이안 쌍의 열화를 유도하므로, 이 결과는 이 맥락에서 이전 결과보다 더 강력하다.