Showing 1–9 of 9 results for author: Smythe, I B

A Fraïssé theory for partial orders of a fixed finite dimension

Authors: Iian B. Smythe, Mithuna Threz, Max Wiebe

Abstract: For each $n\geq 2$, we show that the class of all finite $n$-dimensional partial orders, when expanded with $n$ linear orders which realize the partial order, forms a Fraïssé class and identify its Fraïssé limit $(D_n,<,<_1,\ldots,<_n)$. We give a finite axiomatization of this limit which specifies it uniquely up to isomorphism among countable structures. We then show that the aforementioned class… ▽ More For each $n\geq 2$, we show that the class of all finite $n$-dimensional partial orders, when expanded with $n$ linear orders which realize the partial order, forms a Fraïssé class and identify its Fraïssé limit $(D_n,<,<_1,\ldots,<_n)$. We give a finite axiomatization of this limit which specifies it uniquely up to isomorphism among countable structures. We then show that the aforementioned class of finite structures satisfies the Ramsey property and conclude, by the Kechris-Pestov-Todorčević correspondence, that the automorphism group of its Fraïssé limit is extremely amenable. Finally, we identify the universal minimal flow of the automorphism group of the reduct $(D_n,<)$. △ Less

Submitted 14 January, 2025; v1 submitted 24 December, 2024; originally announced December 2024.

Comments: 25 pages, 8 figures. Minor revisions made. Submitted

MSC Class: 06A07; 03C15; 05D10; 37B05

Parametrizing the Ramsey theory of vector spaces I: Discrete spaces

Authors: Iian B. Smythe

Abstract: We show that the Ramsey theory of block sequences in infinite-dimensional discrete vector spaces can be parametrized by perfect sets. As special cases, we prove combinatorial dichotomies for definable families of partitions and linear transformations on those spaces. We also consider the extent to which analogues of selective ultrafilters in this setting are preserved by Sacks forcing. We show that the Ramsey theory of block sequences in infinite-dimensional discrete vector spaces can be parametrized by perfect sets. As special cases, we prove combinatorial dichotomies for definable families of partitions and linear transformations on those spaces. We also consider the extent to which analogues of selective ultrafilters in this setting are preserved by Sacks forcing. △ Less

Submitted 24 December, 2023; v1 submitted 1 August, 2021; originally announced August 2021.

Comments: 30 pages. Substantial revisions have been made to much of the paper. Major changes made include: The results in Section 2 now have self-contained and elementary proofs. An error in the previous Lemma 5.2 was found and corrected (now as Lemma 6.2). A gap in the proof of the previous Lemma 5.5 was found, circumventing this issue required changing the proofs for the clopen case of the main result

MSC Class: 05D10; 03E05 (Primary); 15A03 (Secondary)

Filters on a countable vector space

Authors: Iian B. Smythe

Abstract: We study various combinatorial properties, and the implications between them, for filters generated by infinite-dimensional subspaces of a countable vector space. These properties are analogous to selectivity for ultrafilters on the natural numbers and stability for ordered-union ultrafilters on $\mathrm{FIN}$. We study various combinatorial properties, and the implications between them, for filters generated by infinite-dimensional subspaces of a countable vector space. These properties are analogous to selectivity for ultrafilters on the natural numbers and stability for ordered-union ultrafilters on $\mathrm{FIN}$. △ Less

Submitted 3 October, 2021; v1 submitted 16 January, 2021; originally announced January 2021.

Comments: 17 pages, 2 figures. Submitted

MSC Class: 03E05 (primary); 15A03 (secondary)

Journal ref: Fund. Math. 260 (2023), 41-58

Mad families of vector subspaces and the smallest nonmeager set of reals

Authors: Iian B. Smythe

Abstract: We show that a parametrized $\diamondsuit$ principle, corresponding to the uniformity of the meager ideal, implies that the minimum cardinality of an infinite maximal almost disjoint family of block subspaces in a countable vector space is $\aleph_1$. Consequently, this cardinal invariant is $\aleph_1$ in the Miller model. We show that a parametrized $\diamondsuit$ principle, corresponding to the uniformity of the meager ideal, implies that the minimum cardinality of an infinite maximal almost disjoint family of block subspaces in a countable vector space is $\aleph_1$. Consequently, this cardinal invariant is $\aleph_1$ in the Miller model. △ Less

Submitted 17 September, 2019; originally announced September 2019.

Comments: 8 pages

MSC Class: 03E17 (primary); 15A03 (secondary)

Journal ref: Colloq. Math. 163 (2021), 15-22

Equivalence of generics

Authors: Iian B. Smythe

Abstract: Given a countable transitive model of set theory and a partial order contained in it, there is a natural countable Borel equivalence relation on generic filters over the model; two are equivalent if they yield the same generic extension. We examine the complexity of this equivalence relation for various partial orders, with particular focus on Cohen and random forcing. We prove, amongst other resu… ▽ More Given a countable transitive model of set theory and a partial order contained in it, there is a natural countable Borel equivalence relation on generic filters over the model; two are equivalent if they yield the same generic extension. We examine the complexity of this equivalence relation for various partial orders, with particular focus on Cohen and random forcing. We prove, amongst other results, that the former is an increasing union of countably many hyperfinite Borel equivalence relations, while the latter is neither amenable nor treeable. △ Less

Submitted 30 October, 2018; v1 submitted 10 October, 2018; originally announced October 2018.

Comments: 18 pages. We have made minor stylistic changes and corrected an error in the statement of Lemma 3.5, now appearing as Lemmas 3.5 and 3.6

MSC Class: 03E15 (Primary); 03E40 (Primary); 37A20 (Secondary)

Journal ref: Arch. Math. Log. 61 (2022), 795-812

Madness in vector spaces

Authors: Iian B. Smythe

Abstract: We consider maximal almost disjoint families of block subspaces of countable vector spaces, focusing on questions of their size and definability. We prove that the minimum infinite cardinality of such a family cannot be decided in ZFC and that the "spectrum" of cardinalities of mad families of subspaces can be made arbitrarily large, in analogy to results for mad families on $ω$ . We apply the aut… ▽ More We consider maximal almost disjoint families of block subspaces of countable vector spaces, focusing on questions of their size and definability. We prove that the minimum infinite cardinality of such a family cannot be decided in ZFC and that the "spectrum" of cardinalities of mad families of subspaces can be made arbitrarily large, in analogy to results for mad families on $ω$ . We apply the author's local Ramsey theory for vector spaces to give partial results concerning their definability. △ Less

Submitted 11 September, 2019; v1 submitted 30 November, 2017; originally announced December 2017.

Comments: 09/11/2019: Posted final pre-publication version. Corrections, reformatting, etc, made to earlier versions. To appear in J. Symb. Logic

MSC Class: 03E17; 03E15 (Primary); 15A03 (Secondary)

Journal ref: J. symb. log. 84 (2019) 1590-1611

A local Ramsey theory for block sequences

Authors: Iian B. Smythe

Abstract: We develop local forms of Ramsey-theoretic dichotomies for block sequences in infinite-dimensional vector spaces, analogous to Mathias' selective coideal form of Silver's theorem for analytic partitions of $[\mathbb{N}]^\infty$. Under large cardinals, these results are extended to partitions in $\mathbf{L}(\mathbb{R})$ and $\mathbf{L}(\mathbb{R})$-generic filters of block sequences are characteriz… ▽ More We develop local forms of Ramsey-theoretic dichotomies for block sequences in infinite-dimensional vector spaces, analogous to Mathias' selective coideal form of Silver's theorem for analytic partitions of $[\mathbb{N}]^\infty$. Under large cardinals, these results are extended to partitions in $\mathbf{L}(\mathbb{R})$ and $\mathbf{L}(\mathbb{R})$-generic filters of block sequences are characterized. Variants of these results are also established for block sequences in Banach spaces and for projections in the Calkin algebra. △ Less

Submitted 20 August, 2018; v1 submitted 28 September, 2016; originally announced September 2016.

Comments: 08/20/2018: Posted final pre-publication version. To appear in Trans. Amer. Math. Soc

MSC Class: 05D10; 03E05 (Primary); 46B20 (Secondary)

Journal ref: Trans. Amer. Math. Soc. 370 (2018), 8859-8893

Borel equivalence relations in the space of bounded operators

Authors: Iian B. Smythe

Abstract: We consider various notions of equivalence in the space of bounded operators on a Hilbert space, in particular modulo finite rank, modulo Schatten $p$-class, and modulo compact. Using Hjorth's theory of turbulence, the latter two are shown to be not classifiable by countable structures, while the first is not reducible to the orbit equivalence relation of any Polish group action. The results for m… ▽ More We consider various notions of equivalence in the space of bounded operators on a Hilbert space, in particular modulo finite rank, modulo Schatten $p$-class, and modulo compact. Using Hjorth's theory of turbulence, the latter two are shown to be not classifiable by countable structures, while the first is not reducible to the orbit equivalence relation of any Polish group action. The results for modulo finite rank and modulo compact operators are also shown for the restrictions of these equivalence relations to the space of projection operators. △ Less

Submitted 20 August, 2018; v1 submitted 20 July, 2014; originally announced July 2014.

Comments: 08/20/2018: Posted final pre-publication version

MSC Class: Primary 03E15; 47B10; Secondary 46A45

Journal ref: Fund. Math. 237 (2017), no. 1, 31-45

Decompositions of the automorphism group of a locally compact abelian group

Authors: Iian B. Smythe

Abstract: It is well known that every locally compact abelian group L can be decomposed as L_1 \oplus R^n, where L_1 contains a compact-open subgroup. In this paper, we use this decomposition to study the topological group Aut(L) of automorphisms of L, equipped with the g-topology. We show that Aut(L) is topologically isomorphic to a matrix group with entries from Aut(L_1), Hom(L_1, R^n), Hom(R^n, L_1), and… ▽ More It is well known that every locally compact abelian group L can be decomposed as L_1 \oplus R^n, where L_1 contains a compact-open subgroup. In this paper, we use this decomposition to study the topological group Aut(L) of automorphisms of L, equipped with the g-topology. We show that Aut(L) is topologically isomorphic to a matrix group with entries from Aut(L_1), Hom(L_1, R^n), Hom(R^n, L_1), and GL_n(R), respectively. It is also shown that the algebraic portion of the decomposition is not specific to locally compact abelian groups, but is also true for objects with a well-behaved decomposition in an additive category with kernels. △ Less

Submitted 10 October, 2011; originally announced October 2011.

Comments: 11 pages, 1 figure. First version of paper, comments are appreciated

MSC Class: 22D45; 22B05 (Primary) 54H11; 18E05; 20K30 (Secondary)