I. G. Korepanov
Abstract: We construct knot invariants on the basis of ascribing Euclidean geometric values to a triangulation of sphere S^3 where the knot lies. The main new feature of this construction compared to the author's earlier papers on manifold invariants is that now nonzero "deficit angles" (in the terminology of Regge calculus) can also be handled. Moreover, the knot goes exactly along those edges of triangulations that have nonzero deficit angles.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to construct a new knot invariant, which is based on assigning Euclidean geometric values to a triangulation of the sphere \(S^3\), with the knot along certain edges. Compared with the author's previous work on manifold invariants, the main new feature of this paper is the ability to handle non - zero "deficit angles". Specifically:
1. **Problem Background**:
- In knot theory, a knot invariant is a mathematical tool used to distinguish different knots.
- Traditional knot invariants are usually constructed by algebraic or topological methods, while this paper proposes a geometric - based method.
2. **Main Innovation Points**:
- Non - zero "deficit angles" are introduced, which are defined as the sum of negative dihedral angles in Regge calculus.
- The knot lies exactly along those edges with non - zero deficit angles.
3. **Specific Methods**:
- By triangulating \(S^3\) and assigning Euclidean lengths to each edge, then calculate the dihedral angles and tetrahedron volumes.
- According to certain orientation considerations, take negative signs for the dihedral angles and volumes of some tetrahedra.
- Construct an acyclic complex, whose vector space consists of differentials of geometric values.
- Propose a new key algebraic relation to handle the case of non - zero deficit angles.
4. **Applications**:
- Through this new algebraic relation, a knot invariant can be naturally constructed.
- The invariant expression involves the torsion of the acyclic complex, edge lengths and tetrahedron volumes.
5. **Formula Representation**:
- The expression of the knot invariant \(I(K)\) is:
\[
I(K)=\tau\prod_{l\notin K}'l^{2}\prod_{\Delta}\left(- 2(1 - \cos\phi)\right)^{N_{\text{knot}}}
\]
where:
- \(\tau\) is the torsion of the complex (1).
- \(l\notin K\) means the edges not on the knot.
- \(N_{\text{knot}}\) is the number of vertices located on the knot.
- \(\phi\) is the rotation angle.
6. **Conclusion**:
- By proving that this invariant remains unchanged under Pachner moves, it is verified that \(I(K)\) is indeed a knot invariant.
In summary, this paper aims to construct a new knot invariant by introducing the concept of non - zero deficit angles, using Euclidean geometric values and algebraic relations. This method not only enriches the research means of knot theory, but may also find applications in discrete gravity theories (such as Regge calculus).