Set Theory and its Applications in Topology (16w5053)

Arriving in Oaxaca, Mexico Sunday, September 11 and departing Friday September 16, 2016


(Universidad Nacional Autónoma de México)

Stevo Todorcevic (University of Toronto and Institut de Mathématiques de Jussieu)

(Cornell University, Ithaca, NY, USA)


The symbiotic and mutually beneficial relationship between set theory and topology is undeniable. The workshop aspires to bring together leading experts from both areas in order to keep the exchange of ideas between the fields flowing. The inclusion of functional analysis is the result of recent developments, which showed that not only topological, but also Ramsey-theoretic and forcing techniques can be successfully used to solve outstanding problems in this field.

The centerpiece of the proposed workshop %, and of the connections between the areas of mathematics involved, is the the \v Cech-Stone compactification of a countable discrete space $\beta\mathbb N$, also known as the space of ultrafilters on $\mathbb N$. Astonishingly, many fundamental problems about $\beta\mathbb N$ are still open. A short sample:
  • (Efimov) Does every compact space contain either a convergent sequence or a copy of $\beta\mathbb N$?
  • (Szyma\'nski) Can $\beta\mathbb N\setminus \mathbb N$ and $\beta\omega_1\setminus \omega_1$ ever be homeomorphic?
  • (Leonard and Whitfield) If the Banach space $C(\beta\mathbb N)\simeq \ell_\infty/c_0$ is written as a direct sum of two closed spaces
  • $X$ and $Y$, must either $X$ or $Y$ be isomorphic to $C(\beta\mathbb N)$? (I.e. is $\ell_\infty/c_0$ primary?)

% Other basic problems have been settled only recently, e.g.:

  • ([dow}) (In {\sf ZFC]) $\beta\mathbb N$ contains a non-trivial copy of $\beta\mathbb N$.

Algebraic aspects of $\beta\mathbb N$ are also of utmost interest here. Addition on $\mathbb N$ can be naturally extended to a binary operation on $\beta\mathbb N$, turning $\beta\mathbb N$ into a compact left-topological semigroup. The structure of the semigroup can be used to prove strong Ramsey-theoretic statements such as Hindman's finite sum theorem. Research in this area is very active, see [hindmand-strauss, solecki, kechris-pestov-todorcevic, todorcevic-book].

There is a strong link between Ramsey-theoretic statements and amenability properties of infinite groups [kechris-pestov-todorcevic, moore]. For instance, work of Kechris-Pestov-Todorcevic [kechris-pestov-todorcevic] showed that the question of whether the automorphism group of a countable ultrahomogeneous structure such as $(\mathbb{Q},<)$ is extremely amenable is equivalent to the question of whether the class of finite substructures form a so-called Ramsey class. Here a topological group is extremely amenable if all of its continuous actions on compact spaces have a fixed point. The notion of a Ramsey class was the central object of study in a part of combinatorics known as structural Ramsey theory which was developed by Graham, Ne\v{s}et\v{r}il, R\"odel, Rothschild and others in the 1970s and 1980s. The techniques of [kechris-pestov-todorcevic] have since been adapted to other settings and used to study the homeomorphism groups of the pseudo-arc and the Lelek fan of continuua theory [bartosova-kwitkowska, solecki].

In [moore], Moore translated the problem of the amenability of a given countable discrete group into a Ramsey-theoretic problem. He showed that the well studied question of whether Thompson's group $F$ is amenable is equivalent to a Ramsey-theoretic statement and would follow from a natural generalization of Hindman's theorem to the setting of nonassociative binary systems. This analysis suggests new ways that the dynamics of the space of ultrafilters on a countable set can be used to study the question of whether Thompson's group is amenable.

The methods of set theory, topology, and functional analysis are linked though the study of the structure and geometry of function spaces. In order to construct examples of Banach spaces with complex structural or geometric properties, for instance, one often first constructs a Boolean algebra $\mathbb B$ --- either using forcing, or some other suitable set-theoretic tool or axiom. By Stone duality, this algebra can be regarded as a compact topological space $K=St(\mathbb B)$. Finally, one considers the Banach space $C(K)$ of continuous real-valued functions on $K$, see e.g. [koszmider].

While this is a rather straightforward connection, it leads to much more important and sophisticated ones. For example topological properties of the dual ball of a Banach space $X$ are closely related to purely analytical properties of the norm of $X$. One of the deepest connection of this sort where set-theoretic methods are relevant are the Tsirelson-type constructions of Banach spaces $X$ by first constructing their dual balls. While this method has seen great success in the realm of separable Banach spaces, such as the solution of the unconditional basic sequence problem by Gowers and Maurey [gowers] or the scalar-times-identity plus compact-operator problem by Argyros and Haydon [argyros-haydon], the nonseparable theory has seen recently great advances exactly because of its deep connection to set theory. Of these advances we could mention the construction of a nonseparable reflexive Banach space with no infinite unconditional basic sequence by Argyros--Lopez-Abad--Todorcevic [argyros-lopez-todorcevic] or the isolation of the threshold $\aleph_\omega$ as the minimal cardinal which can have the property that every weakly null sequence of that length must contain an infinite unconditional basic subsequence by Dodos--Lopez-Abad--Todorcevic [dodos-lopez-todorcevic].



  1. [argyros-haydon] S.~A.~Argyros and R.~G.~Haydon, A hereditarily indecomposable $\ell_\infty$-space that solves the scalar-plus-compact problem, Acta Math. 206 (2011), no. 1, 1--54.
  2. [argyros-lopez-todorcevic] S.~A.~Argyros, J.~Lopez-Abad and S.~Todorcevic, A class of Banach spaces with few non strictly singular operators, Journal of Functional Analysis 222 (2005), no. 2, 306--384.
  3. [balogh] Z.~Balogh, On compact Hausdorff spaces of countable tightness Proc. Amer. Math. Soc., 105 (1989).
  4. [bartosova-kwitkowska] D.~Barto\v{s}ov\'a and A.~Kwiatkowska, private communication
  5. [dodos-lopez-todorcevic] P.~Dodos, J.~Lopez-Abad and S.~Todorcevic, Unconditional basic sequences in spaces of high density, Advances in Mathematics 226, (2011), 3297--3308.
  6. [dow] A.~Dow, A non-trivial copy of $\beta\mathbb N\setminus\mathbb N$, Proceedings of the AMS, Volume 142, Number 8, 2014, pp. 2907--2913.
  7. [farah] I.~Farah, All automorphisms of the Calkin algebra are inner, Annals of Mathematics, vol. 173 (2010), no. 2, 619--661.
  8. [fleissner] W.~G.~Fleissner, The normal Moore space conjecture and large cardinals, K. Kunen, J.E. Vaughan (Eds.), Handbook of Set-Theoretic Topology, North-Holland, Amsterdam (1984), 733--760.
  9. [gowers] W.~T.~Gowers and B.~Maurey, The unconditional basic sequence problem, Jour. Amer. Math. Soc. 6 (1993), 851--874.
  10. [hindmand-strauss] N.~Hindman and D.~Strauss, Algebra in the Stone-\v{Č}ech compactification: theory and applications, De Gruyter Expositions in Mathematics, 27 de Gruyter, Berlin, New York, 1998.
  11. [hrusak-ramos] M.~Hru\v{s}\'ak, U.~A.~Ramos-Garc\'{\i}a, Malykhin's problem, Advances in Mathematics 262 (2014), 193–212.
  12. [solecki] T.~Irwin, S.~Solecki, Projective Fra\"{\i}ss\'e limits and the pseudo-arc, Trans. Amer. Math. Soc. 358 (2006), 3077--3096.
  13. [kechris-pestov-todorcevic] A.~S.~Kechris, V.~G.~Pestov, and S.~Todorcevic, Fra\"{\i}ss\'e limits, Ramsey theory, and topological dynamics of automorphism groups, Geom. Funct. Anal., 15(1), 2005, 106--189.
  14. [koszmider] P.~Koszmider, Banach spaces of continuous functions with few operators, Matchematische Annalen, vol 330, (2004) No 1., 151--183.
  15. [todorcevic-larson] P.~Larson and S.~Todorcevic, Katetov's problem, Transactions of the American Mathematical Society 354, (2002), 1783--1791.
  16. [moore-L-space] J.~T.~Moore, A solution to the L space problem, J. Amer. Math. Soc., 19 (3), (2006), 717--736.
  17. [moore] J.~T.~Moore, Amenability and Ramsey theory, Fund. Math. 220, (2013), 263--280.
  18. [kunen] P.~J.~Nyikos, A provisional solution to the normal Moore space problem, Proc. Amer. Math. Soc., 78 (1980), 429--435.
  19. [shelah] S.~Shelah, Proper Forcing, Lecture Notes in Mathematics, Vol. 940, Springer-Verlag, Berlin-New York, 1982.
  20. [todorcevic-S-space] S.~Todorcevic, Forcing positive partition relations, Trans. Amer. Math. Soc. 280(2), 1983, 703--720.
  21. [todorcevic-biortho] S.~Todorcevic, Biorthogonal systems and quotient spaces via baire category methods, Mathematische Annalen, July 2006, Volume 335, Issue 3, 687--715.
  22. [todorcevic-book] S.~Todorcevic, Introduction to Ramsey Spaces, Annals of Math. Studies, 174, Princeton University Press, 2010.