Carquois (théorie des catégories)

Un carquois est une collection d'arcs joignant des couples de points. En ce sens, il s'agit d'un graphe orienté, mais la notion intervient en physique théorique ainsi qu'en théorie des représentations, des groupes et des catégories de manière naturelle. En effet, une catégorie est un carquois doté d'une structure supplémentaire : nommément la présence d'identités et de compositions. On parle donc de carquois lorsque l'on souhaite évoquer ce contexte catégorique (ou de représentation), plutôt que de (multi-di-)graphe orienté.

Le nom « carquois » provient du fait qu'il s'agit essentiellement d'une collection de flèches.

Définition[modifier | modifier le code]

On appelle carquois libre (ou catégorie de Kronecker) la catégorie X formée :

de deux objets E et V (correspondant aux arcs et aux points, respectivement) ;
de deux morphismes $s,t:E\to V$ (source et destination, respectivement) ;
des deux morphismes identité.

Soit C une catégorie, un carquois sur C est un foncteur $X\to C$ .

La catégorie des carquois sur C, notée ${\mathsf {Quiv}}(C)$ , est la catégorie de foncteurs $C^{X}$ dont :

les objets sont les carquois, $X\to C$ ;
les morphismes sont les transformations naturelles entre ces foncteurs ;

Si C est la catégorie des ensembles, alors la catégorie des carquois correspond à la catégorie des préfaisceaux sur la catégorie duale $X^{\mathrm {op} }$ .

Catégories libres[modifier | modifier le code]

On obtient un carquois à partir d'une catégorie en retirant les morphismes identité et en « oubliant » la composition. En d'autres termes, on a un foncteur d'oubli :

U:{\mathsf {Cat}}\to {\mathsf {Quiv}}

de la catégorie des (petites) catégories dans la catégorie des carquois. Ce foncteur est adjoint à droite au foncteur qui associe, à un carquois, la catégorie libre correspondante :

F:{\mathsf {Quiv}}\to {\mathsf {Cat}}

De fait, il est souvent intéressant de travailler sur le carquois d'une catégorie libre, plutôt que sur la catégorie elle-même : les isomorphismes de carquois s'identifient aux équivalences entre les catégories libres correspondantes.

Représentations de carquois[modifier | modifier le code]

Si $Q$ est un carquois, une représentation de $Q$ est un foncteur $F(Q)\to {\mathsf {Vect}}_{k}$ de la catégorie libre engendrée par $Q$ dans la catégorie des $k$ -espaces vectoriels. Autrement dit, chaque point se voit associé à un $k$ -espace vectoriel, et chaque arc correspond à une transformation linéaire d'un espace à l'autre.

La dimension d'une représentation est infinie si l'un des espaces vectoriels est de dimension infinie, et est finie sinon. C'est alors la famille des dimensions des espaces vectoriels.

Catégorie des représentations de carquois[modifier | modifier le code]

Si $Q=(Q_{0},Q_{1},s,t)$ est un carquois et si $X=(X_{i},\varphi _{\alpha })_{i\in Q_{0},\alpha \in Q_{1}}$ et $Y=(Y_{i},\psi _{\alpha })_{i\in Q_{0},\alpha \in Q_{1}}$ sont deux représentations de $Q$ sur un corps $k$ , on définit un morphisme de représentations $f$ entre $X$ et $Y$ comme une famille $(f_{i})_{i\in Q_{0}}$ d'applications linéaires $f_{i}:X_{i}\to Y_{i}$ telles que pour toute arête $\alpha \in Q_{1}$ , le diagramme :

commute, c'est-à-dire : $f_{t(\alpha )}\circ \varphi _{\alpha }=\psi _{\alpha }\circ f_{s(\alpha )}$ .
On peut alors définir la catégorie ${\mathsf {Rep}}_{k}(Q)$ la catégorie des $k$ -représentations de $Q$ dont les objets sont morphismes sont tels que définis plus haut, l'identité la famille des identités, et la composition est simplement la composition composante par composante.

Algèbre des chemins[modifier | modifier le code]

Étant donné un carquois $Q$ et un corps k, on peut définir l'algèbre de chemins $kQ$ de $Q$ comme l'algèbre dont la $k$ -base est donnée par les chemins de $Q$ (y compris les chemins triviaux), la composition étant la concaténation si les chemins considérés peuvent être mis bout à bout, et donnant l'objet nul sinon.

Un $kQ$ -module n'est rien d'autre qu'une représentation de $Q$ , au sens où la catégorie ${\mathsf {mod}}_{kQ}$ des $kQ$ -modules est équivalente^[1] à la catégorie ${\mathsf {Rep}}_{k}(Q)$ des $k$ -représentations de $Q$ .

Représentations simples, projectives, injectives[modifier | modifier le code]

Si $Q=(Q_{0},Q_{1},s,t)$ est un carquois et $k$ un corps, pour tout sommet $i\in Q_{0}$ , on définit la représentation simple $S(i)$ comme la représentation de $Q$ dont toutes les flèches sont nulles et dont tous les sommets sont l'espace nul, excepté $i$ se voit associer l'espace $k$ .

On définit la représentation projective $P(i)=(P(i)_{j},P(i)_{\alpha })$ $P(i)=(P(i)_{j},P(i)_{\alpha })$ comme suit :
- Pour tout sommet $j\in Q_{0}$ , $P(i)_{j}$ est l'espace vectoriel dont la base est l'ensemble des chemins de $i$ vers $j$ (y compris le chemin trivial si $i=j$ ).
- Pour toute arête $\alpha :j_{0}\to j_{1}\in Q_{1}$ , $P(i)_{\alpha }$ est la concaténation des chemins par $\alpha$ (de sorte que tout chemin de $i$ vers $j_{0}$ soit envoyé sur un chemin de $i$ vers $j_{1}$ ), prolongée à $P(i)_{j_{0}}$ par linéarité.

De manière duale, on définit la représentation injective $I(i)=(I(i)_{j},I(i)_{\alpha })$ $I(i)=(I(i)_{j},I(i)_{\alpha })$ :
- Pour tout sommet $j\in Q_{0}$ , $I(i)_{j}$ est l'espace vectoriel dont la base est l'ensemble des chemins de $j$ vers $i$ (y compris le chemin trivial si $i=j$ ).
- Pour toute arête $\alpha :j_{0}\to j_{1}\in Q_{1}$ , $I(i)_{\alpha }$ est la réciproque de la concaténation des chemins par $\alpha$ (de sorte que tout chemin de $j_{0}$ vers $i$ soit envoyé sur un chemin de $j_{1}$ vers $i$ , on "enlève" l'arête $\alpha$ du chemin), prolongée à $I(i)_{j_{0}}$ par linéarité.

Les représentations $P(i)$ (resp. $I(i)$ ) sont des objets projectifs (resp. injectifs) de la catégorie ${\mathsf {Rep}}_{k}(Q)$ , mais ce ne sont pas les seuls.

Sous-représentations[modifier | modifier le code]

Une sous-représentation $Y=(Y_{i},\psi _{\alpha })$ d'une représentation $X=(X_{i},\varphi _{\alpha })$ est une représentation telle que pour tout sommet $i\in Q_{0}$ , $Y_{i}$ est un sous-espace vectoriel de $X_{i}$ , et pour toute arête $\alpha$ , $\psi _{\alpha }$ est la restriction de $\varphi _{\alpha }$ à $Y_{s(\alpha )}$ . Autrement dit, l'injection canonique des $X_{i}$ dans les $Y_{i}$ est un morphisme de représentations.

Une représentation est dite irréductible (ou simple) elle n'admet pas de sous-représentation autre qu'elle même et la représentation nulle. Les représentations $S(i)$ sont irréductibles.

Une représentation est dite indécomposable si elle n'est pas somme directe de sous-représentations strictes (au sens de la somme directe composante par composante des espaces vectoriels des sommets, et par bloc des applications linéaires des arêtes). Cela revient à dire que le module associé à la représentation est indécomposable. Les représentations $P(i)$ et $I(i)$ sont indécomposables.

Le théorème de Krull-Schmidt appliqué aux représentations de carquois énonce que toute représentation de dimension finie peut s'écrire comme somme directe de représentations indécomposables^[2] :

Théorème de Krull-Schmidt — Soit $Q$ un carquois, $k$ un corps et $X$ une $k$ -représentation de $Q$ de dimension finie. Il existe une décomposition :

X=X_{1}^{a_{1}}\oplus \ldots \oplus X_{r}^{a_{r}}

telle que les $X_{i}$ soient des représentations indécomposables deux à deux non isomorphes, et les $a_{i}$ des entiers naturels non nuls.

De plus, si $X=Y_{1}^{b_{1}}\oplus \ldots \oplus Y_{s}^{b_{s}}$ est une décomposition suivant les mêmes propriétés, alors $r=s$ et, quitte à réordonner, $X_{i}\cong Y_{i}$ et $a_{i}=b_{i}$ pour tout $1\leqslant i\leqslant r$

.

On peut donc s'intéresser aux représentations indécomposables pour chercher à classifier les représentations à isomorphisme près.

Classification[modifier | modifier le code]

Le théorème de Gabriel donne une classification des carquois ayant un nombre fini de représentations indécomposables en termes de diagrammes de Dynkin.

Articles connexes[modifier | modifier le code]

Références[modifier | modifier le code]

↑ (en) Ralf Schiffler, « Bound Quiver Algebras », dans Quiver Representations, Springer International Publishing, coll. « CMS Books in Mathematics », 2014 (ISBN 978-3-319-09204-1, DOI 10.1007/978-3-319-09204-1_5, lire en ligne), p. 133–151
↑ (en) Henning Krause, « Representations of quivers via reflection functors » (notes de cours), 2010 (arXiv 0804.1428v2, consulté le 18 mai 2021)

Bibliographie[modifier | modifier le code]

(en) V. G. Kac, Infinite dimensional Lie algebras, CUP, 1985
B. Keller, « Représentations de carquois »
(en) C. M. Ringel, « Quiver », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, 2002 (ISBN 978-1556080104, lire en ligne)

Portail des mathématiques

[1] (en) Ralf Schiffler, « Bound Quiver Algebras », dans Quiver Representations, Springer International Publishing, coll. « CMS Books in Mathematics », 2014 (ISBN 978-3-319-09204-1, DOI 10.1007/978-3-319-09204-1_5, lire en ligne), p. 133–151

[Krause-2] (en) Henning Krause, « Representations of quivers via reflection functors » (notes de cours), 2010 (arXiv 0804.1428v2, consulté le 18 mai 2021)

[1]

[2]