I gave an invited talk at the General and Set-Theoretic Topology session of the 40th summer conference on topology and its applications, July 2026.
Talk title: A tree-based perfectly normal space whose square is not countably metacompact.
Abstract. The study of the interval topology of trees traces back to the 1960’s with Jones’ work on the normal Moore space problem. There are various limitations on the kind of spaces that can be obtained this way, for instance, Nyikos proved that for every tree $T$, if $X_T$ is normal, then it is also countably metacompact (CMC), i.e., there are no Dowker trees. Throughout the years, many consistency results were proven concerning the topological characteristics of spaces of the form $X_T$, but we couldn’t find similar results dealing with the spaces’ square. Here, we present a consistent construction of an Aronszajn tree $T$ such that $X_T$ is perfectly normal but $(X_T)^2$ it not even CMC. A key component of the construction is the use of `elevators’ – a device that enables to construct the tree level-by-level while optimally controlling features of its powers.
This is Joint work with Ari Meir Brodsky and Shira Yadai.
Downloads:
