相关论文: A quantitative version of the idempotent theorem i…

A classical theorem of Lusin states that all analytic sets are Lebesgue-measurable. In this article we established the reverse mathematical strength of Lusin's theorem, which depends on how precisely it is formalized. By doing so, we answer…

Suppose that G is a finite group and A is a subset of G such that 1_A has algebra norm at most M. Then 1_A is a plus/minus sum of at most L cosets of subgroups of G, and L can be taken to be triply tower in O(M). This is a quantitative…

Let K be a self-similar or self-affine set in R^d, let \mu be a self-similar or self-affine measure on it, and let G be the group of affine maps, similitudes, isometries or translations of R^d. Under various assumptions (such as separation…

We prove that if $\mu$ is a Radon measure on the Heisenberg group $\mathbb{H}^n$ such that the density $\Theta^s(\mu,\cdot)$, computed with respect to the Kor\'anyi metric $d_H$, exists and is positive and finite on a set of positive $\mu$…

For locally compact groups G and H let A(G) denote the Fourier algebra of G and B(H) the Fourier-Stieltjes algebra of H. Any continuous piecewise affine map alpha:Y -> G (where Y is an element of the open coset ring of H) induces a…

We have shown recently that, given a metric space $X$, the coarse equivalence classes of metrics on the two copies of $X$ form an inverse semigroup $M(X)$. Here we study the property of idempotents in $M(X)$ of being finite or infinite,…

We bound the value of the Casson invariant of any integral homology 3-sphere $M$ by a constant times the distance-squared to the identity, measured in any word metric on the Torelli group $\T$, of the element of $\T$ associated to any…

We consider a group G of isometries acting on a (not necessarily geodesic) delta-hyperbolic space X and possessing a radial limit set of full measure within its limit set. For any continuous quasiconformal measure w supported on the limit…

Let $M=G/H$ be a compact connected isotropy irreducible Riemannian homogeneous manifold, where $G$ is a compact Lie group (may be, disconnected) acting on $M$ by isometries. This class includes all compact irreducible Riemannian symmetric…

Let G be a semisimple linear algebraic group defined over rational numbers, K be a maximal compact subgroup of its real points and {\Gamma} be an arithmetic lattice. One can associate a probability measure {\mu}(H) on {\Gamma}\G for each…

A notion of admissible probability measures $\mu$ on a locally compact Abelian group (LCA-group) $G$ with connected dual group $\hat G=\R^d\times \T^n$ is defined. To such a measure $\mu$, a closed semigroup $\Lambda(\mu)\subseteq…

Suppose $G$ is a compact semisimple Lie group, $\mu$ is the normalized Haar measure on $G$, and $A, A^2 \subseteq G$ are measurable. We show that $$\mu(A^2)\geq \min\{1, 2\mu(A)+\eta\mu(A)(1-2\mu(A))\}$$ with the absolute constant $\eta>0$…

We show by an example that the (equivalence class of) singularity of a plurisubharmonic function cannot be determined by the data of its Lelong numbers, in a nontrivial sense. Such an example is provided by Siu-type singular hermitian…

Let $R$ be a finite commutative local principal ring, and let $H(R)$ denote the corresponding quaternion ring. We show that an element of $H(R)$ is a product of idempotents if and only if it can be expressed as a product of two idempotents.…

A semigroup is \emph{regular} if it contains at least one idempotent in each $\mathcal{R}$-class and in each $\mathcal{L}$-class. A regular semigroup is \emph{inverse} if satisfies either of the following equivalent conditions: (i) there is…

We prove that two countable locally finite-by-abelian groups G,H endowed with proper left-invariant metrics are coarsely equivalent if and only if their asymptotic dimensions coincide and the groups are either both finitely-generated or…

The sum of the absolute values of the Fourier coefficients of a function $f:\mathbb{F}_2^n \to \mathbb{R}$ is called the spectral norm of $f$. Green and Sanders' quantitative version of Cohen's idempotent theorem states that if the spectral…

The complex algebra of an inverse semigroup with finitely many idempotents in each $\mathcal D$-class is stably finite by a result of Munn. This can be proved fairly easily using $C^*$-algebras for inverse semigroups satisfying this…

We develop potential theory for $m$-subharmonic functions with respect to a Hermitian metric on a Hermitian manifold. First, we show that the complex Hessian operator is well-defined for bounded functions in this class. This allows to…

The separability tensor element of a separable extension of noncommutative rings is an idempotent when viewed in the correct endomorphism ring; so one speaks of a separability idempotent, as one usually does for separable algebras. It is…