We describe an algorithm that for every given braid B explicitly constructs a function f : C 2 → C such that f is a polynomial in u, v and v and the zero level set of f on the unit three-sphere is the closure of B. The nature of this construction allows us to prove certain properties of the constructed polynomials. In particular, we provide bounds on the degree of f in terms of braid data.
I. INTRODUCTIONThere are various settings in which links can arise in zero level sets of polynomials. Among these the most prominent one is the study of links of isolated singularities [27]. While only a very restricted class of links can be the link of an isolated singularity, for some types of polynomials every link is possible. For example for any link L there exists a polynomial f : R 3 → C in three real variables with complex coefficients such that f −1 (0) is L. Even for these types explicit constructions are known for only very few examples. Dealing with explicit functions can be advantageous for studying some aspects of knot theory more closely. The critical points of the argument arg( f ) : S 3 \L → S 1 for example relate to circle-valued Morse and Novikov theory, which then connects to Reidemeister torsion and Seiberg-Witten invariants [20]. Explicit polynomials are also necessary for applications in the construction of knotted field configurations in physics. The goal of this paper is to describe a construction of such polynomials that works for any link.Knots as vanishing sets of polynomials have been mostly studied in the context of isolated singularities of a polynomial C 2 → C. For all small ε > 0 the intersection of the zero level set with the three-sphere of radius ε around the singularity is ambient isotopic to the same link, the link of the singularity [27]. For the links which arise as links of isolated singularities of complex polynomials, certain iterated cables of torus links [10,12,13,21,23,36], one can explicitly write down the corresponding polynomial. However, this procedure only covers a very restricted class of links. For a more detailed account of this topic we point the reader to [18,27].Similar considerations apply to polynomials R 4 → C with (weakly) isolated singularities [1,27], but while some knots like the figure-eight knot have been explicitly constructed in this setting [24,29,31], a constructive method that allows to generate polynomials with a zero level set of any given link explicitly is still missing. Akbulut and King showed in [1] that all links arise as links of weakly isolated singularities of real polynomials. However, their proof does not offer an explicit construction of these functions either.Knots have also been studied as real algebraic curves in RP 3 in an area that is now known as real algebraic knot theory. The knots that arise in this way for polynomials of degree less than or equal to five or equal to six with genus at most one have been classified [6,26].It follows from results in real algebraic geometry [1,7] that for any link L there exists a polynomial in three real ...