相关论文: Haar measure on a locally compact quantum group

We describe the formalization of the existence and uniqueness of Haar measure in the Lean theorem prover. The Haar measure is an invariant regular measure on locally compact groups, and it has not been formalized in a proof assistant…

Let \(G\) be a non-discrete, locally compact group with Haar measure \(m\). We prove that there exists a compact set \(K \subset G\) with \(m(K)=0\) such that \(KK^{-1}\) contains a neighborhood of the identity. Moreover, such a set may be…

In this paper, we carry out the ``quantum double construction'' of the specific quantum groups we constructed earlier, namely, the ``quantum Heisenberg group algebra'' (A,\Delta) and its dual, the ``quantum Heisenberg group''…

An old problem asks whether every compact group has a Haar-nonmeasurable subgroup. A series of earlier results reduce the problem to infinite metrizable profinite groups. We provide a positive answer, assuming a weak, potentially provable,…

Generalizing the notion of matched pair of groups, we define and study matched pairs of locally compact groupoids endowed with Haar systems, in order to give new examples of measured quantum groupoids.

We provide a general expression of the Haar measure $-$ that is, the essentially unique translation-invariant measure $-$ on a $p$-adic Lie group. We then argue that this measure can be regarded as the measure naturally induced by the…

The following paper is devoted to the study of type I locally compact quantum groups. We show how various operators related to the modular theory of the Haar integrals on $\mathbb{G}$ and $\widehat{\mathbb{G}}$ act on the level of direct…

The theory of measured quantum groupoids, as defined by Lesieur and myself, was made to generalize the theory of quantum groups made by Kustarmans and Vaes, but was only defined in a von Neumann algebra setting; Th. Timmermann constructed…

S.L. Woronowicz proved in 1991 that quantum SU(1,1) does not exist as a locally compact quantum group. Results by L.I. Korogodsky in 1994 and more recently by Woronowicz gave strong indications that the normalizer N of SU(1,1) in SL(2,C) is…

Let A be an introverted algebra with mean value. We prove that its spectrum \Delta (A) is a compact topological semigroup, and that the kernel K(\Delta (A)) of \Delta (A) is a compact topological group over which the mean value on A can be…

Idempotent states on a unimodular coamenable locally compact quantum group A are shown to be in one-to-one correspondence with right invariant expected C*-subalgebras of A. Haar idempotents, that is, idempotent states arising as Haar states…

For a closed cocompact subgroup $\Gamma$ of a locally compact group $G$, given a compact abelian subgroup $K$ of $G$ and a homomorphism $\rho:\hat{K}\to G$ satisfying certain conditions, Landstad and Raeburn constructed equivariant…

Let P -> M be a principal G-bundle. Using techniques from the loop representation of gauge theory, we construct well-defined substitutes for ``Lebesgue measure'' on the space A of connections on P and for ``Haar measure'' on the group Ga of…

This paper is a continuation of the author's companion work \cite{InoueQuasi} on Haar-type measures for topological quasigroups, where the quasigroup setting was analyzed in connection with Kunen's theorem. We extend that framework to…

We study the explicit construction of the Haar measure on the compact $p$-adic rotation group $\textrm{SO}(3)_p$ by nautical (Cardano) parametrization. Exploiting its topological group isomorphism with…

We expose a K-theoretic approach to study group C*-algebras and C*-algebraic compact quantum groups: 1. The conception of multidimensional geometric quantization and the index of group C*-algebras; 2. the entire homology of noncommutative…

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…

The aim of this paper is to introduce and to investigate the analogues of torsors for compact quantum groups and to study their role in representation theory. Let A be a unitarizable Hopf *-algebra: we show that there is a category…

This is the last part of a series of three papers on the subject. In the first part we have considered the duality of algebraic quantum groups. In that paper, we use the term algebraic quantum group for a regular multiplier Hopf algebra…

We analyse certain Haar systems associated to groupoids obtained by certain natural equivalence relations of dynamical nature on sets like $\{1,2,...,d\}^\mathbb{Z}$, $\{1,2,...,d\}^\mathbb{N}$, $S^1\times S^1$, or $(S^1)^\mathbb{N}$, where…