English

A Universal Homogeneous Simple Matroid of Rank $3$

Logic 2018-10-04 v8

Abstract

We construct a \wedge-homogeneous universal simple matroid of rank 33, i.e. a countable simple rank~33 matroid MM_* which \wedge-embeds every finite simple rank 33 matroid, and such that every isomorphism between finite \wedge-subgeometries of MM_* extends to an automorphism of MM_*. We also construct a \wedge-homogeneous matroid M(P)M_*(P) which is universal for the class of finite simple rank 33 matroids omitting a given finite projective plane PP. We then prove that these structures are not 0\aleph_0-categorical, they have the independence property, they admit a stationary independence relation, and that their automorphism group embeds the symmetric group Sym(ω)Sym(\omega). Finally, we use the free projective extension F(M)F(M_*) of MM_* to conclude the existence of a countable projective plane embedding all the finite simple matroids of rank 33 and whose automorphism group contains Sym(ω)Sym(\omega), in fact we show that Aut(F(M))Aut(M)Aut(F(M_*)) \cong Aut(M_*).

Keywords

Cite

@article{arxiv.1707.05069,
  title  = {A Universal Homogeneous Simple Matroid of Rank $3$},
  author = {Gianluca Paolini},
  journal= {arXiv preprint arXiv:1707.05069},
  year   = {2018}
}