[論文レビュー] Non-existence of exceptional collections on twisted flags and categorical representability via noncommutative motives

Saša Novaković|arXiv (Cornell University)|Jul 4, 2016

Algebraic Geometry and Number Theory参考文献 29被引用数 8

ひとこと要約

本稿では、特徴値 ≠ 2 の体上の有限個のねじれ旗（古典的型 $A_n$ および $C_n$）、一般化ブローバー＝シーベル多様体、およびねじれ二次曲面が、完全な例外的コレクションをもつための必要十分条件が、それらがスプリット（つまり、射影空間またはグラスマン多様体に同型であること）であることを確立している。また、中心的単純代数の指数 $\leq 3$ を持つねじれ二次曲面に対して、カテゴリカル的代表性次元 $\mathrm{rdim}(X)$ は $\mathrm{ind}(A) - 1$ に等しい。これらの結果は、非可換モチーフおよび導来カテゴリの半直交分解を用いて導出される。

ABSTRACT

In this paper we prove that a finite product of Brauer--Severi varieties is categorical representable in dimension zero if and only if it admits a $k$-rational point if and only if it is rational over $k$. The same is true for certain isotropic involution varieties over a field $k$ of characteristic different from two. For finite products of generalized Brauer--Severi varieties, categorical representability in dimension zero is equivalent to the existence of a full exceptional collection. In this case however categorical representability in dimension zero is not equivalent to the existence of a rational point. We also show that non-trivial twisted flags of classical type $A_n$ and $C_n$ cannot have full exceptional collections, enlarging in this way the set of previous known examples. Finally, we determine the categorical representability dimension $\mathrm{rdim}(X)$ for generalized Brauer--Severi varieties of index $\leq 3$ and for certain twisted forms of smooth quadrics (involution varieties).

研究の動機と目的

• ねじれ旗（型 $A_n$ および $C_n$）が完全な例外的コレクションをもつ条件を特定すること。
• 次元0における $k$-有理点の存在、有理型、およびカテゴリカル的代表性の関係を明確化すること。
• 指数 $\leq 3$ の一般化ブローバー＝シーベル多様体および特定のねじれ二次曲面のカテゴリカル的代表性次元 $\mathrm{rdim}(X)$ を計算すること。
• Raedscheldersの非スプリットブローバー＝シーベル多様体に関する結果を、非可換モチーフを用いて積や他のねじれ型に拡張すること。

提案手法

• ねじれ多様体の導来カテゴリを分析するために非可換モチーフを用いる。
• 導来カテゴリ $D^b(X)$ の半直交分解を適用してカテゴリカル的代表性を研究する。
• カテゴリカル的代表性次元 $\mathrm{rdim}(X)$ を、$D^b(X)$ が次元 $\leq m$ の滑らかで射影的な $Y_i$ の適切な部分カテゴリに同値な成分をもつような最小の $m$ として定義する。
• ねじれ二次曲面に対して $D^b(X) \simeq \langle D^b(k), D^b(A), \dots \rangle$ の分解を用い、$\mathrm{rdim}(X)$ を基礎となる代数の指数に関連付ける。
• 非可換モチーフおよび $K_0$-理論に関する [37]、[32]、[27] の結果を用いて、非スプリットケースを除外する。
• 代数的閉包へのベースチェンジおよびWedderburnの定理を用い、半直交分解における除法代数成分を分析する。

実験結果

リサーチクエスチョン

• RQ1 有限個の型 $A_n$ や $C_n$ のねじれ旗の積が完全な例外的コレクションをもつのはいつか？
• RQ2 指数 $\leq 3$ の一般化ブローバー＝シーベル多様体のカテゴリカル的代表性次元 $\mathrm{rdim}(X)$ は何か？
• RQ3 $k$-有理点の存在がねじれ旗および二次曲面上の完全な例外的コレクションの存在とどのように関係するか？
• RQ4 一般化ブローバー＝シーベル多様体に関して、次元0におけるカテゴリカル的代表性は、有理型または有理点の存在と同値か？
• RQ5 非可換モチーフは、非スプリットねじれ型における完全な例外的コレクションの非存在を検出できるか？

主な発見

• 有限個のブローバー＝シーベル多様体の積は、次元0でカテゴリカル的に代表可能であるための必要十分条件は、$k$ 上で有理的であること、すなわち $k$-有理点をもつことである。
• 特徴値0の体上の一般化ブローバー＝シーベル多様体に関して、次元0におけるカテゴリカル的代表性は、完全な例外的コレクションの存在と同値である。
• 非自明な型 $A_n$ および $C_n$（$n \neq 4$）のねじれ旗は、非可換モチーフおよび1-コサイクルの自明性を用いて、完全な例外的コレクションをもたないことが示された。
• 正規判別式が自明または $\mathbb{R}$ 上の直交インボリューションに付随するねじれ二次曲面に関して、完全な例外的コレクションが存在するのは、すべての因子がスプリット（つまり滑らかな二次曲面に同型）であるときのみである。
• 中心的単純代数 $A$ に付随するねじれ二次曲面 $X$ のカテゴリカル的代表性次元 $\mathrm{rdim}(X)$ は、$\mathrm{rdim}(X) = \mathrm{ind}(A) - 1$ を満たし、$\mathrm{ind}(A) \leq 3$ の場合に等号が成立することが確認された。
• $\mathrm{ind}(A) = 3$ の場合、$\mathrm{rdim}(X) = 2$ は背理法により証明された：$\mathrm{rdim}(X) \leq 1$ を仮定すると、非可換モチーフの分解において指数条件に反する結果が得られ、矛盾が生じる。