[論文レビュー] Equivariant D-modules on 2x2x2 hypermatrices

Michael D. Perlman|arXiv (Cornell University)|Sep 2, 2018

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

ひとこと要約

本稿は、2×2×2ハイパーマトリックス空間上のGL-同変な整合的Dモジュールの圏を、その単純対象を分類し、その圏を支配するクーヴィエと関係式を明示的に特定することによって構成する。ハイパーデターミナントの構造とスペクトル系列を活用して、軌道閉包におけるすべての反復局所コホホロジーを計算し、Dモジュール圏の表現論をクーヴィエ表現と明示的な関係式を用いて完全に記述する。

ABSTRACT

Let V be the space of 2x2x2 complex hypermatrices, endowed with the natural group action of GL=GL(2,C)^3. The category of GL-equivariant coherent D-modules on V is equivalent to the category of representations of a quiver with relations. In this article, we give a construction of each simple object and study their GL-equivariant structure. Using this information, we go on to explicitly describe the corresponding quiver with relations. As an application, we compute all iterations of local cohomology with support in the orbit closures of V.

研究の動機と目的

• 2×2×2ハイパーマトリックス空間 V = C²⊗C²⊗C² 上のすべての単純GL-同変Dモジュールを分類すること。
• V 上のGL-同変な整合的Dモジュール圏を支配するクーヴィエと関係式を特定すること。
• V 内の7つのGL軌道の閉包におけるすべての反復局所コホホロジーを計算すること。
• 単純Dモジュールの同変構造およびそれらが特徴的双対性とフーリエ変換の下でどのように振る舞うかを理解すること。

提案手法

• V 内の7つのGL軌道の1つにおける自明な局所系に対応するDモジュールとして、各単純GL-同変Dモジュールを構成する。
• リーマン＝ヒルベルト対応を用いて、単純Dモジュールと軌道上の同変局所系を関係付ける。
• 圏 mod_GL(D_V) の構造を分析することで、頂点を単純モジュール、矢印をHom空間として特定し、クーヴィエと関係式を導出する。
• 反復局所コホホロジー群を計算するために、スペクトル系列と局所コホホロジーの長完全系列を適用する。
• S におけるハイパーデターミナント h ∈ S を鍵となる不変量として用い、特定のDモジュールの台を定義し、局所コホホロジーを分析する。
• S, F, および G₆ を含む短完全系列を用いて、Čechおよびスペクトル系列技法を用いて局所コホホロジーを計算する。

実験結果

リサーチクエスチョン

• RQ1 2×2×2ハイパーマトリックス空間 V 上の単純GL-同変Dモジュールの完全な分類は何か？
• RQ2 V 上のGL-同変な整合的Dモジュール圏を支配するクーヴィエと関係式は何か？
• RQ3 この空間において、軌道閉包におけるすべての反復局所コホホロジーをどのように計算できるか？
• RQ4 特徴的双対性関手およびフーリエ変換は、単純Dモジュールの上でどのように作用するか？
• RQ5 S, G₆, および D_i,j,k は短完全系列を通してどのように関係し、それらの局所コホホロジーはどのように関連するか？

主な発見

• 単純GL-同変Dモジュールはちょうど8つ存在する：7つは真の台を持つ（D₀=E, D₁, D₁,₂,₂, D₂,₁,₂, D₂,₂,₁, D₅）および2つは全台を持つ（S と G₆）。
• クーヴィエ構造は2つの連結成分を持つ：1つは自明モジュールとその関係からなり、もう1つは5つの軌道関連の単純モジュールからなり、α, β, γ, δ, φ, ψ を含む複雑な関係式群を持つ。
• 特徴的双対性関手はすべての単純モジュールを固定するが、フーリエ変換は (S,E) と (G₆,D₁) を交換し、他のすべてのモジュールを不変に保つ。
• O ≠ O₆ の場合、H•_O(O) はスペクトル系列およびČechコホホロジーを用いて計算され、H⁴_O₀(G₆) = E⊕³ および H⁶_O₀(G₆) = E⊕² が成り立つ。
• すべての軌道 O ≠ O₆ に対して、H•_O(F) は次数1で D₁ に等しく、H⁵_O₀(F) = E であり、H⁰_O₁(G₆) = H¹_O₁(G₆) = 0 である。
• 任意の単純モジュール M に対する反復局所コホホロジーは、M = S_h/S の場合 H•_O(M) = H•+¹_O(S) および M = (S_h·√h)/G₆ の場合 H•_O(M) = H•+¹_O(G₆) という関係式により計算可能である。