Acyclic quivers differing only in arrow directions: functorial isomorphism of representation categories? - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-18T06:12:35Z http://mathoverflow.net/feeds/question/17979 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/17979/acyclic-quivers-differing-only-in-arrow-directions-functorial-isomorphism-of-rep Acyclic quivers differing only in arrow directions: functorial isomorphism of representation categories? darij grinberg 2010-03-12T12:14:42Z 2010-03-12T21:36:29Z <p>Let $Q$ and $R$ be two acyclic quivers which differ only in the directions of their arrows (i. e., the underlying undirected graphs are the same).</p> <p><strong>1.</strong> Does there exist an isomorphism of additive categories $\mathrm{Rep}Q\to\mathrm{Rep}R$ ?</p> <p>At the moment, I am not even 100% sure about the weaker statement that there exists an equivalence of additive categories $\mathrm{Rep}Q\to\mathrm{Rep}R$. (My intuition for this is pretty much zero.)</p> <p>In before reflection functors - they are not isomorphisms. (But yes, it's a nice exercise to see that we can obtain $R$ from $Q$ by a sequence of admissible reflections, where an "admissible reflection" means choosing some sink in $Q$ and switching all the arrows to $Q$. Unfortunately, the corresponding reflection functors may turn some nonzero representations of $Q$ to zero.)</p> <p><strong>2.</strong> Are the representation rings of $Q$ and $R$ isomorphic? The isomorphy of their additive groups follows from Gabriel's theorem, but it is not clear to me what this does to tensor products.</p> <p><strong>1+2.</strong> Does there exist an isomorphism of tensor categories $\mathrm{Rep}Q\to\mathrm{Rep}R$ ?</p> <p><strong>3.</strong> If some of these answers are No, what if we restrict ourselves to Dynkin quivers?</p> <p>I am new to quivers, so I'm sorry if this has been already talked over a dozen of times here.</p> http://mathoverflow.net/questions/17979/acyclic-quivers-differing-only-in-arrow-directions-functorial-isomorphism-of-rep/17985#17985 Answer by lieven lebruyn for Acyclic quivers differing only in arrow directions: functorial isomorphism of representation categories? lieven lebruyn 2010-03-12T13:46:19Z 2010-03-12T13:46:19Z <p>No, there cannot be an equivalence of categories, not even for Dynkins.</p> <p>Take .-->.-->.-->. versus .-->.&lt;--.-->. </p> <p>the simples corresponding to the vertices have to be mapped to themselves because of the two outer arrows, but then if there was an equivalence the 2-dml extension between the two inner simples on the left has to be mapped to an extension between the very same simples on the right, so the direction of the arrow cannot change! In fact one can even suffice with</p> <p>.-->.-->. versus .-->.&lt;--. </p> http://mathoverflow.net/questions/17979/acyclic-quivers-differing-only-in-arrow-directions-functorial-isomorphism-of-rep/17987#17987 Answer by David Speyer for Acyclic quivers differing only in arrow directions: functorial isomorphism of representation categories? David Speyer 2010-03-12T13:54:32Z 2010-03-12T13:54:32Z <p>The categories are not equivalent. In fact, an acyclic quiver is determined (up to non-unique isomorphism) by the equivalence class of its category of representations. The construction is simple: Find the isomorphism classes of simple objects. These are in bijection with the vertices. For any two simple objects $S$ and $S'$, the number of arrows from vertex $S$ to vertex $S'$ is the dimension of $\mathrm{Ext}^1 (S, S')$. The nonuniqueness is because we need to choose a basis of $\mathrm{Ext}^1 (S, S')$.</p> <hr> <p>There is a lot more to say on this subject, but it doesn't go in the direction your questions are pointing. When the underlying graphs of $Q$ and $R$ are trees, then it is true that the bounded <strong>derived</strong> categories of $\mathrm{Rep} \ Q$ and $\mathrm{Rep} \ R$ are isomorphic. The basic point here is that, although the reflection functors are not equivalences of categories, the derived reflection functors are equivalences of derived categories. Of course, every Dynkin diagram is a tree, so in particular this is true for Dynkin diagrams.</p> <p>There is a version of this for non-trees, but I don't know a reference for it nor the exact statement and I don't want to hunt one down until I know whether derived categories are something that you love or that you fear. The proof, of course, is completely different.</p> <p>Here is a result of Kac you might be happier with. Let our ground field be a finite field $\mathbb{F}_q$ and fix a dimension vector $d$. Then the number of isomorphism classes of representations of $Q$ and $R$, of dimension $d$, over $\mathbb{F}_q$, is the same. (<a href="http://gdz.sub.uni-goettingen.de/no_cache/dms/load/img/?IDDOC=171997" rel="nofollow">Infinite root systems, representations of graphs and invariant theory</a>, Theorem 1.) </p> <p>Morally, one wants to work over an arbitrary field. The statement then is a statement about the stacks of $Q$ and $R$ representations of dimension $d$. But, again, to formulate this you need to know about a lot of machinery: stacks, perverse sheaves, derived categories again.</p> <hr> <p>In short, the categories are not equivalent. There are very close relations between them, but the best formulations of those relations use sophisticated category theory. You can often see shadows of these relations by counting points over $\mathbb{F}_q$.</p> http://mathoverflow.net/questions/17979/acyclic-quivers-differing-only-in-arrow-directions-functorial-isomorphism-of-rep/18013#18013 Answer by Helene Tyler for Acyclic quivers differing only in arrow directions: functorial isomorphism of representation categories? Helene Tyler 2010-03-12T21:36:29Z 2010-03-12T21:36:29Z <p>As you now know, there is no equivalence of the categories. However, the (positive) reflection functors that you mentioned get you about as close as you'll ever come to finding one. The reflection functor $F_x^+$ associated with a particular sink, x, takes the category of representations of the original quiver to the category of representations of the reoriented quiver, where the sink has become a source. The reflection functor $F_x^+$ kills precisely one nonzero representation, the simple one associated with the vertex x.</p>