블록 대수의 호흐코시 차원에 대한 제한

본 논문은 유한군 \(G\)와 그 군대수 \(kG\) 위의 블록 대수 \(B\)에 대해, 블록의 결함 \(d(B)\)와 호흐코시 차수 \(n\)만을 변수로 하는 함수 \(f(n,d)\)가 존재하여 \(\dim_k HH^n(B)\le f(n,d)\)임을 증명한다. 먼저, 블록의 결함군 \(P\)를 정의하고, 결함군의 차수 \(d\)가 \(p^d=|P|\)임을 상기한다. 약한 Donovan 추측은 결함에만 의존하는 상수로 카르테니안 행렬의 엔트리들을 제한한다는 내용이며, Brauer–Feit 정리는 이 추측의 특수 경우로서 \(\dim_k HH^0(B)=\dim_k Z(B)\) 가 결함에 의해 제한된다는 것을 보인다. 논문의 핵심은 고차 호흐코시 차원에서도 같은 제한이 성립한다는 것을 보이는 것이다. 이를 위해 다음과 같은 일련의 도구들을 도입한다. 1. **대각 부분군과 호흐코시 동형**: \(\Delta H=\{(h,h)\mid h\in H\}\subseteq G\times G\) 로 정의하고, \(HH^*(B)\cong H^*(\Delta G;B)\) 라는 동형을 이용한다. 이는 블록을 \((G\times G)\)-양쪽 모듈로 보는 관점을 제공한다. 2. **전이와 제한 사상**: 임의의 부분군 \(H\le G\)에 대해 \(U^G\subseteq U^H\) 와 전이 사상 \(\operatorname{tr}_G^H:U^H\to U^G\) 를 정의한다. Lemma 5는 \(U\)가 \(\operatorname{Ind}_G^H(V)\)의 직접 합성분이면 전이와 제한을 통해 코호몰로지를 기술한다. 3. **Brauer 쌍과 분해**: \(B\)에 대한 Brauer 쌍 \((Q,e)\)를 도입하고, \(B(Q,e)=kC_G(Q)e\) 로 정의한다. Proposition 7은 \(H^*(\Delta G;B)\) 가 모든 Brauer 쌍에 대한 전이 이미지의 직합으로 분해된다는 것을 보인다. 여기서 중요한 점은 각 \(B(Q,e)\) 가 \(\Delta Q\)-고정점을 갖지 않으므로 전이 사상이 차원을 크게 늘리지 않는다. 4. **중심 부분군을 통한 차원 감소**: Lemma 9는 중앙 \(p\)-부분군 \(Z\le Z(G)\) 를 나누어 \(\bar G=G/Z\) 와 \(\bar B\) 로 이동하면 \(\dim HH^n(B)\) 가 \(\sum_{i=0}^n \dim HH^i(\bar B)\) 로 제한된다는 것을 보여준다. 이는 Lyndon–Hochschild–Serre spectral sequence 를 이용한 결과이다. 5. **재귀적 상한 함수 정의**: 결함이 0인 경우는 행렬 대수이므로 차원이 1이며, \(n=0\)인 경우는 Brauer–Feit 정리로부터 상한이 주어진다. 이를 바탕으로 \