I’ve been looking over the last little bit at quantum groupoids, and how they can be used to deform the 2-linearization 2-functor (or into ) which I’ve discussed in here.
First a little motivation: that functor was part of the way I constructed extended TQFT’s. The inclusion realized cobordisms (with corners) in terms of spans of manifolds. Looking at fundamental groupoids using the 2-functor allows us to think about these in terms of the bicategory , and then applying gave 2-Hilbert spaces and 2-linear maps for manifolds and cobordisms (and then natural transformations for cobordisms with corners). Since I made the claim that, with gauge group – and a suitably infinitary version of , the extended TQFT gives a theory equivalent to the Ponzano-Regge model of quantum gravity, a reasonable question is: what about the Turaev-Viro model? The PR model is based on labelling edges of a triangulation with representations of , and the TV model, with representations of .
Now, the groupoids that show up in the above – groupoids of -connections on a manifold, modulo gauge transformations – are quite closely related to this. In particular, the groupoid of connections for a circle (the basic 1-dimensional manifold that the 3-dimensional theory builds from) is , the transformation groupoid produced from the action of on itself by conjugation. (That is: the objects are elements of , and the morphisms are all the conjugacy relations.) Applying gives the representation category of this, namely , so in particular, at the identity of , one has as a sub-2-vector space. (The “states” in the 2-Hilbert space for the circle in the ETQFT are labelled by “masses and spins” – the mass=0 case is what gives the representations of , and for nonzero mass, one has .)
More broadly: one can describe the state space of a gauge theory – or many other kinds of theory, in terms of transformation groupoids given by symmetries (gauge transformations, say) acting on states (connections, in that case). Is there a way of doing the same for systems whose symmetries are described by quantum groups? If so, then instead of getting 2-vector spaces which are representation categories of groupoids, we should get some which are representation categories of quantum groupoids.
This paper by Ping Xu describes quantum groupoids – or rather, quantum universal enveloping algebras. They’re described here as a “unification of quantum groups and star products” (star products being the partially-defined composition found in groupoids). This paper by Nikshych and Vainerman describes finite quantum groupoids and some applications – in particular, quantum transformation groupoids, which is the immediately relevant application.
First off, quantum groups: these are Hopf algebras, which in particular are bialgebras – they have both a product
This is because the point here is that we’re following the pattern in which spaces are replaced by algebras: in some simple examples, these are the algebras of functions on a space. The point of noncommutative geometry is that there’s a (contravariant) equivalence between the category of locally compact Hausdorff spaces and the category of commutative algebras, so generalizing to noncommutative algebras (and taking the opposite category) gives a generalization of “locally compact Hausdorff space”. Topological groups like Lie groups are group objects in this category of spaces – and quantum groups are group objects in . So in particular, the group operation shows up as the coproduct , and the inverse operation is the antipode
Of course there are also the unit
(where is the base field, say ). The co-unit is of course the “unit” map for the group object. These maps all satisfy some obvious relations.
Now what about quantum groupoids? These are “groupoid objects” – or rather, models of the theory of groupoids – in . We can’t quite say “groupoid objects”, since a groupoid internal to a category consists of two objects in . For example, a Lie groupoid is a groupoid in , the category of manifolds. It has a base manifold and a total manifold , and two maps , and so forth. The interpretation is that there is a set (or manifold, or what-have-you) of objects, and a set (etc.) of morphisms. There is a (partially-defined) composition operation allowing morphisms to be composed if the source of one is the target of the other, and so forth.
So (a slightly tweaked version of) the definition of a quantum groupoid given by Xu has it consisting of . These unpack in pretty natural ways: it helps to compare to both the definition of, say, a Lie groupoid, and a quantum group. is the “total algebra$ and the “base algebra”, and they correspond to the “noncommutative spaces” of morphisms and objects of a groupoid, respectively. Just as a group can be seen as a groupoid with just one object, a quantum group would be a quantum groupoid where the base algebra is just the base field .
But then, if is not , we need some nontrivial – the source and target maps respectively, which replace the unit map to . Notice they go from the base to the total algebra , not the other way around, because everything works as usual in . The other maps are likewise dual to those in the definition of a groupoid. The major difference is that we need the equivalent of a partially defined multiplication/composition and the dual “co-multiplication”/”co-composition” . This works because using and , we get left and right actions of the base on , which is thus an -bimodule, hence we can form the bimodule product , and thus:
The obvious analog of the unit we had for quantum groups is hidden in Xu’s definition (it seems like it should take the place of the requirement that be unital), but the co-unit
is the dual way of describing the “identity” function .
The antipode plays the role of the inverse map for morphisms in groupoids.
All these maps have to satisfy various identities which are implied by saying this is a model of the theory of groupoids – check out either of the above papers to see them all explicitly.
(A final observation about the definition: a groupoid is a category which has an inverse map from morphisms to morphisms. If we relax the assumption that we have an antipode , we end up with just the definition of a bialgebroid (having makes it a “Hopf” algebroid). So “bialgebroid” would seem to be the natural “quantum” version of the concept of a general category…)
So how might one construct such a “quantum action groupoid”? This is addressed (at least in the finite case) in the paper by Nikshych and Vainerman, in their section 2.6. This is generalizing the action groupoid arising from a group acting on a set. The set is replaced by an algebra (which must be separable, for them – the equivalent of a finite set – and thought of as a “quantum space”). The group is replaced by a quantum group (or, generally, Hopf algebra) . The equivalent of having action of the group on the set is that is a (right) -module.
Now, the action groupoid for a action on has for objects the elements of , and for morphisms, all relations , which we can write as morphisms , with source and target . The action quantum groupoid associated to the -module is the double crossed product , with multiplication, co-multiplication, etc. defined in fairly natural ways. (Note: those triangles should be semidirect products, but I can’t seem to make that symbol appear here.)
So finally, I seem to be claiming that a such a quantum groupoid, let’s call it is the right “classical” state space (if that’s not too blatant a contradiction in terminology) for a theory having quantum-group symmetry – at least in the categorified picture. No doubt in many cases there is additional structure, capturing the equivalent of, say, symplectic structure, that should also be included (such things certainly can be found in NCG, but I’m still absorbing how exactly).
Then the 2-vector space for the quantized version of such a theory is the category , and a “2-state” just an object in here – a representation of .
One thing that’s not quite clear to me just now is how this relates to the usual idea of “state” in NCG – a state for a “quantum space” (which is an algebra) being a linear functional on that algebra. Not necessarily a character (i.e. a homomorphism into ), mind you – that would be a 1-dimensional representation, but just a functional.