공동확장 대수와 새로운 인플레이션 함자

초록

이 논문은 특성 $p$인 체 $k$ 위의 유한군에 대한 공동코호몰로지 매키 펑터들의 새로운 인플레이션 함자를 정의하고, 이를 이용해 $p$가 홀수이고 $G$가 초단순 아벨 군일 때 단순 펑터 $S_{\mathbf 1}^G$의 자기 확장 대수 $\operatorname{Ext}^*{\mathsf{Mack}k^{\mathrm{coh}}}(S{\mathbf 1}^G,S{\mathbf 1}^G)$를 명시적으로 제시한다.

상세 분석

본 연구는 매키 펑터 이론에서 핵심적인 두 문제, 즉 (1) 코호몰로지 매키 펑터 사이의 인플레이션(상승) 작용을 어떻게 정의하고, (2) 단순 코호몰로지 매키 펑터들의 자기 확장 대수를 구체적인 생성자와 관계식으로 기술할 수 있는가에 초점을 맞춘다. 저자는 먼저 기존의 인플레이션 함자(특히 바이스터-그루프스 인플레이션)가 일반적인 매키 펑터 범주에서는 정확히 작동하지 않는 점을 지적하고, 이를 보완하기 위해 ‘공동코호몰로지 매키 펑터’ 범주 $\mathsf{Mack}_k^{\mathrm{coh}}$에 제한한다. 이 범주에서는 각 서브그룹 $H\le G$에 대해 코호몰로지 그룹 $H^*(H,k)$가 자연스럽게 펑터값으로 들어가며, 전단사와 제한 사상 사이의 이중성(맥키 이중성)이 유지된다.

새로운 인플레이션 함자는 두 단계로 구성된다. 첫 번째 단계는 서브그룹 $N\trianglelefteq G$에 대한 코호몰로지 전단사 $H^(G/N,k)\to H^(G,k)$를 바이스터 집합을 이용해 끌어올리는 과정이다. 여기서 저자는 ‘정규화된 바이스터 집합’ 개념을 도입해, 전단사와 제한 사상이 모두 정확히 보존되는 함자를 구축한다. 두 번째 단계는 이 함자를 코호몰로지 매키 펑터에 적용해, $S_{\mathbf 1}^{G/N}$를 $S_{\mathbf 1}^G$로 ‘인플레이트’시키는 작업이다. 중요한 점은 이 인플레이션이 완전함(exact)하고, $\operatorname{Ext}$-그룹을 보존한다는 사실이다.

그 다음 저자는 $G$가 초단순 아벨 군 $C_p^r$인 경우에 집중한다. 이 경우 $H^*(G,k)$는 외부 대수와 다항 대수의 텐서곱 형태로 알려져 있다. 저자는 인플레이션 함자를 이용해 $G$의 모든 비자명한 서브그룹 $H$에 대해 $S_{\mathbf 1}^H$의 자기 확장 대수를 재귀적으로 계산한다. 핵심은 $E^1$ 페이지가 $H^1(G,k)$와 $H^2(G,k)$에 의해 생성되는 자유 대수이며, 차수 1인 생성자는 외부 대수(반대칭) 구조를, 차수 2인 생성자는 다항 대수(대칭) 구조를 형성한다는 점이다.

마지막으로 저자는 이 두 종류의 생성자 사이에 존재하는 관계식을 명시한다. 구체적으로, 차수 1 생성자 $x_i$와 차수 2 생성자 $y_j$에 대해 $x_i x_j + x_j x_i =0$ (외부 대수 관계)와 $x_i^p =0$ (특성 $p$에 의한 차수 제한), 그리고 $x_i y_j = y_j x_i$ (차수 교환 관계)가 성립한다. 따라서 전체 자기 확장 대수는
\