[论文解读] The Hopf algebras of type B quasisymmetric functions and peak functions

Samuel K. Hsiao, T. Kyle Petersen|ArXiv.org|Oct 31, 2006

Algebraic structures and combinatorial models参考文献 8被引用 5

一句话总结

本文证明了在自然对乘积下，类型 B 的拟对称函数构成一个霍普夫代数，且引入了一类新基——类型 B 峰函数，其构成一个霍普夫子代数。关键贡献在于证明了从类型 B 拟对称函数到类型 B 峰函数的映射 Θ_B 是一个霍普夫代数同态，从而通过其满射性与霍普夫代数运算的相容性，确认了子代数结构。

ABSTRACT

We show that with the appropriate choice of coproduct, the type B quasisymmetric functions form a Hopf algebra, and the recently introduced type B peak functions form a Hopf subalgebra.

研究动机与目标

• 建立类型 B 拟对称函数在适当对乘积下的霍普夫代数结构。
• 在类型 B 拟对称函数内定义并研究类型 B 峰函数作为一类新基。
• 通过证明映射 Θ_B 是霍普夫代数同态，证明类型 B 峰函数构成一个霍普夫子代数。
• 将类型 A 拟对称函数的已知结果推广至类型 B 设置，特别是推广斯腾布里奇的峰代数。

提出的方法

• 通过伪组合与修正的单项基 M_β 及其细化规则，定义类型 B 拟对称函数。
• 通过 α 的所有细化 β 的求和，加权系数为 2^{l(β)−1}，引入类型 B 峰函数 K_α。
• 定义映射 Θ_B: BQsym → Π_B，将 F_α 映射至 K_̂_α，其中 ̂_α 是由 α 导出的峰组合。
• 通过验证其在混洗积恒等式下的表现，证明 Θ_B 是一个分次环同态。
• 通过证明其与对乘积的交换性，证明 Θ_B 是霍普夫代数同态，利用同构 BQsym ≅ ℤ[M_1] ⊗ Qsym。
• 利用 e（在 ℤ[M_1] 上的单位元）与 Θ（斯腾布里奇的映射）均为霍普夫同态的事实，从而推出其张量积 Θ_B 也是霍普夫同态。

实验结果

研究问题

• RQ1 类型 B 拟对称函数代数是否在定义良好的对乘积下具有自然的霍普夫代数结构？
• RQ2 最近引入的类型 B 峰函数能否被证明是类型 B 拟对称函数的霍普夫子代数？
• RQ3 映射 Θ_B（将基本类型 B 拟对称函数映射至类型 B 峰函数）如何与霍普夫代数运算相互作用？
• RQ4 类型 B 拟对称函数的霍普夫代数结构是否与类型 A 拟对称函数中观察到的混洗积规则相容？
• RQ5 类型 B 峰函数与带符号置换的峰代数之间存在何种关系？

主要发现

• 在对乘积 Δ(M_α) = ∑_{βγ=α} M_β ⊗ M_γ 下，类型 B 拟对称函数构成一个霍普夫代数，其中 βγ 表示连接。
• 类型 B 峰函数 K_α 构成类型 B 拟对称函数的霍普夫子代数，因为它们是满射霍普夫代数同态 Θ_B 的像。
• 映射 Θ_B: BQsym → Π_B 是一个分次满射环同态，保持乘积与对乘积结构。
• Θ_B 限制在类型 A 拟对称函数上时，恢复了斯腾布里奇原始的映射 Θ，确认了与已知结果的一致性。
• 分次分量 Π_B,n 的维数为 f_{n+1}，其中 f_n 是第 n 个斐波那契数，表明其与斐波那契数的组合结构相关。
• BQsym 上的对乘积与 X+Y 规则相容：Q(X+Y) = ∑ R(X)⊗S(Y)，因此 Δ(Q) = ∑ R⊗S，通过双代数条件确认了霍普夫代数公理。