공동코호몰로지 매키 펑터의 복잡도와 코호몰로지

초록

본 논문은 특성 p>0인 체 k 위에서 정의되는 유한군 G에 대해, 모든 유한 생성 공동코호몰로지 매키 펑터가 다항식 성장(polynomial growth)을 보이는 경우를 ‘poco 군’이라 정의한다. 주요 결과는 G가 poco 군이 되기 위한 필요충분조건을 정확히 규명한 것으로, p>2일 때는 Sylow p-부분군이 순환군이어야 하고, p=2일 때는 Sylow 2-부분군의 단면 계급(sectional rank)이 2 이하이어야 함을 보인다. 특히, 기본적인 경우인 G가 초등 아벨 군(Elem. abelian p‑group)일 때의 구조를 상세히 분석하고, p=2인 경우에는 단순 펑터 사이의 모든 Ext 군을 완전히 계산하여, 단순 펑터 S₁ᴳ의 자기 확장 대수의 생성자와 관계식을 명시한다.

상세 분석

논문은 먼저 공동코호몰로지 매키 펑터(Mackey functor)의 복잡도 개념을 도입한다. 여기서 복잡도는 펑터를 자유 매키 펑터들의 유한 사슬로 해석했을 때, 사슬의 길이가 입력 군의 크기에 대해 다항식으로 제한되는지를 의미한다. 이를 ‘poco 군’이라는 새로운 군 분류와 연결시켜, 모든 유한 생성 공동코호몰로지 매키 펑터가 다항식 성장성을 갖는 군을 탐구한다. 주요 정리는 두 단계로 증명된다. 첫 번째 단계는 p‑군에 대한 귀환이다. Sylow p‑부분군이 복잡도에 결정적인 역할을 함을 보이고, 특히 초등 아벨 군 E≅(Cₚ)ʳ에 대해 복잡도와 Ext 군 구조를 정밀히 계산한다. 여기서 Extⁿ(S₁ᴱ,S₁ᴱ)의 차원은 n에 대해 다항식적으로 성장함을 보이며, 이는 r≤2일 때만 다항식 성장에 제한된다는 사실과 맞물린다. 두 번째 단계에서는 일반 군 G를 Sylow p‑부분군과 그 여타 부분군들의 반직접곱 구조로 분해하고, 위에서 얻은 p‑군 결과를 이용해 전체 군에 대한 충분조건과 필요조건을 끌어낸다. p>2인 경우, Sylow p‑부분군이 순환군이면 모든 공동코호몰로지 매키 펑터가 유한 차원의 지원 다양체를 갖고, 따라서 복잡도가 다항식으로 제한된다. 반대로 비순환 Sylow p‑부분군이 존재하면, 초등 아벨 군 Cₚ×Cₚ와 같은 부분군을 포함하게 되고, 이 경우 Ext 군이 지수적으로 성장함을 보여 복잡도가 무한히 커짐을 증명한다. p=2인 경우는 더욱 섬세한 분석이 필요하다. 저자는 섹션랭크(sectional rank)가 2 이하인 2‑군, 즉 디헤디랄 군(D₈)이나 사분면 군(Q₈) 등을 포함하는 경우에도 복잡도가 다항식으로 제한된다는 것을, 반대로 섹션랭크가 3 이상인 경우에는 복잡도가 급격히 증가함을 보인다. 특히, p=2일 때는 단순 펑터 S₁ᴳ 사이의 Ext 군을 완전히 계산한다. 저자는 S₁ᴳ의 자기 확장 대수 Ext⁎(S₁ᴳ,S₁ᴳ)를 생성자 x₁,…,x_r (degree 1)와 관계식 x_i²=0, x_i x_j = x_j x_i 등으로 명시하고, 이 대수가 Koszul 대수임을 증명한다. 이러한 명시적 구조는 복잡도 추정뿐 아니라, 매키 펑터 카테고리의 호몰로지적 특성을 이해하는 데 핵심적인 도구가 된다. 전체적으로 논문은 복잡도 이론, 그룹 코호몰로지, 그리고 매키 펑터 이론을 유기적으로 결합하여, ‘poco 군’이라는 새로운 군 분류를 명확히 정의하고, 그 완전한 사분류를 제공한다는 점에서 이론적 의의가 크다.