[논문 리뷰] Extended Distributive Law: Co-wreath over co-rings

Laiachi El Kaoutit|ArXiv.org|2006. 12. 28.

Rings, Modules, and Algebras참고 문헌 10인용 수 4

한 줄 요약

이 논문은 가환환 위의 단위 이중모듈러스의 2-카테고리에서 공와이어스(co-wreaths, 확장된 분배법칙)의 기초 이론을 수립하며, 기저 환 위의 텐서곱을 사용하여 공와이어스와 공모듈러스의 등가 정의를 제공한다. 인자 코링 위의 공모듈러스 카테고리와 와이어스 제품에 의해 유도된 코링 위의 공모듈러스 카테고리 사이에 준동치를 수립하며, 환 확장 위의 와이어스 이론을 쌍대화함으로써 비가환 왜곡 텐서곱을 구성하는 체계적인 프레임워크를 제공한다. 이는 엔트윙잉 구조를 통한 비가환 왜곡 텐서곱의 구성에 기여한다.

ABSTRACT

A basic theory of cowreath or extended distributive laws in the bicategory of unital bimodules, is deciphered. Precisely, we give in terms of tensor product over a scalar base ring, a simplest and equivalent definition for cowreath over coring and for comodule over cowreath. An adjunction connecting the category of comodules over the factor coring and the category of comodules over the coring arising from the cowreath products is also given. The dual notions i.e. wreaths over rings extension and their modules are included.

연구 동기 및 목표

• 기저 환 위의 텐서곱을 사용하여 단위 이중모듈러스의 2-카테고리에서 공와이어스와 공모듈러스의 간소화된 등가 정의를 개발하는 것.
• 인자 코링 위의 공모듈러스 카테고리와 와이어스 제품에 의해 유도된 코링 위의 공모듈러스 카테고리 사이의 준동치를 수립하는 것.
• 환 확장 위의 와이어스 이론을 쌍대화하여, 분배법칙을 통한 왜곡 텐서곱 대수의 구성 프레임워크를 제공하는 것.
• 특히 코링과 엔트윙잉 구조의 맥락에서, 분배법칙의 개념을 코모나딕 설정으로 일반화하는 것.
• 인자 코알제브라의 Eilenberg-Moore 카테고리에서 와이어스에 의해 유도된 코링의 Eilenberg-Moore 카테고리로의 모나이드 함자를 제공함으로써, 가환에서 비가환 설정으로의 구성 가능성을 보장하는 것.

제안 방법

• 논문은 1-세포와 2-세포가 일관성 조건을 만족하도록 하는 Eilenberg-Moore 2-카테고리에서의 코모나드로서, Bim에서의 와이어스를 정의한다.
• 범주론적 구성 대신 명시적인 이중모듈러스 및 이중선형 사상의 구조를 사용하여, 기저 환 K 위의 텐서곱을 통한 와이어스의 등가 정의를 제공한다.
• 이론은 엔트윙잉 구조로부터 유도된 코링에 적용되며, 인자 코알제브라의 Eilenberg-Moore 카테고리와 와이어스에 의해 유도된 코링의 Eilenberg-Moore 카테고리 사이에 모나이드 함자를 구성한다.
• 와이어스 위의 공모듈러스는 기저 환 위의 텐서곱을 사용하여 재정의되며, 공행동에 대한 명시적 호환 조건이 포함된다.
• 와이어스 곱은 기저 코링과 와이어스 구조의 텐서곱으로 주어지는 이중모듈러스를 지닌 코링으로 구성된다.
• 특히 행동과 공행동의 호환성에 의해 정의된 와이어스의 구조 사상들을 통한 함자들을 통해 공모듈러스 카테고리 간의 준동치를 수립한다.

실험 결과

연구 질문

• RQ1 코링 위의 공와이어스 개념은 고차 범주론적 구성 대신 기저 환 K 위의 텐서곱을 사용하여 어떻게 등가적으로 특징지을 수 있는가?
• RQ2 인자 코링 위의 공모듈러스 카테고리와 와이어스 곱에 의해 유도된 코링 위의 공모듈러스 카테고리 사이의 정확한 관계는 무엇인가?
• RQ3 왜곡 텐서곱 대수와의 관련성에서, 환 확장 위의 와이어스 이론은 어떻게 체계적으로 발전시킬 수 있는가?
• RQ4 와이어스 구조가 관련 코링의 Eilenberg-Moore 카테고리 간에 모나이드 함자를 유도하는 조건은 무엇인가?
• RQ5 엔트윙잉 구조는 가환 기저 자료로부터 비가환 공와이어스의 예를 구성하는 데 어떤 역할을 하는가?

주요 결과

• 코링 위의 공와이어스는 기저 환 K 위의 텐서곱을 사용하여 등가적으로 정의되며, 2-범주론적 장비에 의존하지 않는 구체적인 대수적 특성화를 제공한다.
• 인자 코링 위의 공모듈러스 카테고리와 와이어스 곱에 의해 유도된 코링 위의 공모듈러스 카테고리 사이에 준동치가 수립되며, 이는 이들의 모듈러스 구조를 연결한다.
• 와이어스 곱은 기저 코링과 와이어스 구조의 텐서곱으로 주어지는 이중모듈러스를 지닌 새로운 코링을 유도하며, 잘 정의된 코승법과 코단위를 갖는다.
• 코링이 엔트윙잉 구조로부터 유도될 경우, 인자 코알제브라의 Eilenberg-Moore 카테고리에서 와이어스에 의해 유도된 코링의 Eilenberg-Moore 카테고리로의 모나이드 함자가 구성된다.
• 와이어스 구조와의 호환성에 기반하여, 이중모듈러스의 텐서곱 $X igotimes_A Y$ 가 $R igotimes_A T$ 위의 이중모듈러스로 유도되는지 여부에 대한 기준을 제시한다.
• 환 확장 위의 와이어스 이론의 쌍대 이론이 발전되었으며, 왜곡 텐서곱 대수는 예시로서 와이어스의 특성화를 제공함으로써 기존 문헌의 구성들을 일반화한다.