[論文レビュー] Equivariant D-modules on alternating senary 3-tensors

András C. Lőrincz, Michael D. Perlman|arXiv (Cornell University)|Sep 24, 2018

Algebraic structures and combinatorial models被引用数 1

ひとこと要約

この論文は、交代的6次3テンソルの空間上での6つの単純な GL₆-不変 D-加群を分類し、それらを明示的に構成し、特性を計算する。クイバー表現と関係式、および Bernstein-Sato 多項式を用いて、すべての反復局所コホモロジー加群を特定し、軌道閉包の Lyubeznik 数を計算することで、有限個の軌道をもつ非球面的表現における不変 D-加群理論の主要な問題を解決する。

ABSTRACT

Let X be the third exterior power of a six-dimensional complex vector space, equipped with the natural action of the group GL_6(C) of invertible linear transformations of C^6. We describe explicitly the category of GL_6(C)-equivariant coherent D_X-modules as the category of representations of a quiver with relations, which has finite representation type. We give a construction of the six simple equivariant D_X-modules and give formulas for the characters of their underlying GL_6(C)-structures. We describe the (iterated) local cohomology groups with supports given by orbit closures, determining, in particular, the Lyubeznik numbers associated to the orbit closures.

研究の動機と目的

• 交代的6次3テンソルの空間 X = ⋀³C⁶ 上の単純な GL₆-不変 D-加群を分類すること。
• GL₆-不変な整合的 D-加群の圏を、関係を持つクイバーとして有限表現型として記述すること。
• すべての単純不変 D-加群の基礎となる GL₆-加群の特性を計算すること。
• 軌道閉包における反復局所コホモロジー加群と Lyubeznik 数を特定すること。
• スペクトル系列と Grassmannian 上の特異点解消技術を用いて、局所コホモロジー加群の構造を解明すること。

提案手法

• 表現論的技法を用いて6つの単純不変 D-加群を明示的に構成し、それらの GL₆-特性式を検証すること。
• GL₆-不変 D-加群の圏と、特定の関係を持つクイバー Q の有限次元表現の圏との間の同値性を確立すること。
• Bernstein-Sato 多項式 bf(s) = (s+1)(s+5/2)(s+7/2)(s+5) を用いて、局所化された加群 S_f および S_f·√f のフィルトレーションを分析すること。
• 局所コホモロジー加群を計算するために、スペクトル系列 Hi_O(H^j(S)) ⇒ Hi+j(S) を適用し、特に軌道閉包 O1, O2, O3 に対して適用すること。
• O3 の特異点解消と Grassmannian 上のコホモロジー計算を用いて、H^j_O3(S) の非分解拡張を特定すること。
• 局所コホモロジーの長完全系列と包含関係（例：D_f^{-5/2} ⊂ S_f·√f）を用いて、B4 や D3 のような D-加群のコホモロジーを導出すること。

実験結果

リサーチクエスチョン

• RQ1 交代的6次3テンソルの空間上での単純な GL₆-不変 D-加群の完全な分類は何か？
• RQ2 GL₆-不変な整合的 D-加群の圏は、関係を持つクイバーとしてどのように記述できるか？
• RQ3 各単純不変 D-加群の基礎となる GL₆-加群の特性は何か？
• RQ4 単純不変 D-加群の反復局所コホモロジー加群は何か？ それらに関連する Lyubeznik 数は何か？
• RQ5 特に O3 に対して、Grassmannian 上のコホモロジー的技法を用いて、局所コホモロジー加群の構造をどのように計算できるか？

主な発見

• X = ⋀³C⁶ 上には、正確に6つの単純な GL₆-不変 D-加群がある：E, D1, D2, D3, S, および B4 で、S と B4 は完全な補題を持つ。
• GL₆-不変な整合的 D-加群の圏は、8つの頂点と8つの2サイクル関係を持つクイバー Q の有限次元表現の圏と同値であり、これは有限表現型を有する。
• 局所コホモロジー加群 H^10_O1(S) = D1、H^5_O2(S) は非分解拡張 0 → D2 → H^5_O2(S) → D1 → 0 に含まれ、H^1_O3(S) は 0 → D3 → H^1_O3(S) → E → 0 に含まれる。
• R1 = C[O1]_m の Lyubeznik 数は λ0,5(R1) = λ0,7(R1) = λ4,10(R1) = λ6,10(R1) = λ10,10(R1) = 1 であり、R2 = C[O2]_m の Lyubeznik 数は λ0,10(R2) = λ4,13(R2) = λ6,13(R2) = λ10,13(R2) = λ9,15(R2) = λ13,15(R2) = λ15,15(R2) = 1 である。
• 局所コホモロジー加群 H^1_O3(B4) は非分解拡張 0 → D2 → H^1_O3(B4) → D1 → 0 に含まれ、H^1_O3(S) は分解不能で単純でない D-加群である。
• O3 が超曲面であるため、Lyubeznik 数 λ19,19(C[O3]_m) = 1 であり、それ以外の O3 に関する Lyubeznik 数はすべて0である。