[논문 리뷰] Q-modules are Q-suplattices

Isar Stubbe|ArXiv.org|2008. 09. 25.

Homotopy and Cohomology in Algebraic Topology참고 문헌 17인용 수 10

한 줄 요약

이 논문은 임의의 소량자오이드 𝒬에 대해, 𝒬-모듈의 범주가 KZ 도ctrin 구축을 통해 𝒬-슈플라티스의 범주와 동치임을 증명한다—즉, 완비적인 𝒬-강화 범주이다. 강화 범주론과 KZ 도ctrin에 관한 보조정리를 사용하여, 𝒬-모듈이 정확히 𝒬-오더의 내부 완비화임을 증명하며, 이는 고전적 결과인 𝛺-모듈이 국소 𝛺 위의 층에서 내부 슈플라티스임을 일반화한다.

ABSTRACT

It is well known that the internal suplattices in the topos of sheaves on a locale are precisely the modules on that locale. Using enriched category theory and a lemma on KZ doctrines we prove (the generalization of) this fact in the case of ordered sheaves on a small quantaloid. Comparing module-equivalence with sheaf-equivalence for quantaloids and using the notion of centre of a quantaloid, we refine a result of F. Borceux and E. Vitale.

연구 동기 및 목표

• 소량자오이드 𝒬의 설정으로 고전적 결과인 𝛺-모듈이 국소 𝛺 위의 층에서 내부 슈플라티스임을 일반화한다.
• 강화 범주론을 사용하여 𝒬-모듈과 𝒬-슈플라티스의 범주적 동치를 확립한다.
• 보르체프와 비탈레의 결과를 보완하여, 양자오이드, 그들의 모듈 범주, 그리고 중심 간의 관계를 정교화한다.
• KZ-도ctrin 기반의 단순화된 특성화를 통해 𝒬-모듈을 𝒬-오더 위의 자유 완비화 2-모나드의 아이レン버그-무어 대수로 특성화한다.

제안 방법

• 소량자오이드 𝒬 위에서의 강화 범주론을 사용하며, 𝒬-오더를 𝒬의 분할-이디오텐트 완비화에서 강화된 카우치 완비 범주로 간주한다.
• 각 𝒬-오더에 대해 자유 완비화(하향 닫힌 부분오브젝트의 슈플라티스)를 부여하는 KZ 도ctrin을 적용한다. 이는 거듭제곱 함자 ℘를 통해 이루어진다.
• KZ 도ctrin에 관한 핵심 보조정리를 사용하여, 𝒮𝒯𝒯(𝒬) 위의 결과 2-모나드가 𝒬-모듈을 그 아이렌버그-무어 대수로 갖는다는 것을 증명한다.
• 이 KZ 도ctrin을 통해 𝒬-오더의 범주 위에서 𝒬-모듈의 범주가 2-모나드로서 단순화됨을 증명한다.
• 국소 𝛺에 대해 𝒪𝓇𝒹(𝛺)와 𝒪𝓇𝒹(𝒮𝒽(𝛺)) 사이의 동치를 사용하여, 고전적 국소 사례를 특수한 경우로 회복한다.
• 중심 구축을 통해 모듈 범주와 층 범주를 비교하며, 양자오이드 𝒬의 중심이 그의 교환 구조를 포괄함을 보여준다.

실험 결과

연구 질문

• RQ1 고전적 결과인 𝛺-모듈이 국소 𝛺 위의 층에서 내부 슈플라티스임을 비가환적, 다형적 설정으로 일반화할 수 있는가?
• RQ2 𝒬-모듈과 완비적인 𝒬-강화 범주(즉, 𝒬-슈플라티스) 사이의 정확한 범주론적 관계는 무엇인가?
• RQ3 𝒪𝓇𝒹(𝒬) 위의 자유 완비화 2-모나드는 KZ 도ctrin으로 특성화될 수 있으며, 이는 𝒬-모듈을 그 대수로 산출하는가?
• RQ4 𝒪𝓇𝒹(𝒬), 𝒮𝒫(𝒬), 그리고 𝒪𝓇𝒹(𝒬)는 𝒬의 중심과 어떻게 관련되어 있으며, 언제 동치가 되는가?

주요 결과

• 𝒬-모듈은 정확히 𝒬-슈플라티스이다: 모든 𝒬-모듈은 완비적인 𝒬-강화 범주이며, 모든 완비적인 𝒬-범주도 𝒬-모듈로 나타난다.
• KZ 도ctr인이 각 𝒬-오더 𝒜에 대해 자유 완비화 ℘𝒜를 부여하는 방식으로, 𝒬-오더의 범주 위에서 𝒬-모듈의 범주는 2-모나드로서 단순화된다.
• 국소 𝛺에 대해 이 결과는 고전적 사실, 즉 𝛺-모듈이 𝛺 위의 층 토포스에서 내부 완비화임을 회복한다.
• 양자오이드 𝒬의 중심은 그 모듈 범주 𝒮𝒫(𝒬)의 중심과 동형이며, 이 동형은 중심 간의 양자오이드 준동형사상에 의해 실현된다.
• 가환 양자오이드 𝒬와 𝒬′에 대해, 𝒪𝓇𝒹(𝒬)와 𝒪𝓇𝒹(𝒬′)는 서로 동치일 필요충분조건이 𝒬 ≅ 𝒬′임을 보여주며, 보르체프와 비탈레의 결과를 정교화한다.
• 국소 𝛺와 𝛺′에 대해, 𝛺 ≅ 𝛺′ ⟺ 𝒮𝒫(𝛺) ≅ 𝒮𝒫(𝛺′) ⟺ 𝒪𝓇𝒹(𝛺) ≅ 𝒪𝓇𝒹(𝛺′) ⟺ 𝒮𝒫(𝛺) ≅ 𝒮𝒫(𝛺′)의 동치가 성립하며, 이는 완전한 범주론적 불변성을 보여준다.