Download presentation
Presentation is loading. Please wait.
Published byJanel Burke Modified over 8 years ago
1
The Space of Real Places of ℝ (x,y) Ron Brown Jon Merzel
2
The Space M( ℝ (x,y)) Weakest topology making evaluation maps continuous Subbasic “Harrison” sets of the form { : (f) ∊(0, ∞)} where f ∊ ℝ (x,y) Well-known: Compact Hausdorff Connected Contains torus??? Disk???
3
Our results: The space is actually path connected. For each (isomorphism class of) value group, the set of all corresponding places is dense. Some large collections of mutually homeomorphic subspaces are identified.
4
Method
6
How to represent M
7
How to build a legitimate sequence
8
Example
9
Infinite length sequences
10
How to picture M
13
The infinite bedspring
14
The points of M Finite sequences corresponding to points of M can be pictured (uniquely) as points on the infinite bedspring. Infinite sequences corresponding to points of M can be visualized (uniquely) as infinite “paths” through the infinite bedspring. The topology on the bedspring (induced by the Harrision topology via the bijection) is a little technical.
15
Path connectedness If you keep only the top or bottom half of each circle, the “half-bubble line” becomes a linearly ordered set, and the induced topology is the order topology. With that topology, the half-bubble line is homeomorphic to a closed interval on the real line. Stitching together pieces corresponding to closed intervals gives us paths.
19
Density
20
Self-similarity These all look the same! (Checking the topology is a messy case-by-case computation)
21
Under the bijection between the set of legitmate signatures and M, this set of signatures corresponds to a certain subbasic open set, determined by a choice of an irreducible polynomial and a sufficiently large rational number.
22
The bijection can be established via “strict systems” Closely related to the “saturated distinguished chains” of Popescu, Khanduja et al
Similar presentations
© 2024 SlidePlayer.com Inc.
All rights reserved.