geometric representation theory
representation, 2-representation, ∞-representation
Grothendieck group, lambda-ring, symmetric function, formal group
principal bundle, torsor, vector bundle, Atiyah Lie algebroid
Eilenberg-Moore category, algebra over an operad, actegory, crossed module
Be?linson-Bernstein localization?
Given a quiver , a linear representation of (over some ground field ) is:
a -vector space for each vertex ,
a linear map for each edge .
Notice that there is no further compatibility condition, in particular if there are edges forming a triangle, then the associated linear maps are not required to be related under composition.
A homomorphism between two quiver representations is a linear map for each vertex, such that for each edge the following diagram commutes in Vect:
This makes a category of quiver representations of over , typically denoted , or similar.
In other words, if one regards as the directed graph that it is, and considers its free category , then
a quiver representation is a functor
a morphism of quiver representations is a natural transformation
and the category of quiver representations is equivalently the functor category from the free category of the quiver to the category of vector spaces:
Review:
Textbook accounts:
Discussion for A-type quivers in the context of (zigzag) persistent homology and topological data analysis:
Gunnar Carlsson, Vin de Silva, Zigzag Persistence, Found Comput Math 10 (2010) 367–405 arXiv:0812.0197, doi:10.1007/s10208-010-9066-0
Steve Y. Oudot, Persistence Theory: From Quiver Representations to Data Analysis, Mathematical Surveys and Monographs 209 AMS (2015) ISBN:978-1-4704-3443-4, pdf
Last revised on May 20, 2022 at 04:14:29. See the history of this page for a list of all contributions to it.