Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I study the quiver just some weeks and I cannot understand the projective module in the quiver representation well.Here are some questions:

Suppose $Q$ is a quiver, $a\in Q_{0}$.

1)Show that the projective $KQ$-module $P(a)$ is simple iff $a$ is a sink.

2)If $Q$ is acyclic, $P(a)=(P(a)_{b},\phi_{\beta})$ be the indecomposable projective. Show that for each arrow $\beta$, the map $\phi_{\beta}$ is injective.

share|improve this question
    
Q is a finite quiver. –  Strongart Apr 7 '12 at 5:57

1 Answer 1

up vote 3 down vote accepted

I'll assume for now that your quiver is unbound, i.e. you aren't taking a quotient by an admissible ideal.

1) I'm assuming from the phrasing of question 2) that you know what the indecomposable projectives are and the simples are. Then if $a$ is a sink, there is only the constant path $a\to a$, so $P(a)_a=K$, and there are no paths $a\to b$ for any $b\ne a$, so $P(a)_b=0$ when $b\ne a$. But this is exactly the description of the simple module $S(a)$.

Conversely, if $a$ is not a sink, then $\dim{P(a)_a}\geq1$, as there is at least the constant path at $a$. Assume first that $Q$ is acyclic. Then as $a$ is not a sink, there must be a vertex $b\ne a$ and an arrow $a\to b$, so $\dim P(a)_b\geq1$, and again $P(a)$ cannot be simple, as simples of an acyclic quiver have non-zero vector spaces at only a single vertex.

Now if $Q$ is cyclic, but there are no paths from $a$ to a vertex involved in an cycle, then all of the vector spaces in $P(a)$ associated to vertices on the cycle are zero (as there are no paths). So we induce a representation of a quiver obtained by deleting edges in the cycles (which have associated map the zero map between zero vector spaces) to obtain an acyclic subquiver $\widetilde{Q}$. The representation $P(a)$ on $Q$ restricts to the representation $P(a)$ on $\widetilde{Q}$, so we can apply the argument from the acyclic case to find a proper submodule. Adding back the deleted edges, and their associated zero maps, we obtain a proper submodule of $P(a)$ on $Q$.

Finally, if $Q$ is cyclic and there is a path from $a$ to a vertex on a cycle $C$, then the dimension of $P(a)_b$ is infinite for any $b$ such that there is a path to $b$ from a vertex of $C$. Take $m$ to be the length of the shortest path from $a$ to $c$, and $n$ to be the number of edges in $C$. We get a subrepresentation $R$ by choosing $R_v=0$ if there is no path to $v$ from a vertex of $C$, and otherwise taking $R_v$ to be the subspace of the infinite dimensional space $P(a)_v$ spanned by paths $a\to v$ of length at least $m+n$ (this is to ensure the subspace is proper - we have excluded the direct path from $a\to v$ that does not include a full lap of the cycle). The restriction of the maps in $P(a)$ to $R$ are either zero, or increase the length of paths, so we have a proper subrepresentation and therefore $P(a)$ is not simple.

(Note: The acyclic case is more complicated than I was expecting, and you should check carefully for any errors. If anybody can think of a simpler argument I'd be interested to see it.)

2) Note that $P(a)_b$ is the $K$-vector space spanned by paths $w$ from $a\to b$. For each arrow $\beta:a\to c$, the map $\phi_\beta$ takes $w$ to $w\beta$, a path from $a$ to $c$. So let $v=(a|v_1,v_2,\ldots,v_k|b)$ and $w=(a|w_1,w_2,\ldots,w_l|b)$ be paths $a$ to $b$. Then if $v\beta=w\beta$, the sequence $(w_1,\ldots,w_l,\beta)$ is equal to the sequence $(v_1,\ldots,v_k,\beta)$, and so $(w_1,\ldots,w_l)=(v_1,\ldots,v_k)$ and $v=w$. So the map is injective.

I think the reason that acyclic-ness is introduced here is that if the quiver has a directed cycle, the zero ideal is not admissible, so you're forced to take a non-trivial quotient of the path algebra by an admissible ideal $\mathcal{I}$, which means the vector space $P(a)_b$ is no longer generated by paths $a\to b$, but by equivalence classes of paths modulo this ideal. In this case the result in 2) may no longer apply, as although $w\beta$ and $v\beta$ are distinct paths, it is possible that $v\beta-w\beta\in\mathcal{I}$.

share|improve this answer
    
Maybe I do not understand the sink well,because of the dual claim"the injective KQ-module I(a) is simple iff a is a sourse",I just guess it is a target.But from your answer,maybe a is a sink means no paths from a→b for any b≠a.Am I right? –  Strongart Apr 7 '12 at 6:02
    
Yes, that would be the usual definition of a sink. A source only has outgoing arrows, and a sink only has incoming arrows. –  Matt Pressland Apr 7 '12 at 10:05
    
In fact,I am reading the book "Elements of the Representation Theory of Associative Algebras(1)" by Assem,it do not define the sink,but define the source as a start point,dual with the target. –  Strongart Apr 9 '12 at 10:20
    
In the book p76,there is lemma2.1 says "The set {S(a);a∈Q$_0$} is complete set of representative of the isomorphism classes of the simple A-module."Here S(a)=(S(a)$_b$,0),S(a)$_b$=0,if b≠a,so we can do it directly. –  Strongart Apr 9 '12 at 10:29
    
For the question 2,the arrow in the answer maybe do not match well and I need a reason to cancel β. –  Strongart Apr 9 '12 at 10:32

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.