Polynomial quandle cocycles, their knot invariants and applications

A quandle is a set with a binary operation that satisfies three axioms that corresponds to the three Reidemeister moves on knot diagrams. Homology and cohomology theories of quandles were introduced in 1999 by Carter, Jelsovsky,Kamada, Langford, and Saito as a modification of the rack (co)homology theory defined by Fenn, Rourke, and Sanderson. Cocycles of the quandle (co)homology, along with quandle colorings of knot diagrams, were used to define a new invariant called the quandle cocycle invariants, defined in a state-sum form. This invariant is constructed using a finite quandle and a cocyle, and it has the advantage that it can distinguish some knots from their mirror images, and orientations of knotted surfaces. To compute the quandle cocycle invariant for a specific knot, we need to find a quandle that colors the given knot non-trivially, and find a cocycle of the quandle. It is not easy to find cocycles,since the cocycle conditions form a large, over-determined system of linear equations. At first the computations relied on cocycles found by computer calculations. We have seen significant progress in computations after Mochizuki discovered a family of 2- and 3-cocycles for dihedral and other linear Alexander quandles written by polynomial expressions. In this dissertation, following the method of the construction by Mochizuki, a variety of n-cocycles for n \u3e̲ 2 are constructed for some Alexander quandles, given by polynomial expressions. As an application, these cocycles are used to compute the invariants for (2,n)-torus knots, twist knots and their r-twist spins. The calculations in the case of (2,n)-torus knots resulted in formulas that involved the derivative of the Alexander polynomial. Non-triviality of some quandle homology groups is also proved using these cocycles. Another application is given for tangle embeddings. The quandle cocycle invariants are used as obstructions to embedding tangles in links. The formulas for the cocycle invariants of tangles are obtained using polynomial cocycles, and by comparing the invariant values, information is obtained on which tangles do not embed in which knots. Tangles and knots in the tables are examined, and concrete examples are listed