Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Considering the path algebra of the quiver $\mathbb{A}_n$, it is well known its Auslander-Reiten quiver with the canonical orientation of $\mathbb{A}_n$, that is, with all the arrows from, say, left to right. I can find as examples in several texts the AR-quivers of $\mathbb{A}_n$ with other orientations.

QUESTION: Is there an algorithm to construct the AR-quiver of $\textit{any}$ orientation of $\mathbb{A}_n$ ?

Clearly it will suffice to describe the effect in the AR-quiver if it is changed the orientation of one arrow. Observing the examples I think there is some pattern, but I can't figure out the algorithm.

Of course this algorithm could be applied to quivers of other type than $\mathbb{A}_n$, but I think it is better to understand this in the simplest case.

share|improve this question
1  
The so called knitting procedure (see the book by Gabriel and Roiter for the problem of who to attribute it to...) will construct the AR-quiver of those algebras in a breeze. This is explained in the book by Gabriel and Roiter, in Assem+Skowroński+Simpson, in ARS iirc, and surely elsewhere. –  Mariano Suárez-Alvarez Jan 29 '12 at 3:29

1 Answer 1

up vote 1 down vote accepted

The algorithm for constructing the AR-quiver of any orientation of $A_n$ is the same as the algorithm for constructing the AR-quiver of the orientation you describe. Start out by figuring out all the irreducible maps between the indecomposable projectives. Then write out the cokernels, and then the cokernels of the new maps, and so on until you get to all of the indecomposable injectives.

For example, consider the $A_3$ of the form $1\xleftarrow{} 2\xrightarrow{} 3$. You have two simple projectives $P_1$ and $P_3$ and the non-simple $P_2=(k\xleftarrow{}k\xrightarrow{} k)$. Both $P_1$ and $P_3$ map into $P_2$ with respective cokernels $I_3=(0\xleftarrow{} k\xrightarrow{} k)$ and $I_1=(k\xleftarrow{} k\xrightarrow{} 0)$. The cokernel of $P_2\to I_1\oplus I_3$ is the simple injective $I_2$. So the AR-quiver is like a fish swimming to the right.

share|improve this answer
    
Thank you Steve, this is certainly an algorithm to construct the AR-quiver directly from the oriented $A_n$-quiver. I was wondering if there is anyone that in each step constructs the AR-quiver corresponding to one-arrow change from the AR-quiver that we had before that change. –  Rogelio Fernández-Alonso Jan 29 '12 at 4:06
1  
This isn't exactly what you are looking for, but I believe you can algorithmically go between the AR-quivers of orientations related by source/sink mutations (also called APR mutations). This corresponds to flipping the direction of all arrows incident to a source or a sink. –  Steve Jan 29 '12 at 4:59
    
As Steve said: you can pick a sink, which corresponds to a simple projective module. Flipping the arrows at it will remove that node from the AR quiver and add a node at the righthand end of the AR quiver for the new simple injective corresponding to the new source. (And the opposite applies if you start from a source.) To flip a single arrow is harder, but there is always a sequence of sink/source mutations which would do it, so that gives you one approach. –  Hugh Thomas Feb 2 '12 at 2:47

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.