코알지브라와 코모듈 범주에서의 그루손‑젠슨 대칭성 연구

본 논문은 “그루손‑젠슨 대칭성(Gruson‑Jensen duality)”이라는 개념을 코알지브라와 코모듈 범주에 적용함으로써, 왼쪽 코모듈 범주 \({}^C\!\mathcal{M}\)와 오른쪽 코모듈 범주 \(\mathcal{M}^C\)가 서로 대칭(symmetric)인지 여부를 체계적으로 탐구한다. **1. 서론 및 배경** 먼저, 고전적인 그루손‑젠슨 이중대칭은 링 \(R\) 위의 단위 오른쪽 모듈 범주 \(\mathsf{Mod}\!-\!R\)와 그 반대 범주 \(\mathsf{Mod}\!-\!R^{\mathrm{op}}\) 사이에 존재한다. 이 결과는 모듈 이론에서 충분히 많은 아이디엠포턴트를 가진 링에 대해, 유한히 제시된 모듈들의 범주가 서로 대칭임을 보인다. 기존 연구는 이 현상을 ‘대칭 범주(symmetric categories)’라는 범주론적 용어로 재정의했으며, Dung‑García, Crivei‑García 등의 작업을 통해 아이디엠포턴트를 가진 링, 혹은 정확히 정의 가능한 범주에서도 적용 가능함을 보였다. **2. 접근 가능한 범주와 함수링** 논문은 먼저 ‘접근 가능한(finitely accessible)’ Grothendieck 범주의 일반 이론을 정리한다. 이러한 범주는 직접극한을 가지고, 유한히 제시된 객체들의 동형류가 스켈레톤 집합을 이룬다. 주어진 접근 가능한 범주 \(\mathcal{C}\)에 대해, 대표 객체 \(\{U_i\}_{i\in I}\)를 선택하고, \(\operatorname{Hom}_{\mathcal{C}}(U_i,U_j)\)들을 모아 만든 링 \(R\)를 ‘함수링(functor ring)’이라 부른다. \(R\)는 충분히 많은 아이디엠포턴트를 가지며, \(\mathsf{Mod}\!-\!R\)의 유한히 제시된 모듈은 \(\mathcal{C}\)의 유한히 제시된 객체와 정확히 대응한다. **3. 프레이드 범주와 대칭성 정의** Freyd가 정의한 두 범주 \(A(\mathcal{C})\)와 \(B(\mathcal{C})\)는 각각 ‘분할 단사’와 ‘분할 에피’를 모듈화한 동형류 범주이며, 이는 정확히 길이 2인 체인 복합체의 호모톱 동형류와 동등하다. 논문은 \(\operatorname{fp}(\mathcal{C})\)가 아벨 군이면, \(B(\operatorname{fp}(\mathcal{C}))\)와 \(\operatorname{fp}(\mathsf{Mod}\!-\!R)\)가 대칭을 이룬다. 따라서 두 접근 가능한 범주 \(\mathcal{C},\mathcal{D}\)가 ‘대칭 범주’라는 것은 \(B(\operatorname{fp}(\mathcal{C}))\)와 \(B(\operatorname{fp}(\mathcal{D}))\) 사이에 이중동형이 존재함을 의미한다. 이는 Dung‑García가 제시한 정의와 일치한다. **4. 코알지브라와 코모듈 범주의 구조** 코알지브라 \(C\)에 대해, 왼쪽 코모듈 범주 \({}^C\!\mathcal{M}\)와 오른쪽 코모듈 범주 \(\mathcal{M}^C\)는 모두 로컬하게 코히어런트이며, 유한 차원 코모듈들이 생성자 역할을 한다. 이들은 각각 \(C^*\)의 유리(rational) 모듈 범주와 동형이며, \(C^*=\operatorname{Hom}_k(C,k)\)는 약한 \(*\)-위상으로 완비된 대수이다. 코알지브라가 **양쪽 반완전(semi‑perfect)** 하면, \({}^C\!\mathcal{M}\)와 \(\mathcal{M}^C\)는 각각 충분히 많은 아이디엠포턴트를 가진 링 위의 모듈 범주와 동형이므로, 기존 그루손‑젠슨 이중대칭이 바로 적용돼 대칭이 성립한다. **5. 대칭이 깨지는 경우** 하지만, 논문은 다음과 같은 두 종류의 반례를 제시한다. - **단측 반완전 코알지브라**: \(C\)가 좌반완전이지만 우반완전이 아닌 경우(또는 그 반대)에는, 함수링 \(R\)와 \(L\)가 서로 다른 구조를 갖는다. 구체적으로, \(\operatorname{fp}(\mathcal{M}^C)\)가 로컬하게 코히어런트가 아니므로, 프레이드 범주 \(B\)가 대칭을 깨뜨린다. 이는 직접적인 예시(예: 무한 차원 코알지브라의 직합)로 증명된다. - **거의 에테리언(almost noetherian) 조건만으로는 부족**: \(C^*\)가 좌·우 모두 ‘거의 에테리언’(유한 차원 좌·우 아이디얼이 유한 생성)이라 하더라도, 한쪽에서 완전한 에테리언이 아니면 대칭이 성립하지 않는다. 논문은 상삼각 행렬 코알지브라 \(M_2^\Delta(C)\)를 이용해, \(C^*\)가 좌·우 거의 에테리언이지만 우측에서는 전혀 에테리언이 아닌 경우를 구성한다. 이 경우, \(\operatorname{fp}(\mathsf{Mod}\!-\!R)\)와 \(\operatorname{fp}(\mathsf{Mod}\!-\!L)\) 사이에 이중동형이 존재하지 않으며, 따라서 그루손‑젠슨 대칭이 실패한다. **6. 프레이드 범주를 통한 해석** 논문은 이러한 부정 예시들을 프레이드 범주와 체인 복합체 관점에서 재해석한다. 즉, 대칭성 여부를 \(B(\operatorname{fp}({}^C\!\mathcal{M}))\)와 \(B(\operatorname{fp}(\mathcal{M}^C))\) 사이의 호모톱 동형류가 존재하는지 여부로 판단한다. 이 접근법은 기존의 모듈 이론적 검증보다 직관적이며, 특히 코알지브라와 같은 비대칭 구조를 가진 경우에 유용하다. **7. 결론** 결과적으로, 코알지브라의 ‘좋은’ 유한성(예: 모든 코모듈이 유한 차원 생성자)만으로는 그루손‑젠슨 대칭을 보장하지 못한다. 대칭성은 코알지브라가 양쪽 반완전이거나, 함수링이 로컬하게 코히어런트하고 에테리언인 경우에만 성립한다. 논문은 이러한 조건들을 명확히 구분하고, 프레이드 범주와 접근 가능한 범주의 도구를 활용해 대칭성 검증을 범주론적으로 체계화함으로써, 코모듈 이론과 그루손‑젠슨 대칭 사이의 깊은 연관성을 새롭게 조명한다.