## [Dimension Finitiste](/fr/node/63867) Définition Invariant homologique défini comme le suprémum des dimensions projectives des modules (ou objets) qui ont une dimension projective finie ; on parle souvent de petite dimension finitiste lorsqu'on restreint aux modules finiment engendrés. ## Principe Principe Mesurer la complexité projective finie maximale réellement rencontrée parmi les modules ayant une résolution projective finie, en ignorant les modules de dimension projective infinie. ## Démonstration Démonstration Pour une algèbre d'Artin Λ, dim.finitiste fin.dim(Λ) = sup{pd M | M module Λ finiment engendré, pd M < ∞}. Dans de nombreuses classes d'algèbres ce suprémum est fini ; la finitude est une conjecture centrale en théorie de la représentation. ## Mauvaise application Mauvaise application Confondre la dimension finitiste avec la dimension globale ; la dimension globale considère tous les modules et peut être infinie alors que la dimension finitiste ne prend en compte que les modules de dimension projective finie. ## Conséquence Conséquence La finitude de la dimension finitiste donne des bornes uniformes sur les dimensions projectives des modules qui admettent des résolutions finies et a des conséquences pour l'annulation des groupes Ext et pour des conjectures homologiques. ## Inversion Inversion Si la dimension finitiste est infinie, il n'existe pas de borne uniforme pour les dimensions projectives finies, et le contrôle homologique des modules à résolutions finies se dissipe. ## Limite Limite Définie en restreignant aux modules de dimension projective finie ; l'invariant dépend de la catégorie ambiante (par ex. modules finiment engendrés vs tous les modules) et d'hypothèses comme Artin ou Noethérien. ## Tension sémantique Tension sémantique Tension entre les versions 'petite' (modules finiment engendrés) et 'grande' (tous les modules) : elles peuvent différer et conduire à des comportements homologiques et conjectures distincts. ## Synthèse Synthèse La dimension finitiste condense la plus grande complexité projective finie présente dans la catégorie en un seul invariant, mettant en évidence si les résolutions projectives finies sont uniformément bornées.