A personal account of the discovery of hyperbolic structures on some knot complements

I give my view of the early history of the discovery of hyperbolic structures on knot complements from my early work on representations of knot groups into matrix groups to my meeting with William Thurston in 1976.     

Some relations on Miyazawa's virtual knot invariant

Y. Miyazawa defined a polynomial invariant for a virtual link by using magnetic graph diagrams, which is related with the Jones-Kauffman polynomial. In this paper we show some relations of this polynomial for a virtual skein triple.     

A retelling of Newton’s work on Kepler’s Laws

This paper details an investigation into Kepler’s Laws. Newton’s technique for deducing an inverse-square law from Kepler’s Laws is given a modern presentation, with necessary background material included. Kepler’s Laws are then deduced from the assumption of an inverse-square law. This is done in a geometric style, inspired by Newton’s work. Finally, a problem involving planetary orbits is stated and solved using the earlier results of the paper.     

Twisted Alexander polynomials of twist knots for nonabelian representations

In this paper, we describe the twisted Alexander polynomial of twist knots for nonabelian SL(2,C)-representations and investigate in detail the coefficient of the highest degree term as a function on the representation space of the knot group. In particular, we introduce the notion of monic representation and discuss its relation to the fiberedness of knots.     

W.W. Rouse Ball and the mathematics of string figures

This article examines a chapter of the popular book Mathematical Recreations and Essays (5th to 9th editions) written by the Cambridge mathematician Walter William Rouse Ball (1850–1925). This chapter is devoted to “String Figures”, a procedural activity which consists in producing geometrical forms with a loop of string and which is carried out in many traditional societies throughout the world. By analyzing the way in which Ball selected some string figures within ethnographical publications and conceived the structure of this chapter, it appears that he implicitly brought to light the mathematical dimension of this practice.     

Nonsmoothable group actions on elliptic surfaces

Let G be a cyclic group of order 3, 5 or 7, and X=E(n) be the relatively minimal elliptic surface with rational base. In this paper, we prove that under certain conditions on n, there exists a locally linear G-action on X which is nonsmoothable with respect to infinitely many smooth structures on X. This extends the main result of [X. Liu, N. Nakamura, Pseudofree Z/3-actions on K3 surfaces, Proc. Amer. Math. Soc. 135 (3) (2007) 903-910].     

A “lacuna” in Proposition 9 of Archimedes’ On the Sphere and the Cylinder, Book I

The proof of Proposition 9 in Archimedes’ On the Sphere and the Cylinder, Book i, contains an unproved statement that has been referred to as a “lacuna.” Most editors and experts in Archimedean texts have agreed on the existence of this gap and have offered different proofs for the statement, some of them with incomplete or even incorrect arguments. In this paper, I offer arguments of a mathematical, historical, and textual nature that show that it is not necessary to assume the presence of any gap in the text.     

A refinement of the Conway-Gordon theorems

In 1983, Conway-Gordon showed that for every spatial complete graph on 6 vertices, the sum of the linking numbers over all of the constituent 2-component links is congruent to 1 modulo 2, and for every spatial complete graph on 7 vertices, the sum of the Arf invariants over all of the Hamiltonian knots is also congruent to 1 modulo 2. In this article, we give integral lifts of the Conway-Gordon theorems above in terms of the square of the linking number and the second coefficient of the Conway polynomial. As applications, we give alternative topological proofs of theorems of Brown-Ramírez Alfonsín and Huh-Jeon for rectilinear spatial complete graphs which were proved by computational and combinatorial methods.     

Récréations et mathématiques mondaines au XVIII siècle: le cas de Guyot

In this paper, we study the most popular book of recreational mathematics published in the second half of the 18th century: The Nouvelles Récréations by Guyot. We indicate the motivations of the author, a simple postman, and the conditions which led him to write this book. We describe the spirit of the book and the public at which it aims. The success of the Nouvelles Récréations illustrates the rise of a science in polite society whose main goal is to amaze and amuse. Then, we examine the place of mathematics in this project and analyze the repertoire of problems and tricks. We focus on problems of combinatorics proposed by Guyot, like anagrams and card shuffles, which inspired some real mathematical work on the part of Monge and Gergonne.     

On minimal elements for a partial order of prime knots

In this paper, applying Chebyshev polynomials we give a basic proof of the irreducibility over the complex number field of the defining polynomial of SL₂(C)-character variety of twist knots in infinitely many cases. The irreducibility, combined with a result in the paper of M. Boileau, S. Boyer, A.W. Reid and S. Wang in 2010, shows the minimality of infinitely many twist knots for a partial order on the set of prime knots defined by using surjective group homomorphisms between knot groups. In Appendix B, we also give a straightforward proof of the result of Boileau et al.     

Rational structure on algebraic tangles and closed incompressible surfaces in the complements of algebraically alternating knots and links

Let F be an incompressible, meridionally incompressible and not boundary-parallel surface with boundary in the complement of an algebraic tangle (B,T). Then F separates the strings of T in B and the boundary slope of F is uniquely determined by (B,T) and hence we can define the slope of the algebraic tangle. In addition to the Conway's tangle sum, we define a natural product of two tangles. The slopes and binary operation on algebraic tangles lead to an algebraic structure which is isomorphic to the rational numbers.We introduce a new knot and link class, algebraically alternating knots and links, roughly speaking which are constructed from alternating knots and links by replacing some crossings with algebraic tangles. We give a necessary and sufficient condition for a closed surface to be incompressible and meridionally incompressible in the complement of an algebraically alternating knot or link K. In particular we show that if K is a knot, then the complement of K does not contain such a surface.     

Orientation-reversing actions on lens spaces and Gaussian integers

A finite group action on a lens space L(p,q) has ‘type OR’ if it reverses orientation and has an invariant Heegaard torus whose sides are interchanged by the orientation-reversing elements. In this paper we enumerate the actions of type OR up to equivalence. This leads to a complete classification of geometric finite group actions on amphicheiral lens spaces L(p,q) with p>2. The family of actions of type OR is partially ordered by lifting actions via covering maps. We show that each connected component of this poset may be described in terms of a subset of the lattice of Gaussian integers ordered by divisibility. This results in a correspondence equating equivalence classes of actions of type OR with pairs of Gaussian integers.     

An alternative proof of Lickorish–Wallace theorem

We introduce the concept of s-distance of an unstabilized Heegaard splitting. We prove if a 3-manifold admits an unstabilized genus g Heegaard splitting with s-distance m  , then surgery on some (m−1)$(m-1)$ components link may produce a 3-manifold which admits a stabilized genus g Heegaard splitting. We also give an alternative proof of the fundamental theorem of surgery theory, which states that every closed orientable 3-manifold is obtained by surgery on some link in 3-sphere.     

Existence of least area planes in hyperbolic 3-space with co-compact metric

Let r be a metric on the hyperbolic 3-space induced from an arbitrary Riemannian metric on a closed hyperbolic 3-manifold. In this paper, we will show that any smooth simple loop in S_∞² spans a properly embedded r-least area plane in . This solves Gabai's conjecture ((J. Amer. Math. Soc. 10 (1997) 37), Conjecture 3.12), affirmatively.     

The complete splitting number of a lassoed link

In this paper we define a lassoing on a link, a local addition of a trivial knot to a link. Let K be an s-component link with the Conway polynomial non-zero. Let L be a link which is obtained from K by r-iterated lassoings. The complete splitting number split(L) is greater than or equal to r+s−1, and less than or equal to r+split(K). In particular, we obtain from a knot by r-iterated component-lassoings an algebraically completely splittable link L with split(L)=r. Moreover, we construct a link L whose unlinking number is greater than split(L).     

A dialogue on the use of arithmetic in geometry: Van Ceulen’s and Snellius’s Fundamenta Arithmetica et Geometrica

Snellius’s Fundamenta Arithmetica et Geometrica (1615) is much more than a Latin translation of Ludolph van Ceulen’s Arithmetische en Geometrische Fondamenten. Willebrord Snellius both adapted and commented on the Dutch original in his Fundamenta, and thus his Latin version can be read as a dialogue between representatives of two different approaches to mathematics in the early modern period: Snellius’s humanist approach and Van Ceulen’s practitioner’s approach. This article considers the relationship between the Dutch and Latin versions of the text and, in particular, puts some of their statements on the use of numbers in geometry under the microscope. In addition, Snellius’s use of the Fundamenta as an instrument to further his career is explained.     

Mathematical recreations of Dénes König and his work on graph theory

Dénes König (1884–1944) is a Hungarian mathematician well known for his treatise on graph theory (König, 1936). When he was a student, he published two books on mathematical recreations ( and ). Does his work on mathematical recreations have any relation to his work on graph theory? If yes, how are they connected? To answer these questions, we will examine his books of 1902, 1905 and 1936, and compare them with each other. We will see that the books of 1905 and 1936 include many common topics, and that the treatment of these topics is different between 1905 and 1936.