A Rigid Kurepa Tree From a Free Suslin Tree

John Krueger

2023-03-10

Abstract:We analyze a countable support product of a free Suslin tree which turns it into a highly rigid Kurepa tree with no Aronszajn subtree.

Logic

What problem does this paper attempt to address?

Forcing Over a Free Suslin Tree

John Krueger,Sarka Stejskalova

2024-02-01

Abstract:We introduce an abstract framework for forcing over a free Suslin tree with suborders of products of forcings which add some structure to the tree using countable approximations. The main ideas of this framework are consistency, separation, and the Key Property. We give three applications of this framework: specializing derived trees of a free Suslin tree, adding uncountable almost disjoint subtrees of a free Suslin tree, and adding almost disjoint automorphisms of a free Suslin tree. Using the automorphism forcing, we construct a model in which there is an almost Kurepa Suslin tree and a non-saturated Aronszajn tree, and there does not exist a Kurepa tree. This model solves open problems due to Bilaniuk, Moore, and Jin and Shelah.

Logic
An almost Kurepa Suslin tree with strongly non-saturated square

John Krueger,Eduardo Martinez Mendoza

2024-06-15

Abstract:For uncountable downwards closed subtrees $U$ and $W$ of an $\omega_1$-tree $T$, we say that $U$ and $W$ are strongly almost disjoint if their intersection is a finite union of countable chains. The tree $T$ is strongly non-saturated if there exists a strongly almost disjoint family of $\omega_2$-many uncountable downwards closed subtrees of $T$. In this article we construct a c.c.c. forcing which adds a Suslin tree together with a family of $\omega_2$-many strongly almost disjoint automorphisms of it (and thus the square of the Suslin tree is strongly non-saturated). To achieve this goal, we introduce a new idea called $\rho$-separation, which is an adaptation to the finite context of the notion of separation which was recently introduced by Stejskalová and the first author for the purpose of adding automorphisms of a tree with a forcing with countable conditions.

Logic
On the rigidity of Souslin trees and their generic branches

Hossein Lamei Ramandi

2023-06-18

Abstract:We show it is consistent that there is a Souslin tree $S$ such that after forcing with $S$, $S$ is Kurepa and for all clubs $C \subset \omega_1$, $S\upharpoonright C$ is rigid. This answers Fuchs's questions in Club degrees of rigidity and almost Kurepa trees. Moreover, we show it is consistent with $\diamondsuit$ that for every Souslin tree there is a dense $X \subset S$ which does not have a copy of $S$. This is related to a question due to Baumgartner.

Logic
Aronszajn Free Kurepa Trees

Hossein Lamei Ramandi,Stevo Todorcevic

2023-10-19

Abstract:We consider a transitive relation on the power set of $\omega_1$ and show if there is a maximal element with respect to this relation then there is a Kurepa tree with no Aronszajn subtree. We also show that if there is a maximal subset of $\omega_1$, then there are Kurepa trees which are not club isomorphic. These maximal subsets of $\omega_1$ exist in many known models that are obtained from the constructible universe without large cardinal assumptions. For instance, whenever $\alpha_0 \in \omega_1$ and $X \subset \omega_1$ are such that $\omega_1^{\textsc{L}[X \cap \alpha_0]} = \omega_1, \omega_2^{\textsc{L}[X]} = \omega_2$ and $\textsc{V}$ is a semiproper forcing extension of $\textsc{L}[X]$ then $X$ is maximal in $\textsc{V}$.

Logic
Sealed Kurepa Trees

Itamar Giron,Yair Hayut

2024-01-01

Abstract:In this paper we investigate the problem of the distributivity of Kurepa trees. We show that it is consistent that there are Kurepa trees and for every Kurepa tree there is a small forcing notion which adds a branch to it without collapsing cardinals. On the other hand, we derive a proper forcing notion for making an arbitrary Kurepa tree into a non-distributive tree without collapsing $\aleph_1$ and $\aleph_2$.

Logic
Kurepa trees, continuous images, and perfect set properties

Chris Lambie-Hanson,Šárka Stejskalová

2024-11-30

Abstract:Building upon work of Lücke and Schlicht, we study (higher) Kurepa trees through the lens of higher descriptive set theory, focusing in particular on various perfect set properties and representations of sets of branches through trees as continuous images of function spaces. Answering a question of Lücke and Schlicht, we prove that it is consistent with $\mathsf{CH}$ that there exist $\omega_2$-Kurepa trees and yet, for every $\omega_2$-Kurepa tree $T \subseteq {^{<\omega_2}}\omega_2$, the set $[T] \subseteq {^{\omega_2}}\omega_2$ of cofinal branches through $T$ is not a continuous image of ${^{\omega_2}}\omega_2$. We also produce models indicating that the existence of Kurepa trees is not necessary to produce closed subsets of ${^{\omega_1}}\omega_1$ failing to satisfy strong perfect set properties, and prove a number of consistency results regarding \emph{full} and \emph{superthin} trees.

Logic
Can You Take Komjath's Inaccessible Away?

Hossein Lamei Ramandi,Stevo Todorcevic

2023-10-09

Abstract:In this paper we aim to compare Kurepa trees and Aronszajn trees. Moreover, we analyze the affect of large cardinal assumptions on this comparison. Using the the method of walks on ordinals, we will show it is consistent with ZFC that there is a Kurepa tree and every Kurepa tree contains an Aronszajn subtree, if there is an inaccessible cardinal. This is stronger than Komjath's theorem that asserts the same consistency from two inaccessible cardinals. Moreover, we prove it is consistent with ZFC that there is a Kurepa tree $T$ such that if $U \subset T$ is a Kurepa tree with the inherited order from $T$, then $U$ has an Aronszajn subtree. This theorem uses no large cardinal assumption. Our last theorem immediately implies the following: assume $\textrm{MA}_{\omega_2}$ holds and $\omega_2$ is not a Mahlo cardinal in $\textsc{L}$. Then there is a Kurepa tree with the property that every Kurepa subset has an Aronszajn subtree. Our work entails proving a new lemma about Todorcevic's $\rho$ function which might be useful in other contexts.

Logic
Uncountable trees and Cohen $κ$-reals

Giorgio Laguzzi

DOI: https://doi.org/10.48550/arXiv.2008.04994

2020-08-11

Logic

Abstract:We investigate some versions of amoeba for tree-forcings in the generalized Cantor and Baire spaces. This answers [10, Question 3.20] and generalizes a line of research that in the standard case has been studied in [11], [13], and [7]. Moreover, we also answer questions posed in [3] by Friedman, Khomskii, and Kulikov, about the relationships between regularity properties at uncountable cardinals. We show $\Sigma_1^1$-counterexamples to some regularity properties related to trees without club splitting. In particular we prove a strong relationship between the Ramsey and the Baire properties, in slight contrast with the standard case.
Some Results on Finitely Splitting Subtrees of Aronszajn Trees

John Krueger

2024-08-10

Abstract:For any $2 \le n < \omega$, we introduce a forcing poset using generalized promises which adds a normal $n$-splitting subtree to a $(\ge \! n)$-splitting normal Aronszajn tree. Using this forcing poset, we prove several consistency results concerning finitely splitting subtrees of Aronszajn trees. For example, it is consistent that there exists an infinitely splitting Suslin tree whose topological square is not Lindelöf, which solves an open problem due to Marun. For any $2 < n < \omega$, it is consistent that every $(\ge \! n)$-splitting normal Aronszajn tree contains a normal $n$-splitting subtree, but there exists a normal infinitely splitting Aronszajn tree which contains no $(< \! n)$-splitting subtree. To show the latter consistency result, we prove a forcing iteration preservation theorem related to not adding new small-splitting subtrees of Aronszajn trees.

Logic
Arithmetic subtrees in large subsets of products of trees

Kamil Bulinski,Alexander Fish

DOI: https://doi.org/10.48550/arXiv.2111.01452

2021-11-02

Abstract:Furstenberg-Weiss have extended Szemerédi's theorem on arithmetic progressions to trees by showing that a large subset of the tree contains arbitrarily long arithmetic subtrees. We study higher dimensional versions that analogously extend the multidimensional Szemerédi theorem by demonstrating the existence of certain arithmetic structures in large subsets of a cartesian product of trees.

Combinatorics,Dynamical Systems
Full Souslin trees at small cardinals

Assaf Rinot,Shira Yadai,Zhixing You

2024-02-29

Abstract:A $\kappa$-tree is said to be full if each of its limit levels omits no more than one potential branch. Kunen asked whether a full $\kappa$-Souslin tree may consistently exist. Shelah gave an affirmative answer of height a strong limit Mahlo cardinal. Here, it is shown that these trees may consistently exist at small cardinals. Indeed, there can be $\aleph_3$ many full $\aleph_2$-trees such that the product of any countably many of them is an $\aleph_2$-Souslin tree.

Logic
The uncountable Hadwiger conjecture and characterizations of trees using graphs

D. Uhrik

DOI: https://doi.org/10.1007/s10474-024-01399-x

2024-02-01

Acta Mathematica Hungarica

Abstract:We prove that the existence of a non-special tree of size is equivalent to the existence of an uncountably chromatic graph with no minor of size , establishing a connection between the special tree number and the uncountable Hadwiger conjecture. Also characterizations of Aronszajn, Kurepa and Suslin trees using graphs are deduced. A new generalized notion of connectedness for graphs is introduced using which we are able to characterize weakly compact cardinals.

mathematics
Diamond on Kurepa trees

Ziemowit Kostana,Assaf Rinot,Saharon Shelah

2024-04-03

Abstract:We introduce a new weak variation of diamond that is meant to only guess the branches of a Kurepa tree. We demonstrate that this variation is considerably weaker than diamond by proving it is compatible with Martin's axiom. We then prove that this principle is nontrivial by showing it may consistently fail.

Logic
The vanishing levels of a tree

Assaf Rinot,Shira Yadai,Zhixing You

2023-09-27

Abstract:We initiate the study of the spectrum $Vspec(\kappa)$ of sets that can be realized as the vanishing levels $V(T)$ of a normal $\kappa$-tree $T$. The latter is an invariant in the sense that if $T$ and $T'$ are club-isomorphic, then the symmetric difference of $V(T)$ and $V(T')$ is nonstationary. Additional features of this invariant imply that $Vspec(\kappa)$ is closed under finite unions and intersections. The set $V(T)$ must be stationary for an homogeneous normal $\kappa$-Aronszajn tree $T$, and if there exists a special $\kappa$-Aronszajn tree, then there exists one $T$ that is homogeneous and satisfies $V(T)=\kappa$ (modulo clubs). It is consistent (from large cardinals) that there is an $\aleph_2$-Souslin tree, and yet $V(T)$ is co-stationary for every $\aleph_2$-tree $\mathbf T$. Both $V(T)=\emptyset$ and $V(T)=\kappa$ (modulo clubs) are shown to be feasible using $\kappa$-Souslin trees even at some large cardinal close to a weakly compact. 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.

Logic
Trees in renorming theory

Richard Haydon

DOI: https://doi.org/10.48550/arXiv.math/9509217

1995-09-27

Abstract:Trees are very agreeable objects to work with, offering a diversity of behaviour within a structure that is sufficiently simple to admit precise analysis. Thus we are able to offer fairly satisfactory necessary and sufficient conditions on a tree $\Upsilon $ for the existence of equivalent LUR or strictly convex norms on $\C_0(\Upsilon )$ and for norms with the Kadec Property. In particular, we show that for a {\sl finitely branching} tree $\Upsilon $ the space $\C_0(\Upsilon )$ admits a Kadec renorming. Since some finitely branching trees fail the condition for strictly convex renormability, we obtain an example of a Banach space that is Kadec renormable but not strictly convexifiable. Consideration of specially tailored examples enables us to answer the ``three-space problem'' for strictly convex renorming: there exists a Banach space $X$ with a closed subspace $Y$ such that both $Y$ and the quotient $X/Y$ admit strictly convex norms, while $X$ does not. We also solve a problem about the property of mid-point locally uniform convexity (MLUR), showing that this does not imply LUR renormability.

Functional Analysis
A criterion for sharpness in tree enumeration and the asymptotic number of triangulations in Kuperberg's G2 spider

Robert Scherer

DOI: https://doi.org/10.5070/C64163851

2024-12-02

Abstract:We prove a conjectured asymptotic formula of Kuperberg from the representation theory of the Lie algebra $G_2$. Given a non-negative sequence $(a_n)_{n\geq 1}$, the identity $B(x)=A(xB(x))$ for generating functions $A(x)=1+\sum_{n\geq 1} a_n x^n$ and $B(x)=1+\sum_{n\geq 1} b_n x^n$ determines the number $b_n$ of rooted planar trees with $n$ vertices such that each vertex having $i$ children can have one of $a_i$ distinct colors. Kuperberg proved in \cite{Kuperberg} that this identity holds in the case that $b_n=\dim \text{Inv}_{G_2} (V(\lambda_1)^{\otimes n})$, where $V(\lambda_1)$ is the 7-dimensional fundamental representation of $G_2$, and $a_n$ is the number of triangulations of a regular $n$-gon such that each internal vertex has degree at least $6$. He also observed that $\limsup_{n\to\infty}\sqrt[n]{a_n}\leq 7/B(1/7)$ and conjectured that this estimate is sharp, or in terms of power series, that the radius of convergence of $A(x)$ is exactly $B(1/7)/7$. We prove this conjecture by introducing a new criterion for sharpness in the analogous estimate for general power series $A(x)$ and $B(x)$ satisfying $B(x)=A(xB(x))$. Moreover, by way of singularity analysis performed on a recently-discovered generating function for $B(x)$, we significantly refine the conjecture by deriving an asymptotic formula for the sequence $(a_n)$.

Combinatorics,Complex Variables
Tree-Like K-Systems: A ∞ Structure II – Proof

Kenji Fukaya,Yong─Geun Oh,Hiroshi Ohta,Kaoru Ono

DOI: https://doi.org/10.1007/978-981-15-5562-6_22

2020-01-01

Abstract:In this chapter we prove Theorem 21.35. The proof is mostly parallel to the proofs given in Chap. 19, and also similar to those given in [, Subection 7.2], [].
Tree-Like K-Systems: A ∞ Structure I – Statement

Kenji Fukaya,Yong─Geun Oh,Hiroshi Ohta,Kaoru Ono

DOI: https://doi.org/10.1007/978-981-15-5562-6_21

2020-01-01

Abstract:In Chaps. 21 and 22 we discuss construction of a filtered A∞ structure associated to a relatively spin Lagrangian submanifold L of a symplectic manifold. This construction had been worked out in great detail in the book [], [] based on singular homology, before its de Rham version was given in [, Section 12], [], [].
Club isomorphisms on higher Aronszajn trees

John Krueger

DOI: https://doi.org/10.1016/j.apal.2018.05.003

IF: 0.776

2018-10-01

Annals of Pure and Applied Logic

Abstract:We prove the consistency, assuming an ineffable cardinal, of the statement that CH holds and any two normal countably closed ω 2 -Aronszajn trees are club isomorphic. This work generalizes to higher cardinals the property of Abraham–Shelah [1] that any two normal ω 1 -Aronszajn trees are club isomorphic, which follows from PFA. The statement that any two normal countably closed ω 2 -Aronszajn trees are club isomorphic implies that there are no ω 2 -Suslin trees, so our proof also expands on the method of Laver–Shelah [5] for obtaining the ω 2 -Suslin hypothesis.

mathematics, applied,logic
On rigid germs of finite morphisms of smooth surfaces

Vik.S. Kulikov

DOI: https://doi.org/10.1070/SM9315

2019-12-26

Abstract:We prove that a germ of a finite morphism of smooth surfaces is rigid if the germ of its branch curve has one of $ADE$-singularity types and establish a correspondence between the set of rigid germs and the set of Belyi rational functions $f\in \bar{\mathbb Q}(z)$.

Algebraic Geometry

A Rigid Kurepa Tree From a Free Suslin Tree

Forcing Over a Free Suslin Tree

An almost Kurepa Suslin tree with strongly non-saturated square

On the rigidity of Souslin trees and their generic branches

Aronszajn Free Kurepa Trees

Sealed Kurepa Trees

Kurepa trees, continuous images, and perfect set properties

Can You Take Komjath's Inaccessible Away?

Uncountable trees and Cohen $κ$-reals

Some Results on Finitely Splitting Subtrees of Aronszajn Trees

Arithmetic subtrees in large subsets of products of trees

Full Souslin trees at small cardinals

The uncountable Hadwiger conjecture and characterizations of trees using graphs

Diamond on Kurepa trees

The vanishing levels of a tree

Trees in renorming theory

A criterion for sharpness in tree enumeration and the asymptotic number of triangulations in Kuperberg's G2 spider

Tree-Like K-Systems: A ∞ Structure II – Proof

Tree-Like K-Systems: A ∞ Structure I – Statement

Club isomorphisms on higher Aronszajn trees

On rigid germs of finite morphisms of smooth surfaces