Verlinde modules and quantization

Given a compact simple Lie group G and a primitive degree 3 twist h, we define a monoidal category C(G, h) with a May structure. An object in the category C(G, h) is a pair (X, f), where X is a compact G-manifold and f a smooth G-map from X to G with respect to the conjugation action of G on itself. Such an object determines a module, the equivariant twisted K-homology K^G(X, f^*(h)), for the Verlinde algebra, termed a Verlinde module, where the module action is induced by the G-action on X. In order to understand which objects in C(G, h) can be quantized, we define the closely related monoidal category D(G, h) consisting of equivariant twisted geometric K-cycles, which also has a May structure. There is a forgetful functor from D(G, h) to C(G, h), showing that an object in D(G, h) determines a Verlinde module. Every object in the category D(G, h) also has a quantization, valued in the Verlinde algebra. Finally, an equivalence relation ~ is defined on objects in D(G, h) such that the quantization functor determines an algebra isomorphism between the geometric equivariant twisted K-homology groups K^G_{geo}(G, h) = D(G, h))/~, and the Verlinde algebra.