[논문 리뷰] Galois comodules

Tomasz Brzeziński|arXiv (Cornell University)|2003. 12. 08.

Algebraic structures and combinatorial models인용 수 24

한 줄 요약

이 논문은 코링, 특히 체 위에서의 갈루아 및 주요 코모듈을 도입하고 특성화하며, 유한 생성이며 프로젝티브인 오른쪽 코모듈이 그의 엔도모르피즘 링 위에서 프로젝티브일 경우에만 주요 코모듈이 되는 것을 보여준다. 이는 코모듈의 캐논컬 맵의 끌림이 왼쪽 코모듈의 범주에서 분할 전성사임을 보여준다. 또한 군-유사 원소와 전사인 끌린 캐논컬 맵을 가진 엔티윙 구조는 주요 확장을 유도하며, 이는 비가환 주요 번들의 이론과 연결된다.

ABSTRACT

Galois comodules of a coring are studied. The conditions for a simple comodule to be a Galois comodule are found. A special class of Galois comodules termed principal comodules is introduced. These are defined as Galois comodules that are projective over their comodule endomorphism rings. A complete description of principal comodules in the case a background ring is a field is found. In particular it is shown that a (finitely generated and projective) right comodule of an $A$-coring $\mathcal C$ is principal provided a lifting of the canonical map is a split epimorphism in the category of left $\mathcal C$-comodules. This description is then used to characterise principal extensions or non-commutative principal bundles. Specifically, it is proven that, over a field, any entwining structure consisting of an algebra $A$, a coseparable coalgebra $C$ and a bijective entwining map $\psi$ together with a group-like element in $C$ give rise to a principal extension provided the lifted canonical map is surjective. Induction of Galois and principal comodules via morphisms of corings is described. A connection between the relative injectivity of a Galois comodule and the properties of the extension of endomorphism rings associated to this comodule is revealed.

연구 동기 및 목표

• 코링의 맥락에서 갈루아 코모듈을 정의하고 연구하기.
• 자기 자신에 대한 엔도모르피즘 링 위에서 프로젝티브인 특수한 갈루아 코모듈의 클래스인 주요 코모듈을 도입하고 특성화하기.
• 기저 링이 체일 경우 주요 코모듈의 완전한 기술을 제공하기.
• 엔티윙 구조와 끌린 캐논컬 맵의 전사성에 의해 주요 확장을 특성화하고, 비가환 주요 번들을 설명하기.
• 갈루아 코모듈의 상대적 임베딩과 그 엔도모르피즘 링 확장 사이의 관계를 조사하기.

제안 방법

• 코모듈의 범주에서 캐논컬 맵과 그 끌림을 통해 갈루아 코모듈을 정의하기.
• 자기 코모듈 엔도모르피즘 링 위에서 프로젝티브인 갈루아 코모듈을 주요 코모듈로 도입하기.
• 체 위에서 주요 코모듈을 특성화하기 위해 코모듈의 캐논컬 맵의 끌림이 왼쪽 코모듈의 범주에서 분할 전성사임을 조건으로 사용하기.
• 대부분의 엔티윙 구조는 대수 A, 코서플라블 코메트리 C, 그리고 전단사 엔티윙 사상 ψ로 이루어지며, C에 군-유사 원소가 존재한다.
• 코링의 사상에 의해 갈루아 및 주요 코모듈에 대한 유도 함자를 적용하기.
• 갈루아 코모듈의 상대적 임베딩과 관련된 엔도모르피즘 링 확장의 성질 사이의 연결을 수립하기.

실험 결과

연구 질문

• RQ1 간단한 코모듈이 코링 위에서 갈루아 코모듈이 되는 조건은 무엇인가?
• RQ2 갈루아 코모듈이 언제 주요 코모듈이 되는가, 즉 그 엔도모르피즘 링 위에서 프로젝티브인가?
• RQ3 기저 링이 체일 경우 주요 코모듈은 무엇으로 특성화되는가?
• RQ4 군-유사 원소와 전사인 끌린 캐논컬 맵을 가진 엔티윙 구조는 어떻게 주요 확장을 유도하는가?
• RQ5 갈루아 코모듈의 상대적 임베딩과 그 엔도모르피즘 링 확장 사이의 관계는 무엇인가?

주요 결과

• A-코링 𝒞의 유한 생성 및 프로젝티브인 오른쪽 코모듈은 왼쪽 𝒞-코모듈의 범주에서 캐논컬 맵의 끌임이 분할 전성사일 때이고, 그때에만 주요 코모듈이다.
• 체 위에서, 전단사 엔티윙 사상 ψ, 코서플라블 코메트리 C, 그리고 C에 군-유사 원소가 존재하는 모든 엔티윙 구조는 끌린 캐논컬 맵이 전사일 경우 주요 확장을 유도한다.
• 주요 코모듈의 클래스는 코링의 사상에 의한 유도에 대해 닫혀 있다.
• 갈루아 코모듈은 관련된 엔도모르피즘 링 확장이 특정한 호모로지적 성질을 만족할 때이고, 그때에만 상대적으로 임베딩된다.
• 이 이론은 엔티윙 구조와 캐논컬 맵의 분할 전성사에 의해 비가환 주요 번들의 특성화를 제공한다.
• 논문은 기저 체의 경우 주요 코모듈의 완전한 구조적 기술을 수립하며, 대수적 성질과 범주론적 성질을 연결한다.