The vanishing levels of a tree

Joint work with Shira Yadai and Zhixing You.

Abstract. We initiate the study of the spectrum $Vspec(\kappa)$ of sets that can be realized as the vanishing levels $V(\mathbf T)$ of a normal $\kappa$-tree $\mathbf T$. The latter is an invariant in the sense that if $\mathbf T$ and $\mathbf T’$ are club-isomorphic, then $V(\mathbf T)\bigtriangleup V(\mathbf T’)$ is nonstationary. Additional features of this invariant imply that $Vspec(\kappa)$ is closed under finite unions and intersections.

The set $V(\mathbf T)$ must be stationary for an homogeneous normal $\kappa$-Aronszajn tree $\mathbf T$, and if there exists a special $\kappa$-Aronszajn tree, then there exists one $\mathbf T$ that is homogeneous and satisfies $V(\mathbf T)=\kappa$ (modulo clubs). It is consistent (from large cardinals) that there is an $\aleph_2$-Souslin tree, and yet $V(\mathbf T)$ is co-stationary for every $\aleph_2$-tree $\mathbf T$. Both $V(\mathbf T)=\emptyset$ and $V(\mathbf T)=\kappa$ (modulo clubs) are shown to be feasible using $\kappa$-Souslin trees at various cardinals. It is also possible to have a family of $2^\kappa$ many $\kappa$-Souslin trees for which the corresponding family of vanishing levels forms an antichain modulo clubs.

Downloads: