Semisimplicity manifesting as categorical smallness

Alexandru Chirvasitu

Theory and applications of categories, Tome 41 (2024), pp. 470-492

Résumé

For a compact group G, the functor from unital Banach algebras with contractive morphisms to metric spaces with 1-Lipschitz maps sending a Banach algebra A to the space of G-representations in A preserves filtered colimits. Along with this, we prove a number of analogues: one can substitute unitary representations in C*-algebras, as well as semisimple finite-dimensional Banach algebras (or finite-dimensional C*-algebras) for G.

These all mimic results on the metric-enriched finite generation/presentability of finite-dimensional Banach spaces due to Adámek and Rosický. We also give an alternative proof of that finite presentability result, along with parallel results on functors represented by compact metric, metric convex, or metric absolutely convex spaces.

Détail

Publié le : 2024-05-07

Classification : 22C05, 46H05, 46H15, 16K99, 18A30, 18A35, 18D20, 46B04, 32K05, 52A21, 46L05, 47B48, 47B01, 51F30, 46A19, 54E40, 54E45, 46A55, 18C15, 18C20
Keywords: compact group, Haar measure, Banach space, Banach algebra, semisimple, C*-algebra, semiprojective, filtered colimit, representation, diagonal, averaging, finitely presentable, finitely generated, enriched, small object, metric space, non-expansive map, Lipschitz, convex space, absolutely convex space, monad