[論文レビュー] On the matrix units for the symmetric group

Alexander Molev|arXiv (Cornell University)|Dec 8, 2006

Advanced Topics in Algebra参考文献 7被引用数 1

ひとこと要約

本稿は、対称群の行列単位の2つの公式の同値性を明確に示す簡潔な証明を提供する。1つはミューラーの構成から得られるもので、もう1つはチェレドニクの融合手続きから得られるものである。ヤング盤の構造と隣接対称置換の作用を活用することで、著者らは両手法が群代数内で同一の行列単位をもたらすことを示し、対称群の表現論における2つの顕著な構成を統合する。

ABSTRACT

We give a simple proof of the equivalence of the matrix unit formulas for the symmetric group provided by Murphy’s construction and by the fusion procedure due to Cherednik. 1 Young basis Let us fix some notation and recall some well known facts about the representations of the symmetric group Sn; see e.g. [3]. We write a partition λ as a sequence λ = (λ1,...,λl) of integers such that λ1 � · · · � λl � 0. We shall identify a partition λ with its diagram which is a left-justified array of rows of cells such that the top row contains λ1 cells, the next row contains λ2 cells, etc. Let us fix a positive integer n. If λ1 + · · · + λl = n then λ is a partition of n, written λ ⊢ n. A cell of λ is called removable if its removal leaves a diagram. Similarly, a cell is addable to λ if the union of λ and the cell is a diagram. We shall write µ → λ if λ is obtained from µ by adding one cell. A tableau T of shape λ (or a λ-tableau T) is obtained by filling in the cells of the diagram with the numbers {1,...,n} so that each cell contains exactly one number. We write sh(T) = λ if the shape of T is λ. A tableau T is called standard if its entries strictly increase along the rows and down the columns. The irreducible representations of Sn over C are parameterized by partitions of n. Given a partition λ of n denote the corresponding irreducible representation of Sn by Vλ. The vector space Vλ is equipped with an Sn-invariant inner product ( ,). The orthonormal Young basis {vT} of Vλ is parameterized by the set of standard λ-tableaux T. The action of the standard generators si = (i, i + 1) of Sn in the Young 1 basis is described as follows. If α is a cell of λ which occurs in row i and column j then the content of α is the number j − i. Now let a standard tableau T be given. We denote by ck = ck(T) the content of the cell occupied by the number k. Then for any i ∈ {1,...,n − 1} we have si · vT = dvT + √ 1 − d 2 vsiT, where d = (ci+1 − ci) −1, the tableau siT is obtained from T by swapping the entries i and i + 1, and we assume vsiT = 0 if the tableau siT is not standard. The group algebra C[Sn] is isomorphic to the direct sum of matrix algebras C[Sn] ∼ = ⊕ λ⊢n

研究の動機と目的

• 対称群の群代数における2つの異なる行列単位の構成の同値性を確立すること。
• 不可約表現の文脈において、ミューラーの組合せ的構成とチェレドニクの融合手続きの関係を明確にすること。
• 数学的厳密性を保ちつつ、広範な技術的道具を用いずに、簡潔で直接的な証明を提供すること。

提案手法

• 形状λ ⊢ n の標準ヤング盤によってパrameter化された標準ヤング基底を利用する。
• 隣接対称置換 si = (i, i+1) が基底ベクトル vT に与える作用を、内容の差 ci+1 − ci を含む再帰的関係によって扱う。
• 行列単位の作用を、si · vT = dvT + √(1 − d²) vsiT として定義する。ここで d = (ci+1 − ci)−1 であり、siT が標準でない場合は vsiT = 0 とする。
• 群代数の同型 C[Sn] ≅ ⊕λ⊢n M_{fλ}(C) を適用し、表現論と行列代数を結びつける。
• ヤング盤内のセルの内容を用いて、行列単位公式の中心的パラメータ d を定義する。
• 両構成から得られる行列単位を比較し、構造的・代数的整合性を通じてその同値性を証明する。

実験結果

リサーチクエスチョン

• RQ1 ミューラーの行列単位公式とチェレドニクの融合手続きは、対称群の群代数において同型な行列単位をもたらすか？
• RQ2 Sn の表現における2つの行列単位の構成の間の明確な代数的関係は何か？
• RQ3 これらの2つのアプローチの同値性は、最小限の技術的負担で証明可能か？

主な発見

• ミューラーの構成から得られる行列単位公式とチェレドニクの融合手続きから得られる公式は、群代数 C[Sn] において同値である。
• 隣接対称置換の作用は、標準ヤング基底上で内容の差 ci+1 − ci によって完全に決定され、d = (ci+1 − ci)−1 である。
• 公式 si · vT = dvT + √(1 − d²) vsiT は行列単位の作用を正しく符号化しており、siT が標準でない場合には消える。
• 同値性は、分割 λ ⊢ n によってパrameter化されるすべての不可約表現 Vλ にわたって成り立つ。
• 証明は自己完結的であり、より深い表現論的道具に依存せず、ヤング盤の組合せ論と群代数の構造に依拠している。
• この結果は、対称群代数における行列単位を構成する2つの主要なアプローチの整合性を確認する。