arXiv subjects
Publications and source records attributed to Nadya Lyaskovska.
We prove that for a coarse space $X$ the ideal $S(X)$ of small subsets of $X$ coincides with the ideal $D_<(X)$ of subsets $A\subset X$ of asymptotic dimension $asdim(A)<asdim(X)$ provided that $X$ is coarsely equivalent to an Euclidean space $R^n$. Also we prove that for a locally compact Abelian group $X$, the equality $S(X)=D_<(X)$ holds if and only if the group $X$ is compactly generated.
A subset of a Polish space $X$ is called universally small if it belongs to each ccc $σ$-ideal with Borel base on $X$. Under CH in each uncountable Abelian Polish group $G$ we construct a universally small subset $A_0\subset G$ such that $|A_0\cap gA_0|=\mathfrak c$ for each $g\in G$. For each cardinal number $κ\in[5,\mathfrak c^+]$ the set $A_0$ contains a universally small subset $A$ of $G$ with sharp packing index $\pack^\sharp(A_κ)=\sup\{|\mathcal D|^+:\mathcal D\subset \{gA\}_{g\in G}$ is disjoint$\}$ equal to $κ$.
Given a family $F$ of subsets of a group $G$ we describe the structure of its thin-completion $τ^*(F)$, which is the smallest thin-complete family that contains $I$. A family $F$ of subsets of $G$ is called thin-complete if each $F$-thin subset of $G$ belongs to $F$. A subset $A$ of $G$ is called $F$-thin if for any distinct points $x,y$ of $G$ the intersection $xA\cap yA$ belongs to the family $F$. We prove that the thin-completion of an ideal in an ideal. If $G$ is a countable non-torsion group, then the thin-completion $τ^*(F_G)$ of the ideal $F_G$ of finite subsets of $G$ is coanalytic but not Borel in the power-set $P_G$ of $G$.
We introduce and study varions notions of completeness of translation-invariant ideals in groups.
For a subset $A$ of a Polish group $G$, we study the (almost) packing index $\ind_P(A)$ (resp. $\Ind_P(A)$) of $A$, equal to the supremum of cardinalities $|S|$ of subsets $S\subset G$ such that the family of shifts $\{xA\}_{x\in S}$ is (almost) disjoint (in the sense that $|xA\cap yA|<|A|$ for any distinct points $x,y\in S$). Subsets $A\subset G$ with small (almost) packing index are small in a geometric sense. We show that $\ind_P(A)\in \IN\cup\{\aleph_0,\cc\}$ for any $σ$-compact subset $A$ of a Polish group. If $A\subset G$ is Borel, then the packing indices $\ind_P(A)$ and $\Ind_P(A)$ cannot take values in the half-interval $[\sq(Π^1_1),\cc)$ where $\sq(Π^1_1)$ is a certain uncountable cardinal that is smaller than $\cc$ in some models of ZFC. In each non-discrete Polish Abelian group $G$ we construct two closed subsets $A,B\subset G$ with $\ind_P(A)=\ind_P(B)=\cc$ and $\Ind_P(A\cup B)=1$ and then apply this result to show that $G$ contains a nowhere dense Haar null subset $C\subset G$ with $\ind_P(C)=\Ind_P(C)=κ$ for any given cardinal number $κ\in[4,\cc]$.