Completions of cellular algebras (Q4700474)

The author gives: a definition of a cellular algebra with a profinite cell datum; a construction of a topological algebra \(\widehat A\) called procellular that corresponds to a cellular algebra \(A\) with a profinite cell datum; a definition of a smooth \(\widehat A\)-module; a description of all the absolutely irreducible smooth \(\widehat A\)-modules for every cellular algebra \(A\) with a profinite cell datum. The description of all the absolutely irreducible smooth \(A\)-modules for a cellular algebra \(A\) with a finite set of tableaux given by the Graham-Lehrer theorem is a partial case of the above description. An example of a cellular algebra is given that proves that the claim of the finiteness of the set of tableaux can not be omitted in the Graham-Lehrer theorem. This example proves also that this claim can not be substituted even by the claim of the profiniteness of the cell datum. The author also gives several nontrivial examples of cellular algebras with cell datum of profinite type.