Q 모듈은 Q 상보격자

초록

이 논문은 작은 양자류(quantaloid) 위의 순서가 있는 쉐이브에서 내부 상보격자들이 바로 그 양자류의 모듈과 일치한다는 사실을 풍부 범주 이론과 KZ 교리 보조정리를 이용해 일반화한다. 또한 모듈 동등성과 쉐이브 동등성을 비교하고, 양자류의 중심 개념을 도입해 Borceux‑Vitale의 기존 결과를 정교화한다.

상세 분석

본 연구는 먼저 로케일 위의 쉐이브 토포시에서 내부 상보격자(internal suplattice)가 그 로케일의 모듈(module)과 동형임을 알려진 사실을 출발점으로 삼는다. 이를 양자류(quantaloid)라는 보다 일반적인 구조로 확장하기 위해 저자는 풍부 범주 이론(enriched category theory)의 틀을 채택한다. 양자류는 각 호몰리즘 집합이 완전 격자 구조를 가지는 2‑범주이며, 여기서 ‘순서가 있는 쉐이브(ordered sheaf)’는 양자류‑가중(quantaloid‑enriched) 프레시(pre)sheaf의 한 형태로 정의된다.

핵심 기술은 KZ 교리(Kock‑Zöberlein doctrine)의 보조정리(lemma)를 이용해, 양자류‑가중 프레시브와 그 내부 상보격자 사이에 존재하는 자유‑코프리헨스(free‑co‑completion) 관계를 명시적으로 구축하는 것이다. 구체적으로, 저자는 양자류‑가중 프레시브 카테고리 (\mathbf{OrdSh}(\mathcal{Q}))에 대해 KZ 교리의 ‘정규화된’ 구조를 확인하고, 이 구조가 모듈 카테고리 (\mathbf{Mod}(\mathcal{Q}))와 동등함을 보인다. 이는 “모듈은 내부 상보격자”라는 명제를 양자류 수준에서 완전하게 일반화한 결과다.

다음 단계에서는 두 종류의 동등성, 즉 모듈 동등성(module‑equivalence)과 쉐이브 동등성(sheaf‑equivalence)을 비교한다. 양자류 (\mathcal{Q})의 중심(centre) (\mathcal{Z}(\mathcal{Q}))를 정의하고, 이 중심이 모듈‑동등성의 불변량임을 증명한다. 중심을 통해 얻어지는 ‘정규화된’ 양자류는 쉐이브‑동등성에서도 동일한 불변량을 제공하므로, 두 동등성 사이의 정확한 대응 관계를 확립한다.

마지막으로, 저자는 기존의 Borceux‑Vitale 결과를 재검토한다. 그들의 정리는 특정 조건 하에서 양자류의 모듈과 쉐이브가 동등함을 보였지만, 중심 개념을 도입함으로써 보다 일반적인 상황—특히 비대칭적이고 비정규적인 양자류—에서도 동일한 결론을 얻을 수 있음을 보여준다. 결과적으로, 이 논문은 양자류 이론과 풍부 범주 이론 사이의 다리를 놓으며, 내부 상보격자와 모듈 사이의 깊은 구조적 연관성을 새로운 관점에서 조명한다.