[論文レビュー] Graded 3-Calabi-Yau algebras as Ore extensions of 2-Calabi-Yau algebras

Ji-Wei He, F. Van Oystaeyen+1 more|arXiv (Cornell University)|Mar 21, 2013

Algebraic structures and combinatorial models参考文献 15被引用数 4

ひとこと要約

この論文は、可逆な反対称行列によって定義される2-カシミールヤウ代数のオア拡張として、特定の次数付き3-カシミールヤウ代数が得られることを確立する。これらの代数が次数付きカシミールヤウ的かつコherentlyであることを証明し、高次元の二次形式の循環的部分導関数を用いてそのスーパopotentialを構成する。

ABSTRACT

We study a class of graded algebras obtained from Ore extensions of graded Calabi-Yau algebras of dimension 2. It is proved that these algebras are graded Calabi-Yau and graded coherent. The superpotentials associated to these graded Calabi-Yau algebras are also constructed.

研究の動機と目的

• 2-カシミールヤウ代数のオア拡張から次数付き3-カシミールヤウ代数を一般に構成すること。
• 特定の条件下で、このようなオア拡張がカシミールヤウ的およびコherentな性質を継承することを証明すること。
• 循環導関数を用いて、得られた3-カシミールヤウ代数のスーパopotentialを明示的に構成すること。
• スミスのオクタニオン的3-カシミールヤウ代数を、この構成の特別な場合として一般化すること。
• 結果として得られる代数が次数付きコherentであるための条件を提示し、キョシュール代数に関する既知の結果を拡張すること。

提案手法

• 可逆な反対称行列 $ M $ を用いて $ r = (x_1,\dots,x_n)M(x_1,\dots,x_n)^T $ と定義される $ A = T(V)/\langle r \rangle $ として2-カシミールヤウ代数 $ A $ を定義する。
• $ T(V) $ 上に次数1の次数付き微分 $ \delta $ を定義し、 $ \delta(r) \in \langle r \rangle $ となるようにし、 $ A $ 上に誘導された $ \bar{\delta} $ を得る。
• $ z $ を次数1とし、 $ za = az + \bar{\delta}(a) $ を満たすように、オア拡張 $ B = A[z; \bar{\delta}] $ を構成する。
• $ \widehat{V} = V \oplus \mathbb{k}z $ として、ブロック行列 $ Q $ と循環導関数を用いて、 $ T(\widehat{V}) $ 内のスーパopotential $ w $ を定義する。
• $ B \cong T(\widehat{V}) / \langle \partial_{x_i}(w) \mid i=0,\dots,n \rangle $ を証明し、代数が循環導関数によって定義されることを示す。
• $ k^i_{jj} = 0 $ がすべての $ i $ およびある固定された $ j $ に対して成り立つ条件の下で、ヒルベルト級数と加群のフィルトレーションを用いて $ B $ の次数付きコherencyを確立する。

実験結果

リサーチクエスチョン

• RQ1 2-カシミールヤウ代数のオア拡張が、いつ3-カシミールヤウ的になるか。
• RQ2 3-カシミールヤウ代数のスーパopotentialが、2-カシミールヤウ代数と微分のデータから明示的に構成可能か。
• RQ3 結果として得られる3-カシミールヤウ代数がいつ次数付きコherentか。
• RQ4 オア拡張のコherencyは、微分の構造および行列 $ M $ とどのように関係するか。
• RQ5 この構成はスミスのオクタニオン的3-カシミールヤウ代数をどの程度一般化するか。

主な発見

• $ A $ が可逆な反対称行列によって定義される2-カシミールヤウ代数であり、 $ \delta(r) \in \langle r \rangle $ である限り、オア拡張 $ B = A[z; \bar{\delta}] $ は次数付き3-カシミールヤウ代数である。
• $ B $ は、 $ r $、 $ \delta $、およびブロック行列 $ Q $ から構成されたスーパopotential $ w $ を用いて得られる $ T(\widehat{V}) / \langle \partial_{x_i}(w) \mid i=0,\dots,n \rangle $ に同型である。
• すべての $ \alpha \in (\widehat{V})^* $ に対して $ (\alpha \otimes 1 \otimes 1)(w) = (1 \otimes 1 \otimes \alpha)(w) $ を満たすため、循環対称性と整合的である。
• $ k^i_{jj} = 0 $ がすべての $ i $ およびある固定された $ j $ に対して成り立ち、 $ M $ が標準的な反対称行列であるとき、 $ B $ は次数付きコherentである。
• 自然な写像 $ B \to B/I $ の核 $ I $ のヒルベルト級数は、 $ B $ 上の自由加群のそれと一致し、モジュール写像の単射性が示され、したがってコherencyが証明される。
• 特別な場合として、 $ A $ が2-カシミールヤウ代数であれば $ A[z] $ は常に次数付きコherentである。これは非可換射影幾何学的設定における既知の結果を一般化する。