Définition
Classe d'algèbres de dimension finie dont les modules indécomposables de dimension finie, pour chaque dimension fixée, apparaissent en un nombre fini de classes d'isomorphisme discrètes accompagnées d'un nombre fini de familles à un paramètre ; concrètement, la classification se réduit à une liste finie de types discrets et à un nombre fini de familles à un paramètre, modulo quelques équivalences finies.
Principe
Principe
La modération (tame) exprime l'idée que, bien qu'il puisse exister une infinité d'indécomposables, leur diversité est contrôlée : les indécomposables en chaque dimension sont paramétrés par un nombre fini de familles algébriques à un paramètre plus un ensemble exceptionnel fini, rendant une classification systématique possible en principe.
Démonstration
Démonstration
Exemple concret : le quiver de Kronecker (deux sommets reliés par deux flèches parallèles) sur un corps algébriquement clos est un prototype d'algèbre tame : les représentations indécomposables se présentent en modules exceptionnels discrets et en familles à un paramètre ou tubes paramétrés par la droite projective.
Mauvaise application
Mauvaise application
Confondre toute algèbre ayant une infinité d'indécomposables avec une algèbre tame est incorrect ; la tameness exige que les familles infinies soient essentiellement à un paramètre et décrites de manière uniforme, et non pas une complexité infinie ou un comportement sauvage à deux paramètres.
Conséquence
Conséquence
Pour les algèbres tame, on peut souvent établir un schéma de classification utilisable : lister les indécomposables exceptionnels et décrire les familles à un paramètre, ce qui permet d'employer des techniques de déformation, géométriques ou combinatoires pour comprendre les variétés de modules.
Inversion
Inversion
La situation inverse sont les algèbres sauvages, où existent des familles d'indécomposables d'au moins deux paramètres qui résistent à une classification famille par famille ; tame est strictement plus faible que représentation-finie mais plus fort que sauvage dans la hiérarchie.
Limite
Limite
Portée et exclusions : la tameness se définit pour des algèbres de dimension finie ou d'Artin sur des corps appropriés ; elle ne prétend pas que toute question structurelle (par exemple les motifs d'extensions détaillés ou les modules) soit simple, seulement que les indécomposables se répartissent selon les types discrets et à un paramètre décrits.
Tension sémantique
Tension sémantique
La tension est avec 'représentation-finie' (aucune famille infinie) et 'sauvage' : tame se situe entre ces extrêmes et peut être prise à tort pour l'un ou l'autre si l'on se concentre uniquement sur la présence ou l'absence d'une infinité d'indécomposables plutôt que sur la dimension paramétrique des familles.
Synthèse
Synthèse
Le type de représentation tame désigne les algèbres dont les modules indécomposables se décrivent par une liste contrôlée d'exceptions discrètes accompagnée de finitement nombreuses familles algébriques à un paramètre par dimension, rendant possible une classification systématique quoique non triviale.