Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userQuantum symmetries and quantum isometries of compact metric spaces
195
0
0.0
(
0
)
Authors
Debashish Goswami
Ask ChatGPT about the research
No Arabic abstract
We prove that a compact quantum group with faithful Haar state which has a faithful action on a compact space must be a Kac algebra, with bounded antipode and the square of the antipode being identity. The main tool in proving this is the theory of ergodic quantum group action on $C^*$ algebras. Using the above fact, we also formulate a definition of isometric action of a compact quantum group on a compact metric space, generalizing the definition given by Banica for finite metric spaces, and prove for certain special class of metric spaces the existence of the universal object in the category of those compact quantum groups which act isometrically and are `bigger than the classical isometry group.
rate research
Read More
We formulate a quantum group analogue of the group of orinetation-preserving Riemannian isometries of a compact Riemannian spin manifold, more generally, of a (possibly $R$-twisted in the sense of a paper of one of the authors, and of compact type) spectral triple. The main advantage of this formulation, which is directly in terms of the Dirac operator, is that it does not need the existence of any `good Laplacian as in our previous works on quantum isometry groups. Several interesting examples, including those coming from Rieffel-type deformation as well as the equivariant spectral triples on $SU_mu(2)$ and $S^2_{mu 0}$ are dicussed.
Let $G$ be one of the classical compact, simple, centre-less, connected Lie groups or rank $n$ with a maximal torus $T$, the Lie algebra $clg$ and let ${ E_i, F_i, H_i, i=1, ldots, n }$ be the standard set of generators corresponding to a basis of the root system. Consider the adjoint-orbit space $M={ {rm Ad}_g(H_1),~g in G }$, identified with the homogeneous space $G/L$ where $L={ g in G:~{rm Ad}_g(H_1)=H_1}$. We prove that the `coordinate functions ${ f_i, i=1, ldots, n }$, (where $f_i(g):=lambda_i({rm Ad}_g(H_1))$, ${ lambda_1, ldots, lambda_n}$ is basis of $clg^prime$) are `quadratically independent in the sense that they do not satisfy any nontrivial homogeneous quadratic relations among them. Using this, it is proved that there is no genuine compact quantum group which can act faithtully on $C(M)$ such that the action leaves invariant the linear span of the above cordinate functions. As a corollary, it is also shown that any compact quantum group having a faithful action on the noncommutative manifold obtained by Rieffel deformation of $M$ satisfying a similar `linearity condition must be a Rieffel-Wang type deformation of some compact group.
We study glued tensor and free products of compact matrix quantum groups with cyclic groups -- so-called tensor and free complexifications. We characterize them by studying their representation categories and algebraic relations. In addition, we generalize the concepts of global colourization and alternating colourings from easy quantum groups to arbitrary compact matrix quantum groups. Those concepts are closely related to tensor and free complexification procedures. Finally, we also study a more general procedure of gluing and ungluing.
We introduce the notion of identity component of a compact quantum group and that of total disconnectedness. As a drawback of the generalized Burnside problem, we note that totally disconnected compact matrix quantum groups may fail to be profinite. We consider the problem of approximating the identity component as well as the maximal normal (in the sense of Wang) connected subgroup by introducing canonical, but possibly transfinite, sequences of subgroups. These sequences have a trivial behaviour in the classical case. We give examples, arising as free products, where the identity component is not normal and the associated sequence has length 1. We give necessary and sufficient conditions for normality of the identity component and finiteness or profiniteness of the quantum component group. Among them, we introduce an ascending chain condition on the representation ring, called Lie property, which characterizes Lie groups in the commutative case and reduces to group Noetherianity of the dual in the cocommutative case. It is weaker than ring Noetherianity but ensures existence of a generating representation. The Lie property and ring Noetherianity are 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.
There are two very natural products of compact matrix quantum groups: the tensor product $Gtimes H$ and the free product $G*H$. We define a number of further products interpolating these two. We focus more in detail to the case where $G$ is an easy quantum group and $H=hat{mathbb{Z}}_2$, the dual of the cyclic group of order two. We study subgroups of $G*hat{mathbb{Z}}_2$ using categories of partitions with extra singletons. Closely related are many examples of non-easy bistochastic quantum groups.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
