Showing 1–14 of 14 results for author: Poór, M

A Shelah group in ZFC

Authors: Márk Poór, Assaf Rinot

Abstract: In a paper from 1980, Shelah constructed an uncountable group all of whose proper subgroups are countable. Assuming the continuum hypothesis, he constructed an uncountable group $G$ that moreover admits an integer $n$ satisfying that for every uncountable $X\subseteq G$, every element of $G$ may be written as a group word of length $n$ in the elements of $X$. The former is called a Jonsson group a… ▽ More In a paper from 1980, Shelah constructed an uncountable group all of whose proper subgroups are countable. Assuming the continuum hypothesis, he constructed an uncountable group $G$ that moreover admits an integer $n$ satisfying that for every uncountable $X\subseteq G$, every element of $G$ may be written as a group word of length $n$ in the elements of $X$. The former is called a Jonsson group and the latter is called a Shelah group. In this paper, we construct a Shelah group on the grounds of ZFC alone, that is, without assuming the continuum hypothesis. More generally, we identify a combinatorial condition (coming from the theories of negative square-bracket partition relations and strongly unbounded subadditive maps) sufficient for the construction of a Shelah group of size $κ$, and prove that the condition holds true for all successors of regular cardinals (such as $κ=\aleph_1,\aleph_2,\aleph_3,\ldots$). This also yields the first consistent example of a Shelah group of size a limit cardinal. △ Less

Submitted 18 May, 2023; originally announced May 2023.

Comments: Updates on this paper may be found at http://www.assafrinot.com/paper/60

MSC Class: Primary 03E75; 20A15; Secondary 03E02; 20E15; 20F06

On the weak Borel chromatic number and cardinal invariants of the continuum

Authors: Márk Poór, Saharon Shelah

Abstract: We prove that consistently, cov($\mathcal{M})< λ_\mathbf{0} < λ_\mathbf{1} < λ_\mathbf{\infty} < 2^{\aleph_0}$, where $λ_\mathbf{0}$ denotes the weak Borel chromatic number of the Kechris-Solecki-Todorčević graph $\mathbb{G}_0$, that is, the minimal cardinality of a $\mathbb{G}_0$-independent Borel covering of $2^ω$, while $λ_\mathbf{1}$ and $λ_\infty$ are the corresponding invariants of the graph… ▽ More We prove that consistently, cov($\mathcal{M})< λ_\mathbf{0} < λ_\mathbf{1} < λ_\mathbf{\infty} < 2^{\aleph_0}$, where $λ_\mathbf{0}$ denotes the weak Borel chromatic number of the Kechris-Solecki-Todorčević graph $\mathbb{G}_0$, that is, the minimal cardinality of a $\mathbb{G}_0$-independent Borel covering of $2^ω$, while $λ_\mathbf{1}$ and $λ_\infty$ are the corresponding invariants of the graph $\mathbb{G}_1$ and the simple graph associated with the equivalence relation $E_0$. △ Less

Submitted 20 February, 2023; originally announced February 2023.

Report number: Sh:1226

Between Whitehead groups and uniformization

Authors: Márk Poór, Saharon Shelah

Abstract: For a given stationary set $S$ of countable ordinals we prove (in $\mathbf{ZFC}$) that the assertion "every $S$-ladder system has $\aleph_0$-uniformization" is equivalent to "every strongly $\aleph_1$-free abelian group of cardinality $\aleph_1$ with non-freeness invariant $\subseteq S$ is $\aleph_1$-coseparable, i.e. Ext$(G, \oplus_{i=0}^{\infty} \mathbb Z)=0$ (in particular Whitehead, i.e.\ Ext… ▽ More For a given stationary set $S$ of countable ordinals we prove (in $\mathbf{ZFC}$) that the assertion "every $S$-ladder system has $\aleph_0$-uniformization" is equivalent to "every strongly $\aleph_1$-free abelian group of cardinality $\aleph_1$ with non-freeness invariant $\subseteq S$ is $\aleph_1$-coseparable, i.e. Ext$(G, \oplus_{i=0}^{\infty} \mathbb Z)=0$ (in particular Whitehead, i.e.\ Ext$(G, \mathbb Z)=0$)". This solves problems B3 and B4 from Eklof and Mekler's monograph. △ Less

Submitted 9 June, 2022; v1 submitted 23 March, 2022; originally announced March 2022.

Report number: Shelah [Sh:486]

Universal graphs between a strong limit singular and its power

Authors: Márk Poór, Saharon Shelah

Abstract: The paper settles the problem of the consistency of the existence of a single universal graph between a strong limit singular and its power. Assuming that in a model of $\mathbf{GCH}$ $κ$ is supercompact and the cardinals $θ< κ$, $λ> κ$ are regular, as an application of a more general method we obtain a forcing extension in which $\textrm{cf}(κ) = θ$, the Singular Cardinal Hypothesis fails at $κ$… ▽ More The paper settles the problem of the consistency of the existence of a single universal graph between a strong limit singular and its power. Assuming that in a model of $\mathbf{GCH}$ $κ$ is supercompact and the cardinals $θ< κ$, $λ> κ$ are regular, as an application of a more general method we obtain a forcing extension in which $\textrm{cf}(κ) = θ$, the Singular Cardinal Hypothesis fails at $κ$ and there exists a universal graph in cardinality $λ\in (κ,2^κ)$. △ Less

Submitted 3 January, 2022; originally announced January 2022.

Report number: Shelah [Sh:1185] MSC Class: Primary: 03E35; Secondary: 03E55; 03E05; 03E65

Games characterizing limsup functions and Baire class 1 functions

Authors: Márton Elekes, János Flesch, Viktor Kiss, Donát Nagy, Márk Poór, Arkadi Predtetchinski

Abstract: We consider a real-valued function $f$ defined on the set of infinite branches $X$ of a countably branching pruned tree $T$. The function $f$ is said to be a \textit{limsup function} if there is a function $u \colon T \to \mathbb{R}$ such that $f(x) = \limsup_{t \to \infty} u(x_{0},\dots,x_{t})$ for each $x \in X$. We study a game characterization of limsup functions, as well as a novel game chara… ▽ More We consider a real-valued function $f$ defined on the set of infinite branches $X$ of a countably branching pruned tree $T$. The function $f$ is said to be a \textit{limsup function} if there is a function $u \colon T \to \mathbb{R}$ such that $f(x) = \limsup_{t \to \infty} u(x_{0},\dots,x_{t})$ for each $x \in X$. We study a game characterization of limsup functions, as well as a novel game characterization of functions of Baire class 1. △ Less

Submitted 7 October, 2020; originally announced October 2020.

MSC Class: Primary 54C30; Secondary 54H05; 03E15

Singularity of maps of several variables and a problem of Mycielski concerning prevalent homeomorphisms

Authors: Richárd Balka, Márton Elekes, Viktor Kiss, Márk Poór

Abstract: S. Banach pointed out that the graph of the generic (in the sense of Baire category) element of $\text{Homeo}([0,1])$ has length $2$. J. Mycielski asked if the measure theoretic dual holds, i.e., if the graph of all but Haar null many (in the sense of Christensen) elements of $\text{Homeo}([0,1])$ have length $2$. We answer this question in the affirmative. We call $f \in \text{Homeo}([0,1]^d)$… ▽ More S. Banach pointed out that the graph of the generic (in the sense of Baire category) element of $\text{Homeo}([0,1])$ has length $2$. J. Mycielski asked if the measure theoretic dual holds, i.e., if the graph of all but Haar null many (in the sense of Christensen) elements of $\text{Homeo}([0,1])$ have length $2$. We answer this question in the affirmative. We call $f \in \text{Homeo}([0,1]^d)$ singular if it takes a suitable set of full measure to a nullset, and strongly singular if it is almost everywhere differentiable with singular derivative matrix. Since the graph of $f \in \text{Homeo}([0,1])$ has length $2$ iff $f$ is singular iff $f$ is strongly singular, the following results are the higher dimensional analogues of Banach's observation and our solution to Mycielski's problem. We show that for $d \ge 2$ the graph of the generic element of $\text{Homeo}([0,1]^d)$ has infinite $d$-dimensional Hausdorff measure, contrasting the above result of Banach. The measure theoretic dual remains open, but we show that the set of elements of $\text{Homeo}([0,1]^d)$ with infinite $d$-dimensional Hausdorff measure is not Haar null. We show that for $d \ge 2$ the generic element of $\text{Homeo}([0,1]^d)$ is singular but not strongly singular. We also show that for $d \ge 2$ almost every element of $\text{Homeo}([0,1]^d)$ is singular, but the set of strongly singular elements form a so called Haar ambivalent set (neither Haar null, nor co-Haar null). Finally, in order to clarify the situation, we investigate the various possible definitions of singularity for maps of several variables, and explore the connections between them. △ Less

Submitted 13 April, 2021; v1 submitted 29 September, 2020; originally announced September 2020.

Comments: 31 pages. Final version with minor modifications

MSC Class: Primary 28A75; 28C10; Secondary 46E15; 54E52; 57S05; 60B05

Journal ref: Adv. Math. 385 (2021) 107773

Compact sets with large projections and nowhere dense sumset

Authors: Richárd Balka, Márton Elekes, Viktor Kiss, Donát Nagy, Márk Poór

Abstract: We answer a question of Banakh, Jabłońska and Jabłoński by showing that for $d\ge 2$ there exists a compact set $K \subseteq \mathbb{R}^d$ such that the projection of $K$ onto each hyperplane is of non-empty interior, but $K+K$ is nowhere dense. The proof relies on a random construction. A natural approach in the proofs is to construct such a $K$ in the unit cube with full projections, that is,… ▽ More We answer a question of Banakh, Jabłońska and Jabłoński by showing that for $d\ge 2$ there exists a compact set $K \subseteq \mathbb{R}^d$ such that the projection of $K$ onto each hyperplane is of non-empty interior, but $K+K$ is nowhere dense. The proof relies on a random construction. A natural approach in the proofs is to construct such a $K$ in the unit cube with full projections, that is, such that the projections of $K$ agree with that of the unit cube. We investigate the generalization of these problems for projections onto various dimensional subspaces as well as for $\ell$-fold sumsets. We obtain numerous positive and negative results, but also leave open many interesting cases. We also show that in most cases if we have a specific example of such a compact set then actually the generic (in the sense of Baire category) compact set in a suitably chosen space is also an example. Finally, utilizing a computer-aided construction, we show that the compact set in the plane with full projections and nowhere dense sumset can be self-similar. △ Less

Submitted 3 August, 2023; v1 submitted 26 June, 2020; originally announced June 2020.

Comments: 26 pages, 3 figures. Small modifications, final version

MSC Class: 51F99; 54E52; 05D40

Haar-positive closed subsets of Haar-positive analytic sets

Authors: Márton Elekes, Márk Poór, Zoltán Vidnyánszky

Abstract: We show that every non-Haar-null analytic subset of $\mathbb{Z}^ω$ contains a non-Haar-null closed subset. Moreover, we also prove that the codes of Haar-null analytic subsets, and, consequently, closed Haar-null sets in the Effros Borel space of $\mathbb{Z}^ω$ form a $\mathbfΔ^1_2$ set. We show that every non-Haar-null analytic subset of $\mathbb{Z}^ω$ contains a non-Haar-null closed subset. Moreover, we also prove that the codes of Haar-null analytic subsets, and, consequently, closed Haar-null sets in the Effros Borel space of $\mathbb{Z}^ω$ form a $\mathbfΔ^1_2$ set. △ Less

Submitted 15 March, 2020; originally announced March 2020.

Characterizing the spectra of cardinalities of branches of Kurepa trees

Authors: Márk Poór, Saharon Shelah

Abstract: We give a complete characterization of the sets of cardinals that in a suitable forcing extension can be the Kurepa spectrum, that is, the set of cardinalities of branches of Kurepa trees. This answers a question of the first named author. We give a complete characterization of the sets of cardinals that in a suitable forcing extension can be the Kurepa spectrum, that is, the set of cardinalities of branches of Kurepa trees. This answers a question of the first named author. △ Less

Submitted 14 December, 2020; v1 submitted 2 March, 2020; originally announced March 2020.

Report number: Sh:1189 MSC Class: Primary 03E35; Secondary 03E05; 03E45

Journal ref: Pacific J. Math. 311 (2021) 423-453

Cardinal invariants of Haar null and Haar meager sets

Authors: Márton Elekes, Márk Poór

Abstract: A subset $X$ of a Polish group $G$ is \emph{Haar null} if there exists a Borel probability measure $μ$ and a Borel set $B$ containing $X$ such that $μ(gBh)=0$ for every $g,h \in G$. A set $X$ is \emph{Haar meager} if there exists a compact metric space $K$, a continuous function $f : K \to G$ and a Borel set $B$ containing $X$ such that $f^{-1}(gBh)$ is meager in $K$ for every $g,h \in G$. We calc… ▽ More A subset $X$ of a Polish group $G$ is \emph{Haar null} if there exists a Borel probability measure $μ$ and a Borel set $B$ containing $X$ such that $μ(gBh)=0$ for every $g,h \in G$. A set $X$ is \emph{Haar meager} if there exists a compact metric space $K$, a continuous function $f : K \to G$ and a Borel set $B$ containing $X$ such that $f^{-1}(gBh)$ is meager in $K$ for every $g,h \in G$. We calculate (in $ZFC$) the four cardinal invariants ($\rm add$, $\rm cov$, $\rm non$, $\rm cof$) of these two $σ$-ideals for the simplest non-locally compact Polish group, namely in the case $G = \mathbb{Z}^ω$. In fact, most results work for separable Banach spaces as well, and many results work for Polish groups admitting a two-sided invariant metric. This answers a question of the first named author and Z. Vidnyánszky. △ Less

Submitted 14 December, 2020; v1 submitted 15 August, 2019; originally announced August 2019.

A Haar meager set that is not strongly Haar meager

Authors: Márton Elekes, Donát Nagy, Márk Poór, Zoltán Vidnyánszky

Abstract: Following Darji, we say that a Borel subset $B$ of an abelian Polish group $G$ is Haar meager if there is a compact metric space $K$ and a continuous function $f : K \to G$ such that the preimage of the translate, $f^{-1}(B+g)$ is meager in $K$ for every $g \in G$. The set $B$ is called strongly Haar meager if there is a compact set $C \subseteq G$ such that $(B+g) \cap C$ is meager in $C$ for eve… ▽ More Following Darji, we say that a Borel subset $B$ of an abelian Polish group $G$ is Haar meager if there is a compact metric space $K$ and a continuous function $f : K \to G$ such that the preimage of the translate, $f^{-1}(B+g)$ is meager in $K$ for every $g \in G$. The set $B$ is called strongly Haar meager if there is a compact set $C \subseteq G$ such that $(B+g) \cap C$ is meager in $C$ for every $g \in G$. The main open problem in this area is Darji's question asking whether these two notions are the same. Even though there have been several partial results suggesting a positive answer, in this paper we construct a counterexample. More specifically, we construct a $G_δ$ set in $\mathbb{Z}^ω$ that is Haar meager but not strongly Haar meager. We also show that no $F_σ$ counterexample exists, hence our result is optimal. △ Less

Submitted 20 January, 2019; v1 submitted 29 June, 2018; originally announced June 2018.

MSC Class: Primary 03E15; Secondary 54E52; 54H11

On the spectra of cardinalities of branches of Kurepa trees

Authors: Márk Poór

Abstract: We are interested in the possible sets of cardinalities of branches of Kurepa trees in models of $ZFC$ $+$ $CH$. In this paper we present a sufficient condition (for sets of cardinals) to be consistently the set of cardinalities of branches of Kurepa trees. We are interested in the possible sets of cardinalities of branches of Kurepa trees in models of $ZFC$ $+$ $CH$. In this paper we present a sufficient condition (for sets of cardinals) to be consistently the set of cardinalities of branches of Kurepa trees. △ Less

Submitted 14 December, 2020; v1 submitted 5 June, 2017; originally announced June 2017.

Small-large subgroups of locally compact Abelian Polish groups

Authors: Márk Poór

Abstract: In [arXiv:1605.02261] Rosłanowski and Shelah asked whether every locally compact non-discrete group has a null but non-meager subgroup, and conversely whether it is consistent with $ZFC$ that in every locally compact group there are no meager but non-null subgroups. The answer is affirmative for both questions [arXiv:1605.02261], however, in this paper we provide a much simpler proof for the speci… ▽ More In [arXiv:1605.02261] Rosłanowski and Shelah asked whether every locally compact non-discrete group has a null but non-meager subgroup, and conversely whether it is consistent with $ZFC$ that in every locally compact group there are no meager but non-null subgroups. The answer is affirmative for both questions [arXiv:1605.02261], however, in this paper we provide a much simpler proof for the special case of Abelian Polish groups. △ Less

Submitted 25 June, 2019; v1 submitted 4 June, 2017; originally announced June 2017.

Comments: arXiv admin note: text overlap with arXiv:1610.00614

Answer to a question of Rosłanowski and Shelah

Authors: Márk Poór

Abstract: In [arXiv:1605.02261] Rosłanowski and Shelah asked whether every locally compact non-discrete group has a null but non-meager subgroup, and conversely, whether it is consistent with $ZFC$ that in every locally compact group a meager subgroup is always null. They gave affirmative answers for both questions in the case of the Cantor group and the reals. In this paper we give affirmative answers for… ▽ More In [arXiv:1605.02261] Rosłanowski and Shelah asked whether every locally compact non-discrete group has a null but non-meager subgroup, and conversely, whether it is consistent with $ZFC$ that in every locally compact group a meager subgroup is always null. They gave affirmative answers for both questions in the case of the Cantor group and the reals. In this paper we give affirmative answers for the general case. △ Less

Submitted 14 December, 2020; v1 submitted 3 October, 2016; originally announced October 2016.