[논문 리뷰] The bicategory of corings

Tomasz Brzeziński, Laiachi El Kaoutit외 1명|arXiv (Cornell University)|2004. 08. 03.

Algebraic structures and combinatorial models참고 문헌 12인용 수 2

한 줄 요약

이 논문은 유한 생성 프로젝티브 이중모듈을 통해 코링의 기본환 확장을 도입하며, 이중모듈의 2차원 범주론적 프레임워크를 수립한다. 여기서 코링은 이중모듈의 2차원 범주에서 코모나드로 간주된다. 모듈-사상(모듈-사상)을 정의하고, 이를 통해 코모듈 범주 간의 당김과 밀림 유도함수를 유도하며, 이러한 유도함수가 전사적 또는 동치일 조건을 규명한다. 주요 결과로는, 모듈-사상의 동형이 밀림 유도함수의 자연동형과 관련이 있음을 규명한다.

ABSTRACT

To a B-coring and a (B,A)-bimodule that is finitely generated and projective as a right A-module an A-coring is associated. This new coring is termed a base ring extension of a coring by a module. We study how the properties of a bimodule such as separability and the Frobenius properties are reflected in the induced base ring extension coring. Any bimodule that is finitely generated and projective on one side, together with a map of corings over the same base ring, lead to the notion of a module-morphism, which extends the notion of a morphism of corings (over different base rings). A module-morphism of corings induces functors between the categories of comodules. These functors are termed pull-back and push-out functors respectively and thus relate categories of comodules of different corings. We study when the pull-back functor is fully faithful and when it is an equivalence. A generalised descent associated to a morphism of corings is introduced. We define a category of module-morphisms, and show that push-out functors are naturally isomorphic to each other if and only if the corresponding module-morphisms are mutually isomorphic. All these topics are studied within a unifying language of bicategories and the extensive use is made of interpretation of corings as comonads in the bicategory Bim of bimodules and module-morphisms as 1-cells in the associated bicategories of comonads in Bim.

연구 동기 및 목표

• 동일한 기본환을 공유하는 코링 간의 모듈-사상 도입을 통해 코링 사상의 개념을 일반화한다.
• 이중모듈에서의 분리 가능성과 프로페르스 성질이 유도된 기본환 확장 코링으로 어떻게 전이되는지 연구한다.
• 이중모듈의 2차원 범주에서 코모나드로 간주되는 코링과 그 사상의 통합적 연구를 위한 2차원 범주론적 프레임워크를 수립한다.
• 모듈-사상에 의해 유도된 코모듈 범주 간의 당김 및 밀림 유도함수의 행동을 분석한다.
• 당김 유도함수가 전사적 또는 동치일 조건을 규명하고, 모듈-사상에 의해 유도된 밀림 유도함수가 자연동형일 조건을 규명한다.

제안 방법

• 기본환 A에 대한 새로운 A-코링을 B-코링과 오른쪽 A-모듈로서 유한 생성 프로젝티브인 (B,A)-이중모듈을 이용해 구성함으로써 기본환 확장을 정의한다.
• 동일한 기본환을 공유하는 사상으로서 코링 간의 모듈-사상을 정의하며, 이를 표준 코링 사상의 일반화로 간주한다.
• 이중모듈의 2차원 범주 Bim에서 코링을 코모나드로 표현하고, 모듈-사상을 관련된 코모나드의 2차원 범주의 1세포로 표현한다.
• 2차원 범주론적 구조를 활용하여 코모듈 범주 간의 당김 및 밀림 유도함수를 모듈-사상에 의해 유도된 것으로 해석한다.
• 이중모듈과 코링의 구조에 대한 대수적 조건을 통해 당김 유도함수의 전사성과 동치성 조건을 규명한다.
• 기본 모듈-사상의 동형이 2차원 범주의 코모나드에서의 1세포로서의 동형과 관련된 조건을 기반으로 한 밀림 유도함수의 자연동형 기준을 수립한다.

실험 결과

연구 질문

• RQ1 이중모듈의 분리 가능성과 프로페르스 성질이 유도된 기본환 확장 코링으로 어떻게 전이되는가?
• RQ2 코모듈 범주 간의 당김 유도함수가 언제 전사적 또는 동치가 되는가?
• RQ3 모듈-사상에 의해 유도된 밀림 유도함수가 언제 자연동형이 되는가?
• RQ4 Bim에서의 코모나드의 2차원 범주론적 프레임워크가 코링과 그 사상의 연구를 어떻게 통합하는가?
• RQ5 이중모듈의 유한 생성 프로젝티브 성질이 기본환 확장의 구성과 분석에서 수행하는 역할은 무엇인가?

주요 결과

• 유한 생성 프로젝티브 이중모듈을 통한 코링의 기본환 확장은 원래 B-코링의 구조를 유지하는 새로운 A-코링을 유도한다.
• 이중모듈의 분리 가능성과 프로페르스 성질은 유도된 기본환 확장 코링의 해당 성질에 반영된다.
• 코모듈 범주 간의 당김 유도함수가 전사적일 조건은 기저 이중모듈이 코링의 구조와 관련된 특정 조건을 만족할 때이다.
• 당김 유도함수가 동치일 조건은 이중모듈이 생성자이고, 코링 사상이 특정 분할 조건을 만족할 때이다.
• 모듈-사상에 의해 유도된 밀림 유도함수가 자연동형일 조건은 해당 모듈-사상이 코모나드의 2차원 범주에서 1세포로서 동형일 때이다.
• 전체 프레임워크는 코링이 코모나드이고 모듈-사상이 1세포인 Bim의 코모나드의 2차원 범주를 통해 통합된다.