[논문 리뷰] A categorical framework for glider representations

Ruben Henrard, Adam-Christiaan van Roosmalen|arXiv (Cornell University)|2020. 03. 12.

Topological and Geometric Data Analysis참고 문헌 2인용 수 7

한 줄 요약

이 논문은 필터링된 링 위에서 글라이더 표현에 대한 범주론적 프레임워크를 수립하며, 글라이더 표현의 범주가 완비이고 코완비이며, 압축-준아벨리안임을 증명한다. 이 글라이더 표현의 범주는 이중대칭 대칭 대수 필터링인 경우 모나이드 구조를 지니며, 반면에 반-호프 범주 표현의 범주와 유도 동치가 되며, 원래의 이중대칭 대수를 재구성할 수 있고, 단지 모나이드 구조만으로도 동치 범주군을 구별할 수 있다.

ABSTRACT

Fragment and glider representations (introduced by F. Caenepeel, S. Nawal, and F. Van Oystaeyen) form a generalization of filtered modules over a filtered ring. Given a $Γ$-filtered ring $FR$ and a subset $Λ\subseteq Γ$, we provide a category $\operatorname{Glid}_ΛFR$ of glider representations, and show that it is a complete and cocomplete deflation quasi-abelian category. We discuss its derived category, and its subcategories of natural gliders and Noetherian gliders. If $R$ is a bialgebra over a field $k$ and $FR$ is a filtration by bialgebras, we show that $\operatorname{Glid}_ΛFR$ is a monoidal category which is derived equivalent to the category of representations of a semi-Hopf category (in the sense of E. Batista, S. Caenepeel, and J. Vercruysse). We show that the monoidal category of glider representations associated to the one-step filtration $k \cdot 1 \subseteq R$ of a bialgebra $R$ is sufficient to recover the bialgebra $R$ by recovering the usual fiber functor from $\operatorname{Glid}_ΛFR.$ When applied to a group algebra $kG$, this shows that the monoidal category $\operatorname{Glid}_ΛF(kG)$ alone is sufficient to distinguish even isocategorical groups.

연구 동기 및 목표

• 필터링된 모듈을 일반화하는 글라이더 표현에 대한 종합적인 범주론적 프레임워크를 개발한다.
• 글라이더 표현의 범주가 완비이고 코완비이며, 압축-준아벨리안임을 증명한다.
• 필터링된 링이 이중대칭 대수 필터링인 경우 글라이더 표현에 모나이드 구조를 수립한다.
• 글라이더 표현의 모나이드 범주가 섬유 함수를 통해 원래의 이중대칭 대수를 복원할 수 있음을 보인다.
• 이 범주가 서로 동치 범주군을 식별할 수 있음을 보인다. 이는 군 대수들이 서로 동형이 아니어도 가능하다.

제안 방법

• 예글라이더의 범주를 국소화함으로써 글라이더 표현의 범주를 구성한다.
• 글라이더 표현을 호환 가능한 둘러싸는 모듈을 지닌 조각으로 정의함으로써 부분 작용의 결합법칙을 보장한다.
• 재구성 기법을 사용하여 글라이더의 범주를 예글라이더와 예조각의 범주와 연결한다.
• 필터링된 링이 이중대칭 대수 필터링인 경우 글라이더 표현의 범주에 모나이드 구조를 부여한다.
• 글라이더 표현의 범주와 반-호프 범주의 표현의 범주 사이의 유도 동치를 증명한다.
• 글라이더 표현의 범주에서의 섬유 함수를 사용하여 원래의 이중대심 대수 또는 군 대수를 재구성한다.

실험 결과

연구 질문

• RQ1 글라이더 표현의 구조적 및 호모로지적 성질을 포괄하는 범주론적 프레임워크를 개발할 수 있는가?
• RQ2 글라이더 표현의 범주는 완비이고 코완비이며, 압축-정확한 구조를 지닐 수 있는가?
• RQ3 이중대칭 대수 필터링의 글라이더 표현에 모나이드 구조가 원래의 이중대칭 대수를 재구성할 수 있는가?
• RQ4 글라이더 표현의 모나이드 범주는 서로 동치 범주군을 식별할 수 있는가?
• RQ5 자연 글라이더 표현의 범주는 모든 글라이더 표현의 범주의 반사 부분범주인가?

주요 결과

• 필터링된 링 위에서 글라이더 표현의 범주는 완비이고 코완비이며, 압축-준아벨리안 범주이다.
• 이중대칭 대수 필터링인 경우 글라이더 표현의 범주는 반-호프 범주의 표현의 범주와 유도 동치인 모나이드 범주가 된다.
• 이중대칭 대수의 일단계 필터링에 대응하는 글라이더 표현의 모나이드 범주는 섬유 함수를 통해 원래의 이중대칭 대수를 충분히 복원할 수 있다.
• 군 대수의 글라이더 표현에 대한 모나이드 구조는 군 대수가 서로 동형이 아니어도, 동치 범주군을 식별하는 데에 충분하다.
• 자연 글라이더 표현의 범주는 모든 글라이더 표현의 범주의 반사 부분범주이므로, 완비이고 코완비이다.