Phénomène où un objet algébrique (algèbre, module, foncteur, schéma ou similaire) ne peut pas être décrit par un nombre fini de générateurs et un nombre fini de relations ; autrement dit, il n’est pas isomorphe à un quotient d’un objet libre de type fini par un idéal de relations de type fini.

Principe

La présentation finie organise les objets par une description finie : un ensemble fini de générateurs et un ensemble fini de relations. La défaillance signifie une dépendance essentielle à une infinité de paramètres ou de contraintes qui ne peuvent pas être tronquées sans modifier l’objet.

Démonstration

Exemple : l’algèbre k[x_1,x_2,…] des polynômes en dénombrablement nombreuses variables n’est pas de présentation finie comme k-algèbre. Comme module, une limite directe de modules libres dont le rang augmente strictement peut donner un module engendré finiment mais non présenté finiment. Pour des foncteurs, Hom(R,–) peut ne pas commuter aux colimites dirigées précisément lorsque l’objet représentant n’est pas de présentation finie.

Mauvaise application

Confondre la génération finie avec la présentation finie (par exemple conclure que la cohomologie s’annule parce qu’un module est engendré finiment) ou supposer que la présentation finie descend automatiquement aux sous-objets, quotients ou changements de base sans vérifier des hypothèses comme la cohérence ou la noethérianité.

Conséquence

La prise en compte de cette défaillance impose d’utiliser la théorie des limites/colimites, les foncteurs dérivés ou des présentations infinies explicites. Elle explique des pathologies : non-commutation de Ext ou Hom avec des colimites, relations infinies dans des problèmes de déformation et obstructions à une classification algorithmique.

Inversion

Le concept inverse est la présentation finie elle-même : un objet admettant un ensemble fini de générateurs et un ensemble fini de relations définissantes. L’inversion de la défaillance rend possibles le contrôle, les tests algorithmiques et de meilleures propriétés catégoriques.

Limite

S’applique aux structures algébriques (algèbres, modules, anneaux, foncteurs, schémas) et à leurs présentations. Se distingue de la simple non-génération finie (un objet peut être engendré finiment mais non présenté finiment). Exclut les problèmes purement d’ordre cardinal non liés aux relations algébriques et exclut les propriétés vérifiées seulement après localisation ou complétion sauf mention contraire.

Tension sémantique

Génération finie versus présentation finie : la génération finie est plus faible et est souvent confondue informellement avec la présentation finie. Tension également avec la cohérence, la noethérianité et la compacité catégorique où un 'objet compact' peut jouer un rôle analogue à 'finiement présenté'.

Synthèse

La défaillance de la présentation finie désigne les objets algébriques qui résistent à une description finie par générateurs et relations ; elle signale des contraintes essentielles infinies, impose l’usage de méthodes de limites et dérivées, et doit être distinguée de la simple génération infinie pour éviter des raisonnements erronés.