# Quiver

In matematica, una quiver (letteralmente "faretra") è un grafo orientato in cui sono ammessi cappi su ogni vertice e lati multipli fra due vertici, ossia un multigrafo diretto. Sono usati comunemente nella teoria della rappresentazione: una rappresentazione $V$ di una quiver associa ad ogni vertice $x$ della quiver uno spazio vettoriale $V(x)$ e ad ogni freccia $\alpha$ un endomorfismo lineare $V_{\alpha }$.
In teoria delle categorie, una quiver può essere pensata come una categoria priva di morfismi identici e della legge di composizione; in altri termini, esiste un funtore dimenticante da $\mathbf {Cat}$ in $\mathbf {Quiv}$. Il suo aggiunto sinistro è un funtore che manda le quivers nella categoria libera.

## Definizioni

Una quiver $Q$ è il dato di:
* un insieme $V$, detto di vertici per $Q$;
* un insieme $E$, detto di lati per $Q$
* due funzioni $s:E\longrightarrow V$, che mostra il punto di partenza di ogni lato, e $t:E\longrightarrow V$ che mostra il "bersaglio" di ogni lato.
Un morfismo di quivers $Q=(V,E,s,t)$ e $Q^{\prime }=(V',E',s',t')$ è definito come la coppia $m=(m_{V},m_{E})$, composta da due funzioni $m_{V}:V\to V'$ e $m_{E}:E\to E'$ in modo che l'ovvio diagramma di composizione sia commutativo; si richiede, cioè, che
    $m_{V}\circ s=s'\circ m_{E}$
e
    $m_{V}\circ t=t'\circ m_{E}$
Spesso ci si riferisce agli oggetti di una quiver parlando di frecce: una freccia $a$ in una quiver $Q$ è il dato di un lato $\lambda \in E$ assieme ai vertici $s(\lambda ),t(\lambda )$, chiamati rispettivamente testa e coda di $a$.

## Definizione con le categorie

La definizione data nel paragrafo precedente è basata sulla teoria degli insiemi; in termini di linguaggio categoriale, possiamo dare una definizione più generale.
Definiamo la quiver libera (detta anche faretra di Kronecker o categoria di Kronecker) $\mathbf {Q}$ è una categoria con due oggetti e quattro morfismi. Gli oggetti sono $V$ e $E$, mentre i quattro morfismi sono $s:E\longrightarrow V$, $t:E\longrightarrow V$ ed i morfismi identici di $V$ e $E$.
Una quiver quindi è un funtore $Q:\mathbf {Q} \longrightarrow \mathbf {Set}$.
In modo ancora più generale, una quiver a valori nella categoria $\mathbf {C}$ è un funtore $Q:\mathbf {Q} \longrightarrow \mathbf {C}$. La categoria $\mathbf {Quiv} (\mathbf {C} )$ delle quivers a valori in $\mathbf {C}$ è la categoria dei funtori in cui:
* gli oggetti sono i funtori $Q:\mathbf {Q} \longrightarrow \mathbf {C}$;
* le frecce sono le trasformazioni naturali tra i suddetti funtori.
Vale la pena di osservare anche che $\mathbf {Quiv}$ è la categoria dei prefasci sulla categoria opposta $\mathbf {Q} ^{\text{op}}$.

## Algebra di cammini

Se $Q$ è una quiver, allora un cammino in $Q$ è una successione di frecce $a_{n},a_{n-1},\ldots ,a_{1}$ tali che la coda di $a_{j}$ sia uguale alla testa di $a_{j+1}$, usando la convenzione di concatenare i cammini da destra verso sinistra.
Se $\mathbb {K}$ è un campo, allora la quiver-algebra, detta anche algebra di cammini $\mathbb {K} Q$ è definita come lo spazio vettoriale avente tutti i cammini della quiver (di lunghezza non negativa) come base, e come legge moltiplicativa data dalla concatenazione di cammini. Osserviamo che nella base dell'algebra di cammini, sono inclusi, per ogni vertice $i$ della quiver $Q$, ii cammini banali $e_{i}$ di lunghezza nulla; non si assume, inoltre, che tali cammini sia uguali fra di sé. Se due cammini non possono essere concatenati in quanto l'ultimo vertice del primo differisce dal primo vertice del secondo, il loro prodotto è nullo per definizione. Tali posizioni definiscono un'algebra associativa sul campo $\mathbb {K}$. Tale algebra possiede un elemento unitario se, e solo se, la quiver ha un numero finito di vertici. In questo caso, i moduli su $\mathbb {K} Q$ saranno identificati naturalmente con le rappresentazioni di $Q$.

## Rappresentazioni di quiver

Abbiamo detto che una rappresentazione di una quiver $Q$ è il dato di:
* per ogni vertice $x$ di $Q$, uno spazio vettoriale $V(x)$;
* per ogni freccia $\alpha$ in $Q$, un endomorfismo lineare $f_{\alpha }$.
Una rappresentazione $V$ di una quiver $Q$ è detta banale quando $V(x)=0$ per tutti i vertici $x$ di $Q$.
Un morfismo $\varphi :{\mathcal {R}}\longrightarrow {\mathcal {R}}^{\prime }$ fra rappresentazioni della medesima quiver $Q$ è una collezione di mappe lineari $\varphi (x):V(x)\rightarrow V'(x)$ tali che per ogni freccia $\alpha$ in $Q$ da $x$ in $y$ si ha che $f_{\alpha }^{\prime }\circ \varphi (x)=\varphi (y)\circ f_{\alpha }$, essendo $f,f^{\prime }$ gli endomorfismi associati alla freccia $\alpha$ rispettivamente in ${\mathcal {R}}$ e ${\mathcal {R^{\prime }}}$. Un morfismo $\varphi$ di rappresentazioni è un isomorfismo se $\varphi (x)$ è una funzione invertibile, per tutti i vertici $x$. Le rappresentazioni di una quiver, con tali definizioni, si riuniscono in una categoria.
Se ${\mathcal {R}},{\mathcal {S}}$ sono rappresentazioni di una quiver $Q$ relative a spazi vettoriali $V(x),W(x)$ per ogni $x$ rispettivamente, allora la loro somma diretta ${\mathcal {R}}\oplus {\mathcal {S}}$ è relativa agli spazi vettoriali del tipo $(V\oplus W)(x)=V(x)\oplus W(x)$ per tutti i vertici $x$; inoltre, detti $f_{\alpha },g_{\alpha }$ gli endomorfismi lineari associati alla freccia $\alpha$ relativamente ad ${\mathcal {R}},{\mathcal {S}}$, allora l'endomorfismo $(f\oplus g)_{\alpha }$, definito come somma diretta delle due mappe lineari, è l'endomorfismo associato ad $\alpha$ relativamente alla rappresentazione ${\mathcal {R}}\oplus {\mathcal {S}}$.
Una rappresentazione viene detta decomponibile quando è isomorfa alla somma diretta di rappresentazioni non banali.
Esiste anche una definizione della rappresentazione di quivers in termini di categorie. La medesima quiver può essere considerata una categoria in cui gli oggetti sono i vertici ed i morfismi i lati. Una rappresentazione di una quiver $Q$ è semplicemente un funtore covariante da $Q$ nella categoria degli spazi vettoriali finitamente generati. I morfismi fra le rappresentazioni di $Q$ sono esattamente le trasformazioni naturali fra i rispettivi funtori.
Consideriamo una quiver finita $Q$, ossia una quiver con un numero finito di vertici e lati. Sia allora $\mathbb {K} Q$ la sua algebra di cammini e sia $e_{i}$ il cammino banale, di lunghezza nulla, sul vertice $i$. Possiamo quindi associare al vertice $i$ il $\mathbb {K} Q$-modulo proiettivo $\mathbb {K} Qe_{i}$, che consiste delle combinazioni lineari di cammini aventi vertice iniziale $i$. Questa operazione equivale a far corrispondere una copia del campo $\mathbb {K}$ per ogni vertice che è contenuto in un cammino che parte da $i$ e zero altrimenti. Ad ogni lato che unisce due copie di $\mathbb {K}$ si assegna quindi l'identità.

## Altri collegamenti

* Rappresentazione dei gruppi
* Algebra di incidenza
* Teoria dei grafi