October 23, 2001
An n-dimensional \mu-component boundary link is a codimension 2 embedding of spheres L=\bigsqcup_{\mu}S^n \subset S^{n+2} such that there exist \mu disjoint oriented embedded (n+1)-manifolds which span the components of L. An F_\mu-link is a boundary link together with a cobordism class of such spanning manifolds. The F_\mu-link cobordism group C_n(F_\mu) is known to be trivial when n is even but not finitely generated when n is odd. Our main result is an algorithm to decide whether two odd-dimensional F_\mu-links represent the same cobordism class in C_{2q-1}(F_\mu) assuming q>1. We proceed to compute the isomorphism class of C_{2q-1}(F_\mu), generalizing Levine's computation of the knot cobordism group C_{2q-1}(F_1). Our starting point is the algebraic formulation of Levine, Ko and Mio who identify C_{2q-1}(F_\mu) with a surgery obstruction group, the Witt group G^{(-1)^q,\mu}(Z) of \mu-component Seifert matrices. We obtain a complete set of torsion-free invariants by passing from integer coefficients to complex coefficients and by applying the algebraic machinery of Quebbemann, Scharlau and Schulte. Signatures correspond to `algebraically integral' simple self-dual representations of a certain quiver (directed graph with loops). These representations, in turn, correspond to algebraic integers on an infinite disjoint union of real affine varieties. To distinguish torsion classes, we consider rational coefficients in place of complex coefficients, expressing G^{(-1)^q,\mu}(Q) as an infinite direct sum of Witt groups of finite-dimensional division Q-algebras with involution. Numerical invariants of such Witt groups are available in the literature.
Similar papers 1
April 12, 2004
We use the Blanchfield-Duval form to define complete invariants for the cobordism group C_{2q-1}(F_\mu) of (2q-1)-dimensional \mu-component boundary links (for q\geq2). The author solved the same problem in math.AT/0110249 via Seifert forms. Although Seifert forms are convenient in explicit computations, the Blanchfield-Duval form is more intrinsic and appears naturally in homology surgery theory. The free cover of the complement of a link is constructed by pasting togeth...
August 31, 2021
We introduce new topological quantum invariants of compact oriented 3-manifolds with boundary where the boundary is a disjoint union of two identical surfaces. The invariants are constructed via surgery on manifolds of the form $F \times I$ where $I$ denotes the unit interval. Since virtual knots and links are represented as links in such thickened surfaces, we are able also to construct invariants in terms of virtual link diagrams (planar diagrams with virtual crossings). ...
March 24, 2022
In the prequel of this paper, Kauffman and Ogasa introduced new topological quantum invariants of compact oriented 3-manifolds with boundary where the boundary is a disjoint union of two identical surfaces. The invariants are constructed via surgery on manifolds of the form $F \times I$ where $I$ denotes the unit interval. Since virtual knots and links are represented as links in such thickened surfaces, we are able also to construct invariants in terms of virtual link diagra...
August 3, 2004
Given a link map f into a manifold of the form Q = N \times \Bbb R, when can it be deformed to an unlinked position (in some sense, e.g. where its components map to disjoint \Bbb R-levels) ? Using the language of normal bordism theory as well as the path space approach of Hatcher and Quinn we define obstructions \widetilde\omega_\epsilon (f), \epsilon = + or \epsilon = -, which often answer this question completely and which, in addition, turn out to distinguish a great numbe...
November 20, 2021
This is the first paper in a series of three devoted to studying twisted linking forms of knots and three-manifolds. Its function is to provide the algebraic foundations for the next two papers by describing how to define and calculate signature invariants associated to a linking form $M\times M\to\mathbb{F}(t)/\mathbb{F}[t^{\pm1}]$ for $\mathbb{F}=\mathbb{R},\mathbb{C}$, where $M$ is a torsion $\mathbb{F}[t^{\pm 1}]$-module. Along the way, we classify such linking forms up t...
February 27, 2013
Let $K$ be a simple $2q$-knot with exterior $X$. We show directly how the Farber quintuple $(A,\Pi,\alpha,\ell,\psi)$ determines the homotopy type of $X$ if the torsion subgroup of $A=\pi_q(X)$ has odd order. We comment briefly on the possible role of the EHP sequence in recovering the boundary inclusion from the duality pairings $\ell $ and $\psi$. Finally we reformulate the Farber quintuple as an hermitian self-duality of an object in an additive category with involution.
May 31, 2002
A celebrated theorem of Kirby identifies the set of closed oriented connected 3-manifolds with the set of framed links in $S^3$ modulo two moves. We give a similar description for the set of knots (and more generally, boundary links) in homology 3-spheres. As an application, we define a noncommutative version of the Alexander polynomial of a boundary link. Our surgery view of boundary links is a key ingredient in a construction of a rational version of the Kontsevich integral...
February 13, 2001
Using basic topology and linear algebra, we define a plethora of invariants of boundary links whose values are power series with noncommuting variables. These turn out to be useful and elementary reformulations of an invariant originally defined by M. Farber.
November 26, 2012
We study the cobordism of manifolds with boundary, and its applications to codimension 2 embeddings $M^m\subset N^{m+2}$, using the method of the algebraic theory of surgery. The first main result is a splitting theorem for cobordisms of algebraic Poincar\'e pairs, which is then applied to describe the behaviour on the chain level of Seifert surfaces of embeddings $M^{2n-1} \subset S^{2n+1}$ under isotopy and cobordism. The second main result (update: which is false) is that ...
June 18, 2011
Using Maslov indices, we show the existence of oriented link invariants with values in the Witt rings of certain fields. Various classical invariants are closely related to this construction. We also explore a surprising connection with the Weil representation. This version is identical to the one accepted for publication in Quantum Topology.