[論文レビュー] Deformations of type D Kleinian singularities

Paul Boddington|arXiv (Cornell University)|Dec 29, 2006

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

ひとこと要約

この論文は、次数 $n$ の多項式 $q$ をパrameterとする、型 $D_n$ クライン型特異点の非可換変形 $D(q)$ の族を構成し、すべての非可換変形が適切な $D(q)$ に同型であることを証明する。さらに、$D(q)$ とクレイリー・ブーヴィー–ホランド代数 $ olimits^{oldsymbol{ olimits}}$ 間に明示的な同型写像を確立し、型 $D_n$ のすべての非可換変形が適切な $ olimits^{oldsymbol{ olimits}}$ に同型であることを示す。同型の分類は、グラフ自己同型、スケーリング、および反転を用いてなされる。

ABSTRACT

For $n\geq 4$ we shall construct a family $D(q)$ of non-commutative deformations of the coordinate algebra of a Kleinian singularity of type $D_n$ depending on a polynomial $q$ of degree $n$. We shall prove that every deformation of a type $D$ Kleinian singularity which is not commutative is isomorphic to some $D(q)$. We shall then consider in type $D$ the family of deformations $\mathcal{O}^{\boldsymbolλ}$ constructed by Crawley-Boevey and Holland. For each $\mathcal{O}^{\boldsymbolλ}$ which is not commutative we shall exhibit an explicit isomorphism $D(q)\cong \mathcal{O}^{\boldsymbolλ}$ for a suitable choice of $q$. This will enable us to prove that every deformation of a Kleinian singularity of type $D_n$ is isomorphic to some $\mathcal{O}^{\boldsymbolλ}$ and determine when two $\mathcal{O}^{\boldsymbolλ}$ are isomorphic.

研究の動機と目的

• 型 $D_n$ クライン型特異点の非可換変形 $D(q)$ の新しい族を、次数 $n$ の多項式 $q$ をパrameterとして構成すること。
• 型 $D_n$ クライン型特異点のすべての非可換変形が、適切な $D(q)$ に同型であることを証明すること。
• 適切な $q$ に対して、$D(q)$ とクレイリー・ブーヴィー–ホランド代数 $\mathcal{O}^{\boldsymbol{\lambda}}$ 間に明示的な同型写像を確立すること。
• $ olimits^{oldsymbol{ olimits}}$ 代数間のすべての同型を、同型型を保つ対称性を特定することによって分類すること。

提案手法

• バヴュラ、スミス、ホッジズが研究した類似の非可換代数の部分代数として $D(q)$ を生成子と関係式を用いて構成すること。
• 次数 $n$ の多項式 $q$ を用いて $D(q)$ を定義し、型 $D_n$ のすべての非可換変形を捉えるようにすること。
• 生成子と関係式を一致させ、$ olimits$ に対するトレース条件を用いて、$D(q) \cong \mathcal{O}^{\boldsymbol{\lambda}}$ の明示的同型写像を確立すること。
• パrameter列 $ olimits$ に作用する反転 $r_i$ とグラフ自己同型を用いて、同型型を保つ対称性を分類すること。
• filtered 代数としての $ olimits^{oldsymbol{ olimits}}$ の構造を解析し、$F_4$（次数 4 のフィルター成分）の次元が 3 次元であることから $D(q)$ と関連付けること。
• $D(q) \cong D(\tilde{q})$ となる条件を、$q(x)q(-x-1)$ のスカラー倍および対称性による変換を比較することによって導出すること。

実験結果

リサーチクエスチョン

• RQ1 型 $D_n$ クライン型特異点のすべての非可換変形は、適切な次数 $n$ の多項式 $q$ に対して $D(q)$ に同型であるか？
• RQ2 クレイリー・ブーヴィー–ホランド代数 $ olimits^{oldsymbol{ olimits}}$ は、同型写像によって明示的に $D(q)$ 変形と特定できるか？
• RQ3 $ olimits^{oldsymbol{ olimits}}$ 代数の同型型を保つ対称性は何か？ それらはパラメータ $ olimits$ とどのように関係するか？
• RQ4 不変量 $q(x)q(-x-1)$ 及び $ olimits \mapsto 1 - \nolimits$ による変換が、異なる $D(q)$ 代数間の同型をどのように分類するか？

主な発見

• 型 $D_n$ クライン型特異点のすべての非可換変形は、次数 $n$ の多項式 $q$ に対して $D(q)$ に同型である。
• 適切な $q$ の選択に応じて、$D(q) \cong \mathcal{O}^{\boldsymbol{\lambda}}$ の明示的同型写像が構成される。
• $ olimits^{oldsymbol{ olimits}}$ 代数間の同型は、グラフ自己同型、$ olimits$ のスケーリング、およびパラメータ空間における反転によってのみ生じる。
• $n=4$ の場合、$ olimits^{oldsymbol{ olimits}}$ の同型型は、パラメータ列の置換および $ olimits \mapsto 1 - \nolimits$ 変換による軌道によって決定され、3 種類の異なる対称的形態が存在する。
• $D(q) \cong D(\tilde{q})$ であるための必要十分条件は、$q(x)q(-x-1)$ が $ olimits$、$ olimits'$、または $ olimits''$ から得られる 3 つの対称的形態のいずれかのスカラー倍であることである。
• $ olimits^{oldsymbol{ olimits}}$ の次数 4 要素の空間 $F_4$ は 3 次元であり、$1$、$\langle aba \rangle$、$\langle aca \rangle$、$\langle ada \rangle$ で生成され、それらの間に一意な関係が存在する。