Carquois (théorie des catégories)

Fichier:Carquois de Kronecker et de Jordan.svg

A gauche, le carquois de Kronecker et à droite le carquois de Jordan.

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

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 $𝖰𝗎𝗂𝗏(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{o}\mathrm{p}}$.

Catégories libres

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:𝖢𝖺𝗍\to 𝖰𝗎𝗂𝗏$

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:𝖰𝗎𝗂𝗏\to 𝖢𝖺𝗍$

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

Si $Q$ est un carquois, une représentation de $Q$ est un foncteur $F(Q)\to {𝖵𝖾𝖼𝗍}_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

Si $Q=(Q_0,Q_1,s,t)$ est un carquois et si $X=(X_i,{\phi }_{\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 :

Fichier:Morphisme de représentations de carquois.svg

commute, c'est-à-dire : $f_{t(\alpha )}\circ {\phi }_{\alpha }={\psi }_{\alpha }\circ f_{s(\alpha )}$.
On peut alors définir la catégorie ${𝖱𝖾𝗉}_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

É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 ${𝗆𝗈𝖽}_{kQ}$ des $kQ$-modules est équivalente à la catégorie ${𝖱𝖾𝗉}_k(Q)$ des $k$-représentations de $Q$.

Représentations simples, projectives, injectives

• 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 })$ 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 })$ :
  • 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 ${𝖱𝖾𝗉}_k(Q)$, mais ce ne sont pas les seuls.

Sous-représentations

Une sous-représentation $Y=(Y_i,{\psi }_{\alpha })$ d'une représentation $X=(X_i,{\phi }_{\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 ${\phi }_{\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 :

Modèle:Théorème.

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

Classification

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

• Classification ADE
• Représentation d'algèbre de Lie
• Théorie d'Auslander-Reiten

Bibliographie

• Modèle:Ouvrage
• Modèle:Lien web
• Modèle:EncycloMath