[論文レビュー] A generalization of Gabriel's Galois covering functors and derived equivalences

Hideto Asashiba|arXiv (Cornell University)|Jul 29, 2008

Algebraic structures and combinatorial models参考文献 16被引用数 4

ひとこと要約

本稿は、群作用の自由性や局所有界性という古典的仮定を必要としない、$G$-カバー関手の新概念を導入することで、ガブリエルのガロアカバー関手を一般化する。このような関手が、自然な写像 $\mathcal{C} \to \mathcal{C}/G$ を通じて普遍的 $G$-不変関手であることが確立され、これにより、自由作用を仮定しない導来同値の技法が向上し、軌道圏とスモーズ積の関係が明確化される。

ABSTRACT

Let $G$ be a group acting on a category $\mathcal{C}$. We give a definition for a functor $F\colon \mathcal{C} o \mathcal{C}'$ to be a $G$-covering and three constructions of the orbit category $\mathcal{C}/G$, which generalizes the notion of a Galois covering of locally finite-dimensional categories with group $G$ whose action on $\mathcal{C}$ is free and locally bonded defined by Gabriel. Here $\mathcal{C}/G$ is defined for any category $\mathcal{C}$ and we do not require that the action of $G$ is free or locally bounded. We show that a $G$-covering is a universal "$G$-invariant" functor and is essentially given by the canonical functor $\mathcal{C} o \mathcal{C}/G$. By using this we improve a covering technique for derived equivalence. Also we prove theorems describing the relationships between smash product construction and the orbit category construction by Cibils and Marcos (2006) without the assumption that the $G$-action is free. The orbit category construction by a cyclic group generated by an auto-equivalence modulo natural isomorphisms (e.g., the construction of cluster categories) is justified by a notion of the "colimit orbit category". In addition, we give a presentation of the orbit category of a category with a monoid action by a quiver with relations, which enables us to calculate many examples.

研究の動機と目的

• 自由かつ局所有界な群作用という制限的な仮定を除去することで、ガブリエルの古典的ガロアカバー関手を一般化すること。
• 軌道圏 $\mathcal{C}/G$ を通じて、普遍的 $G$-不変関手である新概念の $G$-カバー関手を定義すること。
• カテゴリおよび群作用に関する条件を緩和することで、導来同値のためのカバー技法を改善すること。
• 自由 $G$-作用を仮定しない状況において、スモーズ積構成と軌道圏構成の関係を明確化すること。
• モノイド作用の下での軌道圏のクイバーと関係式による表現を提供し、明示的な計算を可能にすること。

提案手法

• 自然同型の族 $\phi = (\phi_\alpha: F \to FA_\alpha)_{\alpha \in G}$ である不変調整子 $\phi$ を用いた一般化された $G$-カバー関手を導入する。
• 自由性や有界性を要件としない、任意のカテゴリ $\mathcal{C}$ と群 $G$-作用に対して軌道圏 $\mathcal{C}/G$ を定義する。
• 自然関手 $\mathcal{C} \to \mathcal{C}/G$ が $G$-不変関手の間で普遍的であることを確立する。
• 普遍性を用いて、$G$-カバー関手が $\mathcal{C} \to \mathcal{C}/G$ の自然な射影によって本質的に与えられることを示す。
• この枠組みを用いて、自由作用を仮定しない導来カテゴリ間の同値を導出する。
• 群 $G$ がモノイドによって作用する場合に、$\mathcal{C}/G$ のクイバーと関係式による表現を提供し、具体的な計算を可能にする。

実験結果

リサーチクエスチョン

• RQ1 ガブリエルのガロアカバー関手は、自由かつ局所有界な群作用の仮定を除去することで、どのように一般化可能か？
• RQ2 $G$-不変関手の文脈において、自然関手 $\mathcal{C} \to \mathcal{C}/G$ の普遍的性質は何か？
• RQ3 シビルズ–マルコスおよびケラーの軌道圏構成は、自由作用を仮定しない状況で、カバー関手とどのように関係するか？
• RQ4 自由 $G$-作用を仮定しない状況において、スモーズ積構成と軌道圏構成の正確な関係は何か？
• RQ5 モノイド作用の下でのカテゴリの軌道圏は、クイバーと関係式によって明示的に表現可能か？

主な発見

• 自然関手 $\mathcal{C} \to \mathcal{C}/G$ は、$G$-不変関手の間で普遍的であり、一般化されたカバー技法のカテゴリ的基盤を提供する。
• 自由性や有界性の仮定がなくても、提案された $G$-カバー関手は自然な射影 $\mathcal{C} \to \mathcal{C}/G$ と同値である。
• 導来同値の技法が著しく簡素化され、一般化され、半完備性や作用の自由性の仮定が不要になる。
• 自由 $G$-作用を仮定しない状況でも、スモーズ積構成と軌道圏構成の関係が明確化される。
• モノイド作用の下で、$\mathcal{C}/G$ のクイバーと関係式による表現が提供され、具体例の明示的計算が可能になる。
• 群作用が自由でない場合でも、コロイミット軌道圏を用いたクラスターカテゴリの構成が、新しい枠組みによって正当化される。