{ "id": "math/0005104", "version": "v2", "published": "2000-05-10T21:04:48.000Z", "updated": "2000-11-24T20:03:14.000Z", "title": "3-Manifolds with complexity at most 9", "authors": [ "Bruno Martelli", "Carlo Petronio" ], "comment": "49 pages, 32 figures. This is a revised version of math.GT/0005104, accepted for publication in Experimental Mathematics. The main improvement is an intrinsic definition of \"brick\", in terms of manifolds rather than in terms of spines, and an extension of Matveev's complexity to manifolds bounded by suitably marked tori", "journal": "Experimental Math. 10 (2001), 207-237.", "categories": [ "math.GT" ], "abstract": "We describe an algorithm which has enabled us to give a complete list, without repetitions, of all closed oriented irreducible 3-manifolds of complexity up to 9. More interestingly, we have actually been able to give a \"name\" to each such manifold, by recognizing its canonical decomposition into Seifert fibred spaces and hyperbolic manifolds. The algorithm relies on the extension of Matveev's theory of complexity to the case of manifolds bounded by suitably marked tori, and on the notion of assembling of two such manifolds. We show that every manifold is an assembling of manifolds which cannot be further deassembled, and we prove that there are surprisingly few such manifolds up to complexity 9. Our most interesting experimental discovery is the following: there are 4 hyperbolic manifolds having complexity 9, and they turn out to be precisely the 4 closed hyperbolic manifolds of least known volume. All other manifolds having complexity at most 9 are graph manifolds.", "revisions": [ { "version": "v2", "updated": "2000-11-24T20:03:14.000Z" } ], "analyses": { "subjects": [ "57M20", "57N10" ], "keywords": [ "complexity", "interesting experimental discovery", "graph manifolds", "matveevs theory", "algorithm relies" ], "tags": [ "journal article" ], "note": { "typesetting": "TeX", "pages": 49, "language": "en", "license": "arXiv", "status": "editable", "adsabs": "2000math......5104M" } } }