A Solomon Mackey formula for graded bialgebras

技术摘要：关于分次双代数的 Solomon Mackey 公式

问题陈述
本文研究了分次 $k$-线性算子在分次 $k$-双代数范畴上的自然分类问题。具体而言，它调查了由“扭曲投影 Adams 算子”（记作 $p_{\alpha, \sigma}$）构成的代数结构。这些算子利用迭代共乘 $\Delta^{[k]}$、迭代乘 $\mu^{[k]}$、向多分次分量的投影 $P_\alpha$ 以及作用于张量因子的置换 $\sigma \in S_k$，在分次双代数 $H$ 上定义。

虽然在 $H$ 为交换或余交换的特殊情况下，这些算子的复合已得到充分理解（分别恢复了对称群的 Solomon Mackey 公式和 Patras 关于下降算子的结果），但在任意分次双代数的通用情形下，这一问题此前仍处于开放状态。在一般情形下，算子集 $\{p_{\alpha, \sigma}\}$ 对复合运算是封闭的，但此前对于 $p_{\alpha, \sigma} \circ p_{\beta, \tau}$ 的复合公式尚不明确。此外，本文试图识别出在任意连通分次双代数中控制这些算子的组合 Hopf 代数，类似于非交换对称函数（$\text{NSym}$）在余交换情形下对它们进行控制的情况。

方法论
作者结合了直接代数推导与组合构造：

1. 代数推导： 核心工作在于推导两个扭曲投影 Adams 算子 $p_{\alpha, \sigma} \circ p_{\beta, \tau}$ 的显式复合公式。这需要建立一系列基本映射之间的交换关系：投影（$P_\alpha$）、置换（$\sigma$）、迭代乘（$m^{[k]}$）以及迭代共乘（$\Delta^{[k]}$）。关键技术工具包括“Zolotarev 混洗”置换以及关于这些算子如何与张量积及分次分量相互作用的特定引理。
2. 线性无关性： 为了验证所推导公式的普适性，作者构造了特定的“泛型”连通分次 Hopf 代数（具有特定共乘规则的自由代数），以证明算子族 $\{p_{\alpha, \sigma}\}$ 是 $k$-线性无关的。这确保了所得出的复合公式并非特定 $H$ 中特定代数关系的产物，而是具有普遍意义的。
3. 组合构造： 本文构造了一个新的组合 Hopf 代数，命名为 PNSym（置换非交换对称函数）。该代数的基由“置换组合”（mopiscotions，即由一个组合 $\alpha$ 和一个置换 $\sigma$ 组成的对 $(\alpha, \sigma)$）索引。PNSym 的代数结构通过镜像算子 $p_{\alpha, \sigma}$ 的复合、卷积和张量积性质来定义。
4. 与单群代数的联系： 作者通过将 PNSym 的内部乘法与 Janus 单群（由 Aguiar 和 Mahajan 引入）以及辫子排列的面对单群（face monoid）联系起来，对其进行了分析。作者证明了在第 $n$ 个分次分量上的算子代数与 Janus 代数的 $S_n$-不变部分同构。

主要贡献与结果

• 广义 Solomon Mackey 公式 (定理 1.19)： 主要结果是两个扭曲投影 Adams 算子的复合显式公式：
  $$p_{\alpha, \sigma} \circ p_{\beta, \tau} = \sum_{\gamma} p_{\gamma, \tau[\sigma]}$$
  其中求和遍历所有满足由 $\alpha$ 和 $\beta$ 确定的特定行和列和约束的非负整数 $k \times \ell$ 矩阵 $\gamma_{i,j}$。所得置换由特定的操作 $\tau[\sigma]$（一种类似外积的置换复合）给出。该公式将 Patras 1994 年的结果和 Solomon 的 Mackey 公式推广到了任意分次双代数。
• 卷积与张量公式： 文中提供了关于卷积积（$p_{\alpha, \sigma} \star p_{\beta, \tau} = p_{\alpha\beta, \sigma \oplus \tau}$）以及这些算子在双代数张量积和对偶性下的行为的公式。
• PNSym 代数： 构造了一个新的组合 Hopf 代数 PNSym。
  • 它拥有一个“外部”乘法（镜像卷积）和一个“内部”乘法（镜像复合）。
  • 文中证明了它在外部积下是一个连通分次余交换 Hopf 代数，且在内部积下是一个非单位双代数。
  • 存在一个保持所有结构的满射 $p: \text{PNSym} \to \text{NSym}$，这有效地表明 PNSym 是经典非交换对称函数的“置换”提升。
• 线性无关性： 定理 1.36 通过选择合适的连通分次 Hopf 代数，确立了算子 $p_{\alpha, \sigma}$ 的线性无关性。这证实了所推导的公式是最具一般性的恒等式。
• 与不变子代数的同构： 本文证明了在第 $n$ 个分次分量上的算子代数 $\text{PNSym}^{(2)}_n$ 与 Janus 代数的 $S_n$-不变子代数同构（定理 2.18 和推论 2.19）。这建立了该算子研究与下降代数及 Tits 单群理论之间的联系。

意义与主张
作者将此工作呈现为一个旨在分类分次双代数上自然算子的项目的初步报告。本文声称：

1. 所推导的复合公式（定理 1.19）是一个新结果，它将已知于余交换和交换情形的公式推广到了更一般的设定。
2. 组合 Hopf 代数 PNSym 是一个全新的对象，它“控制”着任意连通分次双代数的扭曲投影 Adams 算子，正如 $\text{NSym}$ 在余交换情形下控制它们一样。
3. 这些结果提供了一种机械算法，通过将连通分次 Hopf 代数的函子恒等式验证简化为在组合代数 PNSym 内的计算。

作者明确指出其证明过程是“初步的”且缺乏优雅性，目前的研究重点仅限于一元算子（$H \to H$），而多输入-多输出算子的研究将留待未来。本文还提出了一个开放性问题，即是否所有自然的连通分次双代数端同态都可以表示为 $p_{\alpha, \sigma}$ 算子的无穷线性组合（问题 1.41），尽管作者怀疑答案是肯定的。