[論文レビュー] $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 $-部分置換双モジュールを用いて、群代数のブロック間における一般化された$ 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 $-部分置換同値、すばやいリカード同値、および同型的関係の間の関係を明確にすること。

提案手法

• $ p $-部分置換同値を、インデコンポジット和成分がねじれた対角的頂点$ \Delta(P,\phi,Q) $を備えた$ \gamma \in T^{\Delta}(A,B) $の要素として定義する。
• $ G \times H $の部分群に対してバレー構成を適用するが、それらが必ずしも直積でない場合を含む。この非標準的部分群に適応したモジュール構造を用いる。
• $ p $-部分置換双モジュールの一般化されたテンソル積を導入し、このようなテンソル積のバレー構成を表す新しい公式を提示する。
• $ \gamma $-バレー対の概念を導入し、$ p $-部分置換同値とブロック理論、融合系を結びつける。
• 図式的構造の可換性を確認するため、特性理論的技法と$ \kappa $-写像を用いる。
• $ \mathcal{O} $-双対$ \gamma^\circ $と関係式$ \gamma \cdot_H \gamma^\circ = [A] $、$ \gamma^\circ \cdot_G \gamma = [B] $を用いて、同値条件を定義する。

実験結果

リサーチクエスチョン

• RQ1 新しい一般化された$ p $-部分置換同値の下で、ブロック代数のどの不変量が保存されるか。
• RQ2 $ p $-部分置換同値の構造は、双モジュールの可能な頂点と成分にどのような制約を与えるか。
• RQ3 $ p $-部分置換同値と、すばやいリカード同値や同型的関係といった既存の概念との関係は何か。
• RQ4 2つのブロック間の$ p $-部分置換同値の集合は有限である可能性があるか。どのような条件下でそうなるか。
• RQ5 $ \gamma $-バレー対は、デフレクト群と融合系に関する情報をどのように符号化するか。

主な発見

• $ p $-部分置換同値は、ブロックのデフレクト群を保存し、それらの融合系の間の同型を誘導する。
• 2つのブロック間の$ p $-部分置換同値の集合は有限であり、そのような同値は最大頂点を持つ成分をただ一つ持つ。
• ブロック$ A $と$ B $の間のすばやいリカード同値は、$ p $-部分置換同値を誘導する。
• $ p $-部分置換同値は、ブロック間の同型的関係を誘導する。
• $ \gamma $-バレー対の構成は、$ G \times H $-共役に関して、デフレクト群および融合系の間の一意的な同型を選び出す。
• $ p $-部分置換同値の最大モジュールは、そのバレー構成によって特徴づけられ、同値構造全体を支える。