[論文レビュー] Non-commutative deformations of simple objects in a category of perverse coherent sheaves

Yūjirō Kawamata|arXiv (Cornell University)|Jun 13, 2018

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

ひとこと要約

本稿は、射影的準同型に関するティルティング生成子から生じる perverse な整合的層の族における単純な集合の普遍的非可換変形を決定する。全または部分的な単純集合の普遍的変形が Donovan と Wemyss の収縮代数を回復することを示し、この代数が自身の反対環と同型であることを証明するとともに、準同型が点のファイバーを除いて同型であるときかつそのときに限り、有限次元であることを示す。

ABSTRACT

We determine versal non-commutative deformations of some simple collections in the categories of perverse coherent sheaves arising from tilting generators for projective morphisms.

研究の動機と目的

• ティルティング生成子から生じる perverse 整合的層の族における単純対象の非可換変形を研究すること。
• 底空間がアフィンである射影的準同型に対して、これらの族における単純集合の普遍的変形を決定すること。
• 得られたパラメータ代数を Donovan と Wemyss の収縮代数などの既知の不変量と関連付けること。
• 収縮代数が自身の反対環と同型であることを証明し、それが有限次元となる条件を特定すること。

提案手法

• Bondal と Rickard の導来モラータ同値を用いて、Y 上の整合的層の導来圏を代数の層 A 上の加群の圏と関連付ける。
• 導来同値に基づき、mod-A に対応するアーベル圏として perverse 整合的層を構成する。
• 閉点 x₀ ∈ X における完備化を用いて変形を分析し、ティルティング生成子 P̂ の完備化に注目する。
• 非可換変形理論を適用し、Perv(Y/X) 内の単純集合の普遍的変形を計算する。その際、自然な写像 f* f* P̂ → P̂ の核と余核を用いる。
• 普遍的変形のパラメータ代数を Â = f* End(P̂) の商 Â/ I または Â′/I′ として特定する。
• 図式走査とコホホロジーの消滅を用いて、変形パラメータ代数が収縮代数およびその反対環と同型であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 perverse 整合的層の族における単純集合の普遍的非可換変形が、Donovan と Wemyss の収縮代数を回復するのはどのような条件下か？
• RQ2 こうした変形から生じる収縮代数は、自身の反対環と同型か？
• RQ3 変形のパラメータ代数が k-ベクトル空間として有限次元となるのはいつか？
• RQ4 パラメータ代数の有限次元性は、準同型が点のファイバーを除いて同型であることを特徴づけるか？
• RQ5 単純対象の非可換変形理論は、3次元多様体内の有理的曲線の解析的収縮性を検出できるか？

主な発見

• 閉点 x₀ ∈ X 上の全単純集合 {s_j} の普遍的非可換変形は、ティルティング生成子 P̂ の完備化で与えられ、パラメータ代数は Â = f_* End(P̂) である。
• 部分単純集合 {s_j}_{j=1}^r の普遍的変形は収縮代数 Â/I ≅ Â′/I′ を回復し、これは自身の反対環と同型である。
• 収縮代数が k 上有限次元であることは、準同型 f が x₀ のファイバーを除いて同型であることに同値である。
• −1-ティルト圏および 0-ティルト圏における単純集合の変形は、異なるアーベル圏であっても同型な対象 Q ≅ Q′ を与える。
• 例として、3次元終身的特異点の小さなクリープント解体において、パラメータ代数 Â/I は代数 k⟨⟨x,y⟩⟩/(xy + yx, x² − y³) の完備化と同型である。
• 商代数 Â′/I′ のコサポートは判別式の分岐集合 D ⊂ X と一致し、D が一点であることは、Â′/I′ が有限次元であることと同値である。