Toronto Set Theory

Event Information Autohomeomorphisms of ω∗: the quotient relation
13:30 on Friday February 16, 2018
15:00 on Friday February 16, 2018
FI210, Fields Institute, 222 College St.
Will Brian

University of North Carolina at Charlotte

Given two autohomeomorphisms f and g of N*, we say that f is a quotient of g when there is a continuous surjection Q from N* to N* such that Qg = fQ. In other words, f is a quotient of g if it is the ``continuous image'' of g, in the appropriate sense.

I have been investigating this relation, and will present some of the results of that investigation in my talk. For example, under CH: there are many universal autohomeomorphisms (an autohomeomorphism is universal if everything else is a quotient of it); the quotient relation has uncountable chains and antichains; there is an exact description of the quotients of a given trivial map. Under OCA+MA the picture is still murky: for example, there is a jointly universal pair of autohomeomorphisms (meaning everything else is a quotient of one or the other), but I do not know if there is a single universal automorphism. I will sketch some of these results and include several open questions.