Difference between revisions of "Quiver"
Ulf Rehmann (talk | contribs) m (tex encoded by computer) |
Ulf Rehmann (talk | contribs) m (Undo revision 48406 by Ulf Rehmann (talk)) Tag: Undo |
||
Line 1: | Line 1: | ||
− | < | + | A quiver <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q0768601.png" /> is given by two sets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q0768602.png" /> and two mappings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q0768603.png" />; the elements of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q0768604.png" /> are called vertices or points, those of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q0768605.png" /> arrows; if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q0768606.png" /> is an arrow, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q0768607.png" /> is called its start vertex, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q0768608.png" /> its end vertex, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q0768609.png" /> is said to go from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686010.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686011.png" />, written as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686012.png" />. (Thus, a quiver is nothing else than a directed graph with possibly multiple arrows and loops (cf. [[Graph, oriented|Graph, oriented]]), or a diagram scheme in the sense of A. Grothendieck; the word "quiver" is due to P. Gabriel.) Given a quiver <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686013.png" />, there is the opposite quiver <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686014.png" />, with the same set of vertices but with the reversed orientation for all the arrows. |
− | q0768601.png | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | + | Given a quiver <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686015.png" />, a path in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686016.png" /> of length <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686017.png" /> is of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686018.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686019.png" /> are arrows with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686020.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686021.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686022.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686023.png" />; a path in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686024.png" /> of length 0 is of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686025.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686026.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686027.png" /> is a path, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686028.png" /> is called its start vertex, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686029.png" /> its end vertex; paths <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686030.png" /> of length <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686031.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686032.png" /> are called cyclic paths. | |
− | |||
− | + | Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686033.png" /> be a field. The path algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686034.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686035.png" /> over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686036.png" /> is the free vector space over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686037.png" /> with as basis the set of paths in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686038.png" />, and with distributive multiplication given on the basis by | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | with the | ||
− | + | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686039.png" /></td> </tr></table> | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | + | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686040.png" /></td> </tr></table> | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | + | The elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686041.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686042.png" /> are primitive and orthogonal idempotents, and in case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686043.png" /> is finite, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686044.png" /> is the unit element of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686045.png" />. Note that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686046.png" /> is finite-dimensional if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686047.png" /> is finite and has no cyclic path. | |
− | |||
− | |||
− | |||
− | |||
− | + | Recall that a ring of global dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686048.png" /> is said to be hereditary, and a finite-dimensional <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686049.png" />-algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686050.png" /> with radical <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686051.png" /> is said to be split basic provided <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686053.png" /> is a product of copies of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686054.png" />. The path algebras <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686055.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686056.png" /> a finite quiver without a cyclic path are precisely the finite-dimensional <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686057.png" />-algebras which are hereditary and split basic. | |
− | = | ||
− | |||
− | + | Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686058.png" /> be a quiver and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686059.png" /> a field. A representation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686060.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686061.png" /> over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686062.png" /> is given by a family of vector spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686063.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686064.png" />) and a family of linear mappings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686065.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686066.png" />). Given two representations <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686067.png" />, a mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686068.png" /> is given by linear mappings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686069.png" /> such that for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686070.png" /> one has <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686071.png" />. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686072.png" /> be finite. The category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686073.png" /> of right <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686074.png" />-modules is equivalent to the category of representations of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686075.png" /> (provided one applies all the vector space mappings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686076.png" />, as well as the module homomorphisms in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686077.png" />, on the right), and usually one identifies these categories. For any vertex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686078.png" />, there is the one-dimensional representation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686079.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686080.png" /> defined by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686081.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686082.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686083.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686084.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686085.png" />. Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686086.png" /> is equal to the number of arrows <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686087.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686088.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686089.png" />. Given a finite-dimensional representation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686090.png" />, its dimension vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686091.png" /> has, by definition, integral coordinates: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686092.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686093.png" />; and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686094.png" /> is called the dimension of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686095.png" />. In case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686096.png" /> has no cyclic path, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686097.png" /> is just the Jordan–Hölder multiplicity of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686098.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q07686099.png" />. | |
− | |||
− | |||
− | is finite, | ||
− | is the | ||
− | |||
− | is finite-dimensional | ||
− | is | ||
− | + | A finite quiver <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860100.png" /> is called representation-finite, tame or wild if the path algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860101.png" /> has this property. A connected quiver <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860102.png" /> is representation-finite if and only if the underlying graph <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860103.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860104.png" /> (obtained from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860105.png" /> by deleting the orientation of the edges) is a [[Dynkin diagram|Dynkin diagram]] of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860106.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860107.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860108.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860109.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860110.png" />, see [[#References|[a4]]], [[#References|[a1]]]; and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860111.png" /> is tame if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860112.png" /> is of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860113.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860114.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860115.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860116.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860117.png" />, see [[#References|[a3]]], [[#References|[a8]]]. More precisely, recall that an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860118.png" />-matrix <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860119.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860120.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860121.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860122.png" /> is called a symmetric generalized Cartan matrix [[#References|[a6]]]. To a symmetric generalized Cartan <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860123.png" />-matrix <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860124.png" /> one associates the following quiver <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860125.png" />: its set of vertices is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860126.png" />, and for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860127.png" /> one draws <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860128.png" /> arrows from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860129.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860130.png" />. Note that the quivers of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860131.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860132.png" /> a symmetric generalized Cartan matrix are precisely the quivers without a cyclic path. | |
− | is | ||
− | |||
− | |||
− | is | ||
− | |||
− | |||
− | with | ||
− | a | ||
− | |||
− | Let | + | Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860133.png" /> be a symmetric generalized Cartan matrix. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860134.png" /> is an indecomposable representation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860135.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860136.png" /> is a positive [[Root|root]] for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860137.png" />, and all positive roots are obtained in this way; the number of isomorphism classes of indecomposable representations <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860138.png" /> with fixed <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860139.png" /> depends on whether <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860140.png" /> is a real root (then there is just one class) or an imaginary root [[#References|[a7]]]. |
− | be a | ||
− | |||
− | |||
− | |||
− | is | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | is | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | of | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | with | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | is | ||
− | |||
− | |||
− | is just | ||
− | |||
− | A | + | Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860141.png" /> be a quiver. A non-zero <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860142.png" />-linear combination of paths of length <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860143.png" /> with the same start vertex and the same end vertex is called a relation on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860144.png" />. Given a set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860145.png" /> of relations, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860146.png" /> be the ideal in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860147.png" /> generated <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860148.png" />. Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860149.png" /> is said to be an algebra defined by a quiver with relations. A finite-dimensional <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860150.png" />-algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860151.png" /> is isomorphic to one defined by a quiver with relations if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860152.png" /> is split basic. Thus, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860153.png" /> is algebraically closed, then any finite-dimensional <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860154.png" />-algebra is Morita equivalent to one defined by a quiver with relations. All representation-finite and certain minimal representation-infinite <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860155.png" />-algebras over an algebraically closed field are defined by quivers with relations of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860156.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860157.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860158.png" /> are paths (the multiplicative basis theorem, [[#References|[a2]]]); this shows that the study of representation-finite algebras is a purely combinatorial problem; it was a decisive step for the proof of the second Brauer–Thrall conjecture (see [[Representation of an associative algebra|Representation of an associative algebra]]). |
− | |||
− | |||
− | |||
− | of | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | is | ||
− | is | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | with | ||
− | and | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | + | The representation theory of quivers has been developed in order to deal effectively with certain types of matrix problems over a fixed field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860159.png" /> as they arise in algebra, geometry and analysis. Typical tame quivers are the Kronecker quiver | |
− | |||
− | |||
− | |||
− | |||
− | and | ||
− | |||
− | |||
− | |||
− | + | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860160.png" /></td> </tr></table> | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | + | its representations are just the matrix pencils (pairs of matrices <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860161.png" /> of the same size, considered with respect to the equivalence relation: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860162.png" /> if and only if there are invertible matrices <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860163.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860164.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860165.png" />), and the four-subspace quiver | |
− | |||
− | + | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860166.png" /></td> </tr></table> | |
− | |||
− | |||
− | + | In general, the representation theory of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860168.png" />-subspace quiver | |
− | of the | ||
− | |||
− | |||
− | |||
− | |||
− | + | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860169.png" /></td> </tr></table> | |
− | + | deals with the mutual position of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860170.png" />-subspaces in a vector space. | |
− | |||
− | + | Using the language of quivers, these problems are transformed to problems dealing with finite-dimensional split basic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860171.png" />-algebras. | |
− | + | In order to deal with an arbitrary finite-dimensional <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860172.png" />-algebra one needs the notion of a species (instead of a quiver), see [[#References|[a5]]]. In this way, one deals with vector space problems which involve different fields. The representation-finite species are those corresponding to arbitrary Dynkin diagrams <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076860/q076860173.png" />, the tame ones correspond to the Euclidean diagrams [[#References|[a9]]]. | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | In order to deal with an arbitrary finite-dimensional | ||
− | algebra one needs the notion of a species (instead of a quiver), see [[#References|[a5]]]. In this way, one deals with vector space problems which involve different fields. The representation-finite species are those corresponding to arbitrary Dynkin diagrams | ||
− | the tame ones correspond to the Euclidean diagrams [[#References|[a9]]]. | ||
====References==== | ====References==== | ||
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> I.N. Bernstein, I.M. Gel'fand, V.A. Ponomarev, "Coxeter functors and Gabriel's theorem" ''Russian Math. Surveys'' , '''28''' : 2 (1973) pp. 17–32 ''Uspekhi Mat. Nauk'' , '''28''' : 2 (1973) pp. 19–34</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> R. Bautista, P. Gabriel, A. Rojter, L. Salmeron, "Representation-finite algebras and multiplicative basis" ''Invent. Math.'' , '''81''' (1985) pp. 217–285</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> P. Donovan, M.R. Freislich, "The representation of finite graphs and associated algebras" ''Carleton Lecture Notes'' , '''5''' (1973)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> P. Gabriel, "Unzerlegbare Darstellungen I" ''Manuscripta Math.'' , '''6''' (1972) pp. 71–103</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> P. Gabriel, "Indecomposable representations II" , ''Symp. Math. INDAM (Rome, 1971)'' , '''XI''' , Acad. Press (1973) pp. 81–104</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> V.G. Kac, "Infinite dimensional Lie algebras" , Cambridge Univ. Press (1985)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top"> V.G. Kac, "Infinite root systems, representations of graphs and invariant theory" ''Invent. Math.'' , '''56''' (1980) pp. 57–92</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top"> L.A. Nazarova, "Representations of quivers of infinite type" ''Math. USSR Izv.'' , '''7''' (1973) pp. 749–792 ''Izv. Akad. Nauk SSSR Ser. Mat.'' , '''37''' (1973) pp. 752–791</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top"> V. Dlab, C.M. Ringel, "Indecomposable representations of graphs and algebras" ''Memoirs Amer. Math. Soc.'' , '''173''' (1976)</TD></TR></table> | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> I.N. Bernstein, I.M. Gel'fand, V.A. Ponomarev, "Coxeter functors and Gabriel's theorem" ''Russian Math. Surveys'' , '''28''' : 2 (1973) pp. 17–32 ''Uspekhi Mat. Nauk'' , '''28''' : 2 (1973) pp. 19–34</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> R. Bautista, P. Gabriel, A. Rojter, L. Salmeron, "Representation-finite algebras and multiplicative basis" ''Invent. Math.'' , '''81''' (1985) pp. 217–285</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> P. Donovan, M.R. Freislich, "The representation of finite graphs and associated algebras" ''Carleton Lecture Notes'' , '''5''' (1973)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> P. Gabriel, "Unzerlegbare Darstellungen I" ''Manuscripta Math.'' , '''6''' (1972) pp. 71–103</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> P. Gabriel, "Indecomposable representations II" , ''Symp. Math. INDAM (Rome, 1971)'' , '''XI''' , Acad. Press (1973) pp. 81–104</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> V.G. Kac, "Infinite dimensional Lie algebras" , Cambridge Univ. Press (1985)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top"> V.G. Kac, "Infinite root systems, representations of graphs and invariant theory" ''Invent. Math.'' , '''56''' (1980) pp. 57–92</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top"> L.A. Nazarova, "Representations of quivers of infinite type" ''Math. USSR Izv.'' , '''7''' (1973) pp. 749–792 ''Izv. Akad. Nauk SSSR Ser. Mat.'' , '''37''' (1973) pp. 752–791</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top"> V. Dlab, C.M. Ringel, "Indecomposable representations of graphs and algebras" ''Memoirs Amer. Math. Soc.'' , '''173''' (1976)</TD></TR></table> |
Revision as of 14:53, 7 June 2020
A quiver is given by two sets
and two mappings
; the elements of
are called vertices or points, those of
arrows; if
is an arrow, then
is called its start vertex,
its end vertex, and
is said to go from
to
, written as
. (Thus, a quiver is nothing else than a directed graph with possibly multiple arrows and loops (cf. Graph, oriented), or a diagram scheme in the sense of A. Grothendieck; the word "quiver" is due to P. Gabriel.) Given a quiver
, there is the opposite quiver
, with the same set of vertices but with the reversed orientation for all the arrows.
Given a quiver , a path in
of length
is of the form
, where
are arrows with
,
for
, and
; a path in
of length 0 is of the form
with
. If
is a path, then
is called its start vertex,
its end vertex; paths
of length
with
are called cyclic paths.
Let be a field. The path algebra
of
over
is the free vector space over
with as basis the set of paths in
, and with distributive multiplication given on the basis by
![]() |
![]() |
The elements with
are primitive and orthogonal idempotents, and in case
is finite,
is the unit element of
. Note that
is finite-dimensional if and only if
is finite and has no cyclic path.
Recall that a ring of global dimension is said to be hereditary, and a finite-dimensional
-algebra
with radical
is said to be split basic provided
is a product of copies of
. The path algebras
with
a finite quiver without a cyclic path are precisely the finite-dimensional
-algebras which are hereditary and split basic.
Let be a quiver and
a field. A representation
of
over
is given by a family of vector spaces
(
) and a family of linear mappings
(
). Given two representations
, a mapping
is given by linear mappings
such that for any
one has
. Let
be finite. The category
of right
-modules is equivalent to the category of representations of
(provided one applies all the vector space mappings
, as well as the module homomorphisms in
, on the right), and usually one identifies these categories. For any vertex
, there is the one-dimensional representation
of
defined by
,
for
and
for
. Then
is equal to the number of arrows
with
and
. Given a finite-dimensional representation
, its dimension vector
has, by definition, integral coordinates:
for
; and
is called the dimension of
. In case
has no cyclic path,
is just the Jordan–Hölder multiplicity of
in
.
A finite quiver is called representation-finite, tame or wild if the path algebra
has this property. A connected quiver
is representation-finite if and only if the underlying graph
of
(obtained from
by deleting the orientation of the edges) is a Dynkin diagram of the form
,
,
,
,
, see [a4], [a1]; and
is tame if and only if
is of the form
,
,
,
,
, see [a3], [a8]. More precisely, recall that an
-matrix
with
and
for all
is called a symmetric generalized Cartan matrix [a6]. To a symmetric generalized Cartan
-matrix
one associates the following quiver
: its set of vertices is
, and for
one draws
arrows from
to
. Note that the quivers of the form
with
a symmetric generalized Cartan matrix are precisely the quivers without a cyclic path.
Let be a symmetric generalized Cartan matrix. If
is an indecomposable representation of
, then
is a positive root for
, and all positive roots are obtained in this way; the number of isomorphism classes of indecomposable representations
with fixed
depends on whether
is a real root (then there is just one class) or an imaginary root [a7].
Let be a quiver. A non-zero
-linear combination of paths of length
with the same start vertex and the same end vertex is called a relation on
. Given a set
of relations, let
be the ideal in
generated
. Then
is said to be an algebra defined by a quiver with relations. A finite-dimensional
-algebra
is isomorphic to one defined by a quiver with relations if and only if
is split basic. Thus, if
is algebraically closed, then any finite-dimensional
-algebra is Morita equivalent to one defined by a quiver with relations. All representation-finite and certain minimal representation-infinite
-algebras over an algebraically closed field are defined by quivers with relations of the form
, and
, where
are paths (the multiplicative basis theorem, [a2]); this shows that the study of representation-finite algebras is a purely combinatorial problem; it was a decisive step for the proof of the second Brauer–Thrall conjecture (see Representation of an associative algebra).
The representation theory of quivers has been developed in order to deal effectively with certain types of matrix problems over a fixed field as they arise in algebra, geometry and analysis. Typical tame quivers are the Kronecker quiver
![]() |
its representations are just the matrix pencils (pairs of matrices of the same size, considered with respect to the equivalence relation:
if and only if there are invertible matrices
with
,
), and the four-subspace quiver
![]() |
In general, the representation theory of the -subspace quiver
![]() |
deals with the mutual position of -subspaces in a vector space.
Using the language of quivers, these problems are transformed to problems dealing with finite-dimensional split basic -algebras.
In order to deal with an arbitrary finite-dimensional -algebra one needs the notion of a species (instead of a quiver), see [a5]. In this way, one deals with vector space problems which involve different fields. The representation-finite species are those corresponding to arbitrary Dynkin diagrams
, the tame ones correspond to the Euclidean diagrams [a9].
References
[a1] | I.N. Bernstein, I.M. Gel'fand, V.A. Ponomarev, "Coxeter functors and Gabriel's theorem" Russian Math. Surveys , 28 : 2 (1973) pp. 17–32 Uspekhi Mat. Nauk , 28 : 2 (1973) pp. 19–34 |
[a2] | R. Bautista, P. Gabriel, A. Rojter, L. Salmeron, "Representation-finite algebras and multiplicative basis" Invent. Math. , 81 (1985) pp. 217–285 |
[a3] | P. Donovan, M.R. Freislich, "The representation of finite graphs and associated algebras" Carleton Lecture Notes , 5 (1973) |
[a4] | P. Gabriel, "Unzerlegbare Darstellungen I" Manuscripta Math. , 6 (1972) pp. 71–103 |
[a5] | P. Gabriel, "Indecomposable representations II" , Symp. Math. INDAM (Rome, 1971) , XI , Acad. Press (1973) pp. 81–104 |
[a6] | V.G. Kac, "Infinite dimensional Lie algebras" , Cambridge Univ. Press (1985) |
[a7] | V.G. Kac, "Infinite root systems, representations of graphs and invariant theory" Invent. Math. , 56 (1980) pp. 57–92 |
[a8] | L.A. Nazarova, "Representations of quivers of infinite type" Math. USSR Izv. , 7 (1973) pp. 749–792 Izv. Akad. Nauk SSSR Ser. Mat. , 37 (1973) pp. 752–791 |
[a9] | V. Dlab, C.M. Ringel, "Indecomposable representations of graphs and algebras" Memoirs Amer. Math. Soc. , 173 (1976) |
Quiver. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Quiver&oldid=48406