Statut de classification pour une algèbre (ou un problème de représentation) dans lequel, pour chaque dimension fixée, les représentations indécomposables apparaissent en un nombre fini de familles discrètes plus un nombre fini de familles paramétrées par un paramètre algébrique ; la situation est beaucoup plus contrôlable qu'en cas sauvage.

Principe

Le comportement modéré signifie que les indécomposables peuvent être paramétrés par une collection finie de courbes algébriques (souvent des familles à un paramètre) accompagnées d'un nombre fini d'objets exceptionnels, de sorte que la classification revient à décrire ces familles et exceptions discrètes plutôt que des problèmes matriciels arbitraires.

Démonstration

Exemple concret : le carquois de Kronecker sur un corps algébriquement clos est un cas classique modéré : les représentations indécomposables en chaque dimension se décomposent en un nombre fini de familles à un paramètre (souvent paramétrées par P^1) et quelques indécomposables exceptionnels.

Mauvaise application

Qualifier une algèbre de modérée uniquement parce qu'il existe des classifications explicites pour de petites dimensions, ou confondre modéré et type de représentation fini (fini signifie seulement un nombre fini d'indécomposables à isomorphisme près, alors que modéré permet des familles à un paramètre).

Conséquence

La modération permet des descriptions systémiques des indécomposables et souvent des paramétrisations effectives et des outils de théorie des modules ; les problèmes de classification sont en principe traitables et admettent souvent des descriptions géométriques des familles.

Inversion

Type de représentation sauvage, où aucune dichotomie fini/familles à un paramètre n'existe et où une complexité arbitraire peut être encodée dans les familles de représentations.

Limite

Notion généralement appliquée aux algèbres de dimension finie sur un corps algébriquement clos et sensible au changement de corps de base ; 'modéré' exclut 'fini' qui est une condition plus forte et se situe strictement entre fini et sauvage dans la trichotomie habituelle.

Tension sémantique

Tension entre 'modéré' et des termes comme 'domestique' ou 'fini' : certains auteurs affinent le concept de modéré en sous-types (domestique, tubulaire, etc.), de sorte que le mot seul peut masquer des distinctions fines sur la nature des familles paramétriques.

Synthèse

Le type de représentation modéré décrit la situation où les indécomposables, bien qu'infinis en nombre, s'organisent en un ensemble contrôlé de types discrets et en un nombre fini de familles à un paramètre ; cela permet des approches géométriques et modulaires de la classification et marque la limite qualitative entre complexité gérable et sauvagerie ingérable.