It's a theorem of Lusztig that if one takes two (or more) representations of a quantum group at a non-root-of-unity choice of $q$, and look at the canonical basis of their tensor product, then each isotypic component is spanned by a subset of the canonical basis (i.e. each basis vector lies in an isotypic component) [EDIT: maybe this is wrong? I don't have mean the canonical basis of the tensor product in the sense of Lusztig's book with me, so I can't really check, but that's what I remember reading]paper "Canonical bases on tensor products" not the tensor product of the canonical bases].

When one reduces this tensor product at a root of unity instead it's no longer necessarily semi-simple. But if we assume that each of the tensor factors does remain simple, it will be a tilting module, and have a canonical direct sum decomposition in "isotypic" components corresponding to tilting modules. These are quite different from the isotypic components at a generic value of $q$. Are these still spanned by canonical basis vectors?

EDIT: I would be basically equally happy if there were a split (but not canonically) filtration whose individual spaces were spanned by canonical basis vectors such that the successive quotients where tilting modules.

It's a theorem of Lusztig that if one takes two (or more) representations of a quantum group at a non-root-of-unity choice of $q$, and look at the canonical basis of their tensor product, then each isotypic component is spanned by a subset of the canonical basis (i.e. each basis vector lies in an isotypic component)component) [EDIT: maybe this is wrong? I don't have Lusztig's book with me, so I can't really check, but that's what I remember reading].

When one reduces this tensor product at a root of unity instead it's no longer necessarily semi-simple. But if we assume that each of the tensor factors does remain simple, it will be a tilting module, and have a canonical direct sum decomposition in "isotypic" components corresponding to tilting modules. These are quite different from the isotypic components at a generic value of $q$. Are these still spanned by canonical basis vectors?

EDIT: I would be basically equally happy if there were a split (but not canonically) filtration whose individual spaces were spanned by canonical basis vectors such that the successive quotients where tilting modules.

It's a theorem of Lusztig that if one takes two (or more) representations of a quantum group at a non-root-of-unity choice of $q$, and look at the canonical basis of their tensor product, then each isotypic component is spanned by a subset of the canonical basis (i.e. each basis vector lies in an isotypic component).

When one reduces this tensor product at a root of unity instead it's no longer necessarily semi-simple. But if we assume that each of the tensor factors does remain simple, it will be a tilting module, and have a canonical direct sum decomposition in "isotypic" components corresponding to tilting modules. These are quite different from the isotypic components at a generic value of $q$. Are these still spanned by canonical basis vectors?

EDIT: I would be basically equally happy if there were a split (but not canonically) filtration whose individual spaces were spanned by canonical basis vectors such that the successive quotients where tilting modules.

It's a theorem of Lusztig that if one takes two (or more) representations of a quantum group at a non-root-of-unity choice of $q$, and look at the canonical basis of their tensor product, then each isotypic component is spanned by a subset of the canonical basis (i.e. each basis vector lies in an isotypic component).

When one reduces this tensor product at a root of unity instead it's no longer necessarily semi-simple. But if we assume that each of the tensor factors does remain simple, it will be a tilting module, and have a canonical direct sum decomposition in "isotypic" components corresponding to tilting modules. These are quite different from the isotypic components at a generic value of $q$. Are these still spanned by canonical basis vectors?