[論文レビュー] Extended canonical algebras and Fuchsian singularities

Helmut Lenzing, José Antonio de la Peña|ArXiv.org|Nov 17, 2006

Algebraic structures and combinatorial models参考文献 6被引用数 25

ひとこと要約

本稿では、拡張された正規代数を正規代数の1点拡張として定義し、不変の重層代数を通じてFuchsian特異点と関連づける。正規代数が野生的であり、関連する重層代数が形式的に3生成であるとき、得られる特異点はArnoldの例外的単模特異点と同型であり、表現論的代数と特異点論の間を自動形式とCoxeter多項式を通じて結ぶ。

ABSTRACT

We introduce a new class of finite dimensional algebras, called extended canonical, investigate their derived categories and study the spectral behavior of their Coxeter transformations. The subject relates to the triangulated categories of (graded) singularities introduced by R. Buchweitz (1987) and D. Orlov (2004).

研究の動機と目的

• 正規代数の1点拡張として拡張された正規代数を定義し、その性質を研究すること。
• 元の代数が弱い場合に、拡張された正規代数と野生的非可換代数または野生的正規代数との間の導来同値性を確立すること。
• ランク1の非前射的モジュール$ M $に対して、重層代数$ R(p,\lambda) = \bigoplus_{n=0}^\infty \mathrm{Hom}_C(M, \tau_C^n M) $の構造を調査すること。
• $ R(p,\lambda) $が形式的に3生成である条件を分類し、その性質を表面特異点の幾何学的構造に関連づけること。
• $ k = \mathbb{C} $のとき、重層代数$ R(p,\lambda) $を自動形式と関連づけ、その構造がArnoldの例外的単模特異点に対応することを示すこと。

提案手法

• 正規代数$ C $とそのインデコンポジブルな射影的$ C $-モジュール$ P $を用いて、行列代数$ \begin{bmatrix} k & 0 \\ P & C \end{bmatrix} $として拡張された正規代数$ A = C[P] $を定義する。
• $ K_0(A) $上のCoxeter変換$ \varphi_A $とその特徴多項式$ f_A(T) $を用い、表現型と特異点構造との関係を明らかにする。
• 重層構造$ R(p,\lambda) $の分析に、Hilbert-Poincaré級数$ \sum_{n=0}^\infty (\dim_k R_n) T^n $を用い、形式的3生成の下で$ \frac{1 - T^c}{(1 - T^{d_1})(1 - T^{d_2})(1 - T^{d_3})} $の形を取ることを示す。
• 自動形式の結果を適用する：$ k = \mathbb{C} $のとき、$ R(p,\lambda) $は上半平面に作用する第一種Fuchsian群に関する整関数の環と同型である。
• 重層モジュールの導来圏と重み付き射影直線上の連続層の間の関係を、三角的特異点カテゴリ$ \mathrm{D}_{\mathrm{Sg}}^{\mathbb{Z}}(R) $を用いて確立する。
• 重み型$ p = (p_1,\dots,p_t) $とその和$ \sum p_i $の分析を通じて、$ R(p,\lambda) $が形式的に3生成であるすべてのケースを分類し、$ 9 \leq \sum p_i \leq 11 $のときArnoldの例外的単模特異点と同値であることを示す。

実験結果

リサーチクエスチョン

• RQ1 野生的正規代数に対して、重層代数$ R(p,\lambda) $が形式的に3生成となるのはいつか？
• RQ2 重層代数$ R(p,\lambda) $の構造は、表面特異点および$ \mathbb{C} $上の自動形式とどのように関係するか？
• RQ3 拡張された正規代数のCoxeter多項式と$ R(p,\lambda) $の特異点型との間の明確な関係は何か？
• RQ4 $ R(p,\lambda) $が$ k[x,y,z]/(F) $の形の商環$ k[X,Y,Z]/(F) $と同型になる条件は何か、ただし$ F $は次数$ c $の斉次関係である。
• RQ5 $ \sum p_i \in \{9,10,11\} $である重み型$ p $は、Arnoldの例外的単模特異点とどのように対応するか？

主な発見

• 元の代数$ C $が弱い場合、拡張された正規代数$ A = C[P] $は、野生的非可換代数または野生的正規代数と導来同値である。これは、$ A $がよく知られた代数クラスに属することを示している。
• 正規代数が野生的で$ \chi_{\mathbb{X}} < 0 $であるとき、$ A $のCoxeter多項式は$ f_A(T) = P_C(T) f_C(T) $を満たし、ここで$ P_C(T) $は$ R(p,\lambda) $のHilbert-Poincaré級数である。
• 重層代数$ R(p,\lambda) $が形式的に3生成であるとき、そのPoincaré級数は$ \frac{1 - T^c}{(1 - T^{d_1})(1 - T^{d_2})(1 - T^{d_3})} $の形を取り、$ 1 + d_1 + d_2 + d_3 = c $を満たす。これは、準同次的完全交差であることを示唆する。
• $ k = \mathbb{C} $のとき、代数$ R(p,\lambda) $は第一種Fuchsian群に関連する自動形式の環と同型であり、その構造はArnoldの例外的単模特異点に対応する。
• 形式的に3生成である$ R(p,\lambda) $の分類（$ t \geq 4 $、$ k = \mathbb{C} $）により、表5に12個の特定の式が得られ、すべてArnoldの$ J_{3,0}, Z_{1,0}, \dots, VNA^{1}_{0,0} $特異点に同値である。
• $ t = 3 $の場合、表4の14個の式は、正確にArnoldの例外的単模特異点に対応し、$ R(p,\lambda) \cong k[x,y,z]/(F) $が成り立ち、$ F $は次数$ c $の斉次関係であり、$ \deg(x), \deg(y), \deg(z) $は$ 1 + d_1 + d_2 + d_3 = c $を満たす。