[논문 리뷰] Toposes of Discrete Monoid Actions

Morgan Rogers|arXiv (Cornell University)|2019. 05. 24.

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

한 줄 요약

이 논문은 이산 모노이드 $M$에 대한 오른쪽 $M$-집합의 그로텐디크 토포스를 그들의 표준 점을 통해 등가 관계로 특성화하며, 모노이드와 그에 관련된 토포스 사이의 2-카테고리적 모리타 등가를 확립하고, 이러한 토포스들이 서로 등가임은 모노이드들이 모리타 등가일 때이고 그 반대도 성립함을 보여주며, 고전적인 반군 이론과 표현 이론의 결과들을 회복하고 재해석하는 토포스 이론적 프레임워크를 제공한다.

ABSTRACT

Properties of toposes of right $M$-sets are studied, and these toposes are characterised up to equivalence by their canonical points. The solution to the corresponding Morita equivalence problem is presented in the form of an equivalence between a 2-category of monoids and the corresponding 2-category of toposes.

연구 동기 및 목표

• 이산 모노이드 $M$에 대해 $[M^{ ext{op}}, \mathbf{Set}]$—오른쪽 $M$-집합의 토포스—등가인 그로텐디크 토포스를 특성화하기.
• 두 모노이드가 오른쪽 $M$-집합의 토포스를 등가로 만들어내는지 여부를 규명함으로써 모노이드의 모리타 등가 문제를 해결하기.
• 모노이드의 2-카테고리와 이러한 토포스의 2-카테고리 사이의 2-카테고리 등가를 확립하여, 모리타 등가를 위한 카테고리 이론적 프레임워크를 제공하기.
• 모노이드의 대수적 성질을 토포스 이론적 불변량으로 번역함으로써 토포스 이론과 반군 이론을 연결하기.
• 토포스 이론을 활용해 '토포스를 다리로 삼는' 프로그램을 확장하여, 토포스 이론적 도구가 범주론에서 로케일 중심 접근법을 보완할 수 있음을 보여주기.

제안 방법

• 모노이드 $M$를 한 개의 대상을 가진 카테고리로 간주함으로써, 오른쪽 $M$-집합의 범주로 쓸 수 있는 준층 토포스 $[M^{ ext{op}}, \mathbf{Set}]$를 활용한다.
• 등幂원의 분해를 분석하고 모노이드의 구조를 토포스의 구조와 연결하기 위해 $M$의 등幂완비화 $\check{M}$를 사용한다.
• 점, 본질적 기하학적 사상, 원자 토포스 등의 토포스 이론적 도구를 적용하여 $M$-집합의 토포스를 특성화한다.
• 표준 점을 불변량으로 사용하여, 모노이드의 2-카테고리와 $[M^{ ext{op}}, \mathbf{Set}]$ 형태의 토포스의 2-카테고리 사이의 2-카테고리 등가를 유도한다.
• 반군 이론의 결과(예: 켄너와 바나셴스키)를 적용하여, 모노이드의 모리타 등가가 그에 대응하는 토포스의 등가와 일치함을 보인다.
• 예를 들어 $M$과 $M' = e_{3/4}Me_{3/4}$와 같이 비이sov모노이드이지만 등가인 토포스를 가지는 구체적 예를 구성함으로써, 비자명한 모리타 등가를 설명한다.

실험 결과

연구 질문

• RQ1 어떤 그로텐디크 토포스들이 어떤 이산 모노이드 $M$에 대한 오른쪽 $M$-집합의 토포스와 등가인가?
• RQ2 서로 이sov가 아닌 두 모노이드가 오른쪽 $M$-집합의 토포스를 등가로 만들어내는 경우는 언제인가?
• RQ3 모노이드의 모리타 등가 문제를 어떻게 토포스 이론어휘로 재구성하고 해결할 수 있는가?
• RQ4 모노이드의 어떤 대수적 성질이 원자성이나 본질적 점과 같은 토포스 이론적 불변량과 대응하는가?
• RQ5 모노이드의 모리타 등가가 언제 등장하는가?

주요 결과

• 정리 5.2는 $[M^{ ext{op}}, \mathbf{Set}]$와 등가인 토포스를 특성화하며, 그들의 표준 점이 동시에 본질적이고 전성임을 조건으로 한다.
• 정리 6.5는 모노이드의 2-카테고리와 $[M^{ ext{op}}, \mathbf{Set}]$ 형태의 토포스의 2-카테고리 사이의 2-카테고리 등가를 확립하며, 사상은 반군 준동형으로 주어진다.
• 보조정리 6.6은 두 모노이드가 모리타 등가임은 그들이 관련된 $M$-집합의 토포스가 등가임과 동치임을 보여주며, 이는 카테고리론적으로 모리타 문제를 해결한다.
• 논문은 비이sov 모노이드 $M$과 $M' = e_{3/4}Me_{3/4}$를 포함한 명시적 예를 구성하여 등가인 토포스를 가짐을 보이며, 비자명한 모리타 등가를 설명한다.
• 보조정리 7.2는 모노이드의 모리타 등가가 등식으로 이어지는 충분조건(예: 가환성, 군 구조, 취소 가능성)을 규명한다.
• 보조정리 7.3은 군 $G$에서 $[G^{ ext{op}}, \mathbf{Set}]$로의 할당이 군의 2-카테고리와 본질적이고 전성적인 점을 지닌 원자 그로텐디크 토포스의 2-카테고리 사이의 등가임을 보여준다.