login
The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A174684 The number of (tame) knots and links with Matveev complexity n for closed manifolds, given by Heard in the form of a surgery description when the underlying space is not S^3. 0
3, 4, 13, 32 (list; graph; refs; listen; history; text; internal format)
OFFSET

0,1

COMMENTS

Matveev complexity is additive under connected sum, hence to know the complexity of any manifold one only needs to know that of its connected summands; and, with a few easy exceptions, the complexity of a prime manifold equals the minimal number of tetrahedra required to triangulate it. Heard determines all (0,1,2)-irreducible pairs up to complexity 5, allowing disconnected graphs but forbidding components without vertices in complexity 5. The result is a list of 129 pairs, of which 123 are hyperbolic with parabolic meridians. Petronio (p.31) notes that Matveev showed with a (complicated) theoretical argument that no closed manifold of complexity smaller than 9 can be hyperbolic.

Martelli shows that there are precisely 4 closed orientable hyperbolic 3-manifolds of complexity 9, and they coincide with those of smallest known volume. Heard gives pictures of the hyperbolic graphs up to complexity 4, as figure Figure 16, Complexity 1 (1 example), p.28; Figure 17, Complexity 2 (4 examples), p.28; Figure 18, Complexity 3 (8 examples), p.29; Figures 19-22. Complexity 4 (32 examples), pp.30-33. See pp.27-33 in Heard pictures of the hyperbolic graphs up to complexity 4, given in the form of a surgery description when the underlying space is not S^3.

For each graph, we give the name and the volume of the hyperbolic structure with parabolic meridians. The figures were produced using Orb and the census of knotted graphs. The theoretical framework underlying the papers is twofold, being based on Matveev's theory of spines and on Thurston's idea (later developed by several authors) of constructing hyperbolic structures via triangulations. Many of these results were obtained (or suggested) by computer investigations.

REFERENCES

B. Martelli and C. Petronio, 3-manifolds having complexity at most 9, Experiment. Math. 10 (2001), 207-237.

S. V. Matveev, Complexity theory of three-dimensional manifolds, Acta Appl. Math. 19 (1990), 101-130.

LINKS

Table of n, a(n) for n=0..3.

Damian Heard, Craig Hodgson, Bruno Martelli, Carlo Petronio, Hyperbolic graphs of small complexity, April 30, 2008.

Carlo Petronio, Algorithmic construction and recognition of hyperbolic 3-manifolds, links, and graphs, March 24, 2010.

FORMULA

*** I am not sure that I properly understood all definitions end enumerations of the two arXiv papers for a(3), which might not be 32 if I misunderstood ***

EXAMPLE

a(0) = 3 because of the unknot in S^3, the core of Heegaard torus in P^3, and the core of Heegaard torus in L(3; 1). a(1) = 4 because of the trefoil in S^3, the Hopf link in S^3, the core of Heegaard torus in L(4; 1), and core of Heegaard torus in L(5; 2). See table 10, p.26 of Heard. a(2) = 13, which are described in Table 10, p.26 of Heard. In complexity 3 only knots and links in the 3-sphere are described in that table; those not in the 3-sphere are shown in later tables.

CROSSREFS

Sequence in context: A111954 A192872 A036672 * A286917 A084315 A194649

Adjacent sequences:  A174681 A174682 A174683 * A174685 A174686 A174687

KEYWORD

nonn

AUTHOR

Jonathan Vos Post, Mar 26 2010

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified June 17 15:38 EDT 2021. Contains 345085 sequences. (Running on oeis4.)