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.