Daniel’s ArXiv highlights

Daniel Doro Ferrante has been picking out weekly highlights from ArXiv, with a particular emphasis on cosmology, and the mathematics related to it.

Among the papers he spotted this week is The world problem: on the computability of the topology of 4-manifolds by James van Meter. For some reason, I was thinking about this topic a couple of days ago. Markov proved that every possible finitely-presented group occurred as the fundamental group of a 4-manifold. Post proved that it is undecidable whether two finitely-presented groups are isomorphic. Ergo, deciding when two 4-manifolds are homeomorphic is undecidable. Van Meter sketches both the Markov and Post results.

Leave a Reply

Your email address will not be published. Required fields are marked *

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>