Abstract:Given an uncountable subset $\mathcal Y$ of a nonseparable Banach space, is there an uncountable $\mathcal Z\subseteq \mathcal Y$ such that the distances between any two distinct points of $\mathcal Z$ are more or less the same? If an uncountable subset $\mathcal Y$ of a nonseparable Banach space does not admit an uncountable $\mathcal Z\subseteq \mathcal Y$, where any two points are distant by more than $r>0$, is it because $\mathcal Y$ is the countable union of sets of diameters not bigger than $r$? We investigate connections between the set-theoretic phenomena involved and the geometric properties of uncountable subsets of nonseparable Banach spaces of densities up to $2^\omega$ related to uncountable $(1+)$-separated sets, equilateral sets or Auerbach systems. The results include geometric dichotomies for a wide range of classes of Banach spaces, some in ZFC, some under the assumption of OCA+MA and some under a hypothesis on the descriptive complexity of the space as well as constructions (in ZFC or under CH) of Banach spaces where the geometry of the unit sphere displays anti-Ramsey properties. This complements classical theorems for separable spheres and the recent results of Hájek, Kania, Russo for densities above $2^\omega$ as well as offers a synthesis of possible phenomena and categorization of examples for uncountable densities up to $2^\omega$ obtained previously by the author and Guzmán, Hrušák, Ryduchowski and Wark. It remains open if the dichotomies may consistently hold for all Banach spaces of the first uncountable density or if the strong anti-Ramsey properties of the distance on the unit sphere of a Banach space can be obtained in ZFC.

Isomorphic universality and the number of pairwise non-isomorphic models in the class of Banach spaces

On Ramsey-type properties of the distance in nonseparable spheres

On Subspaces of Indecomposable Banach Spaces

What would the rational Urysohn space and the random graph look like if they were uncountable?

On Cardinality Of Non Isomorphic Intermediate Rings Of C(X)

Set theory and a model of the mind in psychology

Density cardinals

Commutativity and liftings of codensity monads of probability measures

Monoidal Symmetric Models

One-parameter isometry groups and inclusions between operator algebras

Densities for sets of natural numbers vanishing on a given family

Noncommutative domains, universal operator models, and operator algebras, II

A non-de Finetti theorem for countable Euclidean spaces

Failure of an higher analogue of Mho

Unital Banach algebras not isomorphic to Calkin algebras of separable Banach spaces

On Banach spaces whose group of isometries acts micro-transitively on the unit sphere

Standard models of abstract intersection theory for operators in Hilbert space

Additivity of derived limits in the Cohen model

An undecidable extension of Morley's theorem on the number of countable models

Universality of group embeddability