[論文レビュー] 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 more|arXiv (Cornell University)|Dec 27, 2016

Algebraic Geometry and Number Theory被引用数 4

ひとこと要約

この論文は、代数的多様体のグロタンディーク環におけるフォーリエ＝ムカイ相棒のクラスの差が、リーマンクラス $[\mathbb{A}^1]$ のべきによって消えるかどうかを調査する。12次の非常に一般のK3多様体に対しては、そのような差が $[\mathbb{A}^1]$ のべきによって消えることが示され、一方、高次元では、そのクラスと双対のクラスの差が $[\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多様体に対して、そのような差の振る舞いを調査すること。
• 滑らかで射影的な多様体の全範囲にわたって、その消去性が普遍的に成り立つかどうかを検討すること、特に高次元の場合。
• アーベル多様体とその双対の間の差が、$[\mathbb{A}^1]$ のいかなるべきによっても消えないような反例を高次元で構成すること。
• 元の問題の変種を検討し、グロタンディーク環における消去性の性質の範囲を明確にすること。

提案手法

• 著者たちは、特にその導来圏とフォーリエ＝ムカイ相棒に注目して、K3多様体の幾何的不変量を用いてグロタンディーク環を分析する。
• $[\mathbb{A}^1]$ のリーマンクラスの性質とグロタンディーク環の構造を用いて、クラス差の消去子を研究する。
• 12次K3多様体に対しては、モジュライ理論的およびコホモロジー的技法を用いて、クラス差 $[X] - [Y]$ が $[\mathbb{A}^1]$ のべきによって消えることを示す。
• 導来同値とモチーフ的不変量を用いて、次元が1より大きい場合のアーベル多様体の明示的例を構成し、それらのクラス差が $[\mathbb{A}^1]$ のいかなるべきによっても消えないことを示す。
• この議論は、グロタンディーク環におけるモチーフ的不変量の非自明性と、高次元での消去性の失敗に依拠している。
• 論文は、消去子条件を変更して問題の変種を検討し、導来圏と双有理幾何への影響を分析する。

実験結果

リサーチクエスチョン

• RQ1 12次K3多様体に対して、フォーリエ＝ムカイ相棒のクラス差 $[X] - [Y]$ は、$[\mathbb{A}^1]$ のあるべきによって消えるか？
• RQ2 消去性は、滑らかで射影的な多様体の全範囲にわたって普遍的に成り立つか、特に高次元の場合にそうか？
• RQ3 次元が1より大きいアーベル多様体 $A$ を、$[A] - [A^∞]$ が $[\mathbb{A}^1]$ のいかなるべきによっても消えないように構成できるか？
• RQ4 一般に消去性が成り立たないのを妨げる幾何的およびモチーフ的障害は何か？
• RQ5 消去子条件の変種は、グロタンディーク環の構造と導来同値類にどのように影響するか？

主な発見

• 非常に一般の12次K3多様体に対しては、そのフォーリエ＝ムカイ相棒のクラス差 $[X] - [Y]$ が $[\mathbb{A}^1]$ のべきによって消える。
• 1より大きい次元の各次元において、$[A] - [A^∞]$ が $[\mathbb{A}^1]$ のいかなるべきによっても消えないようなアーベル多様体 $A$ が存在する。これは一般問題に対して否定的な答えを与える。
• このようなアーベル多様体の存在は、グロタンディーク環における消去性が普遍的ではないことを示している。
• 結果は、アーベル多様体とその双対のモチーフ的性質が、導来同値であっても、消去条件を妨げる可能性があることを示している。
• 研究は、消去性が関係する多様体の幾何的複雑さに強く依存しており、12次K3多様体はその性質が成り立つ特別なケースであることを明らかにした。
• 消去子条件の変種、例えば異なる消去子条件は、グロタンディーク環における構造的挙動を異にする。これにより、関係する不変量の感受性が浮き彫りになった。