A refinement of the Conway-Gordon theorems

In 1983, Conway-Gordon showed that for every spatial complete graph on 6 vertices, the sum of the linking numbers over all of the constituent 2-component links is congruent to 1 modulo 2, and for every spatial complete graph on 7 vertices, the sum of the Arf invariants over all of the Hamiltonian knots is also congruent to 1 modulo 2. In this article, we give integral lifts of the Conway-Gordon theorems above in terms of the square of the linking number and the second coefficient of the Conway polynomial. As applications, we give alternative topological proofs of theorems of Brown-Ramírez Alfonsín and Huh-Jeon for rectilinear spatial complete graphs which were proved by computational and combinatorial methods.     

Some relations on Miyazawa's virtual knot invariant

Y. Miyazawa defined a polynomial invariant for a virtual link by using magnetic graph diagrams, which is related with the Jones-Kauffman polynomial. In this paper we show some relations of this polynomial for a virtual skein triple.     

On virtual pathwidth of virtual graphs of a virtual link

The geometric representation of a knot is not too dissimilar from a graph and this interaction has helped mathematicians to solve many problems. In this paper, we apply graph theory tools to study the classification of virtual knots and links. We define virtual planar graphs and compute virtual path width of an associated graph of a virtual link. We show that the virtual path width of an associated graph is equal to the virtual bridge number of a pseudo prime knot.     

Finite type invariants of order 3 for a spatial handcuff graph

We express a basis for the vector space of finite type invariants of order less than or equal to three for an embedded handcuff graph in a 3-sphere in terms of the linking number, the Conway polynomial, and the Jones polynomial of the sublinks of the handcuff graph.     

On some classes of hyperbolic knots with the 3-sphere surgery

For the distance of (1,1)-splittings of a knot in a closed orientable 3-manifold, it is an important problem whether a (1,1)-knot can admit (1,1)-splittings of different distances. In this paper, we give one-parameter families of hyperbolic (1,1)-knots such that each (1,1)-knot admits a Dehn surgery yielding the 3-sphere. It is remarkable that such knots are the first concrete examples each of whose (1,1)-splittings is of distance three.     

Hyperbolic spatial graphs in 3-manifolds

For any closed connected orientable 3-manifold M, we present a method for constructing infinitely many hyperbolic spatial embeddings of a given finite graph with no vertex of degree less than two from hyperbolic spatial graphs in S³ via the Heegaard splitting theory. These spatial embeddings are adjustable so as to take cycle subgraphs into specified homotopy classes of loops in M.     

Crossing distances of surface-knots

A surface-knot is an embedded closed connected oriented surface in 4-space. A surface diagram is a projection of a surface-knot into 3-space with crossing information. In this paper we define a distance from a special surface diagram to a trivial diagram as the minimal number of special double cycles, where we can change the crossing information to obtain the trivial diagram. We estimate the distance using the number of 1-handles needed to obtain a trivial diagram.     

Refined Kirby calculus for three-manifolds of first homology groups of odd prime orders

Every integral homology 3-sphere is presented by a framed link with framing ±1 and without linking numbers. Restricting such presentations, Habiro arranged Kirby calculus so that it preserves framings and linkings and moreover showed that his calculus suffices to relate all links with the same results. This paper provides an extension of his result for manifolds of first homology groups of odd prime orders. After defining our set of links, we establish Habiro calculus over it, and show that, for many orders, it works on those manifolds. We further give the existence of the Casson-Walker invariant for them.     

The LMO-invariant of 3-manifolds of rank one and the Alexander polynomial

We prove that the LMO-invariant of a 3-manifold of rank one is determined by the Alexander polynomial of the manifold, and conversely, that the Alexander polynomial is determined by the LMO-invariant. Furthermore, we show that the Alexander polynomial of a null-homologous knot in a rational homology 3-sphere can be obtained by composing the weight system of the Alexander polynomial with the ?rhus invariant of knots. Received February 14, 2000 / Published online October 11, 2000     

New obstructions to doubly slicing knots

A knot in the 3-sphere is called doubly slice if it is a slice of an unknotted 2-sphere in the 4-sphere. We give a bi-sequence of new obstructions for a knot being doubly slice. We construct it following the idea of Cochran-Orr-Teichner's filtration of the classical knot concordance group. This yields a bi-filtration of the monoid of knots (under the connected sum operation) indexed by pairs of half integers. Doubly slice knots lie in the intersection of this bi-filtration. We construct examples of knots which illustrate the non-triviality of this bi-filtration at all levels. In particular, these are new examples of algebraically doubly slice knots that are not doubly slice, and many of these knots are slice. Cheeger-Gromov's von Neumann rho invariants play a key role to show non-triviality of this bi-filtration. We also show some classical invariants are reflected at the initial levels of this bi-filtration, and obtain a bi-filtration of the double concordance group.     

Hyperbolic isometries versus symmetries of links

We prove that every finite group is the orientation-preserving isometry group of the complement of a hyperbolic link in the 3-sphere.     

Finite Group Actions with Fixed Points on Homology 3-Spheres

 If a finite group acts freely on a homology 3-sphere, then it has periodic cohomology. To say that a finite group F has periodic cohomology is equivalent to say that any Sylow subgroup of F of odd order is cyclic and a Sylow 2-subgroup of F is either cyclic or a quaternion group. In this paper we consider more generally smooth actions of finite groups G on homology 3-spheres which may have fixed points. We prove that any Sylow subgroup of G of odd order is either cyclic or the direct sum of two cyclic groups. Moreover, we show that if G has odd order, then it splits as a semidirect product of a subgroup A and a normal subgroup B such that B acts freely and there exist some simple closed curves in the homology 3-sphere which are fixed pointwise by some non-trivial element of A. We discuss the relation between these algebraic results and some classical constructions of the theory of 3-manifolds. Received 25 September 1997; in revised form 2 June 1998     

On flat braidzel surfaces for links

Rudolph introduced the notion of braidzel surfaces as a generalization of pretzel surfaces, and Nakamura showed that any oriented link has a braidzel surface. In this paper, we introduce the notion of flat braidzel surfaces as a special kind of braidzel surfaces, and show that any oriented link has a flat braidzel surface. We also introduce and study a new integral invariant of links, named the flat braidzel genus, with respect to their flat braidzel surfaces. Moreover, we give a way to calculate the number of components, the distance from proper links, the Arf invariant, and a Seifert matrix of a given link through the flat braidzel notation.     

Singular hyperbolicity of star flows on surfaces

In this paper, we prove that every star flow on the closed surface has finitely many chain recurrent classes. Furthermore, it is singular hyperbolic if every non-trivial singular chain component is a graph. As a consequence, every star flow on the 2-sphere or the projective plane is singular hyperbolic.     

On finite simple and nonsolvable groups acting on homology 4-spheres

The only finite non-Abelian simple group acting on a homology 3-sphere—necessarily non-freely—is the dodecahedral group A₅≅PSL(2,5) (in analogy, the only finite perfect group acting freely on a homology 3-sphere is the binary dodecahedral group ). In the present paper we show that the only finite simple groups acting on a homology 4-sphere, and in particular on the 4-sphere, are the alternating or linear fractional groups A₅≅PSL(2,5) and A₆≅PSL(2,9). From this we deduce a short list of groups which contains all finite nonsolvable groups admitting an action on a homology 4-sphere.     

Finite type invariants of cyclic branched covers

Given a knot in an integer homology sphere, one can construct a family of closed 3-manifolds (parameterized by the positive integers), namely the cyclic branched coverings of the knot. In this paper, we give a formula for the Casson-Walker invariants of these 3-manifolds in terms of residues of a rational function (which measures the 2-loop part of the Kontsevich integral of a knot) and the signature function of the knot. Our main result actually computes the LMO invariant of cyclic branched covers in terms of a rational invariant of the knot and its signature function.     

Ideal Turaev-Viro invariants

Turaev-Viro invariants are defined via state sum polynomials associated to a special spine or a triangulation of a compact 3-manifold. By evaluation of the state sum at any solution of the so-called Biedenharn-Elliott equations, one obtains a homeomorphism invariant of the manifold (“numerical Turaev-Viro invariant”). The Biedenharn-Elliott equations define a polynomial ideal. The key observation of this paper is that the coset of the state sum polynomial with respect to that ideal is a homeomorphism invariant of the manifold (“ideal Turaev-Viro invariant”), stronger than the numerical Turaev-Viro invariants. Using computer algebra, we obtain computational results on several examples of ideal Turaev-Viro invariants, for all closed orientable irreducible manifolds of complexity at most 9.     

Cohomological rigidity and the number of homeomorphism types for small covers over prisms

In this paper, based upon the basic theory for glued manifolds in M.W. Hirsch (1976) [8, Chapter 8, §2 Gluing Manifolds Together], we give a method of constructing homeomorphisms between two small covers over simple convex polytopes. As a result we classify, up to homeomorphism, all small covers over a 3-dimensional prism P³(m) with m?3. We introduce two invariants from colored prisms and other two invariants from ordinary cohomology rings with Z₂-coefficients of small covers. These invariants can form a complete invariant system of homeomorphism types of all small covers over a prism in most cases. Then we show that the cohomological rigidity holds for all small covers over a prism P³(m) (i.e., cohomology rings with Z₂-coefficients of all small covers over a P³(m) determine their homeomorphism types). In addition, we also calculate the number of homeomorphism types of all small covers over P³(m).     

Closed incompressible surfaces of genus two in 3-bridge knot complements

In this paper, we characterize closed incompressible surfaces of genus two in the complements of 3-bridge knots and links. This characterization includes that of essential 2-string tangle decompositions for 3-bridge knots and links.