[논문 리뷰] An Embedding theorem for abelian monoidal categories

Phùng Hô Hái|ArXiv.org|2000. 04. 25.

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

한 줄 요약

이 논문은 작고 아벨이며 강한 모나드 구조를 가진 카테고리가 링 위의 이모듈러 카테고리로의 임베딩 정리를 수립한다. 이는 카테고리를 코초완비 고투렌트 지크 범주로 확장한 후, 모듈러 카테고리로 임베딩한 다음 이중모듈러 구조를 실현하는 방법을 사용한다. 주요 결과는 이러한 카테고리가 R-Mod-R로의 정확한 모나드 임베딩을 갖는다는 것이며, 특히 단순한 단위를 가진 반순수 대칭 카테고리의 경우 특성 0인 기저 체에서 Tannakian임을 보여준다.

ABSTRACT

We show that, with some technical conditions, an abelian category can be embedded into the category of bimodules over a ring. The case of semisimple rigid monoidal categories is studied in more detail.

연구 동기 및 목표

• 아벨 모나드 카테고리의 맥컬로우-프리드-미첼 임베딩 정리를 일반화하는 것.
• 브레이드 또는 비대칭인 경우 모나드 임베딩의 자연스러운 목표 카테고리가 부족한 문제를 다루는 것.
• 작은 아벨 강한 모나드 카테고리가 링 위의 이모듈러 카테고리로의 모나드 임베딩을 구성하는 것.
• 단순한 단위를 가진 반순수 대칭 모나드 카테고리가 특성 0 조건 하에서 Tannakian임을 보이는 것.
• 무한 행렬을 통한 명시적 실현을 제공하여 유한 랭크 이모듈러 카테고리로의 임베딩을 구현하는 것.

제안 방법

• 작은 아벨 모나드 카테고리를 코초완비 고투렌트 모나드 카테고리로 확장하며, 포함된 코제너레이터를 갖는다.
• 카테고리가 R-이중모듈러 카테고리로 완전하고 충실하게 임베딩될 수 있도록 링 R을 구성한다.
• 텐서곱의 구조를 이용해 모듈러 카테고리에서 이중모듈러 카테고리로의 모나드 함자를 정의한다.
• 객체를 유한한 행과 열의 지지 집합을 가진 무한 행렬로 표현하며, 이 텐서곱은 행렬 곱셈에 대응한다.
• 강성 조건을 활용해 이미지가 유한 생성 프로젝티브 이중모듈러 카테고리임을 보장함으로써 유한 차원 추정을 가능하게 한다.
• 일致성 정리와 수반 함자 기준을 적용하여 코초완비와 닫힌 구조와의 호환성을 확보한다.

실험 결과

연구 질문

• RQ1 작은 아벨 강한 모나드 카테고리는 링 위의 이중모듈러 카테고리로 모나드 임베딩이 가능한가?
• RQ2 이러한 임베딩이 정확하고 충실하기 위해 어떤 조건이 필요한가?
• RQ3 반순수 강한 모나드 카테고리의 구조는 이러한 임베딩 하에서 어떻게 행동하는가?
• RQ4 이 임베딩을 통해 대칭 경우에서 Tannakian dualit의 증명이 가능한가?
• RQ5 이중모듈러 표현이 종함수 공간의 성장에 어떤 제약을 끼치는가?

주요 결과

• 모든 작은 아벨 강한 모나드 카테고리는 링 위의 이중모듈러 카테고리로 정확한 모나드 임베딩을 갖는다.
• 임베딩 하에서 각 객체의 이미지는 각 행과 열에 유한 개의 비영원소만을 갖는 무한 행렬에 대응한다.
• 객체의 텐서곱은 이중모듈러 표현에서 행렬 곱셈에 대응한다.
• 반순수 강한 모나드 카테고리에서 단순한 단위를 가진 임의의 객체 X에 대해, K 위에서 End(X^n)의 차원은 어떤 d에 대해 d^n 이하로 유계이다. 여기서 d는 카테고리에 따라 정해진다.
• 카테고리가 대칭적이며 char(K) = 0 이면, 임의의 객체 X에 대해 어떤 n에 대해 n차 반대칭 텐서의 거듭제곱이 0이 되며, 이는 카테고리가 Tannakian임을 의미한다.
• 어떤 수정된 대칭 하에서 임의의 객체의 카테고리 차원은 정수로 변환되며, 이는 델리뉴의 Tannakian 이론 적용이 가능하게 한다.