[論文レビュー] Non-commutative resolutions of quotient singularities

Špela Špenko, Michel Van den Bergh|arXiv (Cornell University)|Feb 18, 2015

Advanced Topics in Algebra参考文献 42被引用数 20

ひとこと要約

この論文は、再帰的群から生じる商特異点への非可換クレパント解消（NCCRs）の一般化を行い、適切な意味でその存在を証明するとともに、（ねじれ付き）NCCRs を持つ広範な特異点のクラスを確立する。主な貢献は、事前に可換解消の知識を必要としない代数的枠組みを提供することであり、対称行列および反対称行列の行列式多様体に関する新しい結果を導く。

ABSTRACT

In this paper we generalize standard results about non-commutative resolutions of quotient singularities for finite groups to arbitrary reductive groups. We show in particular that quotient singularities for reductive groups always have non-commutative resolutions in an appropriate sense. Moreover we exhibit a large class of such singularities which have (twisted) non-commutative crepant resolutions. We discuss a number of examples, both new and old, that can be treated using our methods. Notably we prove that twisted non-commutative crepant resolutions exist in previously unknown cases for determinantal varieties of symmetric and skew-symmetric matrices. In contrast to almost all prior results in this area our techniques are algebraic and do not depend on knowing a commutative resolution of the singularity.

研究の動機と目的

• 有限群から任意の再帰的群への非可換解消理論の拡張。
• 再帰的群作用下の商特異点に対して、非可換クレパント解消（NCCRs）の存在を確立すること。
• 可換解消のデータに依存しない、代数的手法を用いて広範なクラスの特異点が（ねじれ付き）NCCRs を持つことを同定すること。
• 非可換解消が以前に未知のケースで存在する、対称および反対称行列の行列式多様体を含む新しい例の提供。

提案手法

• アフィン多様体上の再帰的群作用に関連する双対モジュール（covariants）を用いる。
• 表現論的技法とルート系のデータを用いて、商環上の反射的モジュールを構成する。
• ウェイル群の作用とミンコフスキー和を用いて、重み格子内の支配的重みと凸包を分析する。
• トレース環と反射的モジュールの自己準同型代数を用いて、非可換解消を定義する。
• ゴレンシュタイン環およびコhen＝マカウレイ環の性質を活用し、NCCR 条件が満たされることを保証する。
• スペクトル系列とハイパコホモロジー技法を用いて、有限性およびグローバル次元の条件を検証する。

実験結果

リサーチクエスチョン

• RQ1 任意の再帰的群に対する商特異点は、適切な意味で常に非可換解消をもつのか？
• RQ2 対称および反対称行列の行列式多様体に対して（ねじれ付き）非可換クレパント解消を構成できるか？
• RQ3 事前に可換解消の知識を必要としない、NCCRs の代数的構成は可能か？
• RQ4 反射的モジュールの自己準同型代数が、商特異点上で NCCR をなすための条件は何か？
• RQ5 再帰的群の表現論的性質は、NCCRs の存在にどのように影響するか？

主な発見

• 再帰的群の商特異点は、常に反射的モジュールの自己準同型環としての意味で、有限グローバル次元をもつ非可換解消をもつ。
• 再帰的群から生じる広範なクラスの商特異点が（ねじれ付き）非可換クレパント解消をもつことが示され、特に対称および反対称行列式多様体の以前に未知のケースが含まれる。
• NCCRs の構成は完全に代数的であり、事前に可換クレパント解消の知識を必要としない。
• 次元 ≥5 の奇数次元の超曲面特異点では、モジュールが自由でない限り NCCRs は存在しない。これは、そのような特異点が NCCRs をもたないことを示唆する。
• NCCR 条件が満たされれば、導来カテゴリの間の完全忠実関手を介して、カテゴリカルクレパント解消の存在が保証される。