Khovanov-Jacobsson numbers and invariants of surface-knots derived from Bar-Natan's theory

Khovanov introduced a cohomology theory for oriented classical links whose graded Euler characteristic is the Jones polynomial. Since Khovanov's theory is functorial for link cobordisms between classical links, we obtain an invariant of a surface-knot, called the Khovanov-Jacobsson number, by considering the surface-knot as a link cobordism between empty links. In this paper, we study an extension of the Khovanov-Jacobsson number derived from Bar-Natan's theory, and prove that any -knot has trivial Khovanov-Jacobsson number.

     

The almost alternating diagrams of the trivial knot

Bankwitz characterized the alternating diagrams of the trivialknot. A non-alternating diagram is called almost alternatingif one crossing change makes the diagram alternating. We characterizethe almost alternating diagrams of the trivial knot. As a corollary,we determine the unknotting number one alternating knots withthe property that the unknotting operation can be done on itsalternating diagram. Received July 3, 2007. Revised September 29, 2008.     

Unknotting number and number of Reidemeister moves needed for unlinking

Using unknotting number, we introduce a link diagram invariant of type given in Hass and Nowik (2008) [4], which changes at most by 2 under a Reidemeister move. We show that a certain infinite sequence of diagrams of the trivial two-component link need quadratic number of Reidemeister moves for being splitted with respect to the number of crossings.     

Inequivalent surface-knots with the same knot quandle

We have a knot quandle and a fundamental class as invariants for a surface-knot. These invariants can be defined for a classical knot in a similar way, and it is known that the pair of them is a complete invariant for classical knots. In surface-knot theory the situation is different: There exist arbitrarily many inequivalent surface-knots of genus g with the same knot quandle, and there exist two inequivalent surface-knots of genus g with the same knot quandle and with the same fundamental class.     

The complete splitting number of a lassoed link

In this paper we define a lassoing on a link, a local addition of a trivial knot to a link. Let K be an s-component link with the Conway polynomial non-zero. Let L be a link which is obtained from K by r-iterated lassoings. The complete splitting number split(L) is greater than or equal to r+s−1, and less than or equal to r+split(K). In particular, we obtain from a knot by r-iterated component-lassoings an algebraically completely splittable link L with split(L)=r. Moreover, we construct a link L whose unlinking number is greater than split(L).     

Non-additivity for triple point numbers on the connected sum of surface-knots

Any surface-knot in 4-space can be projected into 3-space with a finite number of triple points, and its triple point number, , is defined similarly to the crossing number of a classical knot. By definition, we have for the connected sum. In this paper, we give infinitely many pairs of surface-knots for which this equality does not hold.

     

Differences of Alexander polynomials for knots caused by a single crossing change

Kondo and Sakai independently gave a characterization of Alexander polynomials for knots which are transformed into the trivial knot by a single crossing change. The first author gave a characterization of Alexander polynomials for knots which are transformed into the trefoil knot (and into the figure-eight knot) by a single crossing change. In this note, we will give a characterization of Alexander polynomials for knots which are transformed into the 10₁₃₂ knot (and into the (5,2)-torus knot) by a single crossing change. Moreover, this method can be applied for knots with monic Alexander polynomials.     

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.     

The Cannon–Thurston map for punctured-surface groups

Let Γ be the fundamental group of a compact surface group with non-empty boundary. We suppose that Γ admits a properly discontinuous strictly type preserving action on hyperbolic 3-space such that there is a positive lower bound on the translation lengths of loxodromic elements. We describe the Cannon–Thurston map in this case. In particular, we show that there is a continuous equivariant map of the circle to the boundary of hyperbolic 3-space, where the action on the circle is obtained by taking any finite-area complete hyperbolic structure on the surface, and lifting to the boundary of hyperbolic 2-space. We deduce that the limit set is locally connected, hence a dentrite in the singly degenerate case. Moreover, we show that the Cannon–Thurston map can be described topologically as the quotient of the circle by the equivalence relations arising from the ends of the quotient 3-manifold. For closed surface bundles over the circle, this was obtained by Cannon and Thurston. Some generalisations and variations have been obtained by Minsky, Mitra, Alperin, Dicks, Porti, McMullen and Cannon. We deduce that a finitely generated kleinian group with a positive lower bound on the translation lengths of loxodromics has a locally connected limit set assuming it is connected.     

Space graphs and sphericity

For a finite point set in Euclidean n-space, if we connect each pair of points by a line segment whenever the distance between them is less than a certain positive constant, we obtain a space graph in n-space. The sphericity of a graph G is defined to be the minimum number n such that G is isomorphic to a space graph in n-space. In this paper we study the sphericities of graphs and present upper bounds on the sphericity for several types of graphs.     

Locally G-homogeneous Busemann G-spaces

We present short proofs of all known topological properties of general Busemann G-spaces (at present no other property is known for dimensions more than four). We prove that all small metric spheres in locally G-homogeneous Busemann G-spaces are homeomorphic and strongly topologically homogeneous. This is a key result in the context of the classical Busemann conjecture concerning the characterization of topological manifolds, which asserts that every n-dimensional Busemann G-space is a topological n-manifold. We also prove that every Busemann G-space which is uniformly locally G-homogeneous on an orbal subset must be finite-dimensional.     

Inflection points and topology of surfaces in 4-space

We consider asymptotic line fields on generic surfaces in 4-space and show that they are globally defined on locally convex surfaces, and their singularities are the inflection points of the surface. As a consequence of the generalized Poincaré-Hopf formula, we obtain some relations between the number of inflection points in a generic surface and its Euler number. In particular, it follows that any 2-sphere, generically embedded as a locally convex surface in 4-space, has at least 4 inflection points.

     

On the Stability of Bifurcation Diagrams of Vanishing Flattening Points

On a smooth surface in Euclidean 3-space, we consider vanishing curves whose projections on a given plane are small circles centered at the origin. The bifurcations diagram of a parameter-dependent surface is the set of parameters and radii of the circles corresponding to curves with degenerate flattening points. Solving a problem due to Arnold, we find a normal form of the first nontrivial example of a flattening bifurcation diagram, which contains one continuous invariant.     

Bridge position and the representativity of spatial graphs

In this paper, we consider closed surfaces which contain spatial graphs. In the case that a closed surface is a 2-sphere, we show that the 2-sphere can be isotoped so that it intersects a bridge sphere for the spatial graph in a single loop. In the case that a closed surface is not a 2-sphere, we define an invariant of a spatial graph by counting the number of intersection of a compressing disk for the closed surface and the spatial graph. By using this invariant, we give a lower bound for the bridge number of a spatial graph.     

On a surface singular braid monoid

We introduce a monoid corresponding to knotted surfaces in four space, from its hyperbolic splitting represented by marked diagram in braid like form. It has four types of generators: two standard braid generators and two of singular type. Then we state relations on words that follow from topological Yoshikawa moves. As a direct application we will reprove some known theorem about twist-spun knots. We wish then to investigate an index associated to the closure of surface singular braid. Using our relations we will prove that there are exactly six types of knotted surfaces with the index less or equal to two, and there are infinitely many types of surface-knots with index equal to three. Towards the end we will construct a family of classical diagrams such that to unlink them requires at least four Reidemeister III moves.     

On the signature of a Lefschetz fibration coming from an involution

In this article we show that the signature of a Lefschetz fibration coming from a special involution as a product of right-handed Dehn twists depends only on the number of genus on the involution axis. We investigate the geography of such Lefschetz fibrations and we identify it with a blow up of a ruled surface. We also get a geography of the Lefschetz fibration coming from a finite order element of mapping class group as a composition of two special involutions.     

On the total mean curvature of a nonrigid surface

Using the Green’s theorem we reduce the variation of the total mean curvature of a smooth surface in the Euclidean 3-space to a line integral of a special vector field, which immediately yields the following well-known theorem: the total mean curvature of a closed smooth surface in the Euclidean 3-space is stationary under an infinitesimal flex.     

Jones polynomial of knots formed by repeated tangle replacement operations

In this paper, we prove that the Jones polynomial of a link diagram obtained through repeated tangle replacement operations can be computed by a sequence of suitable variable substitutions in simpler polynomials. For the case that all the tangles involved in the construction of the link diagram have at most k crossings (where k is a constant independent of the total number n of crossings in the link diagram), we show that the computation time needed to calculate the Jones polynomial of the link diagram is bounded above by O(nk). In particular, we show that the Jones polynomial of any Conway algebraic link diagram with n crossings can be computed in O(n²) time. A consequence of this result is that the Jones polynomial of any Montesinos link and two bridge knot or link of n crossings can be computed in O(n²) time.     

Computing generalized higher-order Voronoi diagrams on triangulated surfaces

We present an algorithm for computing exact shortest paths, and consequently distance functions, from a generalized source (point, segment, polygonal chain or polygonal region) on a possibly non-convex triangulated polyhedral surface. The algorithm is generalized to the case when a set of generalized sites is considered, providing their distance field that implicitly represents the Voronoi diagram of the sites. Next, we present an algorithm to compute a discrete representation of the distance function and the distance field. Then, by using the discrete distance field, we obtain the Voronoi diagram of a set of generalized sites (points, segments, polygonal chains or polygons) and visualize it on the triangulated surface. We also provide algorithms that, by using the discrete distance functions, provide the closest, furthest and k-order Voronoi diagrams and an approximate 1-Center and 1-Median.     

Topologically equivalent N-dimensional isometries

Let G be the group of isometries of the n-sphere, Euclidean n-space, or hyperbolic n-space, the group of similarities of Euclidean n-space, or the group of Möbius transformations of the n-sphere. In each case we attempt to determine the conjugacy classes in G which are amalgamated when we allow conjugation of the elements of G by homeomorphisms of the space on which G acts. We are successful modulo undetermined amalgamation among certain periodic orthogonal transformations.