[논문 리뷰] Globalizations for partial (co)actions on coalgebras

Felipe Castro, Glauber Rodrigues de Quadros|arXiv (Cornell University)|2015. 10. 05.

Algebraic structures and combinatorial models참고 문헌 13인용 수 4

한 줄 요약

이 논문은 코알제브라 위의 부분적 (코)행동에 대한 글로벌라이제이션을 도입하며, 모든 부분적 모듈 코알제브라가 표준 글로벌라이제이션으로서의 캐논리컬 구성에 의해 글로벌라이제이션을 갖는다는 것을 증명한다. 부분적 코모듈 코알제브라의 경우, 쌍대 히프 대수의 합리성 조건 하에서 글로벌라이제이션 가능성이 확립되며, 이는 기존의 모듈 대수 이론을 코알제브라 설정으로 확장하여 명시적인 쌍대성 및 호환성 결과를 제공한다.

ABSTRACT

In this paper, we introduce the notion of globalization for partial module coalgebra and for partial comodule coalgebra. We show that every partial module coalgebra is globalizable exhibiting a standard globalization. We also show the existence of globalization for a partial comodule coalgebra, provided a certain rationality condition. Moreover, we show a relationship between the globalization for the (co)module coalgebra and the usual globalization for the (co)module algebra.

연구 동기 및 목표

• 부분적 모듈 코알제브라와 부분적 코모듈 코알제브라에 대한 글로벌라이제이션을 정의하고 연구함으로써, 부분적 작용 이론을 코알제브라 맥락으로 확장한다.
• 코알제브라 위의 부분적 (코)행동과 그 이중 대응체인 대수 위의 부분적 (코)행동 사이의 대응관계를 확립함으로써, 기존의 모듈 대수 이론을 일반화한다.
• 모든 부분적 모듈 코알제브라에 대해 표준 글로벌라이제이션을 구성함으로써, 부분적 작용을 포함하는 완전한 작용의 존재를 보장한다.
• 쌍대 히프 대수의 합리적 모듈 조건 하에서 부분적 코모듈 코알제브라의 글로벌라이제이션 가능성을 증명한다.
• 모듈 및 코모듈 코알제브라의 글로벌라이제이션을 고전적 모듈 및 코모듈 대수의 글로벌라이제이션과 연관지워 구조적 쌍대성을 유지한다.

제안 방법

• 특정 조건을 만족하는 코승법적 사영을 사용하여 부분적 모듈 코알제브라에 대한 글로벌라이제이션의 개념을 도입함으로써, 대수적 경우를 일반화한다.
• 부분적 모듈 코알제브라의 표준 글로벌라이제이션을 $ C times H $로 구성하며, 코알제브라 구조와 부분적 작용을 확장하는 코행동을 갖춘다.
• 모듈 사례와 유사하게, 코승법적 사영이 특정 호환 조건을 만족함으로써 코알제브라 위에 유도된 부분적 코행동을 정의한다.
• 유한 차원성 또는 조밀성 조건 하에서 쌍대 히프 대수 $ H^0 $를 활용하여 부분적 모듈 코알제브라와 부분적 코모듈 코알제브라 사이의 쌍대성을 확립한다.
• 쌍대 히프 대수 $ H^0 $가 점들을 분리하고 $ C imes H^0 $가 합리적 $ H^0 $-모듈이라면, 부분적 코모듈 코알제브라의 글로벌라이제이션 가능성을 증명하기 위해 $ C imes H^0 $를 글로벌라이징 객체로 구성한다.
• 스위드러 표기법과 $ H^0 $가 $ C imes H^0 $에 작용하는 방식을 사용하여 글로벌라이제이션의 공리, 특히 코행동 호환성 및 생성 조건을 검증한다.

실험 결과

연구 질문

• RQ1 모든 부분적 모듈 코알제브라는 글로벌라이제이션 구성에 의해 완전한 모듈 코알제브라에 포함될 수 있는가?
• RQ2 부분적 코모듈 코알제브라는 어떤 조건에서 글로벌라이제이션을 갖는가, 그리고 이는 쌍대 히프 대수와 어떻게 관련이 있는가?
• RQ3 부분적 모듈 및 코모듈 코알제브라의 글로벌라이제이션 개념은 부분적 모듈 대수 이론의 대응 개념과 어떻게 관련이 있는가?
• RQ4 부분적 코모듈 코알제브라의 글로벌라이제이션 가능성을 보장하는 데 있어 $ H^0 $의 합리성과 점 분리 성질의 역할은 무엇인가?
• RQ5 부분적 코모듈 코알제브라에 대해 표준적이고 보편적인 글로벌라이제이션 구성이 존재하는가, 그리고 이는 부분적 모듈 코알제브라의 표준 글로벌라이제이션과 어떻게 비교되는가?

주요 결과

• 모든 부분적 모듈 코알제브라는 표준 글로벌라이제이션으로서 $ C times H $로 구성되며, 이는 원래의 부분적 작용을 포함하는 완전한 $ H $-모듈 코알제브라이다.
• 부분적 코모듈 코알제브라의 경우, $ C imes H^0 $가 합리적 $ H^0 $-모듈이면서 $ H^0 $가 점들을 분리한다면 글로벌라이제이션 가능성이 확보되며, 이는 완전한 코행동의 존재를 보장한다.
• 부분적 코모듈 코알제브라의 표준 글로벌라이제이션은 $ C imes H^0 $로 주어지며, 잘 정의된 코행동과 필요한 공리를 만족하는 코승법적 사영을 갖는다.
• 부분적 코모듈 코알제브라의 글로벌라이제이션 구성은 모듈 및 코모듈 구조 간의 쌍대성과 호환되며, 기존의 대수 이론에서의 결과를 코알제브라로 확장한다.
• 논문은 부분적 모듈 코알제브라의 글로벌라이제이션과 부분적 모듈 대수의 글로벌라이제이션 사이에 직접적인 대응관계를 확립하며, 구조적 및 범주론적 성질을 유지한다.
• 유한 차원의 경우 $ H^0 = H^* $이며, $ H^* $는 항상 점들을 분리하므로, 유한 차원 히프 대수에 대해서는 표준 글로벌라이제이션 $ C imes H^* $가 조건 없이 존재한다.