Related papers: Null-finite sets in metric groups and their applic…

We define a motivic analogue of the Haar measure for groups of the form G(k((t))), where k is an algebraically closed field of characteristic zero, and G is a reductive algebraic group defined over k. A classical Haar measure on such groups…

We develop a theory of \emph{sharp measure zero} sets that parallels Borel's \emph{strong measure zero}, and prove a theorem analogous to Galvin-Myscielski-Solovay Theorem, namely that a set of reals has sharp measure zero if and only if it…

We prove three results concerning the existence of Bohr sets in threefold sumsets. More precisely, letting $G$ be a countable discrete abelian group and $\phi_1, \phi_2, \phi_3: G \to G$ be commuting endomorphisms whose images have finite…

We survey results about Haar null subsets of (not necessarily locally compact) Polish groups. The aim of this paper is to collect the fundamental properties of the various possible definitions of Haar null sets, and also to review the…

We obtain several fundamental results on finite index ideals and additive subgroups of rings as well as on model-theoretic connected components of rings, which concern generating in finitely many steps inside additive groups of rings. Let…

Let $(X, d)$ be a compact metric space and let $\mathcal{M}(X)$ denote the space of all finite signed Borel measures on $X$. Define $I \colon \mathcal{M}(X) \to \R$ by \[ I(\mu) = \int_X \int_X d(x,y) d\mu(x) d\mu(y), \] and set $M(X) =…

Let $G$ be an abelian group, and let $\mathcal F (G)$ be the free commutative monoid with basis $G$. For $\Omega \subset \mathcal F (G)$, define the universal zero-sum invariant ${\mathsf d}_{\Omega}(G)$ to be the smallest integer $\ell$…

Let $X$ be a Polish space. We prove that the generic compact set $K\subseteq X$ (in the sense of Baire category) is either finite or there is a continuous gauge function $h$ such that $0<\mathcal{H}^{h}(K)<\infty$, where $\mathcal{H}^h$…

This article shows the existence of a class of closed bounded matrix convex sets which do not have absolute extreme points. The sets we consider are noncommutative sets, $K_X$, formed by taking matrix convex combinations of a single tuple…

We resolve the topological version of the Erd\H{o}s Similarity conjecture introduced previously by Gallagher, Lai and Weber. We show that a set is topologically universal on ${\mathbb R}$ if and only if it is of strong measure zero. As a…

We use basic tools of descriptive set theory to prove that a closed set $\mathcal S$ of marked groups has $2^{\aleph_0}$ quasi-isometry classes provided every non-empty open subset of $\mathcal S$ contains at least two non-quasi-isometric…

Given a finite category T, we consider the functor category [T,A], where A can in particular be any quasi-abelian category. Examples of quasi-abelian categories are given by any abelian category but also by non-exact additive categories as…

In this paper we construct a compact quantum semigroup structure on the Toeplitz algebra $\mathcal{T}$. The existence of a subalgebra, isomorphic to the algebra of regular Borel's measures on a circle with convolution product, in the dual…

We use the kernel category to give a finiteness condition for semigroups. As a consequence we provide yet another proof that finitely generated periodic semigroups of matrices are finite.

Let $\b$ be a Borel subalgebra of a simple Lie algebra $\g$ and let $\Ab$ denote the set of all Abelian ideals of $\b$. We consider $\Ab$ as poset with respect to inclusion, the zero ideal being the unique minimal element of $\Ab$. It was…

Let $X$ be a regular curve and let $f: X\to X$ be a monotone map. In this paper, nonwandering set of $f$ and the structure of special $\alpha$-limit sets for $f$ are investigated. We show that AP$(f)= \textrm{R}(f) =\Omega(f)$, where…

A Hausdorff topological group $(G,\tau)$ is called locally minimal if there exists a neighborhood $U$ of 0 in $\tau$ such that $U$ fails to be a neighborhood of zero in any Hausdorff group topology on $G$ which is strictly coarser than…

Let $\mathcal{C}$ be an additive category. The nilpotent category $\mathrm{Nil} (\mathcal{C})$ of $\mathcal{C}$, consists of objects pairs $(X, x)$ with $X\in\mathcal{C}, x\in\mathrm{End}_{\mathcal{C}}(X)$ such that $x^n=0$ for some…

Let K be a Cantor set embedded in the real line R. Following Funar and Neretin, we define the diffeomorphism group of K as the group of homeomorphisms of K which locally look like a diffeomorphism between two intervals of R.…

A conjecture of Erd\H{o}s states that for any infinite set $A \subseteq \mathbb R$, there exists $E \subseteq \mathbb R$ of positive Lebesgue measure that does not contain any nontrivial affine copy of $A$. The conjecture remains open for…