Warning: This is written by a non-expert (I know only about finite quantum groups and am beginning to learn my compact quantum groups), and there is no attempt at rigour, or even consistency. Actually the post shows a wanton disregard for reason, and attempts to understand the incomprehensible and intuit the non-intuitive. Speculation would be too weak an adjective.

Groups

A group is a well-established object in the study of mathematics, and for the purposes of this post we can think of a group G as the set of symmetries on some kind of space, given by a set X together with some additional structure D(X). The elements of G  act on X as bijections:

G \ni g:X\rightarrow X,

such that D(X)=D(g(X)), that is the structure of the space is invariant under g.

For example, consider the space (X_n,|X_n|), where the set is X_n=\{1,2,\dots,n\}, and the structure is the cardinality. Then the set of all of the bijections X_n\rightarrow X_n is a group called S_n.

A set of symmetries G, a group, comes with some structure of its own. The identity map e:X\rightarrow X, x\mapsto x is a symmetry. By transitivity, symmetries g,h\in G can be composed to form a new symmetry gh:=g\circ h\in G. Finally, as bijections, symmetries have inverses g^{-1}, g(x)\mapsto x.

Note that:

gg^{-1}=g^{-1}g=e\Rightarrow (g^{-1})^{-1}=g.

A group can carry additional structure, for example, compact groups carry a topology in which the composition G\times G\rightarrow G and inverse {}^{-1}:G\rightarrow G are continuous.

Algebra of Functions

Given a group G together with its structure, one can define an algebra A(G) of complex valued functions on G, such that the multiplication A(G)\times A(G)\rightarrow A(G) is given by a commutative pointwise multiplication, for s\in G:

(f_1f_2)(s)=f_1(s)f_2(s)=(f_2f_1)(s).

Depending on the class of group (e.g. finite, matrix, compact, locally compact, etc.), there may be various choices and considerations for what algebra of functions to consider, but on the whole it is nice if given an algebra of functions A(G) we can reconstruct G.

Usually the following transpose maps will be considered in the structure of A(G), for some tensor product \otimes_\alpha such that A(G\times G)\cong A(G)\otimes_\alpha A(G), and m:G\times G\rightarrow G, (g,h)\mapsto gh is the group multiplication:

\begin{aligned}  \Delta: A(G)\rightarrow A(G)\otimes_{\alpha}A(G)&,\,f\mapsto f\circ m,\,\text{the comultiplication}  \\ S: A(G)\rightarrow A(G)&,\, f\mapsto f\circ {}^{-1},\,\text{ the antipode}  \\ \varepsilon: A(G)\rightarrow \mathbb{C}&,\, f\mapsto f\circ e,\,\text{ the counit}  \end{aligned}

See Section 2.2 to learn more about these maps and the relations between them for the case of the complex valued functions on finite groups.

Quantum Groups

Quantum groups, famously, do not have a single definition in the same way that groups do. All definitions I know about include a coassociative (see Section 2.2) comultiplication \Delta: A(G)\rightarrow A(G)\otimes_\alpha A(G) for some tensor product \otimes_\alpha (or perhaps only into a multiplier algebra M(A(G)\otimes_\alpha A(G))), but in general that structure alone can only give a quantum semigroup.

Here is a non-working (quickly broken?), meta-definition, inspired in the usual way by the famous Gelfand Theorem:

A quantum group G is given by an algebra of functions A(G) satisfying a set of axioms \Theta such that:

  • whenever A(G) is noncommutative, G is a virtual object,
  • every commutative algebra of functions satisfying \Theta is an algebra of functions on a set-of-points group, and
  • whenever commutative algebras of functions A(G_1)\cong_{\Theta} A(G_2), G_1\cong G_2 as set-of-points groups.

set-of-points group is a just a group, and as we said above, no matter what class of complex valued functions we take, A(G) is going to be commutative when the multiplication is pointwise.

A virtual object in contrast does not exist as a set, but is given merely via its \Theta-satisfying algebra of functions A(G). It can not be a set of points, else the multiplication would be commutative (if the multiplication to be considered pointwise multiplication).

Kac Quantum Groups

Recall for commutative A(G), (Sf)(g)=f(g^{-1}) and thus (S^2f)(g)=f((g^{-1})^{-1})=f(g), so S^2=I_{A(G)}. Not all algebras of functions on quantum groups have antipodes defined on the entire algebra. For example, the antipode on (an algebra of functions on a) locally compact quantum groups is only densely defined. This is an issue of topology, but even algebraic compact quantum groups, which do not a priori involve topology, have algebras of functions that do not necessarily have an involutive antipode:

S^2=I_{A(G)}.

If a quantum group has an involutive antipode, let us assume on the whole algebra for the purposes of this post, it is called Kac, otherwise it is non-Kac.

As it provides a class with an example of a non-Kac quantum group, we can talk about the algebra of regular functions, \mathcal{O}(G), on an algebraic compact quantum group G. The axioms \Theta_{\text{alg}} are, more or less:

  • The algebra \mathcal{O}(G) is a unital *-algebra,
  • and there is a comultiplication, antipode and counit, such that
  • \Delta: \mathcal{O}(G)\rightarrow \mathcal{O}(G)\otimes_{\text{alg.}}\mathcal{O}(G) is a *-homomorphism, and the structure maps satisfy:
  • \mathcal{Q}(\text{group axioms}), and
  • there exists an invariant Haar state \mathcal{O}(G)\rightarrow \mathbb{C}, that is equal to integration against the Haar measure, \mu, \displaystyle f\mapsto \int_G f(t)\,d\mu(t), whenever G is a set-of-points compact group

Here the group axioms are written in the language of the category \textbf{FinSet} (structure maps are morphisms, relations are commutative diagrams), and \mathcal{Q} is the functor composition of the free functor \textbf{FinSet}\rightarrow \textbf{FinVec}_{\mathbb{C}} before the dual endofunctor.

As an example of choices and considerations, it would be considered a defect of the theory that a Haar state is assumed.

Now, for each q\in[-1,1] there is a famous algebraic compact quantum group called \text{SU}_q(2), and whenever q\neq \pm 1, the quantum group is non-Kac. For q\neq 1, \text{SU}_q(2) is a virtual object, and intuition is fairly thin on the ground as there is no set of points group.

Properties of the Antipode on an Algebraic Compact Quantum Group

Before we start we must collect some facts about antipodes. In the finite commutative case, the Haar state is just:

\displaystyle f\mapsto \int_Gf(t)\,d\mu(t)=\frac{1}{|G|}\sum_{t\in G}f(t),

averaging the function. The commutative compact (think “almost finite”) case is also averaging the function: we will think of the Haar state on a general \mathcal{O}(G) as averaging the function, and write f\mapsto \int_Gf for the Haar state.

For the algebra of regular functions, \mathcal{O}(G), on an algebraic compact quantum group G, the antipode S:\mathcal{O}(G)\rightarrow \mathcal{O}(G) is a unital *-antimorphism. The Haar state is tracial exactly when S^2=\mathbf{1}_{G}:=1_{\mathcal{O}(G)}.

Dual Finite Groups

finite quantum group is given by an algebra of functions F(G) that has the same axioms as algebraic compact quantum groups except if the algebra is assumed to be a \mathrm{C}^*-algebra, the existence of the Haar state can be derived rather than assumed. Choices and considerations!

As an example, consider the group ring \mathbb{C}G with:

\begin{aligned}  \Delta(\delta^g)&=\delta^g\otimes \delta^g  \\ S(\delta^g)&=\delta^{g^{-1}}  \\ \varepsilon(\delta^g)&=\delta_{g,e}  \end{aligned}

The “pointwise” multiplication is M(\delta^g,\delta^h)=\delta^{gh}, and is noncommutative as soon as G is nonabelian (if G is abelian say hello to Pontryagin). We can check that \mathbb{C}G is the algebra of functions on a finite quantum group, which we denote \widehat{G}.

I have learnt that a lot of weird stuff that happens for quantum groups already happens for dual groups (see Perhaps the most surprising…, third paragraph, p.4). Now what doesn’t happen for dual groups, either in the finite case or indeed the various infinite cases, is that they become non-Kac.

However, the purpose of this post is to try and explore this question of intuition, for non-involutive antipodes, by trying to say what it would mean if F(G) or F(\widehat{G}) were non-Kac. Of course this is nonsense because both these quantum groups ARE Kac… but we’ve been loose enough up to this point let us keep going.

Non-Kac — Path Dependence?

Let G be a finite group. Note that:

S^2(f)(g)=f((g^{-1})^{-1}).

If S^2(f)\neq f, then this implies that there exists a symmetry g\in G such that (g^{-1})^{-1}\neq g.

It implies that:

gg^{-1}\neq g^{-1}g

while still there exists g^{-1} and (g^{-1})^{-1} such that

g^{-1}g=e=(g^{-1})^{-1}g^{-1}.

Can we make any sense of this? Not on the levels of set-of-points groups… but let us imagine. I end up with the following. The quantum symmetries in a non-Kac quantum group force upon quantum spaces a path dependence, and thus a direction of time. We must start somewhere, say the quantum space has initial configuration X_e. Act on this space now with a quantum symmetry g, and then g^{-1}. This cannot bring us precisely back to X_e, because if it did we could act again with g and then we would have (g^{-1})^{-1}=g… instead we must go to a state X_{g^{-1}g} that can be identified with X_e, but it is not exactly the same as X_e — it has a different path history.

nonkac

Non-Kac also implies that if we act on X_{g^{-1}g} with g, we do not get a state that can be identified with X_g. But we still want inverses and therefore g^{-1} has an inverse (g^{-1})^{-1} such that X_{(g^{-1})^{-1}g^{-1}}\sim X_e but X_{gg^{-1}}\not\sim X_e.

Does this has anything at all to do with “God given time?”. Is it a coincidence that we are (possibly) led to this kind of path history as soon as we leave the Kac condition, a condition that guarantees that a certain modular automorphism group is trivial?

Saying that the Haar state is tracial is saying that all functions commute on average:

\displaystyle \int_G f_{1}f_2=\int_G f_2f_1,

however, even with \int_G f=\int_G S(f), I cannot find anything even nonsensical to say from here.

We can however see a link between these for dual groups.

Traciality and Kac for Dual Groups

Consider \delta^g,\,\delta^{g^{-1}}\in F(\widehat{G}). The Haar state on F(\widehat{G}) is given by:

\displaystyle\int_{\widehat{G}}\delta^g=\delta_{g,e}.

Note that we have:

\displaystyle\int_{\widehat{G}} \delta^{g^{-1}}\delta^g=\int_{\widehat{G}}\delta^e=1.

If \int_{\widehat{G}} were tracial,

\displaystyle \int_{\widehat{G}}\delta^{g}\delta^{g^{-1}}=\int_{\widehat{G}} \delta^{g^{-1}}\delta^g=1

and we might conclude that g=(g^{-1})^{-1} and so F(\widehat{G}) would be Kac. On the other hand, if it were not tracial we might find a witness to g\neq (g^{-1})^{-1}.

Conclusions?

There are no conclusions here. What we can say is as follows:

There are non-Kac algebras that satisfy axioms \Theta such that if a commutative algebra satisfies \Theta, it is the algebra of complex functions on a set of points group G. Woronowicz [Theorem 1.4shows that the non-Kac algebras have a non-trivial modular automorphism group.

It must go back to choices and considerations. Should a non-Kac algebra be considered an algebra of functions on a quantum group? What do you think?

An expert could tell us about choices and considerations. I don’t think it is possible to understand on a intuitive level what non-Kac says about the symmetries.

A sting in the tail is as follows. The self-adjoint elements of a A(G) can be considered quantum mechanical physical observables. Perhaps for all observables f\in A(G)_{\text{sa}},

S^2(f)=f?

This might somehow imply that symmetries such that (g^{-1})^{-1} cannot be detected by observables. This is not the case. There is an element c\in \mathcal{O}(\text{SU}_q(2)) such that, where \text{Re}(c)=\frac12(c+c^*):

\displaystyle S^2(\text{Re}(c))=\frac12\left(q^2c+\frac{c^*}{q^2}\right)\neq \text{Re}(c).

Indeed S^2f=f for f\in A(G)_{\text{sa}} just when S is *-linear… but this happens exactly when A(G) is Kac. Ouch!