Abstract:
(joint work with John Harvey, Felix Rott and Clemens Sämann) I will define strainers and the corresponding coordinate map, and show it is continuous and open. If this map is not a local homeomorphism, a way of increasing of the dimension of the strainer is presented. This then gives a coordinate theorem for finite dimensional LLS with CBB: near each point there is either an open set homeomorphic to $\R^n$, or a nested sequence of open sets and corresponding sequence of strainers (which one should interpret as the space being infinite dimensional). If time permits, I will show that the time separation function lies between two flat time separation functions, making the coordinate map weakly bi-Lipschitz.