Alexander polynomial

In mathematics, the Alexander polynomial is a knot invariant which assigns a polynomial with integer coefficients to each knot type. James Waddell Alexander II discovered this, the first knot polynomial, in 1923. In 1969, John Conway showed a version of this polynomial, now called the Alexander–Conway polynomial, could be computed using a skein relation, although its significance was not realized until the discovery of the Jones polynomial in 1984. Soon after Conway's reworking of the Alexander polynomial, it was realized that a similar skein relation was exhibited in Alexander's paper on his polynomial.^[1]

Definition

Let K be a knot in the 3-sphere. Let X be the infinite cyclic cover of the knot complement of K. This covering can be obtained by cutting the knot complement along a Seifert surface of K and gluing together infinitely many copies of the resulting manifold with boundary in a cyclic manner. There is a covering transformation t acting on X. Consider the first homology (with integer coefficients) of X, denoted $H_{1}(X)$ . The transformation t acts on the homology and so we can consider $H_{1}(X)$ a module over $\mathbb {Z} [t,t^{-1}]$ . This is called the Alexander invariant or Alexander module.

The module is finitely presentable; a presentation matrix for this module is called the Alexander matrix. If the number of generators, r, is less than or equal to the number of relations, s, then we consider the ideal generated by all r by r minors of the matrix; this is the zero'th Fitting ideal or Alexander ideal and does not depend on choice of presentation matrix. If r > s, set the ideal equal to 0. If the Alexander ideal is principal, take a generator; this is called an Alexander polynomial of the knot. Since this is only unique up to multiplication by the Laurent monomial $\pm t^{n}$ , one often fixes a particular unique form. Alexander's choice of normalization is to make the polynomial have a positive constant term.

Alexander proved that the Alexander ideal is nonzero and always principal. Thus an Alexander polynomial always exists, and is clearly a knot invariant, denoted $\Delta _{K}(t)$ . The Alexander polynomial for the knot configured by only one string is a polynomial of t² and then it is the same polynomial for the mirror image knot. Namely, it can not distinguish between the knot and one for its mirror image.

Computing the polynomial

The following procedure for computing the Alexander polynomial was given by J. W. Alexander in his paper.

Take an oriented diagram of the knot with n crossings; there are n + 2 regions of the knot diagram. To work out the Alexander polynomial, first one must create an incidence matrix of size (n, n + 2). The n rows correspond to the n crossings, and the n + 2 columns to the regions. The values for the matrix entries are either 0, 1, −1, t, −t.

Consider the entry corresponding to a particular region and crossing. If the region is not adjacent to the crossing, the entry is 0. If the region is adjacent to the crossing, the entry depends on its location. The following table gives the entry, determined by the location of the region at the crossing from the perspective of the incoming undercrossing line.

on the left before undercrossing: −t

on the right before undercrossing: 1

on the left after undercrossing: t

on the right after undercrossing: −1

Remove two columns corresponding to adjacent regions from the matrix, and work out the determinant of the new n by n matrix. Depending on the columns removed, the answer will differ by multiplication by $\pm t^{n}$ . To resolve this ambiguity, divide out the largest possible power of t and multiply by −1 if necessary, so that the constant term is positive. This gives the Alexander polynomial.

The Alexander polynomial can also be computed from the Seifert matrix.

After the work of Alexander R. Fox considered a copresentation of the knot group $\pi _{1}(S^{3}\backslash K)$ , and introduced non-commutative differential calculus Fox (1961), which also permits one to compute $\Delta _{K}(t)$ . Detailed exposition of this approach about higher Alexander polynomials can be found in the book Crowell & Fox (1963).

Basic properties of the polynomial

The Alexander polynomial is symmetric: $\Delta _{K}(t^{-1})=\Delta _{K}(t)$ for all knots K.

From the point of view of the definition, this is an expression of the Poincaré Duality isomorphism

{\overline {H_{1}X}}\simeq \mathrm {Hom} _{{\mathbb {Z}}[t,t^{-1}]}(H_{1}X,G)

where

G

is the quotient of the field of fractions of

{\mathbb {Z}}[t,t^{-1}]

{\mathbb {Z}}[t,t^{-1}]

, considered as a

{\mathbb {Z}}[t,t^{-1}]

-module, and where

{\overline {H_{1}X}}

is the conjugate

{\mathbb {Z}}[t,t^{-1}]

-module to

H_{1}X

ie: as an abelian group it is identical to

H_{1}X

but the covering transformation

t

acts by

t^{-1}

and it evaluates to a unit on 1: $\Delta _{K}(1)=\pm 1$ .

From the point of view of the definition, this is an expression of the fact that the knot complement is a homology circle, generated by the covering transformation

t

. More generally if

M

is a 3-manifold such that

rank(H_{1}M)=1

it has an Alexander polynomial

\Delta _{M}(t)

defined as the order ideal of its infinite-cyclic covering space. In this case

\Delta _{M}(1)

is, up to sign, equal to the order of the torsion subgroup of

H_{1}M

It is known that every integral Laurent polynomial which is both symmetric and evaluates to a unit at 1 is the Alexander polynomial of a knot (Kawauchi 1996).

Geometric significance of the polynomial

Since the Alexander ideal is principal, $\Delta _{K}(t)=1$ if and only if the commutator subgroup of the knot group is perfect (i.e. equal to its own commutator subgroup).

For a topologically slice knot, the Alexander polynomial satisfies the Fox–Milnor condition $\Delta _{K}(t)=f(t)f(t^{-1})$ where $f(t)$ is some other integral Laurent polynomial.

Twice the knot genus is bounded below by the degree of the Alexander polynomial.

Michael Freedman proved that a knot in the 3-sphere is topologically slice; i.e., bounds a "locally-flat" topological disc in the 4-ball, if the Alexander polynomial of the knot is trivial (Freedman and Quinn, 1990).

Kauffman (1983) describes the first construction of the Alexander polynomial via state sums derived from physical models. A survey of these topic and other connections with physics are given in Kauffman (2001).

There are other relations with surfaces and smooth 4-dimensional topology. For example, under certain assumptions, there is a way of modifying a smooth 4-manifold by performing a surgery that consists of removing a neighborhood of a two-dimensional torus and replacing it with a knot complement crossed with S¹. The result is a smooth 4-manifold homeomorphic to the original, though now the Seiberg–Witten invariant has been modified by multiplication with the Alexander polynomial of the knot.^[2]

Knots with symmetries are known to have restricted Alexander polynomials. See the symmetry section in (Kawauchi 1996). Nonetheless, the Alexander polynomial can fail to detect some symmetries, such as strong invertibility.

If the knot complement fibers over the circle, then the Alexander polynomial of the knot is known to be monic (the coefficients of the highest and lowest order terms are equal to $\pm 1$ ). In fact, if $S\to C_{K}\to S^{1}$ is a fiber bundle where $C_{K}$ is the knot complement, let $g:S\to S$ represent the monodromy, then $\Delta _{K}(t)={\rm {Det}}(tI-g_{*})$ where $g_{*}:H_{1}S\to H_{1}S$ is the induced map on homology.

Relations to satellite operations

If a knot $K$ is a satellite knot with pattern knot $K'$ (there exists an embedding $f:S^{1}\times D^{2}\to S^{3}$ such that $K=f(K')$ , where $S^{1}\times D^{2}\subset S^{3}$ is an unknotted solid torus containing $K'$ ), then $\Delta _{K}(t)=\Delta _{f(S^{1}\times \{0\})}(t^{a})\Delta _{K'}(t)$ , where $a\in \mathbb {Z}$ is the integer that represents $K'\subset S^{1}\times D^{2}$ in $H_{1}(S^{1}\times D^{2})=\mathbb {Z}$ .

Examples: For a connect-sum $\Delta _{K_{1}\#K_{2}}(t)=\Delta _{K_{1}}(t)\Delta _{K_{2}}(t)$ . If $K$ is an untwisted Whitehead double, then $\Delta _{K}(t)=\pm 1$ .

Alexander–Conway polynomial

Alexander proved the Alexander polynomial satisfies a skein relation. John Conway later rediscovered this in a different form and showed that the skein relation together with a choice of value on the unknot was enough to determine the polynomial. Conway's version is a polynomial in z with integer coefficients, denoted $\nabla (z)$ and called the Alexander–Conway polynomial (also known as Conway polynomial or Conway–Alexander polynomial).

Suppose we are given an oriented link diagram, where $L_{+},L_{-},L_{0}$ are link diagrams resulting from crossing and smoothing changes on a local region of a specified crossing of the diagram, as indicated in the figure.

Here are Conway's skein relations:

$\nabla (O)=1$ (where O is any diagram of the unknot)
$\nabla (L_{+})-\nabla (L_{-})=z\nabla (L_{0})$

The relationship to the standard Alexander polynomial is given by $\Delta _{L}(t^{2})=\nabla _{L}(t-t^{-1})$ . Here $\Delta _{L}$ must be properly normalized (by multiplication of $\pm t^{{n/2}}$ ) to satisfy the skein relation $\Delta (L_{+})-\Delta (L_{-})=(t^{1/2}-t^{-1/2})\Delta (L_{0})$ . Note that this relation gives a Laurent polynomial in t^1/2.

See knot theory for an example computing the Conway polynomial of the trefoil.

Relation to Floer homology

Using pseudo-holomorphic curves, Ozsvath & Szabo (2004) and Rasmussen (2003) associated a bigraded abelian group, called knot Floer homology, to each isotopy class of knots. The graded Euler characteristic of knot Floer homology is the Alexander polynomial. While the Alexander polynomial gives a lower bound on the genus of a knot, Ozsvath & Szabo (2004b) showed that knot Floer homology detects the genus. Similarly, while the Alexander polynomial gives an obstruction to a knot complement fibering over the circle, Ni (2007) showed that knot Floer homology completely determines when a knot complement fibers over the circle. The knot Floer homology groups are part of the Heegaard Floer homology family of invariants; see Floer homology for further discussion.

Notes

↑ Alexander describes his skein relation toward the end of his paper under the heading "miscellaneous theorems", which is possibly why it got lost. Joan Birman mentions in her paper New points of view in knot theory (Bull. Amer. Math. Soc. (N.S.) 28 (1993), no. 2, 253–287) that Mark Kidwell brought her attention to Alexander's relation in 1970.
↑ Fintushel and Stern (1997) – Knots, links, and 4-manifolds

References

Alexander, J. W. (1928). "Topological invariants of knots and links". Trans. Amer. Math. Soc. 30 (2): 275–306. doi:10.2307/1989123.
Crowell, R.; Fox, R. (1963). Introduction to Knot Theory. Ginn and Co. after 1977 Springer Verlag.
Adams, Colin C. (2004). The Knot Book: An elementary introduction to the mathematical theory of knots (Revised reprint of the 1994 original ed.). Providence, RI: American Mathematical Society. ISBN 0-8218-3678-1. (accessible introduction utilizing a skein relation approach)
Fox, R. (1961). "A quick trip through knot theory, In Topology of ThreeManifold" (Proceedings of 1961 Topology Institute at Univ. of Georgia, edited by M.K.Fort ed.). Englewood Cliffs. N. J.: Prentice-Hall: 120–167.
Freedman, Michael H.; Quinn, Frank (1990). Topology of 4-manifolds. Princeton Mathematical Series. 39. Princeton, NJ: Princeton University Press. ISBN 0-691-08577-3.
Kauffman, Louis (1983). "Formal Knot Theory". Princeton University press.
Kauffman, Louis (2012). Knots and Physics (4th ed.). World Scientific Publishing Company. ISBN 978-981-4383-00-4.
Kawauchi, Akio (1996). A Survey of Knot Theory. Birkhauser. (covers several different approaches, explains relations between different versions of the Alexander polynomial)
Ozsvath, Peter; Szabo, Zoltan (2004). "Holomorphic disks and knot invariants". Adv. Math. 186 (1): 58–116. Bibcode:2002math......9056O. arXiv:math/0209056 . doi:10.1016/j.aim.2003.05.001.
Ozsvath, Peter; Szabo, Zoltan (2004b). "Holomorphic disks and genus bounds". Geom. Topol. 8: 311–334. arXiv:math/0311496 . doi:10.2140/gt.2004.8.311.
Ni, Yi (2007). "Knot Floer homology detects fibred knots". Invent. Math. 170 (3): 577–608. arXiv:math/0607156 . doi:10.1007/s00222-007-0075-9.
Rasmussen, J. (2003). "Floer homology and knot complements". PhD thesis Harvard University: 6378. Bibcode:2003math......6378R. arXiv:math/0306378 .
Rolfsen, Dale (1990). Knots and Links (2nd ed.). Berkeley, CA: Publish or Perish. ISBN 0-914098-16-0. (explains classical approach using the Alexander invariant; knot and link table with Alexander polynomials)

External links

Hazewinkel, Michiel, ed. (2001) [1994], "Alexander invariants", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4
"Main Page" and "The Alexander-Conway Polynomial", The Knot Atlas. – knot and link tables with computed Alexander and Conway polynomials

Knot theory (knots and links)
Hyperbolic	Figure-eight (4₁) Three-twist (5₂) Stevedore (6₁) 6₂ 6₃ Endless (7₄) Carrick mat (8₁₈) Perko pair (10₁₆₁) (−2,3,7) pretzel (12n242) Whitehead (52 1) Borromean rings (63 2) L10a140
Satellite	Composite knots Granny Square Knot sum
Torus	Unknot (0₁) Trefoil (3₁) Cinquefoil (5₁) Septafoil (7₁) Unlink (02 1) Hopf (22 1) Solomon's (42 1)
Invariants	Alternating Arf invariant Bridge no. 2-bridge Brunnian Chirality Invertible Crosscap no. Crossing no. Finite type invariant Hyperbolic volume Khovanov homology Genus Knot group Link group Linking no. Polynomial Alexander Bracket HOMFLY Jones Kauffman Pretzel Prime list Stick no. Tricolorability Unknotting no. and problem
Notation and operations	Alexander–Briggs notation Conway notation Dowker notation Flype Mutation Reidemeister move Skein relation Tabulation
Other	Alexander's theorem Berge Braid theory Conway sphere Complement Double torus Fibered Knot List of knots and links Ribbon Slice Sum Tait conjectures Twist Wild Writhe Surgery theory
Category Commons

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.