[论文解读] A Frobenius-Schur theorem for Hopf algebras

V. Linchenko, Susan Montgomery|ArXiv.org|Apr 14, 2000

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

一句话总结

本文将经典的弗罗贝尼乌斯-施莱夫利定理推广至代数闭域上特征为 0 或 p≠2 的有限维半单霍普夫代数，为不可约特征标 χ 引入一个施鲁尔指标 ν₂(χ)。证明了 ν₂(χ) ∈ {−1, 0, 1}，且 ν₂(χ)≠0 当且仅当对应模自对偶，同时表明余迹算子 S 的迹等于 ν₂(χ) 乘以 χ 的维数之和，将群论结果推广至具有不变形式的霍普夫代数。

ABSTRACT

In this note we prove a generalization of the Frobenius-Schur theorem for finite groups for the case of semisimple Hopf algebra over an algebraically closed field of characteristic 0. A similar result holds in characteristic $p > 2$ if the Hopf algebra is also cosemisimple. In fact we show a more general version for any finite-dimensional semisimple algebra with an involution.

研究动机与目标

• 将有限群的经典弗罗贝尼乌斯-施莱夫利定理推广至代数闭域上特征为 0 或 p≠2 的半单霍普夫代数。
• 利用广义幂映射与积分，为半单霍普夫代数的不可约特征标定义广义施鲁尔指标 ν₂(χ)。
• 建立 ν₂(χ) = 1、−1 或 0，并通过对应模的自对偶性刻画 ν₂(χ) ≠ 0 的情形。
• 证明余迹算子 S 在 H 上的迹等于对所有不可约特征标求和 ν₂(χ) 乘以该特征标的维数。
• 研究函数 χ(h) ↦ ∑(h)χ(h₁h₂) 是否为两个特征标的差，并证明其一般情况下并非如此。

提出的方法

• 通过霍普夫代数的 (m−1) 重共乘法定义广义幂映射 h^{[m]} = ∑(h) h₁⋯hₘ。
• 利用归一化积分 Λ ∈ ∫H 满足 ε(Λ) = 1，定义 νₘ(χ) = ∑(Λ) χ(Λ₁⋯Λₘ)，推广群特征标的和。
• 通过余对称算子 S 在对偶模 V* 上赋予 H-作用，使得 χ_{V*} = χ_V ∘ S。
• 通过 <a|b> = λ(ab) 构造 H 上的非退化对称双线性型，其中 λ 为正则特征标，并利用对偶基将 ν₂(χ) 与模的不变量联系起来。
• 证明 ν₂(χ) = 1（相应地 −1）当且仅当 V_χ 允许一个对称（相应地 反对称）的非退化 H-不变双线性型。
• 利用半单霍普夫代数的结构及在给定条件下 S² = id 的事实，将问题约化为含对合的代数上的结果。

实验结果

研究问题

• RQ1 有限群的经典弗罗贝尼乌斯-施莱夫利定理能否推广至代数闭域上特征为 0 或 p≠2 的半单霍普夫代数？
• RQ2 在霍普夫代数语境下，施鲁尔指标 ν₂(χ) 的正确类比是什么？它如何与模的自对偶性及不变形式相关？
• RQ3 函数 χ^{(2)}(h) = ∑(h)χ(h₁h₂) 在霍普夫代数设定下是否仍为两个特征标的差，如同在群的情形一样？
• RQ4 余迹算子 S 在 H 上的迹如何与所有不可约特征标之和 ν₂(χ)χ(1_H) 相关联？
• RQ5 是否存在一种自然方式在霍普夫代数设定下定义“实值”特征标，类似于群的情形？

主要发现

• 对于代数闭域上特征为 0 或 p≠2 的半单霍普夫代数 H 的任意不可约特征标 χ，施鲁尔指标 ν₂(χ) 的取值在 {−1, 0, 1} 中。
• ν₂(χ) ≠ 0 当且仅当对应 H-模 V_χ 同构于其对偶 V_χ*，且 ν₂(χ) = 1（相应地 −1）当且仅当 V_χ 允许一个对称（相应地 反对称）的非退化 H-不变双线性型。
• 余迹算子 S 在 H 上的迹等于 ∑_{χ∈Irr(H)} ν₂(χ)χ(1_H)，这推广了群论中的公式 1 + t = ∑ ν₂(χ)χ(e_G)，其中 t 为对合元个数。
• 函数 χ^{(2)}(h) = ∑(h)χ(h₁h₂) 一般情况下不是两个特征标的差，通过使用半 smash 乘积 H = kQ₂#^αkC₂ 的反例得以证明。
• 广义施鲁尔指标 ν₂(χ) 与通过模上双线性型定义的指标一致，其构造依赖于关于正则迹形式的对偶基的存在性。
• 在 H 为半单且当 char(k) = p > 2 时 H* 也为半单的条件下，该结果成立，从而保证 S² = id 并可应用含对合的代数框架。