[논문 리뷰] $p$-permutation equivalences between blocks of group algebras

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

Finite Group Theory Research참고 문헌 15인용 수 5

한 줄 요약

이 논문은 가상의 $p$-순열 이중모듈로, $G \times H$에서의 비틀린 대각 꼭짓점들을 가진다. 이는 군 대수의 블록들 사이의 일반화된 $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 동치, 그리고 이소티피 간의 관계를 명확히 하기 위해.

제안 방법

• 가장자기 합성의 꼭짓점이 $\Delta(P,\phi,Q)$인 $\gamma \in T^{\Delta}(A,B)$로 $p$-순열 동치를 정의한다.
• 직접 곱이 아닌 $G \times H$의 부분군에 대해 브라우어 구성법을 적용하며, 이러한 비표준 부분군에 맞게 모듈 구조를 조정한다.
• 가상의 $p$-순열 이중모듈에 대해 일반화된 텐서곱을 도입하고, 이러한 텐서곱의 브라우어 구성에 대한 새로운 공식을 제시한다.
• $p$-순열 동치와 블록 이론, 융합 체계를 연결하기 위해 $\gamma$-브라우어 쌍의 개념을 도입한다.
• 도표적 구조의 교환 법칙을 증명하기 위해 특성 이론적 방법과 $\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$-브라우어 쌍은 결함군과 융합 체계에 대해 어떤 정보를 암시하는가?

주요 결과

• $p$-순열 동치는 블록의 결함군을 유지하며, 이들의 융합 체계 사이에 동형사를 유도한다.
• 두 블록 사이의 $p$-순열 동치 집합은 유한하며, 이러한 동치는 최대 꼭짓점을 가진 유일한 성분만을 가진다.
• 블록 $A$와 $B$ 사이의 놀라운 Rickard 동치는 $p$-순열 동치를 유도한다.
• $p$-순열 동치는 블록들 사이에 이소티피를 유도한다.
• $\gamma$-브라우어 쌍 구성은 $G \times H$-쌍대화에 대해 유일한 동형사를 결함군과 융합 체계 간에 선택한다.
• $p$-순열 동치의 최대 모듈은 그 브라우어 구성으로 특징지어지며, 전체 동치 구조를 뒷받침한다.