Colloquium de Mathématiques :

Le 12 octobre 2006 à 17:00 - Salle TD 32 - Bâtiment 9

Présentée par Matveev Serguei -

Efficient Recognition and Tabulation of 3-Manifolds.

Plan and Abstract: 1. Spines of 3-manifolds. 2. Complexity and simplification moves. 3. Creating and assembling labeled molecules. 4. Recognition of 3-manifolds. 5. Enumeration and tabulation of 3-manifolds. 6. Tables up to complexity 12 (more than 35000 manifolds). Using special spines and complexity theory, I'll describe an efficient partial recognition algorithm of 3-manifolds, its computer realization, and tables of closed 3-manifolds obtained in this way. A demo of real work of this algorithm will be presented. If you have your favorite example of a closed 3-manifold, please, bring it!