Invariants And Pictures: Low-dimensional Topology And Combinatorial Group Theory. Vassily Olegovich Manturov
j, k, l, m,
(4)
Just like we formulated the
It turns out that groups
says that the product of diagonals of an inscribed quadrilateral equals the sum of products of its opposite faces, see Fig. 0.8.
Fig. 0.8The Ptolemy relation
We can use it when considering triangulations of a given surface: when performing a flip, we replace one diagonal (x) with the other diagonal (y) by using this relation. It is known that if we consider all five triangulations of the pentagon and perform five flips all the way around, we return to the initial triangulation with the same label, see Fig. 0.6.
This well known fact gives rise to presentations of
Thus, by analysing the groups
(1)Invariants of braids on 2-surfaces valued in polytopes;
(2)Invariants of knots;
(3)Relations to groups
(4)Braids on
Going slightly beyond, we can investigate braids in
We will not say much about the groups
(1)Generators (codimension 1) correspond to simplicial (k − 2)-polytopes with k vertices;
(2)The most interesting relations (codimension 2) correspond to (k − 2)-polytopes with k + 1 vertices.
It would be extremely interesting to establish the connection between
It is also worth mentioning, that the relations in the group
Finally, our invariants may not be just group-valued: some variations of
Note that the present book is very much open-ended. On one hand, the invariants of manifolds are calculated in some explicit cases. On the other hand, one can vary “the
The present book has the following structure. In Part 1 we review basic notions of knot theory and combinatorial group theory: groups and their presentations, van Kampen diagrams, braid theory, knot theories and the theory of 2-dimensional knots. Part 2 is devoted to the parity theory and its applications to cobordisms of knots and free knots. In Part 3 we present the theory of
Vassily Olegovich Manturov 2019
_____________________________
1After I constructed such invariant, I learnt that free knots were invented by Turaev five years before that and thought to be trivial [Turaev, 2007], hence, I disproved Turaev’s conjecture without knowing that.
2I.M. Nikonov coauthored my first published paper about
Acknowledgments
The authors would like to express their heartfelt gratitude to L. A Bokut’, H. Boden, J. S. Carter, A. T. Fomenko, S. G. Gukov, Y. Han, D. P. Ilyutko, A. B. Karpov, R. M. Kashaev, L. H. Kauffman, M. G. Khovanov, A. A. Klyachko, P. S. Kolesnikov, I. G. Korepanov, S. V. Matveev, A. Yu. Olshanskii, W. Rushworth, G. I. Sharygin, V. A. Vassiliev, Zheyan Wan, Jun Wang, J. Wu and Zerui Zhang for their interest and various useful discussions on the present work. We are grateful to Efim I. Zelmanov for pointing out the resemblance between the groups
The first named author would like to express his special thanks to
“I learnt a lot about word problems and conjugacy problems in the braid group from him. Meeting him many times during the last twenty years increased my knowledge in braid group theory. It is a great loss for the mathematical community that he passed away in 2019.”
— Vassily Olegovich Manturov
The first named author was supported by the Laboratory of Topology and Dynamics, Novosibirsk State University (grant No. 14.Y26.31.0025 of the government of the Russian Federation). The second named author was supported by the program “Leading Scientific Schools” (grant no. NSh-6399.2018.1, Agreement No. 075-02-2018-867) and by the Russian Foundation for Basic Research (grant No. 19-01-00775-a). The fourth named author was supported by the program “Leading Scientific Schools” (grant no. NSh-6399.2018.1, Agreement No. 075-02-2018-867) and by the Russian Foundation for Basic Research (grant No. 18-01-00398-a).