[論文レビュー] No full exceptional collections on non-split Brauer--Severi varieties of dimension $\leq 3$

Saša Novaković|arXiv (Cornell University)|Mar 28, 2016

Algebraic Geometry and Number Theory参考文献 14被引用数 4

ひとこと要約

この論文は、射影空間上の全例外的コレクションに対するブraid群の推移的作用を用いて、次元が3以下の非分割ブラウアー–セヴァリ多様体が全例外的コレクションをもたないことを証明する。主な結果は、このような多様体が全例外的コレクションをもつことと、それがある体上の射影空間に同型であること、すなわち分割されていることとは同値であるということである。

ABSTRACT

In an earlier paper we showed that non-split Brauer--Severi curves do not admit full strong exceptional collections. In the present note we extend this observation and prove that there cannot exist full exceptional collections on non-split Brauer--Severi varieties of dimension $\leq 3$.

研究の動機と目的

• 非分割ブラウアー–セヴァリ多様体が全例外的コレクションをもたないという予想を解決すること。
• 導来カテゴリと半直交分解を用いて、ブラウアー–セヴァリ多様体上の全例外的コレクションの存在に関する基準を確立すること。
• 導来カテゴリの技法を用いて、ブラウアー–セヴァリ多様体の有理型と全例外的コレクションの存在を結びつけること。
• 以前のブラウアー–セヴァリ曲線に関する結果を、次元2および3へとブraid群による例外的コレクションへの作用を用いて拡張すること。

提案手法

• ブラウアー–セヴァリ多様体 $X$ のコherent層の導来カテゴリ $D^b(X)$ を中心的な枠組みとして用いる。
• 半直交分解を適用する：$D^b(X) = \langle D^b(k), D^b(A), \dots, D^b(A^{igotimes n}) \rangle$、ここで $A$ は $X$ に付随する中心的単純代数である。
• $\bar{k}$ へのベースチェンジに依存し、$X_{\bar{k}} \simeq \mathbb{P}^n_{\bar{k}}$ であり、$\mathbb{P}^n_{\bar{k}}$ 上での既知の全強例外的コレクション $\mathcal{O}, \mathcal{O}(1), \dots, \mathcal{O}(n)$ を用いる。
• ブraid群 $B_{n+1}$ が $n \leq 3$ のとき、$\mathbb{P}^n_{\bar{k}}$ 上の全例外的コレクションの集合に推移的に作用すると仮定する。
• ベースチェンジと可換なミューテーション関手を用いて、$X$ 上の任意の全例外的コレクションが、ミューテーションを除いて $\mathcal{O}, \mathcal{O}(1), \dots, \mathcal{O}(n)$ と同値であることを示す。
• 結論として、$D^b(k) \simeq D^b(A)$ が得られ、既知の結果により、これは $A$ が分割されていることを意味する。ゆえに $X$ は分割されている。

実験結果

リサーチクエスチョン

• RQ1 次元 ≤3 の非分割ブラウアー–セヴァリ多様体は、全例外的コレクションをもつか？
• RQ2 ブラウアー–セヴァリ多様体上に全例外的コレクションが存在することは、それが分割されているかどうかを特定する手がかりとなるか？
• RQ3 次元 $n \leq 3$ のとき、$\mathbb{P}^n_{\bar{k}}$ 上の全例外的コレクションへのブraid群の作用は推移的か？
• RQ4 ブラウアー–セヴァリ多様体の導来カテゴリの構造は、その底面体上での有理型を検出するために用いられるか？
• RQ5 導来カテゴリ $D^b(X)$ の半直交分解と、関連する中心的単純代数 $A$ の代数的構造との間にはどのような関係があるか？

主な発見

• 次元 $n \leq 3$ のブラウアー–セヴァリ多様体は、任意の対象による全例外的コレクションをもつことと、それが分割されていることとは同値である。
• ブラウアー–セヴァリ曲線および曲面に関しては、全例外的コレクションの存在は、多様体が $\mathbb{P}^n_k$ に同型であることと同値である。
• ブラウアー–セヴァリ3次元多様体に関しては、ベクトルバンドルからなる全例外的コレクションの存在は、多様体が分割されていることを意味する。
• 証明は、$n \leq 3$ のとき、ブraid群 $B_{n+1}$ が $\mathbb{P}^n_{\bar{k}}$ 上の全例外的コレクションの集合に推移的に作用することに強く依存している。
• 全例外的コレクションによって誘導される導来カテゴリの同型 $D^b(k) \simeq D^b(A)$ は、中心的単純代数 $A$ が分割されていることを意味する。
• ゆえに、次元 ≤3 のブラウアー–セヴァリ多様体の有理型は、その導来カテゴリ内に全例外的コレクションが存在することと同値である。