Related papers: A quantitative version of the idempotent theorem i…

We show that if $G$ is a finite Abelian group and $f$ is an integer-valued map on $G$ with algebra norm at most $M$ then there is some $L < \exp(M^{4+o(1)})$, cosets of (possibly different) subgroups $W_1,...,W_L$, and $s_1,...,s_L \in…

We provide necessary and sufficient conditions for the existence of idempotents of arbitrarily large norms in the Fourier algebra A(G) and the Fourier-Stieltjes algebra B(G) of a locally compact group G. We prove that the existence of…

Let $G$ be a locally compact group, and let ${\cal R}(G)$ denote the ring of subsets of $G$ generated by the left cosets of open subsets of $G$. The Cohen--Host idempotent theorem asserts that a set lies in ${\cal R}(G)$ if and only if its…

We determine when contractive idempotents in the measure algebra of a locally compact group commute. We consider a dynamical version of the same result. We also look at some properties of groups of measures whose identity is a contactive…

We investigate the conditions under which the space of bounded harmonic functions of a probability measure $\mu$ on a group $G$ is contained in that of another measure $\theta$. We establish that asymptotic commutativity, defined by the…

This is a short survey on idempotent states on locally compact groups and locally compact quantum groups. The central topic is the relationship between idempotent states, subgroups and invariant C*-subalgebras. We concentrate on recent…

Let $G$ be a locally compact abelian group with Haar measure $\mu$. For integers $n \geq 2$ and $H \geq 2$ and for any $n$-tuples $\mathbf{u}_1,\ldots, \mathbf{u}_H \in \mathbf{N}^n$, there exist measurable subsets $A_1,\ldots, A_n$ of $G$…

Let $G$ be a group and let $R$ be a $G$-graded ring. We show that a nonzero central idempotent in $R$ has finite support group in two broad settings: when $G$ is abelian, and when $G$ is arbitrary but the grading satisfies a certain…

Consider a compact prequantizable symplectic manifold M on which a compact Lie group G acts in a Hamiltonian fashion. The ``quantization commutes with reduction'' theorem asserts that the G-invariant part of the equivariant index of M is…

For a locally compact group $G$, let $A(G)$ be its Fourier algebra, let $M_{cb}A(G)$ denote the completely bounded multipliers of $A(G)$, and let $A_{Mcb}(G)$ stand for the closure of $A(G)$ in $M_{cb}A(G)$. We characterize the norm one…

Let $G$ be a right-angled Artin group with $|\mathrm{Out}(G)|<+\infty$. We prove that if a countable group $H$ with bounded torsion is measure equivalent to $G$, with an $L^1$-integrable measure equivalence cocycle towards $G$, then $H$ is…

Let $E\subset \mathbb{R}^{n+1}$, $n\ge 2$, be a uniformly rectifiable set of dimension $n$. Then bounded harmonic functions in $\Omega:= \mathbb{R}^{n+1}\setminus E$ satisfy Carleson measure estimates, and are "$\varepsilon$-approximable".…

Let $G$ be a compact, connected simple Lie group and $\mathfrak{g}$ its Lie algebra. It is known that if $\mu $ is any $G$-invariant measure supported on an adjoint orbit in $\mathfrak{g}$, then for each integer $k$, the $k$% -fold…

Let G be an algebraic group over an algebraically closed field of positive characteristic such that its neutral connected component is a unipotent group. We consider a certain class of closed idempotents in the braided monoidal category…

We prove that a topological Clifford semigroup $S$ is metrizable if and only if $S$ is an $M$-space and the set $E=\{e\in S:ee=e\}$ of idempotents of $S$ is a metrizable $G_\delta$-set in $S$. The same metrization criterion holds also for…

Let $(X,\mathcal{B},\mu,T)$ be a measure preserving system. We say that a function $f\in L^2(X,\mu)$ is $\mu$-mean equicontinuous if for any $\epsilon>0$ there is $k\in \mathbb{N}$ and measurable sets ${A_1,A_2,\cdots,A_k}$ with…

We consider a (possibly discrete) unimodular locally compact group $G$ with Haar measure $\mu_G$, and a compact $A\subseteq G$ of positive measure with $\mu_G(A^2)\leq K\mu_G(A)$. Let $H$ be a closed normal subgroup of G and $\pi: G…

Let $\Omega\subsetneq\mathbb R^{n+1}$ be open and let $\mu$ be some measure supported on $\partial\Omega$ such that $\mu(B(x,r))\leq C\,r^n$ for all $x\in\mathbb R^{n+1}$, $r>0$. We show that if the harmonic measure in $\Omega$ satisfies…

We study idempotent measures and the structure of the convolution semigroups of measures over definable groups. We isolate the property of generic transitivity and demonstrate that it is sufficient (and necessary) to develop stable group…

We prove that if a Borel probability measure (\mu) on (\T) is invariant under the action of a "large" multiplicative semigroup (lower logarithmic density is positive) and the action of the whole semigroup is ergodic then (\mu) is either…