[論文レビュー] On the Spectra of Quantum Groups

Milen Yakimov|arXiv (Cornell University)|Jun 20, 2011

Algebraic structures and combinatorial models参考文献 53被引用数 38

ひとこと要約

本稿は、任意の体上での単純代数的群 $G$ の量子関数代数 $R_q[G]$ の素スペクトルおよび原始スペクトルを明示的に記述する。$q$ が単位根でないという条件下で、Josephの局域化の中心を特定し、De Concini–Kac–Procesi代数における変数分離法を確立することで、極大イデアルを分類し、すべての極大イデアルが有限余次元を持つことを証明するとともに、$R_q[G]$ がすべての極大素イデアル鎖の長さが $\dim G$ に等しい第一鎖条件を満たすことを示した。これは、量子群のスペクトルおよびホモロジー的性質に関する長年の未解決問題を解決する。

ABSTRACT

Joseph and Hodges-Levasseur (in the A case) described the spectra of all quantum function algebras R_q[G] on simple algebraic groups in terms of the centers of certain localizations of quotients of R_q[G] by torus invariant prime ideals, or equivalently in terms of orbits of finite groups. These centers were only known up to finite extensions. We determine the centers explicitly under the general conditions that the deformation parameter is not a root of unity and without any restriction on the characteristic of the ground field. From it we deduce a more explicit description of all prime ideals of R_q[G] than the previously known ones and an explicit parametrization of Spec R_q[G]. We combine the latter with a result of Kogan and Zelevinsky to obtain in the complex case a torus equivariant Dixmier type map from the symplectic foliation of the group G to the primitive spectrum of R_q[G]. Furthermore, under the general assumptions on the ground field and deformation parameter, we prove a theorem for separation of variables for the De Concini-Kac-Procesi algebras U^w_\pm, and classify the sets of their homogeneous normal elements and primitive elements. We apply those results to obtain explicit formulas for the prime and especially the primitive ideals of U^w_\pm lying in the Goodearl-Letzter stratum over the 0-ideal. This is in turn used to prove that all Joseph's localizations of quotients of R_q[G] by torus invariant prime ideals are free modules over their subalgebras generated by Joseph's normal elements. From it we derive a classification of the maximal spectrum of R_q[G] and use it to resolve a question of Goodearl and Zhang, showing that all maximal ideals of R_q[G] have finite codimension. We then prove that all maximal chains in Spec R_q[G] have the same length equal to GKdim R_q[G]= dim G, i.e. R_q[G] satisfies the first chain condition for prime ideals in Nagata's terminology.

研究の動機と目的

• 量子関数代数 $R_q[G]$ の素スペクトルおよび原始スペクトルに関する未解決問題を解消すること。
• Josephの $R_q[G]$ への局域化の中心を明示的に決定し、従来の有限拡大に依存するのを排除すること。
• $R_q[G]$ の極大イデアルを分類し、GoodearlとZhangの有限余次元に関する問いに答えること。
• 複素数の場合に、$G$ のシンプレクティックファイブレーションから $\mathrm{Prim}\,R_q[G]$ へのトーラス作用を保つDixmier型写像を構成すること。
• $R_q[G]$ が第一鎖条件を満たし、すべての極大素イデアル鎖の長さが $\dim G$ に等しいことを証明すること。

提案手法

• De Concini–Kac–Procesi代数 $\mathcal{U}^w_\pm$ における変数分離法を用いて、Josephの局域化の中心を明示的に計算する。
• $R^+ \circledast R^-$ の増分イデアルに対して、基本表現の重み順基底を用いて多項式正規生成列を構成する。
• 量子ノンアーベル代数の理論を応用し、$\mathcal{U}^w_\pm$ 内の同次正規および素元を分類する。
• Josephの正規元で生成される部分代数上の $R_w$ の加群構造を用いて、$\{0\}$-層における素イデアルを分析する。
• 関数代数 $\mathrm{gr}\,R_q[G] \cong R^+ \circledast R^-$ の性質を用いて、ノネリアン性および正規元の性質を導出する。
• Kogan–Zelevinskyの結果と組み合わせることで、複素数の場合にトーラス作用を保つDixmier写像を構成する。

実験結果

リサーチクエスチョン

• RQ1 $q$ が単位根でなく、底体が任意の場合に、Josephの $R_q[G]$ への局域化の中心の明示的構造は何か？
• RQ2 GoodearlとZhangの予想に従い、$R_q[G]$ のすべての極大イデアルが有限余次元を持つだろうか？
• RQ3 $R_q[G]$ の素スペクトルおよび原始スペクトルは明示的にパラメトライズ可能だろうか？また、$G$ のシンプレクティックファイブレーションから $\mathrm{Prim}\,R_q[G]$ へのトーラス作用を保つDixmier型写像は存在するか？
• RQ4 $\mathcal{U}^w_\pm$ の構造は、正規元および素元の観点からどのように記述できるか？
• RQ5 $R_q[G]$ は第一鎖条件を満たすだろうか？すべての極大素イデアル鎖の長さは $\dim G$ に等しいだろうか？

主な発見

• $q$ が単位根でなく、底体が任意の場合に、Josephの $R_q[G]$ への局域化の中心が明示的に決定された。
• $R_q[G]$ のすべての極大イデアルが有限余次元を持つことが示され、GoodearlとZhangの問いが解決された。
• $R_q[G]$ の素スペクトル $\mathrm{Spec}\,R_q[G]$ は、有限群の軌道を用いて明示的にパラメトライズされ、複素数の場合にトーラス作用を保つDixmier型写像が構成された。
• $R_q[G]$ は第一鎖条件を満たす：すべての極大素イデアル鎖の長さは $\dim G$ に等しく、これはギルバン＝キリロフ次元とも一致する。
• De Concini–Kac–Procesi代数 $\mathcal{U}^w_\pm$ は変数分離が可能であり、その同次正規元および素元は完全に分類された。
• $R_q[G]$ のトーラス不変素イデアルによる商のJosephの局域化は、Josephの正規元で生成される部分代数上の自由加群である。