A Solomon Mackey formula for graded bialgebras

技術要約：次数付きバイアルジェブラのためのソロモン・マッキー公式

問題提起
本論文は、次数付き $k$-バイアルジェブラの圏における自然な $k$-線形演算の分類を取り扱う。具体的には、「ねじれ投影アダムス演算（twisted projecting Adams operations）」と記される $p_{\alpha, \sigma}$ という演算が形成する代数的構造を調査している。これらの演算は、次数付きバイアルジェブラ $H$ に対して、反復余積 $\Delta^{[k]}$、反復積 $m^{[k]}$、多次数成分への射影 $P_\alpha$、およびテンソル因子に作用する置換 $\sigma \in S_k$ を用いて定義される。

これらの演算の合成は、$H$ が可換または余可換である場合には既知であり（対称群に関するソロモンのマッキー公式やパトラススの降下演算子の結果を回収する）、一般の次数付きバイアルジェブラの場合には未解決であった。一般の場合、演算子の集合 $\{p_{\alpha, \sigma}\}$ は合成に関して閉じているが、$p_{\alpha, \sigma} \circ p_{\beta, \tau}$ の公式はこれまで不明であった。さらに、本論文は、コメンタティブなケースにおいて非可換対称関数（$\text{NSym}$）がこれらを支配しているのと同様に、任意の連結次数付きバイアルジェブラに対してこれらの演算を支配する組合せ論的ホップ代数を特定することを目的としている。

手法
著者は、直接的な代数的操作と組合せ論的な構成の組み合わせを用いている：

1. 代数的導出: 核となる作業は、ねじれ投影アダムス演算の合成 $p_{\alpha, \sigma} \circ p_{\beta, \tau}$ の明示的な公式を導出することである。これには、構成要素となる写像（射影 $P_\alpha$、置換 $\sigma$、反復積 $m^{[k]}$、および反復余積 $\Delta^{[k]}$）の間の交換関係を確立することが必要である。主要な技術的ツールには、「ゾロトレフ・シャッフル（Zolotarev shuffle）」置換、およびこれらの演算がテンソル積や次数成分とどのように相互作用するかに関する特定の補題が含まれる。
2. 線形独立性: 導出された公式の普遍性を検証するために、著者は「生成的」な連結次数付きホップ代数（特定の余積規則を持つ自由代数）を構築し、演算子の族 $\{p_{\alpha, \sigma}\}$ が $k$-線形独立であることを示す。これにより、導出された合成公式が特定の $H$ における特定の代数的関係によるアーティファクトではなく、普遍的に成立することを確認する。
3. 組合せ論的構成: 著者は、PNSym（Permuted Noncommutative Symmetric Functions：置換非可換対称関数）と名付けられた新しい組合せ論的ホップ代数を構築する。この代数の基底は、「モピスクトン（mopiscotations）」（置換組成 $(\alpha, \sigma)$、すなわち組成 $\alpha$ と置換 $\sigma$ のペア）によってインデックス付けされている。PNSym の代数的構造は、演算子 $p_{\alpha, \sigma}$ の合成、畳み込み、およびテンソル積の性質を反映するように定義されている。
4. モノイド代数との接続: PNSym の内部積は、ヤヌス・モノイド（Aguiar および Mahajan によって導入されたもの）および編組配置（braid arrangement）の面モノイドとの関連付けによって分析される。著者は、第 $n$ 次数成分上の演算子の代数が、ヤヌス代数の $S_n$ 不変部分群と同型であることを確立している。

主要な貢献と結果

• 一般化されたソロモン・マッキー公式 (定理 1.19): 主要な結果は、二つのねじれ投影アダムス演算の合成に関する明示的な公式である：
  $$p_{\alpha, \sigma} \circ p_{\beta, \tau} = \sum_{\gamma} p_{\gamma, \tau[\sigma]}$$
  ここで、和は $\alpha$ および $\beta$ によって決定される特定の行和および列和の制約を満たす、非負整数 $\gamma_{i,j}$ からなる $k \times \ell$ 行列について取られる。結果としての置換は、特定の操作 $\tau[\sigma]$（置換のウェイト積のような合成）によって与えられる。この公式は、パトラススの 1994 年の結果およびソロモンのマッキー公式を、任意の次数付きバイアルジェブラへと一般化するものである。
• 畳み込みおよびテンソル公式: 論文は、畳み込み積（$p_{\alpha, \sigma} \star p_{\beta, \tau} = p_{\alpha\beta, \sigma \oplus \tau}$）および、バイアルジェブラのテンソル積と双対性における演算子の振る舞いに関する公式を提供している。
• 代数 PNSym: 新しい組合せ論的ホップ代数 PNSym が構築されている。
  • それは「外部」乗法（畳み込みを反映）と「内部」乗法（合成を反映）を備えている。
  • 外部積の下では連結次数付き余可換ホップ代数であり、内部積の下では非単位バイアルジェブラであることが示されている。
  • すべての構造を尊重する全射準同型 $p: \text{PNSym} \to \text{NSym}$ が存在し、これは PNSym が古典的な非可換対称関数の「置換された」リフトであることを実質的に示している。
• 線形独立性: 定理 1.36 は、適切に選択された連結次数付きホップ代数に対して、演算子 $p_{\alpha, \sigma}$ が線形独立であることを確立している。これは、導出された公式が可能な限り最も一般的な恒等式であることを裏付けている。
• 不変部分群への同型: 論文は、第 $n$ 次数成分上の演算子の代数 $\text{PNSym}^{(2)}_n$ が、ヤヌス代数の $S_n$ 不変部分代数と同型であることを証明している（定理 2.18 および系 2.19）。これは、これらの演算の研究を、降下代数およびティッツ・モノイドの豊かな理論へと結びつけるものである。

意義と主張
著者は、本研究を、次数付きバイアルジェブラ上の自然な演算の恒等式を分類することを目的としたプロジェクトの予備報告として提示している。論文は以下のことを主張している：

1. 導出された合成公式（定理 1.19）は、コメンタティブおよびコメンタティブでないケースにおける既知の公式を一般の状況へと拡張する新しい結果である。
2. 組合せ論的ホップ代数 PNSym は、任意の連結次数付きバイアルジェブラに対して、ねじれ投影アダムス演算を支配する、まさに $\text{NSym}$ がコメンタティブなケースにおいてそうであるような新しい対象である。
3. これらの結果は、計算を組合せ論的代数 PNSym 内の計算へと還元することにより、連結次数付きホップ代数の関手的な恒等式を検証するための機械的なアルゴリズムを提供する。

著者は、証明が「未熟（inchoate）」でありエレガンスに欠けること、および現在の焦点が単項演算（$H \to H$）に限定されていることを明記しており、多入力・多出力演算については今後の課題としている。また、すべての自然な次数付き連結ホップ代数の次数付き自己準同型が、$p_{\alpha, \sigma}$ 演算子の無限線形結合として表現できるかという問い（問題 1.41）は未解決のままであるが、著者はその答えは肯定的なものであると考えている。