[論文レビュー] Infinite symmetric group and combinatorial descriptions of semigroups of double cosets

Yury A. Neretin|arXiv (Cornell University)|Jun 6, 2011

Mathematical Dynamics and Fractals参考文献 25被引用数 7

ひとこと要約

この論文は、無限対称群 $\mathbb{S}_\infty$ 及びそのワルフィング積の二重コセットの半群構造を、色付き多角形面、チップ、グラフを用いて組合せ的枠組みで確立する。乗法は幾何的貼り合わせ操作によって明示的に記述され、表現論および球関数と関連づけられ、以前の無限次元群に関する結果を一般化する。

ABSTRACT

We show that double cosets of the infinite symmetric group with respect to some special subgroups admit natural structures of semigroups. We interpret elements of such semigroups in combinatorial terms (chips, colored graphs, two-dimensional surfaces with polygonal tiling) and describe explicitly the multiplications.

研究の動機と目的

• 無限対称群およびそのワルフィング積の二重コセット $K\\setminus G/K$ における半群構造の組合せ的記述を提供すること。
• コンパクト部分群に限らない二重コセットの乗法性定理を一般化し、無限次元表現論における既知の結果を拡張すること。
• このような二重コセットと符号付き色付き多角形複体（境界データ付き）などの幾何的対象との一対一対応を確立すること。
• これらの組合せ的構造を表現論、特に球関数およびテンソル積構成と関連づけること。
• $\mathbb{S}_\\_\infty$ 及び関連群の文脈において、トレイン、準同型、球関数に関する以前の研究を統合・拡張すること。

提案手法

• 二重コセット $K^\\alpha\\setminus G/K^\\beta$ を、符号付き多角形、色付き辺、境界ラベルが $\alpha$ および $\beta$ に対応するコンパクトで向き付けられた多角形タイル化面として表現する。
• 一致する境界辺に沿った貼り合わせ準同型を定義し、一致する向き付けとラベル付けを満たすことで、二重コセットの乗法を定義する。
• 色分け、メロディ（巡回ラベル付け）、スモells（多角形へのラベル付け）といった組合せ的データを用いて、群の元およびその積を符号化する。
• これらの準同型からトレイン圏を構成し、合成を辺の貼り合わせで与え、貼り合わせ後に包あいを除去する。
• 基底ベクトルの辺への割り当ての和として球関数を定義し、多角形に沿った内積の積が行列係数を符号化する。
• $G = \mathbb{S}_\infty^p$ および $K = \mathbb{S}_\infty^{\\infty}$ にこの枠組みを適用し、行列 $Z$ を用いて組合せ的構造をパrameter化する。

実験結果

リサーチクエスチョン

• RQ1 無限対称群 $G = \mathbb{S}_\infty^p$ 及び特定の部分群 $K$ に対して、二重コセット $K\\setminus G/K$ に自然な半群構造を与える方法は何か？
• RQ2 このような二重コセット半群の元と一対一対応する組合せ的対象（例：グラフ、面、タイル化）は何か？
• RQ3 半群乗法は幾何的にどのように実現され、表現論における代数的合成と一致するか？
• RQ4 誘導表現の球関数は、これらの組合せ的モデルを用いて明示的に計算可能か？
• RQ5 Belyi型データおよび三角形分割は、これらの構成を $\overline{\mathbb{Q}}$ 上の代数的曲線と関連付ける役割を果たすか？

主な発見

• 二重コセット $K^\alpha\\setminus G/K^\beta$ は、符号付き多角形、色付き辺、ラベル付き境界を持つコンパクトで向き付けられた多角形タイル化面と一対一に対応する。
• 二重コセットの乗法は、一致する境界辺に沿った貼り合わせ準同型を用い、一貫した向き付けとラベル付けを満たすことで実現され、整合的かつ結合的である。
• この構成はチップモデルおよび1-および2-gonsの一般化であり、2-gonsは鎖状構造を、1-gonsは3成分型をもたらす。
• 球関数は、辺に正規直交基底ベクトルを割り当てる和として明示的に計算され、多角形に沿った内積の積が行列係数を符号化する。
• この枠組みはBelyi型データを含む：0, 1, ∞ で分岐するリーマン面の三角形分割であり、$Z = (1,1,1)^T$, $\Lambda = 0$ に対応し、$\overline{\mathbb{Q}}$ 上に定義された曲線と関連づけられる。
• チップモデルでは、球関数の公式は行列積のトレース計算に簡略化され、既知の有限次元ケースと整合性を確認する。