[論文レビュー] Higher Zigzag Algebras

J. A. Grant|arXiv (Cornell University)|Nov 2, 2017

Algebraic structures and combinatorial models参考文献 46被引用数 2

ひとこと要約

この論文は、有限グローバル次元をもつクズル代数のクズル双対のねじれ自明拡大として、より高いゼイガル代数を導入し、古典的ゼイガル代数を一般化する。タイプAのd-ヘレディタリー代数に対して、クイバー表示を用いてこれらの代数を構成し、その導来カテゴリにバターン群に類する作用を球面的ねじれを用いて確立する。さらに、高次元マケイ対応を通じて、アフィン(d+1)-次元空間上のG-不変層と関連づけ、球面的ねじれの関係が、SL_{d+1}の有限アーベル部分群Gに対するG-不変層の導来カテゴリにおける関係と一致することを示す。

ABSTRACT

Given a Koszul algebra of finite global dimension we define its higher zigzag algebra as a twisted trivial extension of the Koszul dual. If our original algebra is the path algebra of a tree-type quiver, this construction recovers the zigzag algebras of Huerfano-Khovanov. We study examples of higher zigzag algebras coming from Iyama's type A higher representation finite algebras, give their presentations by quivers and relations, and describe relations between spherical twists acting on their derived categories. We connect this to the McKay correspondence in higher dimensions: if $G$ is a finite abelian subgroup of $SL_{d+1}$ then these relations occur between spherical twists for $G$-equivariant sheaves on affine $(d+1)$-space.

研究の動機と目的

• 有限グローバル次元をもつクズル代数のクズル双対のねじれ自明拡大として、クズル双対性とねじれ自明拡大を用いて、古典的ゼイガル代数をより高いグローバル次元の設定に一般化すること。
• イヤマのタイプAのd-表現有限代数に対して、クイバーと関係式による表示を用いて高次元ゼイガル代数を構成すること。
• 球面的ねじれを用いて、これらの代数の導来カテゴリにバターン群に類する作用を一般化すること。
• 代数的幾何学と結びつけるために、G ⊂ SL_{d+1} のとき、アフィン(d+1)-次元空間上のG-不変層における球面的ねじれから自然に導かれる導来カテゴリの作用を示すこと。

提案手法

• 有限グローバル次元をもつクズル代数のクズル双対のねじれ自明拡大として高次元ゼイガル代数を定義する。
• タイプAのd-ヘレディタリー代数から生じる高次元ゼイガル代数を、クイバーと関係式による表示で記述する。
• クイバーのPBW理論を用いて、代数の構造と関係を分析する。
• 射影的加群の自己準同型代数を構成し、導来カテゴリにおける球面的ねじれファンクターを実現する。
• 持ち上げ定理を用いて、元の代数の導来カテゴリから高次元ゼイガル代数への群作用を持ち上げる。
• 高次元ゼイガル代数の導来カテゴリと斜め群代数の導来カテゴリとの間に同値を確立し、クズル双対性のもとで球面的対象が一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 バターン群に類する作用は、新しいクラスの有限次元代数を用いて、ヘレディタリー代数からより高いグローバル次元の代数へ一般化可能か？
• RQ2 イヤマのタイプAのd-表現有限代数に付随する高次元ゼイガル代数のクイバーと関係式の表示は何か？
• RQ3 球面的ねじれファンクターは高次元ゼイガル代数の導来カテゴリにどのように作用し、どのような群関係を満たすか？
• RQ4 高次元ゼイガル代数の導来カテゴリの作用は、代数的幾何学において自然に生じるか、特にマケイ対応の文脈でそうか？
• RQ5 斜め群代数と高次元ゼイガル代数の導来カテゴリの間には、球面的対象とそのねじれ関係を保存する双対性が存在するか？

主な発見

• 有限グローバル次元をもつクズル代数の高次元ゼイガル代数は、そのクズル双対のねじれ自明拡大として定義され、古典的ゼイガル代数を一般化する。
• イヤマのタイプAのd-表現有限代数に対して、高次元ゼイガル代数は明示的な関係式をもつクイバー表示をもち、その射影的加群は有限次元の構造を持つ。
• 高次元ゼイガル代数の導来カテゴリには、球面的ねじれによって生成されるバターン群の高次元版に類する作用が存在し、その関係は群G^d_sと同型である。
• 元の代数が有限アーベル群G ⊂ SL_{d+1} に対してSym(V)#Gであるとき、高次元ゼイガル代数は外積代数E(V)#Gと同型であり、導来カテゴリの作用はアフィン(d+1)-次元空間上のG-不変層における球面的ねじれ作用と一致する。
• クズル双対性ファンクターは、高次元ゼイガル代数の導来カテゴリと斜め群代数の導来カテゴリとの間に同値を誘導し、一方のカテゴリの球面的対象を他方のカテゴリの球面的対象へ写し、ねじれ関係を保存する。
• 群G^d_sは、斜め群代数Sym(V)#Gの導来カテゴリに、単純加群における球面的ねじれを用いて作用し、この作用は高次元ゼイガル代数の導来カテゴリにおける作用と同型である。これにより、高次元マケイ対応が裏付けられる。