A reflection equivalence for Gorenstein-projective quiver representations

For $Λ$ a selfinjective algebra, and $Q$ a finite quiver without oriented cycles, the algebra $ΛQ$ is a Gorenstein algebra and the category ${\rm Gproj}ΛQ$ of Gorenstein-projective $ΛQ$-modules is a Frobenius category. For a sink $v$ of $Q$, we define a functor $F(v) : \underline{\rm Gproj}ΛQ\to \underline{\rm Gproj}ΛQ(v)$ between the stable categories modulo projectives, where $Q(v)$ is obtained from $Q$ by changing the direction of each arrow ending in $v$. The functor is given by an explicit construction on the level of objects and homomorphisms. Our main result states that $F(v)$ is an equivalence of categories. In the case where the underlying graph of $Q$ is a tree, we deduce that the stable category $\underline{\rm Gproj}ΛQ$ does not depend on the orientation of $Q$. Moreover, if $Q$ is a quiver of type $\mathbb A_3$ and $Λ=k[T]/(T^n)$ the bounded polynomial algebra, we use the symmetry of the octahedron in the octahedral axiom to verify that the composition of twelve reflections yields the identity on objects.

No reviews yet.

No comments yet.