[論文レビュー] On the Burnside-Brauer-Steinberg theorem

Benjamin Steinberg|arXiv (Cornell University)|Sep 26, 2014

Algebraic structures and combinatorial models参考文献 10被引用数 3

ひとこと要約

本稿は、有限モノイドにおけるブラウアーのバーンサイド定理の refinement の、最初に知られている類似物を確立し、忠実な表現のキャラクタが r 個の異なる値を取るならば、すべての既約表現が最初の r 個のテンソル積の冪に組成因子として現れることを証明している。さらに、演算子の特性多項式を用いて、対称積についても同様の境界を示し、群表現理論の古典的結果をモノイドへと拡張している。

ABSTRACT

A well-known theorem of Burnside says that if $ρ$ is a faithful representation of a finite group $G$ over a field of characteristic $0$, then every irreducible representation of $G$ appears as a constituent of a tensor power of $ρ$. In 1962, R. Steinberg gave a module theoretic proof that simultaneously removed the constraint on the characteristic, and allowed the group to be replaced by a monoid. Brauer subsequently simplified Burnside's proof and, moreover, showed that if the character of $ρ$ takes on $r$ distinct values, then the first $r$ tensor powers of $ρ$ already contain amongst them all of the irreducible representations of $G$ as constituents. In this note we prove the analogue of Brauer's result for finite monoids. We also prove the corresponding result for the symmetric powers of a faithful representation.

研究の動機と目的

• 有限群から有限モノイドへ、ブラウアーのバーンサイド定理の refinement を拡張すること。
• 有限モノイドのすべての既約表現を実現するために必要なテンソル積の冪の数に対する一様な境界を特定すること。
• 表現行列の異なる特性多項式の数を用いて、忠実表現の対称積について類似の境界を確立すること。
• 対称積によって生成される最小の忠実モジュールが、群の場合と同様に異なる特性多項式の数のみで境界づけられるかどうかを示すこと。

提案手法

• 単位的イデムポテンの特徴づけを用いて、既約表現が組成因子として現れる条件を特定する。
• 対称積キャラクタの母関数を用いて、分母次数が有界な有理関数を得る。
• モリエン型母関数を用いて、対称積のキャラクタと演算子の特性多項式を関連付ける。
• 特にアペックスイデムポテンの役割を含む、有限モノイドの既約表現の構造理論を活用する。
• ニュートンの恒等式を用いてキャラクタ値と特性多項式を関連付け、異なる多項式の数に関する境界を得る。
• モノイドのイデムポテンにおける忠実表現のキャラクタが非ゼロであるという事実を用いて、母関数がゼロでないことを保証する。

実験結果

リサーチクエスチョン

• RQ1 ブラウアーの、すべての既約表現を実現するために必要なテンソル積の冪の数に関する境界を、有限群から有限モノイドへ拡張できるか。
• RQ2 表現行列の異なる特性多項式の数を用いて、有限モノイドのすべての既約表現を実現するために必要な対称積の数に対する一様な境界が存在するか。
• RQ3 対称積の直和 ⊕_{i=0}^k S^i(V) が忠実 KM-モジュールである最小の k が、異なる特性多項式の数にのみ依存するのか、それとも追加の不変量が必要か。
• RQ4 モノイドキャラクタ理論における直交性の欠如が、ブラウアーの元々のキャラクタ論的手法への適用にどのように影響するか。

主な発見

• 有限モノイド M と、特性 0 の体上の忠実表現 ρ に対して、ρ のキャラクタが r 個の異なる値を取るならば、KM のすべての既約表現は、i = 0, ..., r-1 の範囲で V^{igotimes i} の一つの組成因子として現れる。
• すべての既約表現を実現するために必要な対称積の数は、dim(V) · s で有界であり、ここで s は m ∈ M に対する演算子 ρ(m) の異なる特性多項式の数である。
• 原始的イデムポテンの像の対称積の次元の母関数は、分母次数が最大 r である非ゼロの有理関数であり、最初の r 項の中で非ゼロの係数をもつ。
• テンソル積に対する境界 r は、モノイドのサイズに依存せず、異なるキャラクタ値の数にのみ依存するという点で、鋭いものである。
• 対称積の直和 ⊕_{i=0}^k S^i(V) が忠実 KM-モジュールである最小の k は、次元 dim(V) と異なる特性多項式の数のみでは境界づけられず、群の場合とは異なり、追加の不変量が必要である。
• 証明は、群代数におけるアペックスイデムポテンの係数が非ゼロであることに依存しており、これにより母関数が非ゼロであり、次数 r の線形再帰的関係を満たすことが保証される。