Presentations of Grothendieck constructions
We will give quiver presentations of the Grothendieck constructions of functors from a small category to the 2-category of $\Bbbk$-categories for a commutative ring $\Bbbk$.
math.RA↗
arXiv subjects
Hideto Asashiba
Publications and source records attributed to Hideto Asashiba.
A generalization of Gabriel's Galois covering functors and derived equivalences
Let $G$ be a group acting on a category $\mathcal{C}$. We give a definition for a functor $F\colon \mathcal{C} \to \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} \to \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.
math.RT↗
Domestic canonical algebras and simple Lie algebras
For each simply-laced Dynkin graph $Δ$ we realize the simple complex Lie algebra of type $Δ$ as a quotient algebra of the complex degenerate composition Lie algebra $L(A)_{1}^{\mathbb{C}}$ of a domestic canonical algebra $A$ of type $Δ$ by some ideal $I$ of $L(A)_{1}^{\mathbb{C}}$ that is defined via the Hall algebra of $A$, and give an explicit form of $I$. Moreover, we show that each root space of $L(A)_{1}^{\mathbb{C}}/I$ has a basis given by the coset of an indecomposable $A$-module $M$ with root easily computed by the dimension vector of $M$.
math.RT↗