[論文レビュー] Graded polynomial identities and exponential growth

Eli Aljadeff, Antonio Giambruno+1 more|ArXiv.org|Mar 10, 2009

Advanced Topics in Algebra参考文献 12被引用数 14

ひとこと要約

この論文は、特性が0の体上の有限次元G-次数代数に対して、G-codimension列が指数関数的に増加することを確立し、G-指数 — すなわち第n G-codimensionのn乗根の極限 — が存在し、非負整数であることを示している。G-指数は、特定の半単純G-次数部分代数の次元に等しく、対称群の表現論と不等式の漸近的評価を用いて、従来の多項式的恒等式に関する既知の結果を次数付き設定に一般化している。

ABSTRACT

Let A be a finite dimensional algebra over a field of characteristic zero graded by a finite abelian group G. Here we study a growth function related to the graded polynomial identities satisfied by A by computing the exponential rate of growth of the sequence of graded codimensions of A. We prove that the G-exponent of A exists and is an integer related in an explicit way to the dimension of a suitable semisimple subalgebra of A.

研究の動機と目的

• 特性が0の体上の有限次元G-次数代数に対して、G-codimension列の指数関数的増加率を特定すること。
• G-指数、すなわち第n G-codimensionのn乗根の極限として定義されるG-指数の存在を確立し、それが整数であることを示すこと。
• 代数Aの適切な半単純G-次数部分代数の次元を用いて、G-指数を明示的に計算すること。
• 対称群の表現論的技法を用いて、通常（非次数付き）の場合に知られているPI-指数に関する既知の結果を、次数付き設定に一般化すること。

提案手法

• 著者たちは、相対的自由G-次数代数 $ F\langle X,G\rangle / \mathrm{Id}^G(A) $ の多重線形成分を分析し、G-codimension $ c_n^G(A) $ の次元に注目する。
• 特に、高さが有界なヤング図式に関連する対称群 $ S_n $ の既約表現の次数に注目して、対称群の表現論を用いる。
• G-単純代数に対して、多重交代的G-次数多項式を構成する方法を用い、これによりcodimensionの下界を評価することが鍵となる。
• 対称群 $ S_n $-表現の既約表現の次数に関する漸近的評価を適用し、スターリングの公式および多項係数の上限を用いる。
• ジャコブソン根の構造と半単純部分代数の性質を活用し、特定の多項式が、あまりに多くの根の元が代入された場合にのみ消えることを示す。
• 最終的な評価は、G-codimensionを多項係数と半単純成分の次元に関連づけることで得られ、同じ基数を持つ指数的下界と上界が得られる。

実験結果

リサーチクエスチョン

• RQ1 特性が0の体上の有限次元G-次数代数Aに対して、G-指数 $ \exp^G(A) = \lim_{n\to\infty} \sqrt[n]{c_n^G(A)} $ は常に存在するか？
• RQ2 G-指数が存在する場合、それは常に整数であり、代数的構造Aの観点から明示的に計算可能か？
• RQ3 G-codimensionの増加率は、Aの半単純G-次数部分代数の次元とどのように関係するか？
• RQ4 対称群の表現論は、次数付き代数におけるG-codimensionの漸近的挙動をどの程度制御できるか？
• RQ5 G-codimensionの指数的増加が、同じ指数的基数を持つ上界と下界で抑えられ、結果としてwell-definedなG-指数が得られるか？

主な発見

• 特性が0の体上の有限次元G-次数代数Aに対して、G-指数 $ \exp^G(A) $ が存在し、非負整数である。
• G-指数は、Aの特定の半単純G-次数部分代数の次元に等しく、これはAのウェダーバルグ＝マルツェフ分解における単純成分の直和として構成される。
• G-codimension列 $ c_n^G(A) $ は、ある定数 $ C_1, C_2, k_1, k_2 $ を用いて、$ C_1 n^{k_1} d^n \leq c_n^G(A) \leq C_2 n^{k_2} d^n $ を満たす。ここで $ d = \dim C $、$ C $ は半単純G-次数部分代数である。
• 指数的基底 $ d $ は体の拡張に依存しないため、基底体を代数的閉包に拡張してもG-指数は変わらない。
• G- codimensionの下界は、ヤング対称化子と特徴指標の次数を用いて、過剰に根の元が代入された場合にのみ消える多重交代的G-次数多項式を構成することで得られる。
• 漸近的解析はスターリングの公式に依拠し、高さが有界なヤング図式に関連する既約表現の次数は、多項式乗数と指数関数の積として増加する。この指数関数の基数は、半単純成分の次元によって決定される。