[論文レビュー] $A_{\infty}$-modules and Calogero-Moser Spaces

Yuri Berest, Oleg Chalykh|arXiv (Cornell University)|Oct 6, 2004

Algebraic structures and combinatorial models参考文献 15被引用数 4

ひとこと要約

本稿では、有限次元的巡回表現の非結合的変形として、Weyl代数 A₁ 上の A∞-加群を導入し、ランク1のねじれのない右 A₁-加群（イデアル）とその A∞-包あらわしの間の対応を確立する。主な貢献は、A∞-加群とイデアルの間の準同型写像を、変形理論とDG代数の技法を用いて非可換幾何学的設定に一般化した、擬同型写像の構成である。

ABSTRACT

We re-examine the bijective correspondence between the set of isomorphism classes of ideals of the first Weyl algebra and associated quiver varieties (Calogero-Moser spaces) \cite{BW1, BW2}. We give a new explicit construction of this correspondence based on the notion of $\A$-envelope of a rank one torsion-free $A_1$-module. Though perhaps less geometric than other methods, our approach is much simpler and seems more natural from the point of view of deformation theory.

研究の動機と目的

• 古典的な A₀-加群の有限次元的巡回加群とイデアルの間の対応を、A∞-構造を用いて非可換設定に拡張すること。
• A∞-加群を用いて、Weyl代数 A₁ の非結合的有限次元的表現を定義し、特徴づけること。
• ランク1のねじれのない右 A₁-加群（イデアル）ごとに、ホモロジー代数における最小的分解を一般化した A∞-包あらわしを構成すること。
• DG代数と量子射影平面を用いた変形理論の枠組みを確立し、これらの A∞-加群を実現すること。
• 得られた A∞-加群が、量子射影平面 P²_q 上の両立的層にどのように関係するかを、コホモロジー的手法を用いて明らかにすること。

提案手法

• A₁-加群の複体の圏から A∞-加群の圏への解釈関手を用い、非結合的作用を可能にする。
• Aℏ = C⟨x,y⟩/(xy−yx−ℏ) という代数族を用いて、巡回 A₀-加群を表す2項複体 (1.1) を A₁ 上の A∞-加群へと変形する。
• R = k⟨x,y⟩ として、Ã = R⟨t⟩ に DG代数構造を定義し、xt, yt, t を次数1の生成元として用いて、量子射影平面をモデル化する。
• A∞-包あらわし K を、2項複体 0 → K⁰ → K¹ → 0 として定義する。ここで K¹ は有限次元的であり、A₁ による K 上の作用は非結合的である。
• 局所コホモロジー H¹_Z(P²_q, M(−1)) を含むコホモロジー的技法を用い、A∞-加群構造を構成し、公理 (8.1)–(8.3) を検証する。
• Serreの有限性定理とLiouvilleの定理を適用し、コホモロジー群を解析し、H¹_Z(P²_q, M(−1)) 上の R-加群構造における巡回生成子を確立する。

実験結果

リサーチクエスチョン

• RQ1 Weyl代数 A₁ の有限次元的巡回表現は、結合的でない設定に一般化可能か？
• RQ2 A₁ の文脈における A₀-加群の非結合的類似物は何か。そして、それはどのように構成できるか？
• RQ3 Weyl代数 A₁ のイデアルは、A∞-加群の圏における分解とどのように関係するか？
• RQ4 変形理論は、A∞-加群を用いた A₁ の非結合的表現を実現するために果たす役割は何か？
• RQ5 量子射影平面 P²_q 上の両立的層は、A₁-イデアルの A∞-包あらわしとどのように関係するか？

主な発見

• ランク1のねじれのない右 A₁-加群 M は、すべての時点で、自然な A∞-包あらわし K を持つ。K は、K¹ が有限次元的である2項複体 0 → K⁰ → K¹ → 0 として与えられる。
• A∞-包あらわし K は、量子射影平面 P²_q 上の層 M(−1) のコホモロジーを用いて構成され、H¹_Z(P²_q, M(−1)) が K⁰ の次数0成分を形成する。
• A₁ による K 上の作用は非結合的であり、A∞-関係を満たす。また、M → K の写像は、DG代数 Ã 上のDG加群の圏における擬同型写像である。
• A∞-包あらわし K は、DG包あらわしの公理 (8.1)–(8.3) を満たし、H⁰_Z(P²_q, M) = 0 であり、H¹_Z(P²_q, M(−1)) 内の t による乗法の核は1次元的で巡回的である。
• H¹_Z(P²_q, M(−1)) 上の R-作用を生成する X と Y は、関係式 t(XY − YX + Id) = 0 を満たし、非結合的作用が適切に定義されることを保証する。
• この構成により、Hilbert汎関手対応の非可換一般化が得られ、結合的加群の代わりに Weyl代数上の A∞-加群が用いられる。