[論文レビュー] Singular Derived Categories of Q-factorial terminalizations and Maximal Modification Algebras

Osamu Iyama, Michael Wemyss|arXiv (Cornell University)|Aug 23, 2011

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

ひとこと要約

本稿は、孤立した特異点をもつ3次元Gorenstein正則スキームに対して、特異導来圏 D_sg(X) 及びそのidempotent completion を用いて Q-因子的性の圏論的特徴づけを確立する。X が Q-因子的であることと D_sg(X) が rigid-free であることは同値であり、X に導来同値な代数が最大変形代数（MMA）であることを示す。これにより非可換代数と可換特異点論の橋渡しを行う。

ABSTRACT

Let X be a Gorenstein normal 3-fold satisfying (ELF) with local rings which are at worst isolated hypersurface (e.g. terminal) singularities. By using the singular derived category D_{sg}(X) and its idempotent completion, we give necessary and sufficient categorical conditions for X to be Q-factorial and complete locally Q-factorial respectively. We then relate this information to maximal modification algebras(=MMAs), introduced in [IW10], by showing that if an algebra A is derived equivalent to X as above, then X is Q-factorial if and only if A is an MMA. Thus all rings derived equivalent to Q-factorial terminalizations in dimension three are MMAs. As an application, we extend some of the algebraic results in Burban-Iyama-Keller-Reiten [BIKR] and Dao-Huneke [DH] using geometric arguments.

研究の動機と目的

• 滑らかさの導来的特徴づけ（D_sg = 0）を特異3次元多様体における Q-因子的性へ拡張すること。
• 特に D_sg(X) における rigid-freeness といった圏論的条件を用いて、Q-因子的性および局所的 Q-因子的性を特徴づけること。
• Q-因子的終結化に導来同値である代数が最大変形代数（MMA）であることを示し、非可換代数と可換幾何を結びつけること。
• cA_n 特異点にこれらの結果を適用し、[BIKR] や [DH] の代数的結果を幾何的議論を用いて拡張すること。
• 局所的検出の限界と、完成化が幾何的性質を保存する役割を明確にすること。

提案手法

• 特異スキームのための圏的不変量として、特異導来圏 D_sg(X) = D^b(coh X)/per(X) を用いる。
• Orlov の結果を適用し、D_sg(X) が特異点における局所環の安定CM圏の直和に、直和成分を除いて埋め込まれることを示す。
• D_sg(X) の idempotent completion を用いて、グローバルな幾何的性質と局所的不変量を関連付ける。
• 三角圏における rigid-freeness の概念を導入する：圏が rigid-free であるとは、非ゼロ対象 a で Hom(a,a[1]) = 0 を満たすものが存在しないこと。
• 特異点が超曲面である場合、D_sg(X) の rigid-freeness は局所的因子的性と同値であり、idempotent completion は局所的完全因子的性と同値であることを用いる。
• Tilting理論と導来同値を用い、幾何的クレパント解消と非可換代数（特に MMA）を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 Gorenstein 3次元多様体 X が孤立特異点をもつとき、どのような圏論的条件のもとで Q-因子的となるか？
• RQ2 対応するスキームの特異導来圏を用いて、最大変形代数（MMA）の性質を特徴づけられるか？
• RQ3 Q-因子的性は導来圏を用いて検出可能か？特に完成化がその性質を破壊する場合にどうか？
• RQ4 幾何的変形（例：flop）は、導来圏における代数的変異（mutation）や tilting とどのように関係するか？
• RQ5 NCCR や MMA に関する結果を、局所的設定を超えて幾何的議論を用いて拡張可能か？

主な発見

• Gorenstein 3次元多様体 X が孤立した超曲面特異点をもつとき、X が Q-因子的であることと、特異導来圏 D_sg(X) が rigid-free であることは同値である。
• X が局所的に完全 Q-因子的であるとき、D_sg(X) の idempotent completion は rigid-free である。
• 局所環が超曲面であるスキームにおいて、局所的因子的性、Q-因子的性、および D_sg(X) の rigid-freeness はすべて同値である。
• 3次元の Q-因子的終結化に導来同値な任意の代数は、必然的に最大変形代数（MMA）である。
• クイバーと曲線族によるクレパント解消や flop の幾何的図像は、導来圏における代数的変異と tilting を反映している。
• NCCR が存在しない場合、非局所的バージョンの特徴づけは失敗する。完成化が Q-因子的性を破壊するため、局所的検出では不十分である。