[論文レビュー] Non-commutative desingularization of determinantal varieties, II: Arbitrary minors

Ragnar-Olaf Buchweitz, Graham Leuschke+1 more|arXiv (Cornell University)|Jun 9, 2011

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

ひとこと要約

本稿は、任意の小行列式によって定義される行列式多様体の非可換特異点解消の存在を確立し、最大小行列式に関する先行研究を一般化する。特徴的零の技法を用いて、ピエリ関係を備えた切断されたヤングクイバー上の生成子と関係式による非可換解消の明示的表現が得られ、ボンダルとオルロフの予想が、可換解消の有界導来圏間の完全忠実埋め込みを示すことによって確認される。

ABSTRACT

In our paper "Non-commutative desingularization of determinantal varieties, I" we constructed and studied non-commutative resolutions of determinantal varieties defined by maximal minors. At the end of the introduction we asserted that the results could be generalized to determinantal varieties defined by non-maximal minors, at least in characteristic zero. In this paper we prove the existence of non-commutative resolutions in the general case in a manner which is still characteristic free, and carry out the explicit description by generators and relations in characteristic zero. As an application of our results we prove that there is a fully faithful embedding between the bounded derived categories of the two canonical (commutative) resolutions of a determinantal variety, confirming a well-known conjecture of Bondal and Orlov in this special case.

研究の動機と目的

• 最大小行列式から任意の小行列式への行列式多様体の非可換特異点解消の一般化。
• 特徴的零において、生成子と関係式を用いた非可換解消の明示的表現の構成。
• R がゴレンシュタインであるとき、傾きモジュールの自己準同型環が非可換クリープント特異点解消（NCCR）であることを証明。
• 行列式多様体の二つの標準的可換特異点解消の有界導来圏の間の完全忠実埋め込みを確立。
• 導来圏枠組みを用いて、ボンダルとオルロフの予想をこの特殊ケースで確認。

提案手法

• l-小行列式によって定義される行列式多様体の特異点解消上の傾き bundle T の構成。
• 自己準同型環 E = End_R(T) を定義し、これが最大コhen-Macaulay かつ有限グローバル次元を持つことを示す。
• 特徴的零の表現論を用いて、外冪を既約 GL-加群に分解し、N_α を T_α の直和成分として構成。
• B_{l,m−l} に値をとる分割によって添え字づけられた頂点と、F^∨ ⊗ G の基底に対応する矢印を持つ切断されたヤングクイバーの導入。
• クイバー化されたクライフォード代数構造を用いて関係を定義し、ピエリ則とトレース自由成分を統合。
• 代数 A = End_R(N) が、ピエリ関係を備えた切断されたヤングクイバーの束縛パス代数と同型であり、E とモリタ同値であることを証明。

実験結果

リサーチクエスチョン

• RQ1 最大小行列式以外の小行列式によって定義される行列式多様体に対し、非可換特異点解消は存在するか、最大小行列式の場合を超えて？
• RQ2 このような非可換解消は、特徴的零において生成子と関係式を用いて明示的に記述可能か？
• RQ3 行列式多様体の二つの標準的可換特異点解消の導来圏の間には完全忠実埋め込みが存在するか？
• RQ4 自己準同型環 E = End_R(T) のグローバル次元および最大コhen-Macaulay 性の性質は、どのように振る舞うか？
• RQ5 非可換特異点解消は、特徴的零においてクイバー化されたクライフォード代数として実現可能か？

主な発見

• 自己準同型環 E = End_R(T) は R-加群として最大コhen-Macaulay であり、有限グローバル次元を持つ。これにより、非可換特異点解消としての正当性が確認される。
• 特徴的零において、代数 A = End_R(N) は、ピエリ関係を備えた切断されたヤングクイバーの束縛パス代数と同型であり、明示的表現が得られる。
• モジュール N_α は R 上で最大コhen-Macaulay であり、T_α は β ≤ α なる N_β の直和に分解され、N_α は重複度 1 で現れる。
• m = n のとき、R はゴレンシュタインであり、E はヴァン・デン・ベルクの意味での非可換クリープント特異点解消（NCCR）である。
• 非可換特異点解消の導来圏は、可換特異点解消の導来圏に完全忠実に埋め込まれ、ボンダルとオルロフの予想が確認される。
• 非可換特異点解消はクイバー化されたクライフォード代数として実現され、その構造は特徴的零および GL-表現の分解に強く依存する。