[論文レビュー] Ideal Classes of the Weyl Algebra and Noncommutative Projective Geometry (with an Appendix by M. Van den Bergh)

Yuri Berest, George Wilson|ArXiv.org|Apr 26, 2001

Algebraic structures and combinatorial models参考文献 21被引用数 5

ひとこと要約

本稿は、非可換射영幾何学とホモロジー代数を用いて、Weyl代数 $A_1(\mathbb{C})$ の右イデアルの同型類と、ランク1の $[\mathbf{X}, \mathbf{Y}] + \mathbf{I}$ を満たす行列対 $(\mathbf{X}, \mathbf{Y})$ の同値類との間の直接的で明示的な全単射を確立する。主な貢献は、[BW]で以前に間接的であった構成の逆写像について、初等的かつ等変的（equivariant）な記述を提供することであり、Weyl代数のイデアル分類における長年のギャップを解消する。

ABSTRACT

Let R be the set of isomorphism classes of ideals in the Weyl algebra $A=A_{1}$, and let C be the set of isomorphism classes of triples (V; X, Y), where V is a finite-dimensional (complex) vector space, and X, Y are endomorphisms of V such that [X,Y]+I has rank 1. Following a suggestion of L. Le Bruyn, we define a map $θ: R o C$ by appropriately extending an ideal of A to a sheaf over a quantum projective plane, and then using standard methods of homological algebra. We prove that $θ$ is inverse to a bijection $ω: C o R$ constructed in \cite{BW} by a completely different method. The main step in the proof is to show that $θ$ is equivariant with respect to natural actions of the group G=Aut(A) on R and C: for that we have to study also the extensions of an ideal to certain weighted quantum projective planes. Along the way, we find an elementary description of θ.

研究の動機と目的

• 「[BW]で構成された写像 $\omega: \mathfrak{C} \to \mathfrak{R}$ の逆写像の明示的・初等的記述を提供すること。これは、もともとアデール的グラスマンニアンに依存していた。
• Weyl代数の右イデアルの分類において、アデール的グラスマンニアン $\mathrm{Gr}^{\mathrm{ad}}$ に依存しないようにすること。
• 重み付き量子射影平面における層の拡張を用いて、写像 $\theta: \mathfrak{R} \to \mathfrak{C}$ の直接的で幾何的な構成を確立すること。
• 写像 $\theta$ が $\omega$ の逆写像であることを、$\mathrm{Aut}(A)$ の作用に関して等変性（equivariance）を示すことによって証明し、分類結果をより明確に確認すること。

提案手法

• 写像 $\theta: \mathfrak{R} \to \mathfrak{C}$ は、ホモロジー代数的手法を用いて、Weyl代数 $A$ の右イデアルを量子射影平面上の層に拡張することで定義される。
• この構成では、イデアルを重み付き量子射影平面に拡張し、$\mathrm{Aut}(A)$-等変性を調べることで、$\theta$ の逆関係を示す上で不可欠な性質を明らかにする。
• 逆写像 $\omega: \mathfrak{C} \to \mathfrak{R}$ は、$E^0$ を特定の $B^0$-$A$-双ファンクターとして定義した $B^0$-双ファンクター $\operatorname{Tor}_1^{B^0}(M^0, E^0)$ として実現される。ここで $E^0$ はクイバーのデータによって定義される。
• 等変性の証明は、$\mathrm{Aut}(A)$-作用が特定の代数 $B^0$ の加群の圏に引き上げられ、かつ $\mathrm{Tor}$ ファンクターがこの作用と可換であることを示すことで行われる。
• $\mathrm{Aut}(A)$ の生成子 $\Psi_{n,\lambda}$ と $\Phi_{m,\mu}$ を用いて、$\mathfrak{C}$ と $\mathfrak{R}$ における $\mathrm{Aut}(A)$-作用の整合性を検証し、$\theta$ と $\omega$ が互いに逆写像であることを保証する。
• 最終段階では、$\operatorname{Tor}_1^{B^0}(M^0, E^0)$ が選択した生成子 $w$ に依存しないことを示し、逆写像の定義が正当であることを確認する。

実験結果

リサーチクエスチョン

• RQ1 逆写像 $\omega: \mathfrak{C} \to \mathfrak{R}$ は、アデール的グラスマンニアンに依存せずに明示的に記述可能か？
• RQ2 $\theta: \mathfrak{R} \to \mathfrak{C}$ が、量子射影平面上の層の拡張によって定義されるが、これは $\omega$ の逆写像か？
• RQ3 $\mathrm{Aut}(A)$-作用が $\mathfrak{R}$ と $\mathfrak{C}$ において $\theta$ と $\omega$ と可換か？ すなわち、等変性が成立するか？
• RQ4 逆写像は、$\operatorname{Tor}_1^{B^0}(M^0, E^0)$ として、$A$-モジュール写像のクイバーによって定義される $E^0$ を用いて、導来ファンクターとして表現可能か？
• RQ5 $\theta$ の構成は、拡張過程における補助的選択（例えば生成子 $w$）に依存しないか？

主な発見

• 重み付き量子射影平面上における層の拡張とホモロジー代数を用いた構成により、写像 $\theta: \mathfrak{R} \to \mathfrak{C}$ が明示的に記述され、[BW]で構成された写像 $\omega$ の逆写像であることが示された。
• 逆写像 $\omega$ は、クイバー $A \xrightarrow{\mathrm{id}} A \xrightarrow{x\cdot} A$ および $A \xrightarrow{\mathrm{id}} A \xrightarrow{y\cdot} A$ によって定義される $E^0$ を用いたファンクター $\operatorname{Tor}_1^{B^0}(M^0, E^0)$ として実現され、明確な代数的記述が得られた。
• $\theta$ が $\mathrm{Aut}(A)$-等変的であることが証明され、これは $\theta$ が $\omega$ の逆写像であることを示す鍵となる。両側の $\mathfrak{R}$ と $\mathfrak{C}$ における群作用の整合性を検証した。
• $\theta$ の構成は、拡張過程における生成子 $w$ の選択に依存しないことが確認され、写像が正しく定義されており、幾何的に自然であることが裏付けられた。
• 著者らは、$\mathrm{Aut}(A)$-作用が $\mathfrak{C}$ において $B^0$-加群の圏に引き上げられ、かつ $\mathrm{Aut}(A)$-ねじれの双ファンクター $E^0$ に対して ${}_{\sigma}E \cong E_{\sigma^{-1}}$ が成り立つことを確立した。これにより、$\mathrm{Tor}$ ファンクターと群作用の整合性が保証された。
• 本稿は、長年の問題であった $\omega$ の明示的逆写像の提供に成功し、アデール的グラスマンニアンを通る間接的経路に代えて、直接的で幾何的かつ等変的構成を提供した。