[論文レビュー] A Derived Equivalence for some Twisted Projective Homogeneous Varieties

Mark Blunk|arXiv (Cornell University)|Apr 2, 2012

Algebraic structures and combinatorial models参考文献 12被引用数 12

ひとこと要約

本稿では、体上でのねじれ付き射影的同型多様体—特にセベリ＝ブラウアー多様体およびインボリューション多様体—に対して、傾き層を構成し、その多様体上の有界な coherent sheaf の導来圏と、その半単純成分が対応する線形代数的群のティーツ代数に同型である環上の加群の導来圏との導来同値を確立する。主な貢献は、これらの多様体のクイレン K-理論をティーツ代数の K-理論の和として実現する導来同値である。

ABSTRACT

In this paper we construct a tilting sheaf for Severi-Brauer Varieties and Involution Varieties. This sheaf relates the derived category of each variety to the derived category of modules over a ring whose semisimple component consists of the Tits algebras of the corresponding linear algebraic group.

研究の動機と目的

• ねじれ付き射影的同型多様体（特にセベリ＝ブラウアー多様体やインボリューション多様体）に対して、傾き層を用いて導来同値を確立すること。
• ベイリソンおよびカプラノフの例外的集合のアプローチを一般化し、ねじれ設定においてそれらを傾き層に置き換えること。
• これらの多様体上の coherent sheaf の導来圏と、関連する線形代数的群のティーツ代数に同型な半単純成分を持つ環上の加群の導来圏との関係を特定すること。
• 導来同値を用いて、これらのねじれ付き多様体のクイレン K-理論をティーツ代数の K-理論への分解を通じて計算すること。
• デル・ペッツォ面およびねじれ付き多様体のクイレン K-理論の技法を、より広い同型空間のクラスへと拡張すること。

提案手法

• ねじれ付き射影的同型多様体 X 上に、3つの条件（自己拡張がなく、End(T) が有限グローバル次元を持ち、導来圏を生成する）を満たす局所自由層 T を構成する。
• Borel-Weil-Bott 定理を用いてラインバンドルのコホモロジーを計算し、分離的閉包へのベースチェンジにおいて高次の自己拡張が消えることを確認する。
• 自己準同型環 End(T) が上三角行列であり、対角成分に体と除法代数（ティーツ代数）を持つことを示し、有限グローバル次元を保証する。
• 文献[3]の定理2.1を適用し、関手 RHom(T, -) と - ⊗ T を通じて D^b(Coh(X)) と D^b(mod-End(T)) の間の導来同値を確立する。
• End(T) の上三角構造と、厳密に上三角成分からなるべき零イデアルを活用し、End(T) の K-理論を対角成分（ティーツ代数）の K-理論へ関連付ける。
• K-理論がべき零イデアルに感度を示さないという事実を用い、K_*(X) を End(T) の対角成分に沿ったティーツ代数の K-理論の直和に分解する。

実験結果

リサーチクエスチョン

• RQ1 セベリ＝ブラウアー多様体やインボリューション多様体などのねじれ付き射影的同型多様体上に、傾き層を構成できるか？
• RQ2 そのような傾き層の自己準同型環は有限グローバル次元を持ち、coherent sheaf の導来圏と導来同値となるか？
• RQ3 自己準同型環に現れるティーツ代数の K-理論を通じて、これらのねじれ付き多様体のクイレン K-理論を計算できるか？
• RQ4 傾き層の自己準同型環の構造は、多様体のガロア降下データをどのように反映するか？
• RQ5 関連群のティーツ代数から構成された環上の加群として、ねじれ付き多様体の導来圏をどの程度まで記述できるか？

主な発見

• セベリ＝ブラウアー多様体上に傾き層 T を構成し、End(T) が対角成分が F および A^{igotimes i} (i=0,…,n−1) である上三角行列環に同型であることを示した。ここで A は中心的単純代数である。
• 一般化されたセベリ＝ブラウアー多様体 SB(r,A) に対して、End(T) の対角成分は特定の重み a に対して A^{igotimes d(a)} であり、D^b(mod-End(T)) との導来同値が成立する。
• インボリューション多様体 I(A,σ) に対して、End(T) の対角成分は F (n−2回)、A、および C_0(A,σ)（クラッパー代数の偶数部）であり、導来圏は D^b(mod-End(T)) と同値である。
• 導来同値によりクイレン K-理論に同型が誘導される：インボリューション多様体に対して K_*(X) ≅ ⊕ K_*(F) ⊕ K_*(A) ⊕ K_*(C_0(A,σ)) が成り立つ。
• セベリ＝ブラウアー多様体の K-理論は K_*(SB(A)) ≅ ⊕_{i=0}^{n−1} K_*(A^{igotimes i}) と同型である。
• 一般化されたセベリ＝ブラウアー多様体の K-理論は ⊕_a K_*(A^{igotimes d(a)}) と同型であり、ここで d(a) は重み a に依存する。