[논문 리뷰] Enrichment of Categories of Algebras and Modules

Christina Vasilakopoulou|arXiv (Cornell University)|2012. 05. 29.

Algebraic structures and combinatorial models참고 문헌 5인용 수 4

한 줄 요약

이 논문은 교환환 R에 대한 대수의 범주가 유일 측측정 코알제브라 P(A,B)를 통해 R-코알제브라의 범주에 대해 풍부화됨을 증명하며, R-모듈의 전역 범주가 R-코모듈의 전역 범주에 대해 유일 측측정 코모듈 Q(M,N)를 통해 풍부화됨을 보인다. 핵심 기여는 Wraith의 관찰에 대한 엄밀한 범주론적 증명과 모듈 및 코모듈으로의 확장으로, 두 풍부화 구조가 측측정 구조를 포함하는 자연동형사상에서 유래됨을 보여준다.

ABSTRACT

We study the universal measuring coalgebras P(A,B) of Sweedler and the universal measuring comodules Q(M,N) of Batchelor. We show that these universal objects exist in a very general context. We provide a detailed proof of an observation of Wraith, that the P(A,B) are the hom-objects of an enrichment of algebras in coalgebras. We show also that the Q(M,N) provide an enrichment of the global category of modules in the global category of comodules.

연구 동기 및 목표

• Wraith의 관찰, 즉 유일 측측정 코알제브라 P(A,B)가 R-알제브라의 범주를 R-코알제브라의 범주에 대해 풍부화하는 호 객체로 자연스럽게 기능함을 상세한 범주론적 증명을 제공하는 것.
• 이 풍부화를 R-모듈의 전역 범주로 확장하여, 유일 측측정 코모듈 Q(M,N)가 Mod를 Comod에 대해 풍부화함을 보이는 것.
• R가 체가 아니더라도 교환환일 경우를 포함한 일반적인 범주론적 맥락에서 P(A,B)와 Q(M,N)의 존재를 확립하는 것.
• 피브레이션과 풍부화 사이의 관계를 명확히 하여, Mod → Alg_R와 Comod → Coalg_R의 피브레이션과 옵피브레이션 구조가 이러한 풍부화와 호환됨을 보이는 것.
• R-코알제브라 위의 코모듈의 범주 Comod가 모노이드 닫힘을 가지며, 소형 밀도 부분범주를 갖는다는 것을 보장하여, 적당한 유도 함수자 정리에 기반한 내부 호 객체의 구성이 가능함을 보이는 것.

제안 방법

• Sweedler가 정의한 측측정 코알제브라 P(A,B)의 유일성 성질을 사용하며, 모든 코알제브라 C에 대해 자연동형사상 Alg(A, Hom(C,B)) ≅ Coalg(C, P(A,B))가 성립함을 특징으로 한다.
• 풍부화 범주론과 텐서된 범주 이론의 결과를 적용하며, 특히 오른쪽 닫힘 이중범주 W에 대해 텐서된 W-범주와 W-표현 사이의 동치를 활용한다.
• Grothendieck 구성법을 사용하여, 각각 Alg_R와 Coalg_R 위에 있는 피브레이션으로서 전역 범주 Mod와 Comod를 정의한다.
• Mod와 Comod의 내부 구조와 코완전성의 논증을 활용하여 자연동형사상 Comod(X, Q(M,N)) ≅ Mod(M, Hom(X,N))을 통해 Q(M,N)의 존재를 증명한다.
• Kelly의 유도 함수자 정리를 적용하여, Q(M,N)를 정의하는 데 관여하는 함자들과 Comod의 내부 호 객체를 정의하는 데 필요한 함자들이 오른쪽 수반 함자를 갖는다는 것을 보이며, 이는 코완전성과 Comod 내의 소형 밀도 부분범주의 존재에 기반한다.
• R = k가 체인 경우, 유한차원 코알제브라 위의 유한차원 코모듈의 범주가 Comod 내에서 소형이고 밀도가 있으며, 모든 코모듈이 이러한 객체들의 자연스러운 코한계로 표현됨을 보여, 내부 호 객체의 존재를 직접적으로 확보한다.

실험 결과

연구 질문

• RQ1 유일 측측정 코알제브라 P(A,B)는 R-알제브라의 범주를 R-코알제브라의 범주에 대해 풍부화하는 데 자연스럽게 호 객체로 기능하는가?
• RQ2 유일 측측정 코모듈 Q(M,N)는 R-모듈의 전역 범주를 R-코모듈의 전역 범주에 대해 풍부화하는 데 사용될 수 있는가?
• RQ3 일반적인 모노이드 범주에서 P(A,B)와 Q(M,N)의 존재를 보장하는 범주론적 조건은 무엇인가? 특히 R가 교환환일 경우에 대해.
• RQ4 피브레이션 Mod → Alg_R와 옵피브레이션 Comod → Coalg_R는 Mod를 Comod에 대한 풍부화와 Alg를 Coalg에 대한 풍부화와 어떻게 관련지을 수 있는가?
• RQ5 R-코알제브라 위의 코모듈의 범주 Comod는 모노이드 닫힘을 가지며, 유도 함수자 정리를 통해 내부 호 객체를 갖는가?

주요 결과

• 모든 교환환 R에 대해 R-코알제브라 범주에서 유일 측측정 코알제브라 P(A,B)가 존재하며, 모든 R-코알제브라 C에 대해 Coalg(C, P(A,B)) ≅ Alg(A, Hom(C,B))라는 자연동형사상이 성립한다.
• R-알제브라의 범주는 R-코알제브라의 범주에 대해 풍부화되며, 이에 대한 호 객체로 P(A,B)를 사용함으로써 Wraith의 관찰을 일반적으로 확인한다.
• R-모듈의 전역 범주는 R-코모듈의 전역 범주에 대해 풍부화되며, 이에 대한 호 객체로 Q(M,N)가 자연동형사상 Comod(X, Q(M,N)) ≅ Mod(M, Hom(X,N))을 통해 정의된다.
• 범주 Comod는 모노이드 닫힘을 가지며, 내부 호 객체는 소형 밀도 부분범주를 갖는다는 사실에 기반한 유도 함수자 정리를 통해 구성된다.
• R = k가 체인 경우, Q(M,N)의 존재는 더 직접적으로 증명되며, 유한차원 코알제브라 위의 유한차원 코모듈의 범주가 Comod 내에서 소형이고 밀도가 있음을 보여, 코한계 논증을 통해 내부 호 객체를 구성할 수 있음을 보여준다.
• 유한차원 부분범주의 조밀성 증명은 코알제브라의 기본 정리와 코모듈의 기본 정리에 기반하며, 모든 코알제브라와 코모듈이 그 유한차원 부분객체들의 코한계임을 보여준다.