An algorithm to determine the Heegaard genus of a 3-manifold (Q551154): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
The author proved in [Invent. Math. 167, No.~1, 135--177 (2007; Zbl 1109.57012)] that a closed, irreducible, atoroidal \(3\)-manifold admits only finitely many Heegard splittings of a given genus. The paper under review gives a new proof for this theorem, that is algorithmic in nature, while the former proof used compactness arguments. Thus, starting from a \(0\)-efficient triangulation and a certain collection of branched surfaces the argument produces a finite list (possibly with repetitions) of all Heegard splittings of given genus. In particular this gives an algorithm for determining the Heegard genus of atoroidal \(3\)-manifolds. An algorithm for toroidal \(3\)-manifolds exists due to [\textit{K. Johannson}, Topology and combinatorics of \(3\)-manifolds. Lecture Notes in Mathematics. 1599. Berlin: Springer-Verlag. (1995; Zbl 0820.57001)]. | |||
Property / review text: The author proved in [Invent. Math. 167, No.~1, 135--177 (2007; Zbl 1109.57012)] that a closed, irreducible, atoroidal \(3\)-manifold admits only finitely many Heegard splittings of a given genus. The paper under review gives a new proof for this theorem, that is algorithmic in nature, while the former proof used compactness arguments. Thus, starting from a \(0\)-efficient triangulation and a certain collection of branched surfaces the argument produces a finite list (possibly with repetitions) of all Heegard splittings of given genus. In particular this gives an algorithm for determining the Heegard genus of atoroidal \(3\)-manifolds. An algorithm for toroidal \(3\)-manifolds exists due to [\textit{K. Johannson}, Topology and combinatorics of \(3\)-manifolds. Lecture Notes in Mathematics. 1599. Berlin: Springer-Verlag. (1995; Zbl 0820.57001)]. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Thilo Kuessner / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 57N10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 57R65 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 57M27 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5920410 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Heegard splitting | |||
Property / zbMATH Keywords: Heegard splitting / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
algorithm | |||
Property / zbMATH Keywords: algorithm / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Heegard genus | |||
Property / zbMATH Keywords: Heegard genus / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
branched surface | |||
Property / zbMATH Keywords: branched surface / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1974622218 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1002.1958 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An algorithm to detect laminar 3-manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Genus 2 Heegaard decompositions of small Seifert manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Scindements de Heegaard des espaces lenticulaires / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Reducing Heegaard splittings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Incompressible surfaces via branched surfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Theorie der Normalflächen. Ein Isotopiekriterium für den Kreisknoten / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An algorithm to decide if a 3-manifold is a Haken manifold / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: 0-efficient triangulations of 3-manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Heegaard surfaces in Haken 3-manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Topology and combinatorics of 3-manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Laminar branched surfaces in 3--manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Heegaard surfaces and measured laminations, II: Non-Haken 3–manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Heegaard surfaces and measured laminations. I: the Waldhausen conjecture / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Heegaard splittings of Seifert fibered spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Incompressible branched surfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Measured Laminations in 3-Manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4382040 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Local detection of strongly irreducible Heegaard splittings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4307578 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Almost normal surfaces in 3-manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Thin position and the recognition problem for \(S^ 3\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On irreducible 3-manifolds which are sufficiently large / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 07:29, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An algorithm to determine the Heegaard genus of a 3-manifold |
scientific article |
Statements
An algorithm to determine the Heegaard genus of a 3-manifold (English)
0 references
14 July 2011
0 references
The author proved in [Invent. Math. 167, No.~1, 135--177 (2007; Zbl 1109.57012)] that a closed, irreducible, atoroidal \(3\)-manifold admits only finitely many Heegard splittings of a given genus. The paper under review gives a new proof for this theorem, that is algorithmic in nature, while the former proof used compactness arguments. Thus, starting from a \(0\)-efficient triangulation and a certain collection of branched surfaces the argument produces a finite list (possibly with repetitions) of all Heegard splittings of given genus. In particular this gives an algorithm for determining the Heegard genus of atoroidal \(3\)-manifolds. An algorithm for toroidal \(3\)-manifolds exists due to [\textit{K. Johannson}, Topology and combinatorics of \(3\)-manifolds. Lecture Notes in Mathematics. 1599. Berlin: Springer-Verlag. (1995; Zbl 0820.57001)].
0 references
Heegard splitting
0 references
algorithm
0 references
Heegard genus
0 references
branched surface
0 references