[論文レビュー] Non-commutative crepant resolutions for some toric singularities II

\v{S}penko, \v{S}pela, Michel Van den Bergh|arXiv (Cornell University)|Jul 25, 2017

Algebraic structures and combinatorial models被引用数 2

ひとこと要約

本稿は、3次元Gorenstein特異点のアフィントーリック多様体が常にトーリック非可換クレパント解体（NCCR）をもつことの、ドミヤモデルを用いない新しい証明を提供する。標準的トーリック幾何を用いて、三角形分割された多角形からの凸インダクションにより、スタック的クレパント解体上に分解可能ティルティングバンドルを構成し、このバンドルの自己準同型代数としてNCCRを確立する。主な貢献は、ドミヤモデルを避けるが、同時に解体のトーリック構造を保つ、組合せ的かつ幾何的な手法の開発である。

ABSTRACT

Using the theory of dimer models Broomhead proved that every 3-dimensional Gorenstein affine toric variety Spec R admits a toric non-commutative crepant resolution (NCCR). We give an alternative proof of this result by constructing a tilting bundle on a (stacky) crepant resolution of Spec R using standard toric methods. Our proof does not use dimer models.

研究の動機と目的

• ドミヤモデルに依存しない、3次元Gorensteinアフィントーリック多様体に対するトーリックNCCRの存在に関するブルームヘッドの定理の別証明を提供すること。
• 特にスタック的クレパント解体上のティルティングバンドルを介して、標準的トーリック手法を用いてトーリックNCCRを構成すること。
• 小さなトーリック解体（例外的除法が存在しないもの）上での分解可能ティルティングバンドルの自己準同型代数が、コhen-Macaulayかつ有限グローバル次元をもつこと、したがってNCCR条件を満たすことを確立すること。
• 3次元トーリックGorenstein特異点のNCCRを識別するための組合せ的基準を構築すること。

提案手法

• 元の特異点の格子多角形Pに対応する長方形P₀を含む一般化されたコンフォールドのスタック的クレパント解体Y₀を構成する。
• Gulottaのアルゴリズムを用いてP₀ − Pをコーナー三角形に分割し、P₀の三角形分割を完成させ、その後Pへの制限を行う。
• 一般化されたコンフォールドの標準的NCCRが、Y₀上での分解可能ティルティングバンドルから生じることを示し、Y（Pに対応する開部分スタック）への制限がティルティングバンドルであることを示す。
• 多角形の境界からのデータの拡張を用いて、Spec Rのスタック的解体上での分解可能ティルティングバンドルを凸インダクションにより構成する。
• 符号列と関連する多面体集合の収縮性を用いた組合せ的基準を用いて、ティルティング条件を検証する。
• WhiteheadおよびZastrowの定理を活用し、特定の部分複体の位相的収縮性により、ティルティングバンドルのホモロジー的消滅条件が満たされることを示す。

実験結果

リサーチクエスチョン

• RQ1 3次元Gorensteinアフィントーリック多様体に対するトーリックNCCRは、ドミヤモデルやスーパーポテンシャル代数に依存せずに構成可能か？
• RQ2 標準的トーリック幾何を用いて、スタック的クレパント解体上にティルティングバンドルを構成し、それがトーリックNCCRを誘導できるか？
• RQ3 三角形分割多角形上の凸インダクションにより構成されたバンドルがティルティングであるための組合せ的条件は何か？
• RQ4 例外的除法を持たない小さなトーリック解体上での分解可能ティルティングバンドルの自己準同型代数は、有限グローバル次元かつベース環上でCohen-Macaulayか？
• RQ5 多角形における符号列と多面体集合を用いた組合せ的特徴づけによって、NCCR性を特徴づけられるか？

主な発見

• 本稿は、ドミヤモデルやスーパーポテンシャル代数に依存しない方法により、任意の3次元Gorensteinアフィントーリック多様体がトーリックNCCRをもつことを確立した。
• 一般化されたコンフォールドのスタック的クレパント解体上に、分解可能ティルティングバンドルを構成し、その自己準同型代数が標準的NCCRであることを示した。
• このティルティングバンドルの、元の特異点に対応する開部分スタックへの制限が、形式的ではなく、グローバルホモロジー的消滅によりティルティングであることが示された。
• 著者らは、符号列と凸インダクションに基づく組合せ的基準（補題B.3）を提供し、3次元トーリックGorenstein特異点のNCCRを識別するためのものである。
• 凸インダクションの手法が、正則でない三角形分割に対してもティルティング性を保つことが示され、[Log08, §5.2]の非正則例を含む一般例に対しても成立することが確認された。
• 本稿は、NCCR条件が、特定のラインバンドル差の高次コホモロジーの消滅と同値であることを確認した。この消滅性は、関連する多面体集合の位相的収縮性により検証された。