Related papers: Haar null sets without $G_\delta$ hulls

Let L be the zero set of a nonconstant monic polynomial with complex coefficients. In the context of constructive mathematics without countable choice, it may not be possible to construct an element of L. In this paper we introduce a notion…

It is known that the topology of a Polish group is uniquely determined by its Borel structure and group operations, but this does not give us a way to find the topology. In this article we expand on this theorem and give a criterion for a…

Let $G$ be a connected compact group equipped with the normalised Haar measure $\mu$. Our first result shows that given $\alpha, \beta>0$, there is a constant $c = c(\alpha,\beta)>0$ such that for any compact sets $A,B\subseteq G$ with $…

A subset $C$ of the vertex set of a graph $\Gamma$ is said to be $(\alpha,\beta)$-regular if $C$ induces an $\alpha$-regular subgraph and every vertex outside $C$ is adjacent to exactly $\beta$ vertices in $C$. In particular, if $C$ is an…

Descriptive set theory was originally developed on Polish spaces. It was later extended to $\omega$-continuous domains [Selivanov 2004] and recently to quasi-Polish spaces [de Brecht 2013]. All these spaces are countably-based. Extending…

We show that, as in the linear case, the normalized Haar measure on a compact topological group $G$ is a Pietsch measure for nonlinear summing mappings on closed translation invariant subspaces of $C(G)$. This answers a question posed to…

For a zero-relation algebra over a field $\mathcal K$, Crawley-Boevey introduced the concept of a tree module and provided a combinatorial description of a basis for the space of homomorphisms between two tree modules--the basis elements…

For every countable abelian group $G$ we find the set of all its subgroups $H$ ($H\leq G$) such that a typical measure-preserving $H$-action on a standard atomless probability space $(X,\mathcal{F}, \mu)$ can be extended to a free…

For a countable abelian group $G$ we investigate generic properties of the space of all invariant metrics on $G$. We prove that for every such an unbounded group $G$, i.e. group which has elements of arbitrarily high order, there is a dense…

A theorem of Grothendieck asserts that over a perfect field k of cohomological dimension one, all non-abelian H^2-cohomology sets of algebraic groups are trivial. The purpose of this paper is to establish a formally real generalization of…

Suppose that $X$ is a Polish space, $E$ is a countable Borel equivalence relation on $X$, and $\mu$ is an $E$-invariant Borel probability measure on $X$. We consider the circumstances under which for every countable non-abelian free group…

Let $X$ be a Polish space and $K$ a separable compact subset of the first Baire class on $X$. For every sequence $\bs$ dense in $\kk$, the descriptive set-theoretic properties of the set \[ \lbf=\{L\in[\nn]: (f_n)_{n\in L} \text{is…

We prove Hypothesis H in full generality for ${\rm GL}_n$ over any number field. This result is a consequence of our stronger effective bound on Euler products involving Rankin--Selberg coefficients at prime ideal powers. The proof rests on…

If $G$ is a Polish group and $\Gamma$ is a countable group, denote by $\Hom(\Gamma, G)$ the space of all homomorphisms $\Gamma \to G$. We study properties of the group $\cl{\pi(\Gamma)}$ for the generic $\pi \in \Hom(\Gamma, G)$, when…

We study classes of Borel subsets of the real line $\mathbb{R}$ such as levels of the Borel hierarchy and the class of sets that are reducible to the set $\mathbb{Q}$ of rationals, endowed with the Wadge quasi-order of reducibility with…

In this version small mistakes are corrected and the exposition is changed as suggested by the referee (to appear in Canadian Journal of Mathematics). The first main result of the paper is a criterion for a partially commutative group $\GG$…

The idea that the cohomology of finite groups might be fruitfully approached via the cohomology of ambient semisimple algebraic groups was first shown to be viable in the papers [CPS75] and [CPSvdK77]. The second paper introduced, through a…

Given Polish space ${\bf Y}$ and continuous language $L$ we study the corresponding logic $\mathsf{Iso}({\bf Y})$-space ${\bf Y}_L$. We build a framework of generalized model theory towards analysis of Borel/algorithmic complexity of…

The Giry monad on the category of measurable spaces restricts to the full subcategory of standard Borel spaces, $\mathbf{Std}$, which we show is amenable to analysis. $\mathbf{Std}$ contains the space $\mathbb{R}_{\infty}$ which is the…

We expand the results of Roslanowski and Shelah arXive:1806.06283 , arXive:1909.00937 to all perfect Abelian Polish groups $(H,+)$. In particular, we show that if $\alpha<\omega_1$ and $4\leq k<\omega$, then there is a ccc forcing notion…