Oliver T. Dasbach
Abstract:Lueck expressed the Gromov norm of a knot complement in terms of an infinite series that can be computed from a presentation of the fundamental group of the knot complement.
In this note we show that Lueck's formula, applied to torus knots, yields surprising power series expansions for the logarithm function. This generalizes an infinite series of Lehmer for the natural logarithm of 4.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to derive the power series expansion of the natural logarithm function by studying the geometric and topological properties of knot complements, especially torus knots. Specifically, the author uses the Lück formula, which expresses the Gromov norm of the knot complement as an infinite series that can be calculated from a representation of the fundamental group of the knot complement.
### Main problems and goals
1. **Derive the power series expansion of the natural logarithm**:
- The author shows that when the Lück formula is applied to torus knots, a surprising power series expansion of the natural logarithm function can be obtained. This generalizes Lehmer's infinite series for the natural logarithm of 4.
2. **Understand the geometry and topology of knot complements**:
- By studying the fundamental group of knot complements and its representations, the author explores the geometric and topological properties of these spaces and relates them to the power series expansion of the natural logarithm.
3. **Verify the formula in specific cases**:
- The paper also calculates some specific examples in detail, such as the trefoil knot, to verify the correctness of the Lück formula and show its application in different cases.
### Specific content
- **Background introduction**:
- The paper first introduces the basic concepts and notations of knot complements, including the representation of the fundamental group, the Fox Jacobian matrix, etc.
- **Lück formula**:
- The Lück formula expresses the Gromov norm of the knot complement as an infinite series that depends on a representation of the fundamental group.
- **Application of torus knots**:
- For the torus knot \(T(p, q)\), the author shows how to derive the power series expansion of the natural logarithm from the representation of its fundamental group.
- **Specific examples**:
- For example, for the trefoil knot \(T(2, 3)\), the author calculates in detail the specific form on the right side of the Lück formula and shows its relationship with the known infinite series of the natural logarithm of 4.
- **Generating function**:
- The paper also discusses the power series expansion of the natural logarithm from the perspective of the generating function, further verifying the correctness of the results.
### Conclusion
Through the above research, the author not only successfully derives the power series expansion of the natural logarithm but also shows the profound connection between the geometric and topological properties of knot complements and the natural logarithm. This provides new perspectives and tools for subsequent research.