그룹 동형사상으로 색인된 범주

초록

τ : H→G 라는 그룹 동형사상을 이용해 객체와 사상의 차수를 동시에 부여하는 τ‑색인 범주를 정의하고, ‘반‑강화’된 Yoneda 보조정리와 반단순성 구조정리를 제시한다. 또한 τ‑색인 범주와 τ‑모듈 범주 사이의 2‑동등성을 구축한다.

상세 분석

이 논문은 기존의 χ‑색인(graded) 범주 개념을 일반적인 그룹 동형사상 τ : H→G 로 확장한다. 기존의 χ‑색인은 교차 모듈(crossed module) 구조를 필요로 했지만, 저자는 군 동형사상만으로도 충분히 객체와 사상의 차수를 일관되게 부여할 수 있음을 보인다. τ‑색인 범주의 정의(Def. 2.1)는 세 가지 조건을 만족한다. 첫째, 범주는 H‑Hom‑graded, 즉 각 호모스페이스가 H‑그레이드 R‑모듈이며 합성은 차수 보존 형태로 정의된다. 둘째, τ‑색인 범주의 1‑차 사상 전용 부분 C₁은 G‑graded, 즉 객체가 G‑차수에 따라 분리된 부분범주들의 직합으로 표현된다. 셋째, 호모스페이스 Hom_h(X,Y) 가 비자명하려면 객체 차수 y 가 τ(h)·x 와 일치해야 한다. 이 조건은 객체와 사상의 차수가 τ에 의해 연결됨을 보장한다.

저자는 τ‑색인 범주의 2‑범주 C​at^τ 를 구축하고, τ‑색인 함자와 자연 변환을 각각 H‑Hom‑graded 함자와 차수 1인 자연 변환으로 제한한다. 중요한 기술적 난관은 R‑Mod^H 가 비가환 군 H 에 대해 대칭 브레이딩을 갖지 않으므로 전통적인 V‑강화 Yoneda 임베딩이 정의되지 않는 점이다. 이를 해결하기 위해 ‘반‑강화’된 Yoneda 임베딩을 도입한다. 구체적으로 각 a∈H 에 대해 일본어 기호 ょ_a 를 사용해 H‑Hom‑graded 함자 ょ_a X : C→R‑Mod^•H 를 정의하고, 이 함자들의 모임을 (C₁)^op → Fun_H(C,R‑Mod^•H) 로 보낸다. Theorem 2.9는 이 임베딩이 자연 변환 Nat_H( ょ_a X, F ) 와 (F X)_{a^{-1}} 사이의 동형을 제공함을 증명한다. 이는 전통적인 Yoneda 보조정리와 유사하지만, 사상 차수에 대한 제약이 완화된 형태다.

다음으로 ‘시프트 객체(shift objects)’를 도입한다. 시프트 객체는 각 h∈H 에 대해 객체 X 를 τ(h)·X 로 이동시키는 동형을 제공하며, 이는 τ‑색인 범주의 구조를 전체적으로 재구성하는 데 핵심 역할을 한다. 중요한 결과는 반단순(semisimple) τ‑색인 범주에서는 시프트 객체가 자동으로 존재한다는 점이다(Corollary 3.16, Proposition 3.18). 이를 바탕으로 저자는 반단순 τ‑색인 범주의 구조정리를 전개한다. 구체적으로, 각 반단순 τ‑색인 범주는 일정한 부분군 L≤ker τ 와 정규화된 2‑코사이클 ψ∈H²(H/L,R^×) 로 정의되는 기본 블록 M_τ(L,ψ)⟨g⟩ 의 직합으로 분해된다(Theorem 3.30). 여기서 ⟨g⟩ 은 객체 차수를 g∈G 로 이동시키는 시프트를 의미한다. 두 블록 사이의 τ‑색인 동등사상은 군 원소와 1‑코사이클에 의해 완전히 기술된다(Theorem 3.33). 이는 기존의 반단순 모듈 범주 분류 결과(Ost03, Nat17)와 직접적인 유사성을 보이며, τ‑색인 구조가 추가적인 자유도를 제공함을 보여준다.

마지막으로 τ‑색인 범주와 τ‑모듈 범주(H‑Mod^τ) 사이의 2‑동등성을 구축한다. τ‑모듈 범주는 G‑그룹oid G_τ 를 이산 범주로 삼아 Cat 으로 가는 의사함자(pseudofunctor) 형태로 정의된다. Theorem 4.19는 τ‑색인 범주(시프트 포함)와 τ‑모듈 범주가 2‑동등함을 증명한다. 특히 G=1 일 때는 기존의 H‑모듈 범주와 완전히 일치한다. 이 2‑동등성은 반단순 경우에도 제한되어, Theorem A와 B를 τ‑모듈 관점에서 재해석한다. 논문은 또한 향후 χ‑색인(교차 모듈) 범주에 대한 모노이달 2‑범주 구조를 구축할 계획을 제시한다.

전체적으로 이 연구는 그룹 동형사상을 매개로 한 새로운 색인 이론을 제시하고, 기존의 교차 모듈 기반 접근법을 일반화함으로써 더 넓은 범주의 구조와 분류를 가능하게 만든다. 특히 ‘반‑강화 Yoneda 보조정리’와 ‘시프트 객체’ 개념은 τ‑색인 범주의 내부 메커니즘을 이해하는 데 핵심적인 도구가 된다.