범주 동형성 그루손젠센 이중성 및 응용

초록

본 논문은 필드 위의 코알제브라 (C)에 대해 왼쪽 코모듈 범주 ({}^C!\mathsf{M})와 오른쪽 코모듈 범주 (\mathsf{M}^C)가 서로 대칭적인지, 즉 두 범주의 유한히 접근 가능한 구조에서 유도되는 함수환 (R)와 (L)의 유한제시 왼쪽 모듈 범주 사이에 Gruson‑Jensen 형태의 이중성이 존재하는지를 연구한다. 주요 결과는 (C)가 좌·우 반완전(semi‑perfect) 혹은 코프리듀얼(co‑Frobenius)일 때 이러한 대칭이 성립함을 보이며, 반대로 일반적인 코알제브라에서는 대칭이 깨질 수 있음을 예시와 반례를 통해 제시한다.

상세 분석

논문은 먼저 유한히 접근 가능한 카테고리 (\mathcal{A})와 (\mathcal{B})에 대해 각각의 프레젠테이션 링 (R=\operatorname{End}{\mathcal{A}}(U)^{\mathrm{op}}), (L=\operatorname{End}{\mathcal{B}}(V)^{\mathrm{op}})를 정의하고, 이때 (\mathrm{fp}({}_R!\mathsf{Mod}))와 (\mathrm{fp}({}_L!\mathsf{Mod})) 사이에 Gruson‑Jensen 이중성이 존재하는 조건을 탐구한다. 코알제브라 (C)에 대해 ({}^C!\mathsf{M})와 (\mathsf{M}^C)는 각각 코프리듀얼 구조를 갖는 경우에 한해 유한히 접근 가능하며, 이때 기본 코프리듀얼 객체 (U)와 (V)는 각각 코모듈의 직합을 통해 얻어진 프레젠테이션 객체가 된다. 저자는 (C)가 좌·우 반완전일 때, 즉 모든 유한 차원 좌·우 코모듈이 프로젝트ive 커버를 갖는 경우, 함수환 (R)와 (L)이 서로 모듈 이론적으로 대칭을 이루어 (\mathrm{fp}({}_R!\mathsf{Mod})\simeq \mathrm{fp}({}_L!\mathsf{Mod})^{\mathrm{op}})가 성립함을 증명한다. 이 과정에서 핵심적인 도구는 코알제브라의 사상공액성(co‑homological) 성질과, 코프리듀얼 코알제브라가 갖는 내재적 대칭성이다.

반면, 일반적인 코알제브라에 대해서는 이러한 대칭이 깨지는 경우가 존재한다. 저자는 무한 차원 코알제브라와 비반대칭적인 코프리듀얼 구조를 가진 예시를 구성하여, 해당 경우 (R)와 (L)의 유한제시 모듈 범주가 서로 동형이 아님을 보인다. 특히, 코알제브라가 왼쪽 정칙(semiperfect)하지만 오른쪽은 아니거나, 혹은 코프리듀얼이 아닌 경우에 나타나는 비대칭 현상을 상세히 분석한다.

또한, 논문은 Gruson‑Jensen 이중성을 기존의 모듈 이론에서의 대칭성(예: Artin‑Wedderburn 이론, Morita 이론)과 비교하면서, 코모듈 범주에 적용될 때 새로운 현상—특히 코프리듀얼성의 부재가 이중성 파괴에 직접적인 영향을 미친다—를 강조한다. 최종적으로는 코알제브라의 구조적 조건(반완전성, 코프리듀얼성, 유한 차원성 등)이 함수환의 모듈 범주 대칭에 미치는 영향을 체계적으로 정리하고, 향후 연구 방향으로는 이러한 대칭을 보존하는 보다 일반적인 카테고리 이론적 틀을 제시한다.