[論文レビュー] Superpotentials and Higher Order Derivations

Raf Bocklandt, Travis Schedler+1 more|ArXiv.org|Feb 1, 2008

Nonlinear Waves and Solitons参考文献 17被引用数 9

ひとこと要約

この論文は、クイバー代数における高次導分へのスーパーポテンシャル構成を一般化し、半単純代数上のN-Koszul、ねじれカルラビ-ヤウ代数が、高次導分商によってねじれスーパーポテンシャルから生じることを確立する。モラータ不変な構成が提供され、GLₙおよび4次元Sklyanin代数のMcKay対応代数がこの形をとることを証明し、SL₂(ℤ/4)のWeil表現を用いて4次元Sklyanin代数のモジュライ空間を記述する。

ABSTRACT

We consider algebras defined from quivers with relations that are k-th order derivations of a superpotential, generalizing results of Dubois-Violette to the quiver case. We give a construction compatible with Morita equivalence, and show that many important algebras arise in this way, including McKay correspondence algebras for GL_n for all n, and four-dimensional Sklyanin algebras. More generally, we show that any N-Koszul, (twisted) Calabi-Yau algebra must have a (twisted) superpotential, and construct its minimal resolution in terms of derivations of the (twisted) superpotential. This yields an equivalence between N-Koszul twisted Calabi-Yau algebras A and algebras defined by a superpotential such that an associated complex is a bimodule resolution of A. Finally, we apply these results to give a description of the moduli space of four-dimensional Sklyanin algebras using the Weil representation of SL_2(Z/4).

研究の動機と目的

• ダビエ＝ヴィオレットのスーパーポテンシャルおよび高次導分に関する研究を、1頂点の場合から複数頂点を持つクイバーへの一般化を目的とする。
• スーパーポテンシャルの導分商として定義される代数のモラータ不変な枠組みを構築することを目的とする。
• 任意の半単純代数上のN-Koszul、(ねじれ)カルラビ-ヤウ代数が、高次導分を用いた(ねじれ)スーパーポテンシャルの導分商として生じることを証明することを目的とする。
• GLₙのMcKay対応代数および4次元Sklyanin代数が、この枠組みで実現可能であることを示すこと。
• SL₂(ℤ/4)のWeil表現を用いて、4次元Sklyanin代数のモジュライ空間を記述すること。

提案手法

• k次導分商代数 D(ω,k) を、パス代数から長さkのパスによるスーパーポテンシャルωの偏微分で生成されるイデアルを商取ることで定義する。
• C-代数自己同型σによるねじれを伴う巡回作用に関して不変なねじれスーパーポテンシャルを導入し、標準的スーパーポテンシャルの一般化を実現する。
• 基礎代数のモラータ同値性に関して不変であるようなD(ω,k)のモラータ不変版を構築する。
• ホモロジー的カルラビ-ヤウ性質およびN-Koszul双対性を用い、このような代数が(ねじれ)スーパーポテンシャルの導分から構成される最小の双加群分解を有することを示す。
• SL₂(ℤ/4)のWeil表現を用いて、4次元Sklyanin代数のモジュライ空間を、インターリーブおよび射影的不変量を介してパrametrizeする。
• パrameterの組(α,β,γ)とPU/Kにおける軌道との間の全単射を確立し、SL₂(ℤ/2)の作用が対称群S₃に一致することを特定する。

実験結果

リサーチクエスチョン

• RQ1 導分商代数の構成を、1頂点から複数頂点を持つクイバーへの一般化をモラータ不変な方法ですることができるか？
• RQ2 すべての半単純代数上のN-Koszul、(ねじれ)カルラビ-ヤウ代数が、高次導分による(ねじれ)スーパーポテンシャルの導分商として生じるか？
• RQ3 GLₙ(ℂ)および4次元Sklyanin代数のMcKay対応代数は、このような導分商として実現可能か？
• RQ4 群表現および不変量を用いて、4次元Sklyanin代数のモジュライ空間をどのようにパラメトライズできるか？
• RQ5 SL₂(ℤ/4)のモジュライ空間への作用が、Weil表現を介してS₃の作用と同型であるか？

主な発見

• 任意の半単純代数上のN-Koszul、(ねじれ)カルラビ-ヤウ代数は、ある(ねじれ)スーパーポテンシャルωに対して、導分商D(ω,k)に同型である。
• このような代数の最小の双加群分解は、(ねじれ)スーパーポテンシャルの導分から明示的に構成される。
• GLₙのMcKay対応代数は、適切な(ねじれ)スーパーポテンシャルのD(ω,k)として実現され、SLₙに対する以前の結果を一般化する。
• 4次元Sklyanin代数のモジュライ空間は、パラメータ(α,β,γ)がψ⁻¹(ω)におけるスーパーポテンシャルの係数から回復可能である、射影空間PUをKによる作用で割ったものでパラメトライズされる。
• SL₂(ℤ/4)のモジュライ空間への作用は、Weil表現を介してS₃と同型であり、商写像SL₂(ℤ/4) → S₃は外部自己同型群を介して因数分解する。
• この構成により、パラメータ空間S₀からPU/Kへのwell-definedな写像が得られ、これは単射かつ群作用と両立する。