2023/12/15 by Nathaniel Gallup, Gallup, Nathaniel, Stephen Sawin +1
Mathematics · #Algebraic structures and combinatorial models #Homotopy and Cohomology in Algebraic Topology #Advanced Combinatorial Mathematics
paper · pdf · doi:10.48550/arxiv.2312.09904
We prove a version of Gabriel's theorem for (possibly infinite dimensional) representations of infinite quivers. More precisely, we show that the representation theory of quiver Ω is of unique type (each dimension vector has at most one associated indecomposable) and infinite Krull-Schmidt (every, possibly infinite dimensional, representation is a direct sum of indecomposables) if and only if Ω is eventually outward and of generalized ADE Dynkin type (An, Dn, E6, E7, E8, A_∞, A∞, ∞, or D_∞). Furthermore we define an analog of the Euler-Tits form on the space of eventually constant infinite roots and show that a quiver is of generalized ADE Dynkin type if and only if this form is positive definite. In this case the indecomposables are all locally finite-dimensional and eventually constant and correspond bijectively to the positive roots (i.e. those of length 1).