[論文レビュー] A categorical framework for glider representations

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

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 自然グライダー表現の圏は、すべてのグライダー表現の圏において反射的部分圏か？

主な発見

• フィルター付き環上のグライダー表現の圏は完全かつコマッピング的であり、脱法準アーベル圏である。
• バイアルゲブラのフィルトレーションに対しては、グライダー表現の圏はモノイダル圏となり、半ホプフ圏の表現の圏と導来同値である。
• バイアルゲブラの1段階フィルトレーションに対応するグライダー表現のモノイダル圏は、ファイバー関手を用いて元のバイアルゲブラを再構成可能である。
• 群代数のグライダー表現におけるモノイダル構造は、群が同型でない場合でも、同型な圏の群を区別可能である。
• 自然グライダー表現の圏は、すべてのグライダー表現の圏の反射的部分圏であり、したがって完全かつコマッピング的である。