[논문 리뷰] Wide Morita contexts in Bicategories

Laiachi El Kaoutit|arXiv (Cornell University)|2006. 08. 24.

Advanced Topics in Algebra참고 문헌 20인용 수 8

한 줄 요약

이 논문은 임의의 이카테고리에서 넓은 오른쪽 모리타 맥락의 형식적 개념을 도입하여, 고전적 모리타 이론을 링과 모듈을 넘어서 일반화한다. 이는 1-세포가 이러한 넓은 오른쪽 모리타 맥락인 새로운 이카테고리 W(B)를 구성하며, 이 이론을 이센버그-무어 이카테고리의 코모듈에 대한 이카테고리에 적용하여, 이러한 맥락이 아벨이 아닌 경우에도 코모듈의 범주 간의 동치를 유도함을 보여준다.

ABSTRACT

We give a formal concept of (right) wide Morita context between two 0-cells in arbitrary bicategory. We then construct a new bicategory with the same 0-cells as the oldest one, and with 1-cells all these (right) wide Morita contexts. An application to the (right) Eilenberg-Moore bicategory of comonads associated to the bimodules bicategory is also given.

연구 동기 및 목표

• 임의의 이카테고리로의 링과 모듈을 넘어서는 모리타 맥각의 개념을 일반화하는 것.
• 이카테고리의 0-세포 사이에 넓은 오른쪽 모리타 맥각을 형식화하여 고전적 모리타 이론을 확장하는 것.
• 1-세포가 넓은 오른쪽 모리타 맥각인 새로운 이카테고리 W(B)를 구성하여 동치를 연구하는 통합 프레임워크를 제공하는 것.
• 이를 이카테고리의 이중모듈에 대한 코모듈의 오른쪽 이센버그-무어 이카테고리에 적용하여 맥각과 코모듈 범주를 연결하는 것.
• 이 구조가 비아벨 설정, 예를 들어 코모듈의 범주에서조차도 구조적 성질을 유지하고 동치를 유도함을 보여주는 것.

제안 방법

• 이카테고리 내 넓은 오른쪽 모리타 맥각을 1-세포, 쌍대단위, 단위로 구성된 4항조로 정의하고, 일관성 조건을 만족시키는 것으로 한다.
• 구조를 유지하는 매프를 통해 넓은 모리타 맥각 간의 사상 도입으로 범주론적 프레임워크를 제공한다.
• B와 동일한 0-세포를 가지며, 1-세포가 넓은 오른쪽 모리타 맥각과 그 사상으로 이루어진 Hom-범주를 갖는 새로운 이카테고리 W(B)를 구성한다.
• 이카테고리의 준동형에 대해 W(B)의 함자성 증명.
• 이를 이카테고리 REM(Bim) — 이중모듈에 대한 오른쪽 이센버그-무어 이카테고리 — 에 적용하여 맥각과 코모듈 범주를 연결한다.
• 도표적 추론과 자연 변환을 통해 유도된 구조가 요구되는 일관성 및 호환성 조건을 검증한다.

실험 결과

연구 질문

• RQ1 고전적 모리타 맥각의 개념을 임의의 이카테고리로 어떻게 일반화할 수 있는가?
• RQ2 이카테고리의 0-세포 사이에 존재하는 넓은 오른쪽 모리타 맥각의 집합은 어떤 구조를 이루며, 이를 이카테고리적 구조로 부여할 수 있는가?
• RQ3 이카테고리 준동형에 대해 W(B)의 구성이 본질적인 이카테고리 성질을 유지하는가?
• RQ4 이센버그-무어 이카테고리의 넓은 모리타 맥각이 코링에 대한 코모듈의 범주 간의 동치를 유도할 수 있는가?
• RQ5 W(REM(Bim))에서 유도된 구조와 코모듈의 범주에서 알려진 모리타 유형의 동치 사이의 관계는 무엇인가?

주요 결과

• 임의의 이카테고리에서 넓은 오른쪽 모리타 맥각의 형식적 정의가 확립되었으며, 링 간의 고전적 모리타 맥각을 일반화한다.
• W(B)의 구성은 함자적이며, 1-세포가 넓은 오른쪽 모리타 맥각인 잘 정의된 이카테고리이다.
• W(REM(Bim))의 모든 1-세포는 코링에 대한 오른쪽 코모듈의 범주 사이의 넓은 오른쪽 모리타 맥각을 유도한다.
• 유도된 맥각은 단위와 쌍대단위에 대한 삼각 항등식을 포함한 요구되는 일관성 조건을 만족하며, 코모듈의 범주가 아벨이 아니더라도 성립한다.
• 이 프레임워크는 이전의 아벨 및 그로텐디크 범주에서의 모리타 이론 결과를 통합하고 확장하며, 코모듈, 군집 모듈, 코알제브라를 포함한 사례에 적용된다.
• 이 방법은 엔트웨인드 구조, 호프 모듈, 국소 단위를 가진 링 위의 코링에 적용 가능하여, 모리타 유형의 동치의 적용 범위를 넓힌다.