Related papers: A Kind of Compact Quantum Semigroups
We show that any quantum family of maps from a non commutative space to a compact quantum metric space has a canonical quantum semi metric structure.
In this survey article we give basic introduction to the theory of quantum families of maps. We begin with a general look at non-commutative (or "quantum") topology. Then we formulate all our results in this language. Existence of quantum…
Quantum families of maps between quantum spaces are defined and studied. We prove that quantum semigroup (and sometimes quantum group) structures arise naturally on such objects out of more fundamental properties. As particular cases we…
We analyze the recent examples of quantum semigroups defined by M.M. Sadr who also brought up several open problems concerning these objects. These are defined as quantum families of maps from finite sets to a fixed compact quantum…
We describe the notion of a quantum family of maps of a quantum space and that of a quantum commutant of such a family. Quantum commutants are quantum semigroups defined by a certain universal property. We give a few examples of these…
A notion of a quantum automorphism group of a finite quantum group, generalising that of a classical automorphism group of a finite group, is proposed and a corresponding existence result proved.
The notion of a quantum family of maps has been introduced in the framework of C*-algebras. As in the classical case, one may consider a quantum family of maps preserving additional structures (e.g. quantum family of maps preserving a…
It is proved that each of compact linear groups of one special type admits a semialgebraic continuous factorization map onto a real vector space.
We show that either of the two reasonable choices for the category of compact quantum groups is nice enough to allow for a plethora of universal constructions, all obtained "by abstract nonsense" via the adjoint functor theorem. This…
A construction of the noncommutative-geometric counterparts of classical classifying spaces is presented, for general compact matrix quantum structure groups. A quantum analogue of the classical concept of the classifying map is introduced…
We show that semi-infinite cohomology of a finite dimensional graded algebra (satisfying some additional requirements) are a particular case of a general categorical construction. The motivating example is provided by small quantum groups…
We define a loop to be quantum nullhomotopic if and only if it admits a nonempty quantum set of extensions to the unit disk. We show that the canonical loop in the unit circle is not quantum nullhomotopic, but that every loop in the real…
We define algebraic families of (all) morphisms which are purely algebraic analogs of quantum families of (all) maps introduced by P.M. Soltan. Also, algebraic families of (all) isomorphisms are introduced. By using these notions we…
The notion of families of quantum invertible maps ($C^*$-algebra homomorphisms satisfying Podle\'s condition) is employed to strengthen and reinterpret several results concerning universal quantum groups acting on finite quantum spaces. In…
We introduce a notion of quantum function, and develop a compositional framework for finite quantum set theory based on a 2-category of quantum sets and quantum functions. We use this framework to formulate a 2-categorical theory of quantum…
The notion and theory of the quantum space of all maps from a quantum space pioneered by So{\l}tan have been mainly focused on finite-dimensional C*-algebras which are matrix algebra bundles over a finite set $S$. We propose a modification…
In this paper we construct a compact quantum semigroup structure on the Toeplitz algebra $\mathcal{T}$. The existence of a subalgebra, isomorphic to the algebra of regular Borel's measures on a circle with convolution product, in the dual…
We show that certain embeddable homogeneous spaces of a quantum group that do not correspond to a quantum subgroup still have the structure of quantum quotient spaces. We propose a construction of quantum fibre bundles on such spaces. The…
We give a general scheme for constructing faithful actions of genuine (noncommutative as $C^*$ algebra) compact quantum groups on classical topological spaces. Using this, we show that: (i) a compact connected classical space can have a…
Mapping-class groups of 3-manifolds feature as symmetry groups in canonical quantum gravity. They are an obvious source through which topological information could be transmitted into the quantum theory. If treated as gauge symmetries,…