Smooth unknotting conjecture in dimension four and search for essence of mathematics

点击翻译按钮获取中文摘要

The necessary and. ant condition for unknotting is well-known except for a smooth 2-knot. The complement has the same homotopy type with a trivial knot is the condition. Our aim is to show that this condition is enough also for the remaining case, using 2-dimensional braid theory The method is quite elementary and we want to find some essence of mathematics in this chance.1) We have already a one-parameter family of maps with only cusp births and deaths between a given knot with the condition and a trivial knot. 2) Transform this to a one-parameter family of singular 2-braids by extending a method due to Kamada. 3) Find its chart description by applying stabilization if necessary. 4) The height of an intersection point can be modified down until the level a little higher than the related cusp death. 5) This reduces the problem to the case that the number of intersection points is one and the intersection point go down by rotating the other fixed vertices of the chart and then disappear at the cusp. 6) This step can be divided into several simple steps by a word representation due to Kamada-Matsumoto. 7) Each step will be shown that the ends are turned out to be trivial 2-dimensional braids. This is an outline to solve the conjecture.As for essence of mathematics besides the study by each investigator we studied the history of determinants at the occasion of 300 years after the death of Takakazu Seki.