[논문 리뷰] A generalization of Gabriel's Galois covering functors and derived equivalences

Hideto Asashiba|arXiv (Cornell University)|2008. 07. 29.

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

한 줄 요약

이 논문은 자유 또는 국소 유계성의 고전적 가정을 필요로 하지 않는 새로운 $G$-커버링 함자 개념을 도입함으로써 Gabriel의 갈루아 커버링 함자를 일반화한다. 이러한 함자는 궁극적으로 $\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.

연구 동기 및 목표

• 자유 및 국소 유계성 작용에 대한 제한적인 가정을 제거함으로써 Gabriel의 고전적 갈루아 커버링 함자를 일반화하는 것.
• 궤도 범주 $\mathcal{C}/G$를 통한 보편적인 $G$-불변 함자로서 새로운 $G$-커버링 함자 개념을 정의하는 것.
• 범주 및 군 작용에 대한 조건을 완화함으로써 유도 동치를 위한 커버링 기법을 향상시키는 것.
• 자유 $G$-작용을 가정하지 않고 스매시 곱 구성과 궤도 범주 구성 간의 관계를 명확히 하는 것.
• 모노이드 작용 하에서 궤도 범주를 화살표-관계 표현을 통해 명시적으로 기술함으로써 구체적인 계산을 가능하게 하는 것.

제안 방법

• 자연동형사상의 가족인 불변 조정자 $\phi = (\phi_\alpha: F \to FA_\alpha)_{\alpha \in G}$를 사용한 일반화된 $G$-커버링 함자를 도입한다.
• 자유성 또는 유계성 조건 없이도 임의의 범주 $\mathcal{C}$ 및 군 $G$-작용에 대해 궤도 범주 $\mathcal{C}/G$를 정의한다.
• 보편적인 $G$-불변 함자로서의 자연스러운 함자 $\mathcal{C} \to \mathcal{C}/G$를 확립한다.
• 보편 성질을 이용해 $G$-커버링 함자가 본질적으로 자연스러운 사영 $\mathcal{C} \to \mathcal{C}/G$로 주어진다는 것을 보인다.
• 이 틀을 적용하여 자유 작용을 가정하지 않고도 유도 범주 간의 동치를 도출한다.
• 군 $G$가 모노이드 작용을 할 경우 $\mathcal{C}/G$의 화살표-관계 표현을 제공하여 구체적 계산을 가능하게 한다.

실험 결과

연구 질문

• RQ1 Gabriel의 갈루아 커버링 함자를 자유 및 국소 유계성 작용을 가정하지 않고 어떻게 일반화할 수 있는가?
• RQ2 보편적인 $G$-불변 함자 맥락에서 자연스러운 함자 $\mathcal{C} \to \mathcal{C}/G$의 보편 성질은 무엇인가?
• RQ3 Cibils–Marcos 및 Keller의 궤도 범주 구성은 자유 작용을 가정하지 않을 경우 어떻게 커버링 함자와 관련이 있는가?
• RQ4 자유 $G$-작용을 가정하지 않을 경우 스매시 곱 구성과 궤도 범주 구성 간의 정확한 관계는 무엇인가?
• RQ5 모노이드 작용 하에서 범주의 궤도 범주는 화살표-관계 표현을 통해 명시적으로 기술할 수 있는가?

주요 결과

• 자연스러운 함자 $\mathcal{C} \to \mathcal{C}/G$는 보편적인 $G$-불변 함자로서, 일반화된 커버링 기법의 범주론적 기초를 제공한다.
• 자유성 또는 유계성 조건 없이도 제안된 $G$-커버링 함자는 자연스러운 사영 $\mathcal{C} \to \mathcal{C}/G$와 동치이다.
• 유도 동치 기법이 크게 단순화되고 일반화되었으며, 이제는 반완전성 또는 작용의 자유성 조건이 필요하지 않다.
• 자유 $G$-작용을 가정하지 않더라도 스매시 곱 구성과 궤도 범주 구성 간의 관계가 명확히 드러났다.
• 모노이드 작용 하에서 $\mathcal{C}/G$의 화살표-관계 표현이 제공되어 예제의 명시적 계산이 가능해졌다.
• 군 작용이 자유가 아니어도 콜리미트 궤도 범주를 통한 클러스터 범주의 구성이 새로운 틀을 통해 정당화된다.