Title:Connected components of compact matrix quantum groups and finiteness conditions

Abstract:We introduce the notion of identity component for compact quantum groups, based on Wang's definition of connectedness, and that of total disconnectedness. Unlike the classical case, as a drawback of the generalized Burnside problem, we note that totally disconnected compact matrix quantum groups are in general neither finite nor profinite.
We give necessary and sufficient conditions for normality, in the sense of Wang, of the identity component and finiteness or profiniteness of the associated quotient, the quantum component group. Furthermore, we provide examples arising as free products of quantum groups where the identity component is not normal.
Accomplishing this involves: an analysis of the torsion subcategory of the representation category, the construction of two canonical transfinite sequences of subgroups, approximating, respectively, the unique maximal normal connected subgroup and the identity component, induction theory for tensor C*-categories, and the introduction of an ascending chain condition on the representation ring, called Lie property. The Lie property characterizes Lie groups in the commutative case and it reduces to group Noetherianity in the cocommutative case. It enjoys aspects of both: it is weaker than ring Noetherianity, it ensures existence of a generating representation, and is inherited by quotient quantum groups. We show that A_u(F) is not of Lie type. We discuss an example arising from the compact real form of U_q(sl_2) for q<0.