Communities

Writing
Writing
Codidact Meta
Codidact Meta
The Great Outdoors
The Great Outdoors
Photography & Video
Photography & Video
Scientific Speculation
Scientific Speculation
Cooking
Cooking
Electrical Engineering
Electrical Engineering
Judaism
Judaism
Languages & Linguistics
Languages & Linguistics
Software Development
Software Development
Mathematics
Mathematics
Christianity
Christianity
Code Golf
Code Golf
Music
Music
Physics
Physics
Linux Systems
Linux Systems
Power Users
Power Users
Tabletop RPGs
Tabletop RPGs
Community Proposals
Community Proposals
tag:snake search within a tag
answers:0 unanswered questions
user:xxxx search by author id
score:0.5 posts with 0.5+ score
"snake oil" exact phrase
votes:4 posts with 4+ votes
created:<1w created < 1 week ago
post_type:xxxx type of post
Search help
Notifications
Mark all as read See all your notifications »
Q&A

Comments on Is the "mucube" homeomorphic to the loch ness monster?

Parent

Is the "mucube" homeomorphic to the loch ness monster?

+6
−0

I'm wondering if two non-compact 2-dimensional manifolds are homeomorphic. The first is the "loch ness monster" a one ended surface formed from the sum of infinitely many tori:

Loch ness monster illustration

The other is a surface which I do not know a name for but is related to the "mucube" (a polytope) and so for want of a proper name I am simply calling it that. One way to construct the mucube is to take the tesselation of 3D space by cubes, select all those cubes with at least 2 even coordinates, and then taking the boundary of that set.

Here's a section:

A section of the mucube

Both of these surfaces are orientable, one-ended, and have infinite genus, so it seems like they might be homeomorphic. I don't have much experience in this type non-compact topology, so I've exhausted all ways I know to tell two surfaces apart. I also can't construct an explicit homeomorphism between the two.

Are they homeomorphic?


The images in this post are my own work. Both released under CCBYSA 4.0. For an SVG version of the loch ness monster image see its page on wikimedia commons

History

1 comment thread

Possible approach (1 comment)
Post
+3
−0

They are homeomorphic. The conditions given in the question:

  • infinite genus
  • orientability
  • having 1-end

describe exactly one 2-manifold. This is a result of the classification of non-compact surfaces.

The paper by Arredondo and Maluendas "On the infinite Loch ness monster" describes these specific cases the mucube and the Loch Ness monster as being homeomorphic.

History

2 comment threads

Do you have an intuitive description of 1-endedness? (3 comments)
Links can be transient (1 comment)
Do you have an intuitive description of 1-endedness?
trichoplax‭ wrote about 1 year ago

Looking at the diagram of the Lock Ness Monster, it reminds me of a half line, which is infinite in one direction but has a finite starting point. This made me initially think that "1-ended" meant something similar. However, the paper describes the Euclidean plane as 1-ended, suggesting the meaning is quite different.

Although I don't understand it, it appears that the proof answers the original question. However, I wondered if you happened to have an intuitive way of thinking about what "1-ended" means in this context?

WheatWizard‭ wrote about 1 year ago

The half line is indeed one ended. To be quite honest, the topological definition of ends is a little mystical to me. I generally deal with the ends of hyperbolic spaces, which I am aware are different in some contexts. I'll try to give a mostly intuitive understanding of that, which does apply in this context.

For groups I think of ends as connected components of the ideal boundary. Start by considering all the continuous paths off to infinity. We define a metric on these paths based on how long they stay together before diverging (this can be made formal). This metric gives us the boundary space with points in the space being families of curves that are asymptotically equivalent.

So for the plane this looks like a circle, and for the half line this is a single point. But they are both one ended since those are both connected. The ordinary line however, is two-ended since you either go left or right and there's nothing in between.

I hope that's helpful.

trichoplax‭ wrote about 1 year ago

That is helpful - thank you. The connectedness of the end rather than its location gives an intuition for what the Loch Ness monster and the mucube have in common that I couldn't see before.