[论文解读] $p$-permutation equivalences between blocks of group algebras

Robert Boltje, Philipp Perepelitsky|arXiv (Cornell University)|Jul 17, 2020

Finite Group Theory Research参考文献 15被引用 5

一句话总结

本文通过使用具有扭曲对角顶点的虚拟 $p$-置换双模，引入了群代数块之间 $p$-置换等价性的广义概念。它证明了此类等价性保持了关键不变量，如缺陷群、融合系统和 Külshammer-Puig 类，并建立了这些等价性的有限性与唯一性性质。

ABSTRACT

We extend the notion of a {$p$-permutation equivalence} between two $p$-blocks $A$ and $B$ of finite groups $G$ and $H$, from the definition in [Boltje-Xu 2008] to a virtual $p$-permutation bimodule whose components have twisted diagonal vertices. It is shown that various invariants of $A$ and $B$ are preserved, including defect groups, fusion systems, and Külshammer-Puig classes. Moreover it is shown that $p$-permutation equivalences have additional surprising properties. They have only one constituent with maximal vertex and the set of $p$-permutation equivalences between $A$ and $B$ is finite (possibly empty). The paper uses new methods: a consequent use of module structures on subgroups of $G imes H$ arising from Brauer constructions which in general are not direct product subgroups, the necessary adaptation of the notion of tensor products between bimodules, and a general formula (stated in these new terms) for the Brauer construction of a tensor product of $p$-permutation bimodules.

研究动机与目标

• 将 $p$-置换等价性的概念扩展至超越先前研究中严格假设的范围，特别是排除对共同缺陷群的要求。
• 通过在 $G \times H$ 中使用具有扭曲对角顶点的虚拟 $p$-置换双模，定义更广泛的等价类。
• 研究此类广义等价性下块代数的哪些不变量得以保持。
• 建立块之间 $p$-置换等价性的有限性与结构唯一性。
• 阐明 $p$-置换等价性、精致 Rickard 等价性与同型性之间的关系。

提出的方法

• 将 $p$-置换等价性定义为 $\gamma \in T^{\Delta}(A,B)$ 的元素，其中不可约直和项具有扭曲对角顶点 $\Delta(P,\phi,Q)$。
• 对 $G \times H$ 的子群（不一定是直积）使用 Brauer 构造，将模结构适配至这些非标准子群。
• 为 $p$-置换双模引入广义张量积，并给出此类张量积的 Brauer 构造的新公式。
• 引入 $\gamma$-Brauer 对的概念，以将 $p$-置换等价性与块理论及融合系统联系起来。
• 运用特征理论方法与 $\kappa$-映射，验证关键结果证明中图式结构的交换性。
• 使用 $\mathcal{O}$-对偶 $\gamma^\circ$ 及关系 $\gamma \cdot_H \gamma^\circ = [A]$，$\gamma^\circ \cdot_G \gamma = [B]$ 来定义等价条件。

实验结果

研究问题

• RQ1 在新的广义 $p$-置换等价性下，块代数的哪些不变量得以保持？
• RQ2 $p$-置换等价性的结构如何限制双模的可能顶点与分量？
• RQ3 $p$-置换等价性与现有概念（如精致 Rickard 等价性或同型性）之间存在何种关系？
• RQ4 两个块之间的 $p$-置换等价性集合是否有限，其条件是什么？
• RQ5 $\gamma$-Brauer 对如何编码关于缺陷群与融合系统的信息？

主要发现

• $p$-置换等价性保持了块的缺陷群，并在其融合系统之间诱导出同构。
• 两个块之间的 $p$-置换等价性集合是有限的，且此类等价性仅有一个具有最大顶点的分量。
• 块 $A$ 与 $B$ 之间的精致 Rickard 等价性诱导出一个 $p$-置换等价性。
• $p$-置换等价性诱导出块之间的同型性。
• $\gamma$-Brauer 对构造在 $G \times H$-共轭意义下唯一地选择出缺陷群与融合系统之间的同构。
• 一个 $p$-置换等价性的最大模由其 Brauer 构造表征，并支撑整个等价结构。