Related papers: A simple proof that $C^{\infty}({\bf R}^n,U(1))$ d…

In this paper we investigated the problem of the existence of invariant meaures on the local gauge group. We prove that it is impossible to define a {\it finite} translationally invariant measure on the local gauge group $C^{\infty}({\bf…

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,…

We prove that every profinite $n$-ary group $(G, f)=\Gf$ has a unique Haar measure $m_p$ and further for every measurable subset $A\subseteq G$, we have $$ m_p(A)=m(A)=(n-1)m^{\ast}(A) $$ where $m$ and $m^{\ast}$ are the normalized Haar…

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…

For any $1\leq r<\infty$, we build on the disk and therefore on any manifold, a $C^r$-diffeomorphism with no measure of maximal entropy.

The paper describes two possible ways of extending the definition of Haar measure to non-Hausdorff locally compact groups. The first one forces compact sets to be measurable: with this construction, a counterexample to the existence of the…

We evaluated some particular type of functional integral over the local gauge group C^{\infty}({\bf R}^n, U(1)) by going to a discretized lattice. The results explicitly violates the property of the Haar measure. We also analysed the…

We show that the set of torsion elements of a topological group admitting a branch pro-$p$ quotient has Haar measure zero.

In the general theory of locally compact quantum groups, the notion of Haar measure (Haar weight) plays the most significant role. The aim of this paper is to carry out a careful analysis regarding Haar weight, in relation to general…

We add to the literature the following observation. If $\mu$ is a singular measure on $\mathbb{R}^n$ which assigns measure zero to every porous set and $f:\mathbb{R}^n\rightarrow\mathbb{R}$ is a Lipschitz function which is…

This article provides a concise introduction to the theory of Haar measures on locally compact Hausdorff groups. We cover the necessary preliminaries on topological groups and measure theory, the Haar correspondence, unimodularity and Haar…

We present a simple and intuitive framework for duality of locally compacts groups, which is not based on the Haar measure. This is a map, functorial on a non-degenerate subcategory, on the category of coinvolutive Hopf \cst-algebras, and a…

The Haar measure on some locally compact quantum groups is constructed. The main example we treat is the az+b-group of Woronowicz. We also briefly consider some other examples (like the ax+b-group). We get the first examples of a locally…

We give a probabilistic proof of the Weyl integration formula on U(n), the unitary group with dimension $n$. This relies on a suitable definition of Haar measures conditioned to the existence of a stable subspace with any given dimension…

Analytic properties of right topological groups have been extensively studied in the compact admissible case (i.e when the group has a dense topological center). This was inspired by the existence of a Haar measure on such groups. In this…

For every $k \in \mathbb{N}$ and $\alpha \in (0,1)$ we construct a divergence-free $u \in C^k([0,T],C^\alpha(\mathbb{T}^d,\mathbb{R}^d))$, $d \geq 2$, such that there is no measurable selection of solutions of the ODE $\dot{X}_t = u(t,X_t)$…

Consider the space $C$ of conjugacy classes of a unitary group $U(n+m)$ with respect to a smaller unitary group $U(m)$. It is known that for any element of the space $C$ we can assign canonically a matrix-valued rational function on the…

Using a new approach involving embedding spaces in II$_1$ factors with plenty of freely independent Haar unitaries, we prove that $C^\ast_r(\mathbb{F}_n)\ncong C^\ast_r(\mathbb{F}_m)$ for $n \neq m$. This recovers the seminal result of…

We provide an elementary proof for a theorem due to Petz and R\'effy which states that for a random $n\times n$ unitary matrix with distribution given by the Haar measure on the unitary group U(n), the upper left (or any other) $k\times k$…

We shall consider a locally compact groupoid endowed with a Haar system and having proper orbit space. We shall construct a groupoid C*-algebra which is independent of the Haar system (up to a *-isomorphism).