Inmathematics, the slice genus of a smooth knotKinS3 (sometimes called its Murasugi genusor4-ball genus) is the least integer g such that K is the boundary of a connected, orientable 2-manifold S of genus g properly embedded in the 4-ball D4 bounded by S3.
More precisely, if S is required to be smoothly embedded, then this integer g is the smooth slice genusofK and is often denoted gs(K) or g4(K), whereas if S is required only to be topologically locally flatly embedded then g is the topologically locally flat slice genusofK. (There is no point considering gifS is required only to be a topological embedding, since the cone on K is a 2-disk with genus 0.) There can be an arbitrarily great difference between the smooth and the topologically locally flat slice genus of a knot; a theorem of Michael Freedman says that if the Alexander polynomialofK is 1, then the topologically locally flat slice genus of K is 0, but it can be proved in many ways (originally with gauge theory) that for every g there exist knots K such that the Alexander polynomial of K is 1 while the genus and the smooth slice genus of K both equal g.
The (smooth) slice genus of a knot K is bounded below by a quantity involving the Thurston–Bennequin invariantofK:
The (smooth) slice genus is zero if and only if the knot is concordant to the unknot.
