Related papers: Nonmeasurable subgroups of compact groups
The following question is proposed in [4, Question 1.20]: Let $G$ be a compact group, and suppose that $$\mathcal{N}_k(G) = \{(x1,\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$…
We show that every locally finite bipartite Borel graph satisfying a strengthening of Hall's condition has a Borel perfect matching on some comeager invariant Borel set. We apply this to show that if a group acting by Borel automorphisms on…
The solubilizer of an element $x$ of a profinite group $G$ is the set of the elements $y$ of $G$ such that the subgroup of $G$ generated by $x$ and $y$ is prosoluble. We propose the following conjecture: the solubilizer of $x$ in $G$ has…
In this paper we are interested in the following notions of smallness: a subset $A$ of an abelian Polish group $X$ is called Haar-countable/Haar-finite/Haar-$n$ if there are a Borel hull $B\supseteq A$ and a copy $C$ of $2^\omega$ such that…
Let $\Gamma$ be a compact Polish group of finite topological dimension. For a countably infinite subset $S\subseteq \Gamma$, a domatic $\aleph_0$-partition (for its Schreier graph on $\Gamma$) is a partial function…
Every permutation invariant Borel subset of the space of countable structures is definable in $\La_{\omega_1\omega}$ by a theorem of Lopez-Escobar. We prove variants of this theorem relative to fixed relations and fixed non-permutation…
Answering a question posed by S.Maillot in MathOverFlow, for every $n\in\mathbb N$ we construct a locally connected subgroup $G\subset\mathbb R^{n+1}$ of dimension $dim(G)=n$, which is not locally compact.
We provide a family of group measure space II_1 factors for which all finite index subfactors can be explicitly listed. In particular, the set of all indices of irreducible subfactors can be computed. Concrete examples show that this index…
The coadjoint orbits of compact Lie groups each carry a canonical (positive definite) K\"ahler structure, famously used to realize the group's irreducible representations in holomorphic sections of appropriate line bundles (Borel-Weil…
We develop the theory of categories of measurable fields of Hilbert spaces and bounded fields of bounded operators. We examine classes of functors and natural transformations with good measure theoretic properties, providing in the end a…
A space $X$ is called {\it selectively pseudocompact} if for each sequence $(U_{n})_{n\in \mathbb{N}}$ of pairwise disjoint nonempty open subsets of $X$ there is a sequence $(x_{n})_{n\in \mathbb{N}}$ of points in $X$ such that $cl_X(\{x_n…
We study the structure of invariant measures for continuous automorphisms of compact metrizable abelian groups satisfying the descending chain condition. We show that the finitely supported invariant measures are weak-* dense in the space…
Let $G$ be a countable residually finite group (for instance $\mathbb{F}_2$) and let $\overleftarrow{G}$ be a totally disconnected metric compactification of $G$ equipped with the action of $G$ by left multiplication. For every $r\geq 1$ we…
The main result of this note, Theorem 2, is the following: a Borel measure on the space of infinite Hermitian matrices, that is invariant under the action of the infinite unitary group and that admits well-defined projections onto the…
We obtain necessary and sufficient conditions when a pseudocompact paratopological group is topological. (2-)pseudocompact and countably compact paratopological groups that are not topological are constructed. It is proved that each…
We prove that many seemingly simple theories have Borel complete reducts. Specifically, if a countable theory has uncountably many complete 1-types, then it has a Borel complete reduct. Similarly, if $Th(M)$ is not small, then $M^{eq}$ has…
Every beginning real analysis student learns the classic Heine-Borel theorem, that the interval [0,1] is compact. In this article, we present a proof of this result that doesn't involve the standard techniques such as constructing a…
This is a survey on known results and open problems about closed aspherical manifolds, i.e., connected closed manifolds whose universal coverings are contractible. Many examples come from certain kinds of non-positive curvature conditions.…
An element $x$ of a group $G$ is a commutator if it can be expressed in the form $x = a^{-1}b^{-1}ab$ for some $a, b \in G$. In 2010 MacHale posed the following problem in the Kourovka notebook: does there exist a finite group $G$, with…
We show that Haar measures of connected semisimple groups, embedded via a representation into a matrix space, have a homogeneous asymptotic limit when viewed from far away and appropriately rescaled. This is still true if the Haar measure…