Search

Let $\Gamma(X)$ be the inverse semigroup of partial homeomorphisms between open subsets of a compact metric space $X$. There is a topology, denoted $\tau_{hco}$, that makes $\Gamma(X)$ a topological inverse semigroup. We address the question of whether $\tau_{hco}$ is Polish. For a 0-dimensional compact metric space $X$, we prove that $(\Gamma(X), \tau_{hco})$ is Polish by showing that it is topologically isomorphic to a closed subsemigroup of the Polish symmetric inverse semigroup $I(\N)$. We present examples, similar to the classical Munn semigroups, of Polish inverse semigroups consisting of partial isomorphism on lattices of open sets.

We address some phenomena about the interaction between lower semicontinuous submeasures on $\mathbb{N}$ and $F_{\sigma}$ ideals. We analyze the pathology degree of a submeasure and present a method to construct pathological $F_\sigma$ ideals. We give a partial answers to the question of whether every nonpathological tall $F_\sigma$ ideal is Kat\v{e}tov above the random ideal or at least has a Borel selector. Finally, we show a representation of nonpathological $F_\sigma$ ideals using sequences in Banach spaces., Comment: arXiv admin note: substantial text overlap with arXiv:2111.10598

We study a property about Polish inverse semigroups similar to the classical theorem of Pettis about Polish groups. In contrast to what happens with Polish groups, not every Polish inverse semigroup have the Pettis property. We present several examples of Polish inverse subsemigroup of the symmetric inverse semigroup I(N) of all partial bijections between subsets of N. We also study whether our examples satisfy automatic continuity.

Let ${\bf x}=(x_n)_n$ be a sequence in a Banach space. A set $A\subseteq \mathbb{N}$ is perfectly bounded, if there is $M$ such that $\|\sum_{n\in F}x_n\|\leq M$ for every finite $F\subseteq A$. The collection $B({\bf x})$ of all perfectly bounded sets is an ideal of subsets of $\mathbb{N}$. We show that an ideal $\mathcal{I}$ is of the form $B({\bf x})$ iff there is a non pathological lower semicontinuous submeasure $\varphi$ on $\mathbb{N}$ such that $\mathcal{I} =FIN(\varphi)=\{A\subseteq \mathbb{N}: \;\varphi(A)<\infty\}$. We address the questions of when $FIN(\varphi)$ is a tall ideal and has a Borel selector. We show that in $c_0$ the ideal $B({\bf x})$ is tall iff $(x_n)_n$ is weakly null, in which case, it also has a Borel selector., Comment: Substitute by preprint arXiv 2211.01544

An ideal on a set $X$ is a collection of subsets of $X$ closed under the operations of taking finite unions and subsets of its elements. Ideals are a very useful notion in topology and set theory and have been studied for a long time. We present a survey of results about ideals on countable sets and include many open questions.

We present a method for completing a premetric space, in the sense introduced by F. Richman in the context of constructive Mathematics without countable choice.

We show that the Nash-Williams theorem has a uniform version and that the Galvin theorem does not. We show that there is an $F_\sigma$ tall ideal on $\mathbb{N}$ without a Borel selector and also construct a $\mathbf\Pi^1_2$ tall ideal without a tall closed subset.

We show that the enveloping space $X_G$ of a partial action of a Polish group $G$ on a Polish space $X$ is a standard Borel space, that is to say, there is a topology $\tau$ on $X_G$ such that $(X_G, \tau)$ is Polish and the quotient Borel structure on $X_G$ is equal to $Borel(X_G,\tau)$. To prove this result we show a generalization of a theorem of Burgess about Borel selectors for the orbit equivalence relation induced by a group action and also show that some properties of the Vaught's transform are valid for partial actions of groups.

Let $X$ be a separable metrizable space. We establish a criteria for the existence of a metrizable globalization for a given continuous partial action of a separable metrizable group $G$ on $X.$ If $G$ and $X$ are Polish spaces, we show that the globalization is also a Polish space. We also show the existence of an universal globalization for partial actions of Polish groups.

We study Borel ideals $I$ on $\mathbb{N}$ with the Fr\'echet property such its orthogonal $I^\perp$ is also Borel (where $A\in I^\perp$ iff $A\cap B$ is finite for all $B\in I$ and $I$ is Fr\'echet if $I=I^{\perp\perp}$). Let $\mathcal{B}$ be the smallest collection of ideals on ${\mathbb{N}}$ containing the ideal of finite sets and closed under countable direct sums and orthogonal. All ideals in $\mathcal{B}$ are Fr\'echet, Borel and have Borel orthogonal. We show that $\mathcal{B}$ has exactly $\aleph_1$ non isomorphic members. The family $\mathcal{B}$ can be characterized as the collection of all Borel ideals which are isomorphic to an ideal of the form $I_{wf}\up A$, where $I_{wf}$ is the ideal on $\mathbb{N}^{<\omega}$ generated by the wellfounded trees. Also, we show that $A\subseteq \mathbb{Q}$ is scattered iff $WO({\mathbb{Q}})\up A$ is isomorphic to an ideal in $\mathcal{B}$, where $WO(\mathbb{Q})$ is the ideal of well founded subset of $\mathbb{Q}$.

It is shown that Matet's characterization of the Ramsey property relative to a selective co-ideal $\mathcal{H}$, in terms of games of Kastanas, still holds if we consider semiselectivity instead of selectivity. Moreover, we prove that a co-ideal $\mathcal{H}$ is semiselective if and only if Matet's game-theoretic characterization of the $\mathcal{H}$-Ramsey property holds. This lifts Kastanas's characterization of the classical Ramsey property to its optimal setting, from the point of view of the local Ramsey theory and gives a game-theoretic counterpart to a theorem of Farah \cite{far}, asserting that a co-ideal $\mathcal{H}$ is semiselective if and only if the family of $\mathcal{H}$-Ramsey subsets of $\N^{[\infty]}$ coincides with the family of those sets having the abstract $\mathcal{H}$-Baire property. Finally, we show that under suitable assumptions, for every semiselective co-ideal $\mathcal H$ all sets of real numbers are $\mathcal H$-Ramsey., Comment: 11 pages