623
Smart
(mander.xyz)
A place for majestic STEMLORD peacocking, as well as memes about the realities of working in a lab.
Rules
This is a science community. We use the Dawkins definition of meme.
Once I got past the first few paragraphs, all I learned from that is that I don't understand the Poincare conjecture or really anything about topology
2D: If you draw a perhaps wobbly circle shape (loop) on the ground, it has an inside that you can colour in. If your loop is elastic, it can contract to be all in a tiny heap. Topologists call this "simply connected".
3D: The water on your bath is also simply connected. Your elastic loop, whatever its shape, can shrink back down to tiny.
2D: The surface of your tennis ball is simply connected because any elastic loop on its surface can shrink to nothing, but the surface of your ring donut isn't, because you could cut your elastic and wrap it arround the donut and it couldn't shrink because the donut would stop it. Ants living on the surface of the donut might not immediately realise it wasn't simply connected because they'd never drawn a big enough loop to find out that it couldn't be shrunk.
3D: The solid donut is also not simply connected, because the ring could contain an elastic band that goes all the way around the ring and back to the start, and it couldn't shrink to nothing because it would have to leave the donut.
2-Manifolds: a 2-manifold is some kind of surface that doesn't have an edge and when you look up close it looks like it's flat-ish. You could make it by sticking lots of tiny sheets of rubber flat to each other but there's not allowed to be an edge. The simplest 2-manifolds are an infinite plane, the surface of a ball and the surface of a donut. The small ones are called closed. The technical reason for that is to do with not having any edges but still being finite, but you can think of closed to mean finite.
Manifolds may not be as the srrm: If you live in a 2-manifold you might not immediately realise that it's ball surface and you might not realise it's a donut surface. If you have a computer game from yesteryear where when you go off the top of the screen you come back on at the same angle and position on the bottom of the screen, and the same for left and right, that's actually got the same layout as the surface of a donut. To help you see that, imagine your screen was triple widescreen and made of rubber. Roll it up to glue the top to the bottom and then glue the two ends of the tube to each other. You haven't changed the game play at all but now you can see it's the surface of a donut shape.
3-manifolds: anything that looks like 3D space up close is a 3-manifold. The simplest 3-manifolds are an ordinary infinite 3D space, a 3-sphere, which is like the 3D version of the surface of a ball, but it's hard to imagine the 4D ball it's wrapped around, and the 3D version of the computer game.
The universe: It looks simply connected, but we can't see that directly, because maybe there's a very long loop we haven't gone on yet that gets back where you started without being shrinkable. This is hard to imagine, but it could be like being in the 3D version of the computer game where there's a long loop that can't shrink because it goes through one side of the screen and comes out the other before coming back. It can't be shrink at all, especially not to nothing. The universe is a 3-manifold.
The Poincare conjecture says that every simply connected "closed" (finite) 3-manifold is essentially the same as the 3-sphere. If ALL your loops shrink, no matter how big, and the universe is finite and has no end wall, then it's the 3 sphere.
Mathematicians have been trying to prove that it's true for a long long time, and there was a 1M USD prize for proving it that this guy turned down. The prize was largely unnecessary because lots of mathematicians were trying to prove it anyway because it's so famous and enticing.