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

Given a "Green function" $G$ on a locally compact space $X$ with countable base, a Borel set $A$ in $X$ is called $G$-semipolar, if there is no measure $\nu\ne 0$ supported by $A$ such that $G\nu:=\int G(\cdot,y)\,d\nu(y)$ is a continuous…

Countably infinite groups (with a fixed underlying set) constitute a Polish space $G$ with a suitable metric, hence the Baire category theorem holds in $G$. We study isomorphism invariant subsets of $G$, which we call group properties. We…

We introduce a novel notion of {\it local spectral gap} for general, possibly infinite, measure preserving actions. We establish local spectral gap for the left translation action $\Gamma\curvearrowright G$, whenever $\Gamma$ is a dense…

Consider the general linear group $G=GL_{n}(K)$ defined over an infinite field $K$ of positive characteristic $p$. We denote by $\Delta(\lambda)$ the Weyl module of $G$ which corresponds to a partition $\lambda$. Let $\lambda, \mu $ be…

Let $G \otimes _f H$ denote the Sierpi\'nski product of graphs $G$ and $H$ with respect to the function $f$. The Sierpi\'nski general position number ${\rm gp}{_{\rm S}}(G,H)$ is introduced as the cardinality of a largest general position…

An old problem asks whether every compact group has a Haar-nonmeasurable subgroup. A series of earlier results reduce the problem to infinite metrizable profinite groups. We provide a positive answer, assuming a weak, potentially provable,…

We develop a unified framework for locating natural properties of algebraic and analytic structures within the Borel hierarchy. Objects are presented as quotients of a universal generator and definability is read directly from the quotient…

In order to understand the structure of the `typical' element of an automorphism group, one has to study how large the conjugacy classes of the group are. When typical is meant in the sense of Baire category, a complete description of the…

Using a local perspective, we introduce \textit{mean dimension pairs} and give sufficient conditions of when every non-trivial factor of a continuous group action of a sofic group $G$ has positive mean dimension. In addition we show that…

We introduce and study Polish topologies on various spaces of countable enumerated groups, where an enumerated group is simply a group whose underlying set is the set of natural numbers. Using elementary tools and well known examples from…

We extend some results of Carderi and Le Ma\^itre on full groups in the probability context to the infinite measure one: there exists at most one Polish group topology (refining the weak topology and coarser than the uniform topology) on an…

We study several notions of null sets on infinite-dimensional Carnot groups. We prove that a set is Aronszajn null if and only if it is null with respect to measures that are convolutions of absolutely continuous (CAC) measures on Carnot…

Let $G$ be a connected reductive algebraic group and $B$ be a Borel subgroup defined over an algebraically closed field of characteristic $p>0$. In this paper, the authors study the existence of generic $G$-cohomology and its stability with…

We show that for a $\sigma $-ideal $\ci$ with a Borel base of subsets of an uncountable Polish space, if $\ca$ is (in several senses) a "regular" family of subsets from $\ci $ then there is a subfamily of $\ca$ whose union is completely…

The fiducial coincides with the posterior in a group model equipped with the right Haar prior. This result is here generalized. For this the underlying probability space of Kolmogorov is replaced by a $\sigma$-finite measure space and…

We give a probabilistic proof of the Weyl integration formula on U(n), the unitary group with dimension $n$. This relies on a suitable definition of Haar measures conditioned to the existence of a stable subspace with any given dimension…

Let C : y^2=f(x) be a hyperelliptic curve defined over the rationals. Let K be a number field and suppose f factors over K as a product of irreducible polynomials f=f_1 f_2...f_r. We shall define a "Selmer set" corresponding to this…

In an earlier paper, we introduced the following pre-order on the subgroups of a given Polish group: if $G$ is a Polish group and $H,L \subseteq G$ are subgroups, we say $H$ is {\em homomorphism reducible} to $L$ iff there is a continuous…

It is common knowledge in the set theory community that there exists a duality relating the commutative $C^*$-algebras with the family of $B$-names for complex numbers in a boolean valued model for set theory $V^B$. Several aspects of this…

Let $G$ be a non-discrete LCA group with the dual group $\Gamma$. We define generalized group algebra, ${\mathcal L}^1(G)$, and generalized measure algebra, ${\mathcal M}(G),$ on $G$ as generalizations of the group algebra $L^1(G)$ and the…