scholarly journals Local and doubly empirical convergence and the entropy of algebraic actions of sofic groups

2017 ◽  
Vol 39 (4) ◽  
pp. 930-953
Author(s):  
BEN HAYES

Let $G$ be a sofic group and $X$ a compact group with $G\curvearrowright X$ by automorphisms. Using (and reformulating) the notion of local and doubly empirical convergence developed by Austin, we show that in many cases the topological and the measure-theoretic entropy with respect to the Haar measure of $G\curvearrowright X$ agree. Our method of proof recovers all known examples. Moreover, the proofs are direct and do not go through explicitly computing the measure-theoretic or topological entropy.

Author(s):  
ALIREZA ABDOLLAHI ◽  
MEISAM SOLEIMANI MALEKAN

Abstract The following question is proposed by Martino, Tointon, Valiunas and Ventura in [4, question 1·20]: Let G be a compact group, and suppose that \[\mathcal{N}_k(G) = \{(x_1,\dots,x_{k+1}) \in G^{k+1} \;|\; [x_1,\dots, x_{k+1}] = 1\}\] has positive Haar measure in $G^{k+1}$ . Does G have an open k-step nilpotent subgroup? We give a positive answer for $k = 2$ .


1977 ◽  
Vol 29 (3) ◽  
pp. 626-630 ◽  
Author(s):  
Daniel M. Oberlin

For a locally compact group G, let LP(G) be the usual Lebesgue space with respect to left Haar measure m on G. For x ϵ G define the left and right translation operators Lx and Rx by Lx f(y) = f(xy), Rx f(y) = f(yx)(f ϵ Lp(G),y ϵ G). The purpose of this paper is to prove the following theorem.


1970 ◽  
Vol 13 (4) ◽  
pp. 497-499 ◽  
Author(s):  
Paul Milnes

Greenleaf states the following conjecture in [1, p. 69]. Let G be a (connected, separable) amenable locally compact group with left Haar measure, μ, and let U be a compact symmetric neighbourhood of the unit. Then the sets, {Um}, have the following property: given ɛ > 0 and compact K ⊂ G, ∃ m0 = m0(ɛ, K) such that


2000 ◽  
Vol 65 (1) ◽  
pp. 173-186 ◽  
Author(s):  
Kazuyuki Tanaka ◽  
Takeshi Yamazaki

AbstractIn this paper, we show within RCA0 that weak König's lemma is necessary and sufficient to prove that any (separable) compact group has a Haar measure. Within WKL0, a Haar measure is constructed by a non-standard method based on a fact that every countable non-standard model of WKL0 has a proper initial part isomorphic to itself [10].


2012 ◽  
Vol 87 (3) ◽  
pp. 503-513 ◽  
Author(s):  
KARL H. HOFMANN ◽  
FRANCESCO G. RUSSO

AbstractIn a recent article [K. H. Hofmann and F. G. Russo, ‘The probability that $x$ and $y$ commute in a compact group’, Math. Proc. Cambridge Phil Soc., to appear] we calculated for a compact group $G$ the probability $d(G)$ that two randomly selected elements $x, y\in G$ satisfy $xy=yx$, and we discussed the remarkable consequences on the structure of $G$ which follow from the assumption that $d(G)$ is positive. In this note we consider two natural numbers $m$ and $n$ and the probability $d_{m,n}(G)$ that for two randomly selected elements $x, y\in G$ the relation $x^my^n=y^nx^m$ holds. The situation is more complicated whenever $n,m\gt 1$. If $G$ is a compact Lie group and if its identity component $G_0$ is abelian, then it follows readily that $d_{m,n}(G)$ is positive. We show here that the following condition suffices for the converse to hold in an arbitrary compact group $G$: for any nonopen closed subgroup $H$ of $G$, the sets $\{g\in G: g^k\in H\}$ for both $k=m$ and $k=n$ have Haar measure $0$. Indeed, we show that if a compact group $G$ satisfies this condition and if $d_{m,n}(G)\gt 0$, then the identity component of $G$is abelian.


1963 ◽  
Vol 13 (4) ◽  
pp. 295-296 ◽  
Author(s):  
John S. Pym

If µ is a bounded regular Borel measure on a locally compact group G, and L1(G) denotes the class of complex-valued functions which are integrable with respect to the left Haar measure m of G, then, for each f∈L1(G),defines almost everywhere (a.e.) with respect to m a function μ*f which is again in L1(G). The measure μ will be called isotone on G mapping f→μ*f is isotone, i.e. f≧0 a.e. (m) if and only if μ*f≧0 a.e. (m).


2015 ◽  
Vol 116 (2) ◽  
pp. 250 ◽  
Author(s):  
Yulia Kuznetsova

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 $C^*$-algebras, and a similar map on the category of coinvolutive Hopf-von Neumann algebras. In the $C^*$-version, this functor sends $C_0(G)$ to $C^*(G)$ and vice versa, for every locally compact group $G$. As opposed to preceding approaches, there is an explicit description of commutative and co-commutative algebras in the range of this map (without assumption of being isomorphic to their bidual): these algebras have the form $C_0(G)$ or $C^*(G)$ respectively, where $G$ is a locally compact group. The von Neumann version of the functor puts into duality, in the group case, the enveloping von Neumann algebras of the algebras above: $C_0(G)^{**}$ and $C^*(G)^{**}$.


1964 ◽  
Vol 16 ◽  
pp. 275-285 ◽  
Author(s):  
R. E. Edwards

Throughout this paper X denotes a fixed Hausdorff locally compact group with left Haar measure dx. Various spaces of functions and measures on X will recur in the discussion, so we name and describe them forthwith. All functions and measures on X will be scalarvalued, though it matters little whether the scalars are real or complex.C = C(X) is the space of all continuous functions on X, Cc = Cc(X) its subspace formed of functions with compact supports. M = M(X) denotes the space of all (Radon) measures on X, Mc = MC(X) the subspace formed of those measures with compact supports. In general we denote the support of a function or a measure ξ by [ξ].


Sign in / Sign up

Export Citation Format

Share Document