Points critiques de couples de variétés d'algèbres

• Main Author: Gillibert, Pierre
• Language: FRE
• Published: Université de Caen 2008
• Subjects: [MATH] Mathematics; treillis; congruence; catégorie; foncteur; point critique; condensat; recouvrement normé
• Online Access: http://tel.archives-ouvertes.fr/tel-00345793; http://tel.archives-ouvertes.fr/docs/00/34/57/93/PDF/these-gillibert.pdf

L'ensemble de toutes les congruences d'une algèbre, ordonné par inclusion, est un treillis algébrique (Birkhoff), ses éléments compacts sont les congruences finiment engendrées ; elles forment un demi-treillis. Un demi-treillis est relevable dans une variété V s'il est isomorphe au demi-treillis des congruences compactes d'une algébre de V. Les travaux de Wehrung sur CLP, ainsi que ceux de Ploščica, illustrent que même pour une variété d'algèbres facile à décrire, comme la variété de tous les treillis, ou une variété finiment engendrée, la caractérisation des demi-treillis relevables est difficile. Le point critique entre deux variétés V et W est le plus petit cardinal d'un demi-treillis relevable dans V mais pas dans W.<br /><br />Nous introduisons un outil, de nature catégorique, donnant des liens entre les relèvements de diagrammes de demi-treillis et les relèvements de demi-treillis dans une variété donnée. Nous montrons que si V et W sont des variétés finiment engendrées de treillis telles que W ne relève pas tous les demi-treillis relevés par V, alors le point critique entre V et W est soit fini, soit un aleph d'indice fini. Nous trouvons deux variétés finiment engendrées de treillis modulaires dont le point critique est aleph un, ce qui infirme une conjecture posée par Tůma et Wehrung.<br /><br />Nous prouvons, en utilisant la théorie des anneaux réguliers de von Neumann et la théorie du monoïde de dimension d'un treillis, que le point critique entre des variétés engendrées par des treillis de sous-espaces vectoriels d'espaces vectoriels de même dimension finie sur des corps finis est au moins aleph 2. Nous prouvons l'égalité pour les dimensions 2 et 3.