[論文レビュー] Cycles, derived categories, and rationality

Asher Auel, Marcello Bernardara|arXiv (Cornell University)|Dec 7, 2016

Algebraic Geometry and Number Theory参考文献 101被引用数 11

ひとこと要約

本稿は代数幾何における2つの現代的アプローチ、非分岐コホモロジーと導来圏を統合する。0-サイクルの普遍的自明性、導来圏の半直交分解、および有理的性の間の関係を確立し、特に立方四次曲面と曲面に対して、有理的性がカテゴリカル的表現可能性とチャウ理論的分解にどのように反映されるかを示す。

ABSTRACT

Our main goal is to give a sense of recent developments in the (stable) rationality problem from the point of view of unramified cohomology and 0-cycles as well as derived categories and semiorthogonal decompositions, and how these perspectives intertwine and reflect each other. In particular, in the case of algebraic surfaces, we explain the relationship between Bloch's conjecture, Chow-theoretic decompositions of the diagonal, categorical representability, and the existence of phantom subcategories of the derived category.

研究の動機と目的

• 非分岐コホモロジーと導来カテゴリカル表現可能性という2つの現代的有理的性の尺度を統合・比較すること。
• チャウ理論的対角分解と導来圏内のフォビックサブカテゴリの存在との間の相互作用を調査すること。
• 特に曲面および立方四次曲面に対して、codimension 2におけるカテゴリカル表現可能性が有理的性とどのように関係するかを明確化すること。
• 半直交分解を通じて、K3曲面およびその導来圏が立方四次曲面の有理的性に果たす役割を検討すること。
• 四次曲面の有理的性を、その導来圏のカテゴリカル解消の次元と関連付ける予想を提示・文脈化すること。

提案手法

• ヴォジン、コリオ・トレレーヌ、ピルトカの退化技法を用いて、安定有理的性の障害を非分岐コホモロジーで特定する。
• 半直交分解の理論を応用し、導来圏内の成分の有界次元を用いてカテゴリカル表現可能性を定義する。
• ホモロジカル的双対性を用いて、四次曲面の導来圏とクリフォード代数の層およびK3曲面のねじれ導来圏を関連付ける。
• 双曲的還元とモルita同値性を用いて、クアドリックファイブレーションを簡略化し、異なる四次曲面の導来圏を関連付ける。
• 吹き出しとクリープント解消を用いて、立方四次曲面の導来圏の構造を分析し、K3曲面と関連付ける。
• 例えば、rcodim ≥ 2 または rdim ≤ 2 であるような、カテゴリカル解消の次元に基づく有理的性に関する予想を提示する。

実験結果

リサーチクエスチョン

• RQ1 非分岐コホモロジーと導来カテゴリカル表現可能性は、有理的性の測定において、どのように互いに反映されたり矛盾したりするか？
• RQ2 チャウ群の0-サイクルの普遍的自明性と、対角のチャウ理論的分解の存在との間の明確な関係は何か？
• RQ3 有理的曲面または立方四次曲面の導来圏は、半直交分解を通じてどのようにその有理的性を反映するか？
• RQ4 導来圏内にフォビックサブカテゴリが存在することは、ブロッホ予想および有理的性と結びつけることができるか？
• RQ5 特にモーリー線形空間構造を持つ曲面や四次曲面において、codimension 2におけるカテゴリカル表現可能性が有理的多様体をどれほど特徴づけるか？

主な発見

• ヴォジンおよびコリオ・トレレーヌ–ピルトカの退化法により、チャウ群の0-サイクルの普遍的自明性は非分岐コホモロジーによって障害を受ける。
• 立方四次曲面に対しては、有理的性が導来圏に次元≤2の成分を持つ半直交分解を持つことと、予想的に同値である。
• codimension 2におけるカテゴリカル表現可能性は、特に曲面およびモーリー線形空間構造を持つ四次曲面において、有理的性を特徴づけると予想される。
• 特異的または行列式的立方四次曲面の場合、クズネツォフ成分の導来圏はK3曲面の導来圏と同型である。
• P¹上への2つのクアドリックの完全交差としてファイブレーションされる四次曲面に対して、クズネツォフ成分の導来圏は、ヒルツェブルフ面上のジェノス2のファイブレーションのねじれ導来圏と同型である。
• 予想8.4.1の強い形は、このような四次曲面が、クズネツォフ成分のカテゴリカル解消の次元が2以下であるときに限り有理的であると述べている。