[論文レビュー] Twisted symplectic reflection algebras

Tatyana Chmutova|ArXiv.org|May 30, 2005

Algebraic structures and combinatorial models参考文献 10被引用数 11

ひとこと要約

この論文は、非忠実な群作用に対するねじれシンプレクティック反射代数（SRAs）を導入し、EtingofとGinzburgの元々の構成を一般化する。非忠実な作用に対するねじれSRAの表現と、商群上の忠実な作用に対するねじれSRAの表現との間でカテゴリカル同値を確立し、還元過程において自明なコサイクルから非自明なコサイクルが生じうることを示しており、SRAの表現理論を非単射群作用へと拡張する。

ABSTRACT

In this paper we introduce the notion of twisted symplectic reflection algebras and describe the category of representations of such an algebra associated to a non-faithful G-action in terms of those for faithful actions of G.

研究の動機と目的

• シンプレクティックベクトル空間への群作用が必ずしも単射でない場合に、シンプレクティック反射代数を一般化すること。
• 射影的群表現と2-コサイクルを用いて、ねじれシンプレクティック反射代数を定義し、研究すること。
• カテゴリカル同値を用いて、非忠実な作用の表現理論を忠実な作用のものに還元すること。
• 元々自明なコサイクルから出発しても、還元過程で非自明なコサイクルが生じうることを示すこと。
• 非忠実な作用に対するねじれSRAの表現と、商群上の忠実な作用に対するそれらの表現との間の対応を確立すること。

提案手法

• 2-コサイクル ψ: G×G → ℂ* を用いて、ねじれ群代数 ℂψG を導入し、乗法を g1∘ψg2 = ψ(g1,g2)g1g2 で定義する。
• すべての h に対して ψ(g,h) = ψ(h,g) を満たすような g ∈ G を、ψ-正則な要素と定義する。
• ねじれ群代数の表現の圏を用い、e_iℋ_c(G,U,ψ) の表現から ℋ_c'(H,U,ζ) の表現への関手 F を、モジュール圏同値を介して構成する。
• 射影的表現のためのファージョンカテゴリおよび特徴方程式論を適用し、ねじれ特徴と共役類の関係を確立する。
• ψ-正則な要素の中心化子構造を用いて、ℋ_c(G,U,ψ)-mod と ℋ_c'(H,U,ζ)-mod の間の圏同値を構成する。
• 前像の平均を用いてねじれパラメータ c' を定義する：c'(C_i^j) = (α(C_i^j)/(α(e)|C_i^j|)) × ∑_{π(𝓒)=C_i} c(𝓒)|𝓒| であり、SRA関係の整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 シンプレクティック反射代数は、群作用が忠実でない場合にどのように一般化できるか？
• RQ2 非忠実な作用を忠実なものに還元する際、コサイクル構造はどのように変化するか？
• RQ3 非忠実な作用に対するねじれSRAの表現圏は、忠実な作用のものとして記述可能か？
• RQ4 自明なコサイクルが還元された設定で非自明なコサイクルを生じる条件は何か？
• RQ5 射影的表現の文脈において、ねじれ特徴と ψ-正則共役類はどのように関係するか？

主な発見

• 非忠実な G-作用に対するねじれシンプレクティック反射代数の表現圏は、G の商群 H における忠実な H-作用に対するねじれSRAの表現圏とカテゴリカル同値である。
• 元々のコサイクル ψ が自明であっても、還元された代数は非自明なコサイクル ζ を持つことがある。これは、還元過程で非自明性が生じうることを示している。
• 還元された代数におけるパラメータ c' は、ψ-正則共役類 𝒞 に写像されるものについて c(𝓒) を平均することで定義され、SRA関係の整合性を保証する。
• 関手 F: ℋ_c(G,U,ψ)-mod → ℋ_c'(H,U,ζ)-mod は同値であり、U-作用を保存し、モジュール間の対応を誘導する。
• ℂψG の既約表現の数は ψ-正則共役類の数に等しく、これらの類は反射に制限した場合に還元写像で保存される。
• 一般化された対称群 G = S_n ⋉ (ℤ/mℤ)^n に対して、m が偶数で n ≥ 3 のとき、シューア乗数 H^2(G,ℂ*) は非自明であり、これによりねじれSRAの構造に影響を与える非自明なコサイクルが生じる。