We introduce a new technique for studying classical knots with the methods of virtual knot theory. Let K be a knot and J a knot in the complement of K with lk(J, K) = 0. Suppose there is covering space πJ : Σ × (0, 1) → S 3 \V (J), where V (J) is a regular neighborhood of J satisfying V (J) ∩ im(K) = ∅ and Σ is a connected compact orientable 2-manifold. Let K ′ be a knot in Σ × (0, 1) such that πJ (K ′ ) = K. Then K ′ stabilizes to a virtual knotK, called a virtual cover of K relative to J. We investigate what can be said about a classical knot from its virtual covers in the case that J is a fibered knot. Several examples and applications to classical knots are presented. A basic theory of virtual covers is established.2000 Mathematics Subject Classification. 57M25, 57M27.

Abstract. The present paper produces examples of Gauss diagram formulae for virtual knot invariants which have no analogue in the classical knot case. These combinatorial formulae contain additional information about how a subdiagram is embedded in a virtual knot diagram. The additional information comes from the second author's recently discovered notion of parity. For a parity of flat virtual knots, the new combinatorial formulae are Kauffman finite-type invariants. However, many of the combinatorial formulae possess exotic properties. It is shown that there exists an integer valued virtualization invariant combinatorial formula of order n for every n (i.e. it is stable under the map which changes the direction of one arrow but preserves the sign). Hence, it is not of Goussarov-Polyak-Viro finite-type. Moreover, every homogeneous Polyak-Viro combinatorial formula admits a decomposition into an "even" part and an "odd" part. For the Gaussian parity, neither part of the formula is of GPV finite-type when it is nonconstant on the set of classical knots. In addition, eleven new non-trivial combinatorial formulae of order 2 are presented which are not of GPV finite-type.

In this paper, we compute the slice genus for many low-crossing virtual knots. For instance, we show that 1295 out of 92800 virtual knots with 6 or fewer crossings are slice, and that all but 248 of the rest are not slice. Key to these results are computations of Turaev's graded genus, which we show extends to give an invariant of virtual knot concordance. The graded genus is remarkably effective as a slice obstruction, and we develop an algorithm that applies virtual unknotting operations to determine the slice genus of many virtual knots with 6 or fewer crossings.

We use the Bar-Natan [Formula: see text]-correspondence to identify the generalized Alexander polynomial of a virtual knot with the Alexander polynomial of a two component welded link. We show that the [Formula: see text]-map is functorial under concordance, and also that Satoh’s Tube map (from welded links to ribbon knotted tori in [Formula: see text]) is functorial under concordance. In addition, we extend classical results of Chen, Milnor and Hillman on the lower central series of link groups to links in thickened surfaces. Our main result is that the generalized Alexander polynomial vanishes on any knot in a thickened surface which is virtually concordant to a homologically trivial knot. In particular, this shows that it vanishes on virtually slice knots. We apply it to complete the calculation of the slice genus for virtual knots with four crossings and to determine non-sliceness for a number of 5-crossing and 6-crossing virtual knots.

No abstract