Étiquette de classification pour une algèbre (ou un objet algébrique) dont la catégorie de modules ou de représentations est au moins aussi compliquée que la catégorie des représentations de dimension finie de l'algèbre associative libre en deux générateurs ; informellement, les indécomposables apparaissent en familles de paramètres arbitrairement compliquées et une classification complète est aussi difficile que classer des paires de matrices à conjugaison simultanée.

Principe

La sauvagerie est caractérisée par l'existence d'un foncteur pleinement fidèle et exact qui plonge la catégorie de représentations de l'algèbre libre k (ou d'une famille universelle équivalente) dans la catégorie de modules de l'algèbre considérée, de sorte que les problèmes de classification se réduisent à ceux de l'algèbre libre.

Démonstration

Scénario illustratif : certaines algèbres de dimension finie données par des carquois avec relations admettent des constructions encodant des paires arbitraires de matrices ; dès qu'un tel encodage existe, les indécomposables forment des familles paramétrées par des données algébriques arbitraires, empêchant toute classification par liste finie.

Mauvaise application

Qualifier une algèbre de sauvage sur la seule base d'être représentation-infinie ou d'une complexité heuristique sans exhiber (ou invoquer l'existence d') un plongement d'une catégorie sauvage ; confondre la sauvagerie avec un simple manque de classification pratique.

Conséquence

Le type de représentation sauvage implique l'absence d'une classification raisonnable par invariants discrets : la classification des indécomposables est au moins aussi difficile que la classification de données d'algèbre linéaire de complexité arbitraire, entraînant le transfert de problèmes indécidables et de familles 'paramétriquement infinies'.

Inversion

Type de représentation tame (ou fini), où les indécomposables se classent par une liste finie plus un nombre fini de familles paramétrées de dimension bornée, et où aucun encodage des représentations de l'algèbre libre n'existe.

Limite

Notion définie en fonction du corps de base et de la catégorie (généralement algèbres de dimension finie sur un corps algébriquement clos) ; distinctions entre sauvage, strictement sauvage, et notions de sauvage en sens dérivé ou stable ; ne s'applique pas aux cadres dépourvus d'une catégorie de modules représentables.

Tension sémantique

Tension avec 'représentation-infinie' et 'chaotique' : représentation-infinie est nécessaire mais pas suffisante pour la sauvagerie ; 'sauvage' a un sens précis de réduction plutôt qu'une simple idée qualitative de difficulté.

Synthèse

Le type de représentation sauvage signale l'existence d'un plongement d'une théorie de représentations universelle et hautement non classifiable dans l'objet considéré, ce qui élève son problème de représentation au niveau de la classification d'algèbre linéaire arbitraire et indique que l'étude structurelle doit privilégier des invariants qualitatifs et des techniques de réduction plutôt que des listes explicites d'indécomposables.