바이셋을 범주로 보고 유도 바이모듈의 텐서곱 공식

초록

이 논문은 바이셋을 작은 범주로 해석하고, 그 관점에서 유도된 양측 모듈의 텐서곱을 계산하는 마키-유사 공식(맥키 공식)을 간결히 증명한다.

상세 분석

논문은 먼저 유한 군 (G)와 (H) 사이의 ((G,H))-바이셋 (X)를 객체가 (X)의 원소이고, 두 원소 사이의 사상은 (G)와 (H)의 작용을 조합한 형태의 쌍 ((g,h))로 정의되는 작은 범주 (\mathcal{C}X) 로 구성한다. 이 범주는 전형적인 전단사(전함수)와 동형사상 구조를 갖으며, 각 객체의 자기동형군은 해당 원소의 안정자군 (\operatorname{Stab}{G\times H}(x))와 동형이다.

다음으로, 주어진 (k)-선형 ((G,H))-바이모듈 (M)를 (\mathcal{C}X) 위의 가법적 함자 (F_M) 로 대응시킨다. 이 함자는 객체 (x)에 (M)의 (\operatorname{Stab}{G\times H}(x))-불변 부분을 할당하고, 사상 ((g,h))에 대해 자연스러운 전이 사상을 부여한다. 이렇게 하면 유도 바이모듈 (\operatorname{Ind}_X^G M) 은 (\mathcal{C}_X)‑함자들의 콜림(colimit) 혹은 코엔도스(coend) 형태로 표현될 수 있다.

핵심은 두 바이셋 (X)와 (Y)에 대해 (\operatorname{Ind}_X^G M) 와 (\operatorname{Ind}Y^H N) 의 텐서곱을 ((G,K))-바이셋 (X\times_H Y) 위의 함자식으로 전개하는 것이다. 여기서 (X\times_H Y) 는 (H)에 대한 동등관계로 몫을 취한 곱셈으로, 다시 작은 범주 (\mathcal{C}{X\times_H Y}) 로 해석된다. 저자는 코엔도스의 결합법칙과 푸리에 변환식(Fubini‑type) 정리를 이용해
\