[論文レビュー] Combinatorics and Representation Theory for Generalized Permutohedra I: Simplicial Plates

Nick Early|arXiv (Cornell University)|Nov 21, 2016

Advanced Combinatorial Mathematics参考文献 5被引用数 9

ひとこと要約

本稿は、A. オクネアヌによって導入された『プレート』と呼ばれる多面体錐の特性関数のベクトル空間を用いて、一般化されたパーミュトポリードロンのカテゴリフィケーションを提示する。このカテゴリフィケーションは、対称群作用に関して不変である。主な結果は、対称群モジュールの同型としての一般化されたウォルピッツキー恒等式であり、幾何的には単体をスケーリングしたものの単位ハイパーシンプルキシッドでタイル張りする構成に対応し、離散トーラス上の分割の単位とモジュラルディオファントス方程式から導かれる特性式が得られる。

ABSTRACT

In this paper, we announce results from our thesis, which studies for the first time the categorification of the theory of generalized permutohedra. The vector spaces in the categorification are tightly constrained by certain continuity relations which appeared in physics in the mid 20th century. We describe here the action of the symmetric group on the vector spaces in this categorification. Generalized permutohedra are replaced by vector spaces of characteristic functions of polyhedral cones about faces of permutohedra, called plates, due to A. Ocneanu. The symmetric group acts on plates by coordinate permutation. In combinatorics, the Eulerian numbers count the number of permutations with a given number of ascent and descents. The classical Worpitzky identity expands a power $r^p$ as a sum of Eulerian numbers, with binomial coefficients. In our thesis, for the main result we generalize the classical Worpitzky identity to an isomorphism of symmetric group modules, corresponding geometrically to the tiling of a scaled simplex by unit hypersimplices. In the categorification, the volume of a hypersimplex is replaced by the complex-linear dimension of a vector space associated to it. The main technical aspect of the proof of the character formula for the simplex involves a partition of unity of a commutative algebra of translations on a discrete torus, and a certain modular Diophantine equation. A detailed paper is in preparation.

研究の動機と目的

• 多面体錐の特性関数のベクトル空間（A. オクネアヌが導入した「プレート」と呼ばれるもの）を用いて、一般化されたパーミュトポリードロンのカテゴリフィケーションを構築すること。
• 対称群がこれらのプレートのベクトル空間に作用する仕組みを研究し、特にその表現論的構造に注目すること。
• 古典的なウォルピッツキー恒等式を、ハイパーシンプルキシッドに関連するベクトル空間次元に置き換えたモジュール同型に一般化すること。
• 離散トーラス上の可換な平行移動代数における分割の単位を用いて、対称群作用の特性式を確立すること。
• これらのモジュールの表現論的構造を、リンドン語や降下統計量といった組合せ的不変量と関連づけ、さらにトーリック多様体のコホロジーおよびマトロイド理論とも関連付けること。

提案手法

• パーミュトポリードロンの面の周囲の錐の特性関数を用い、対称群の座標置換作用に関して不変なベクトル空間（「プレート」と呼ばれる）を構成する。
• 離散トーラス上の平行移動代数を用いて分割の単位を定義し、$ n $-重組 $ I \in \{0,\dots,r-1\}^n $ で添え字づけられ、$\sum i_j \equiv 1 \mod r$ を満たす要素 $\epsilon_I$ が正規直交イデムポテンである。
• 対称群作用の特性は、モジュラルディオファントス方程式 $\sum \lambda_i x_i \equiv 1 \mod r$ の解の個数により計算され、ここで $\lambda_i$ は巡回長である。
• $\mathcal{C}_r^n$ モジュールが $S_n$-モジュールとして単体プレートモジュール $\mathrm{Pl}(\Delta_r^n)$ に同型であることが示され、基底は $e_2^{j_2} \cdots e_n^{j_n}$（$0 \leq j_i \leq r-1$）で構成され、次元は $r^{n-1}$ である。
• $S_n$ の $\mathcal{C}_r^n$ への作用は自由かつ推移的であり、$e_j$ 演算子はイデムポテン $\epsilon_I$ 上で $q^{i_j}$ を乗じる作用を示し、$e_1 \cdots e_n = q$ の関係と整合する。
• イデムポテン基底における固定点の数え上げにより、既約表現の重複度が計算され、自明表現の生成関数が導出される。

実験結果

リサーチクエスチョン

• RQ1 一般化されたパーミュトポリードロンの理論を、多面体錐の特性関数のベクトル空間（プレート）を用いてどのようにカテゴリフィケーションできるか？
• RQ2 スケーリングされた単体 $\Delta_r^n$ に関連するプレートのベクトル空間における対称群の表現構造は何か？
• RQ3 このカテゴリフィケーションの文脈において、一般化されたウォルピッツキー恒等式がどのように対称群モジュールの同型として現れるか？
• RQ4 離散トーラス上の平行移動代数 $\mathcal{C}_r^n$ は、対称群作用の特性式を計算するために果たす役割は何か？
• RQ5 プレートモジュールにおける既約表現の重複度は、リンドン語や降下統計量といった組合せ的対象とどのように関係するか？

主な発見

• 対称群 $S_n$ は、スケーリングされた単体 $\Delta_r^n$ に関連するプレートのベクトル空間 $\mathrm{Pl}(\Delta_r^n)$ に作用し、このモジュールは離散トーラス上の平行移動代数 $\mathcal{C}_r^n$ と $S_n$-モジュールとして同型である。
• $\mathcal{C}_r^n$ における $S_n$-作用の特性は、モジュラルディオファントス方程式 $\sum \lambda_i x_i \equiv 1 \mod r$ の解の個数で与えられ、$\gcd(\lambda_1,\dots,\lambda_k,r) = 1$ ならば $r^{k-1}$、さもなければ 0 である。
• $\epsilon_I$ 要素は $\mathcal{C}_r^n$ 内で分割の単位をなし、各 $\epsilon_I$ は $e_j$ 演算子に対して一次元固有空間をなしており、$e_j \epsilon_I = q^{i_j} \epsilon_I$ を満たす。
• $\mathcal{C}_r^n$ の次元は $r^{n-1}$ であり、基底は $0 \leq j_i \leq r-1$ を満たす単項式 $e_2^{j_2} \cdots e_n^{j_n}$ で構成され、$S_n$-モジュールとして $\mathrm{Pl}(\Delta_r^n)$ への同型が確認される。
• $\mathrm{Pl}(\Delta_r^n)$ における自明表現の重複度はリンドン語によって数えられ、$r=3$ では生成関数 $\frac{1}{(1-x)^3(1+x+x^2)}$、$r=4$ では $\frac{1}{(1-x)^4(1+x)^2}$ である。
• $\mathrm{Pl}(\Delta_r^n)$ の最初のいくつかの特性表は、既約表現の明示的な重複度を示しており、$n=3, r=4$ の場合に $5\cdot 3^1 + 5\cdot 2^11^2$ のように表れる。これは豊かな組合せ的構造を示している。