[논문 리뷰] Firm Frobenius monads and firm Frobenius algebras

Gabriella Böhm, José Gómez-Torrecillas|arXiv (Cornell University)|2013. 04. 24.

Rings, Modules, and Algebras참고 문헌 19인용 수 6

한 줄 요약

이 논문은 고전적 프로베누스 대수의 비단위 일반화로 비단위 프로베누스 모나드와 비단위 프로베누스 대수를 도입하며, 범주론적 방법을 사용하여 비단위 모듈러스의 범주와 코모듈러스의 범주가 서로 동형이 되는 것은 정확히 비단위 모듈러스의 범주를 통과하는 코모듈러스에서 비단위 모듈러스로의 표준 비교 함자(factor through)가 성립할 때이다. 이는 예를 들어 기저 대수가 국소 단위를 가질 때 또는 코곱셈이 곱셈을 분리할 때(비분리적 케이스), 야브람스의 고전적 정리가 비단위 설정으로 확장되며, 일반화된 카시미르 원소와 승수 대수를 통한 새로운 특성화를 제공한다.

ABSTRACT

Firm Frobenius algebras are firm algebras and counital coalgebras such that the comultiplication is a bimodule map. They are investigated by categorical methods based on a study of adjunctions and lifted functors. Their categories of comodules and of firm modules are shown to be isomorphic if and only if a canonical comparison functor from the category of comodules to the category of non-unital modules factorizes through the category of firm modules. This happens for example if the underlying algebra possesses local units, e.g. the firm Frobenius algebra arises from a co-Frobenius coalgebra over a base field; or if the comultiplication splits the multiplication (hence the underlying coalgebra is coseparable).

연구 동기 및 목표

• 범주론적 및 모나드적 방법을 사용하여 고전적 프로베누스 대수 개념을 비단위 설정으로 일반화한다.
• 비단위 Eilenberg-Moore 범주에 대한 비단위 모듈러스와 비단위 모나드의 비단위 동반체로서의 비단위 모듈러스와 비단위 모나드를 정의한다.
• 비단위 모나드에 대한 비단위 모듈러스의 범주와 그 구성 코모나드에 대한 코모듈러스의 범주가 동형이 되는 조건을 확립한다.
• 프로베누스 대수에 대한 모듈러스-코모듈러스 대칭성에 관한 야브람스의 정리를 비단위, 비단위 프로베누스 대수로 확장한다.
• 승수 대수의 일반화된 카시미르 원소를 통한 비단위 프로베누스 대수의 새로운 특성화를 제공한다.

제안 방법

• 비단위 모나드와 코모나드를 사용하는 범주론적 프레임워크로, 수반 관계와 올림 함수자에 중점을 둔다.
• 비단위 모듈러스를 작용이 전성사이고 특정 피라미드가 공등화자(coequalizer)가 되는 비단위 모듈러스로 정의한다.
• 자유 모듈러스가 비단위 모듈러스가 되는 비단위 모나드를 비단위 모나드로 정의한다.
• 코모듈러스의 범주에서 비단위 모듈러스의 범주로 가는 표준 비교 함자를 구성한다.
• 이 함자가 비단위 모듈러스의 범주를 통과할 조건을 분석함으로써 주요 동형 결과를 이끌어낸다.
• 결과를 가환환 위의 대수, 특히 코프로베누스 및 비분리 코알제브라에 적용한다.

실험 결과

연구 질문

• RQ1 비단위 모나드에 대한 비단위 모듈러스의 범주가 그 구성 코모나드에 대한 코모듈러스의 범주와 동형이 되는 조건은 무엇인가?
• RQ2 프로베누스 대수에 대한 고전적 모듈러스-코모듈러스 대칭성은 비단위 설정으로 어떻게 확장될 수 있는가?
• RQ3 국소 단위의 존재 또는 코곱셈이 분리되는 코곱셈의 역할은 비단위 모듈러스와 코모듈러스의 범주 간 동형성 수립에 어떤 영향을 미치는가?
• RQ4 승수 대수 R ⊗ R에서의 일반화된 카시미르 원소는 비단위 프로베누스 대수를 어떻게 특성화하는가?
• RQ5 비단위 프로베누스 모나드는 어떤 경우에 분리 가능한 수반 관계로부터 유도되며, 이는 모듈러스-코모듈러스 동치에 어떤 함의를 갖는가?

주요 결과

• 비단위 모듈러스의 범주와 코모듈러스의 범주는 정확히 코모듈러스에서 비단위 모듈러스로 가는 표준 비교 함자가 비단위 모듈러스의 범주를 통과할 때 동형이 된다.
• 체 위의 코프로베누스 코알제브라로부터 유도된 비단위 프로베누스 대수는 동형 조건을 만족하며, 이는 [11, 정리 2.3]과 [6, 보조정리 2.7]을 확장한다.
• 코곱셈이 곱셈을 분리할 경우(즉, 코알제브라가 비분리적일 경우), 비교 함자가 비단위 모듈러스의 범주를 통과하여 범주 간 동형이 보장된다.
• 비단위 곱셈이 비퇴화된 비단위 대수는 R ⊗ R의 승수 대수에 일반화된 카시미르 원소가 존재할 때이고, 뿐만 아니라 비단위 프로베누스 대수이다.
• 모든 G-분할 단위 k-대수 A에 대해 스매시 tích A♯G∗는 비단위 대수 A⊗R과 동형이며, A의 분할 A-모듈러스의 범주는 A⊗R 위의 비단위 모듈러스의 범주와 동치이다.
• 국소 단위를 가진 비단위 프로베누스 대수의 비단위 모듈러스의 범주는 액션 m·r := m₀ǫ(m₁r)를 통해 그 코모듈러스의 범주와 동형이 된다.