[논문 리뷰] The class of the affine line is a zero divisor in the Grothendieck ring: via K3 surfaces of degree 12

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

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 대수적 다양체의 그로텐디크 링에서 푸리에-무카이 파트너의 반쪽 차이가 애초의 레프셰츠 클래스 $[\mathbb{A}^1]$ 의 거듭제곱에 의해 소멸되는지 여쭙는다. 매우 일반적인 12차 K3 표면의 경우, 그러한 차이가 $[\mathbb{A}^1]$ 의 거듭제곱에 의해 소멸됨을 보여주지만, 높은 차원에서는 어떤 거듭제곱에도 의해 소멸되지 않는 아벨 다양체의 예가 존재하여 일반적인 질문에 대해 부정적인 답변을 제공한다.

ABSTRACT

In this paper, we discuss the problem of whether the difference $[X]-[Y]$ of the classes of a Fourier--Mukai pair $(X, Y)$ of smooth projective varieties in the Grothendieck ring of varieties is annihilated by some power of the class $\mathbb{L} = [ \mathbb{A}^1 ]$ of the affine line. We give an affirmative answer for Fourier--Mukai pairs of very general K3 surfaces of degree 12. On the other hand, we prove that in each dimension greater than one, there exists an abelian variety such that the difference with its dual is not annihilated by any power of $\mathbb{L}$, thereby giving a negative answer to the problem. We also discuss variations of the problem.

연구 동기 및 목표

• 그로텐디크 링에서 푸리에-무카이 파트너의 클래스 차이 $[X] - [Y]$ 가 $[\mathbb{A}^1]$ 의 거듭제곱에 의해 소멸되는지 여부를 규명하는 것.
• 특히 매우 일반적인 12차 K3 표면의 맥락에서 이러한 차이의 행동을 조사하는 것.
• 이러한 소멸 성질이 모든 매끄러운 사영 다양체에 대해 일반적으로 성립하는지, 특히 고차원에서 성립하는지 탐구하는 것.
• 아벨 다양체와 그 이중체 사이의 차이가 어떤 거듭제곱에도 의해 소멸되지 않는 고차원의 반례를 제시하는 것.
• 원래 문제의 변형을 고려하고, 그로텐디크 링에서 소멸 성질의 범위를 명확히 하는 것.

제안 방법

• 저자들은 K3 표면의 기하학적 불변량, 특히 그 유도 범주와 푸리에-무카이 파트너에 초점을 맞춰 그로텐디크 링을 분석한다.
• 그로텐디지 링의 구조와 레프셰츠 클래스 $[\mathbb{A}^1]$ 의 성질을 활용하여 클래스 차이의 소멸자에 대해 연구한다.
• 12차 K3 표면의 경우, 모듈리 이론적이고 코homological 기법을 사용하여 클래스 차이 $[X] - [Y]$ 가 $[\mathbb{A}^1]$ 의 거듭제곱에 의해 소멸됨을 보인다.
• 유도 동치와 모티빅 불변량을 사용하여, 차원이 1 이상인 아벨 다양체의 구체적 예를 구성하여, 그 클래스 차이가 $[\mathbb{A}^1]$ 의 어떤 거듭제곱에도 의해 소멸되지 않는다는 것을 보인다.
• 논증은 그로텐디크 링에서 모티빅 불변량의 비자명성과 고차원에서 소멸자 성질의 실패에 기반한다.
• 논문은 소멸자 조건을 수정하고 유도 범주 및 비라시onal 기하학에 대한 영향을 분석함으로써 문제의 변형을 고려한다.

실험 결과

연구 질문

• RQ1 12차 K3 표면의 경우, 푸리에-무카이 파트너의 클래스 차이 $[X] - [Y]$ 는 그로텐디크 링에서 어떤 거듭제곱의 $[\mathbb{A}^1]$ 에 의해 소멸되는가?
• RQ2 소멸 성질은 모든 매끄러운 사영 다양체에 대해 일반적으로 성립하는가, 특히 고차원에서 성립하는가?
• RQ3 차원이 1 이상인 아벨 다양체 $A$ 를 구성할 수 있는가? 이때 $[A] - [A^∞ba]$ 가 $[\mathbb{A}^1]$ 의 어떤 거듭제곱에도 의해 소멸되지 않는가?
• RQ4 소멸자 성질이 일반적으로 성립하지 못하게 하는 기하학적 및 모티빅 장애 요소는 무엇인가?
• RQ5 소멸자 조건의 변형은 그로텐디크 링의 구조와 유도 동치 클래스에 어떤 영향을 미치는가?

주요 결과

• 매우 일반적인 12차 K3 표면의 경우, 그 푸리에-무카이 파트너의 차이 $[X] - [Y]$ 는 $[\mathbb{A}^1]$ 의 거듭제곱에 의해 소멸된다.
• 1 이상의 각 차원에서, $[A] - [A^∞]$ 이 $[\mathbb{A}^1]$ 의 어떤 거듭제곱에도 의해 소멸되지 않는 아벨 다양체 $A$ 가 존재하며, 이는 일반 문제에 대한 부정적인 답변을 제공한다.
• 이러한 아벨 다양체의 존재는 그로텐디크 링에서 소멸자 성질이 일반적으로 성립하지 않음을 보여준다.
• 결과는 아벨 다양체와 그 이중체의 모티빅 행동이 유도 동치일지라도 소멸 조건을 방해할 수 있음을 보여준다.
• 연구는 소멸자 성질이 관련 다양체의 기하학적 복잡성에 매우 민감하게 의존하며, 12차 K3 표면는 이러한 성질이 성립하는 특별한 케이스임을 드러낸다.
• 소멸자 조건의 변형은 그로텐디크 링의 구조에 다른 행동 양식을 초래하며, 관련 불변량의 민감성을 강조한다.