[論文レビュー] Remarks on non-commutative crepant resolutions of complete intersections

Hailong Dao|ArXiv.org|Nov 24, 2009

Commutative Algebra and Its Applications参考文献 11被引用数 7

ひとこと要約

この論文は、ホモロジー代数を用いて、完備交差特異点における非可換なクレパント解体（NCCRs）の存在を調査する。3次元の $\mathbb{Q}$-因子ルールの超曲面や、次元 $\geq 4$ の偶数次元の完備交差に対して、NCCRs は存在しないことが証明されているが、その場合においては可換なクレパント解体は存在する。主な洞察は、NCCR の存在が Tor-剛性とセレ条件に結びつくことであり、任意の体上に適用可能なホモロジー的障害枠組みを提供する。

ABSTRACT

We study obstructions to existence of non-commutative crepant resolutions, in the sense of Van den Bergh, over local complete intersections.

研究の動機と目的

• 局所的完備交差環上における非可換クレパント解体（NCCR）の存在条件を特定すること。
• 特に Tor-剛性とセレ条件といったホモロジー的障害——NCCR の存在を妨げる要因——を同定すること。
• 正の特性における Frobenius 拡張の文脈において、なぜ特定の非可換解体がクレパントでないのかを説明すること。
• S_n 条件や Tor-剛性といったモジュール論的条件を用いて、NCCR の構成または除外を可能にするホモロジー的枠組みを提供すること。
• 2次元および3次元における既知の NCCR 結果を、高次元の完備交差に拡張すること。

提案手法

• 反射的モジュールとその自己準同型環に注目した、Gorenstein 局所可換環上のホモロジー代数を用いる。
• Tor-剛性を主要な条件として適用：モジュール $M$ が $\operatorname{Tor}_i^R(M,N)=0$ を満たすならば、すべての $j\geq i$ に対して $\operatorname{Tor}_j^R(M,N)=0$ が成り立つとき、$M$ は Tor-剛性をもつと定義する。
• 深さとモジュール構造の解析に、セレの条件 $(S_n)$ および codimension $n$ での自由性を用いる。
• $S$ が正則または非分岐であるときの超曲面 $R = S/(f)$ の構造を活用し、$R$ 上のモジュールを $S$ 上に持ち上げて、NCCR の変形を研究する。
• 正確な完全列と局所コホホロジーを用いて、$R$ 上の $M$ における深さ条件と $S$ 上の $N$ におけるそれらの関係を、局所コホホロジーの長い完全列を通じて関係づける。
• Nakayama の補題と射影次元の議論を用いて、自己準同型環の有限グローバル次元を示す。

実験結果

リサーチクエスチョン

• RQ1 完備交差特異点に対して、非可換クレパント解体（NCCR）がどのような条件下で存在するか。
• RQ2 可換クレパント解体が存在するにもかかわらず、3次元の $\mathbb{Q}$-因子超曲面に対して NCCR が存在しないのはなぜか。
• RQ3 高次元において、Tor-剛性とセレ条件を用いて NCCR を構成または障害づけることができるか。
• RQ4 超曲面から正則な環境環への変形において、NCCR はどのように振る舞うか。
• RQ5 正の特性において、Frobenius 拡張による解体がなぜクレパントでないのか。これは Tor-剛性とどのように関係するか。

主な発見

• 3次元の局所的超曲面 $R$ が $\mathbb{Q}$-因子である場合、可換クレパント解体が存在するとしても、NCCR は存在しない。
• 孤立特異点を持つ、次元 $\geq 4$ の偶数次元の完備交差に対して、NCCR は存在しない。
• モジュール $M$ が反射的 $R$-モジュールで、$\mathcal{N}$ を $M$ の非 Tor-剛性な非分解的 MCM モジュールの集合とする。$\mathcal{N} \subset \operatorname{pe}^n(M)$ ならば、$\operatorname{Hom}_R(M,M)$ はグローバル次元が $\dim R + n$ 以下であり、特に最大コhen＝マカウルイ（MCM）であれば NCCR である。
• もし $R = S/(f)$ で $S$ が正則であり、$M$ が $(S_3)$ を満たし、codimension 2 で自由であれば、$\operatorname{Hom}_R(M,M)$ が有限グローバル次元をもつのは、$M$ の任意の持ち上げ $N$ に対して $\operatorname{Hom}_S(N,N)$ が有限グローバル次元をもつときのみであり、これは NCCR の存在に対する障害を示す。
• 正の特性において、非可換解体 $A = \operatorname{Hom}_R({}^eR,{}^eR)$ は NCCR でない。なぜなら ${}^eR$ は Tor-剛性をもつため、$A$ はクレパントでないからである。