Preface |
|
v | |
Acknowledgments |
|
xvii | |
Introduction |
|
1 | (2) |
|
1 Groups. Small Cancellations. Greendlinger Theorem |
|
|
3 | (22) |
|
1.1 Group diagrams language |
|
|
3 | (10) |
|
1.1.1 Preliminary examples |
|
|
3 | (2) |
|
1.1.2 The notion of a diagram of a group |
|
|
5 | (2) |
|
1.1.3 The van Kampen lemma |
|
|
7 | (4) |
|
1.1.4 Unoriented diagrams |
|
|
11 | (2) |
|
1.2 Small cancellation theory |
|
|
13 | (5) |
|
1.2.1 Small cancellation conditions |
|
|
13 | (1) |
|
1.2.2 The Greendlinger theorem |
|
|
14 | (4) |
|
1.3 Algorithmic problems and the Dehn algorithm |
|
|
18 | (2) |
|
|
20 | (5) |
|
|
25 | (22) |
|
2.1 Definitions of the braid group |
|
|
25 | (3) |
|
2.2 The stable braid group and the pure braid group |
|
|
28 | (1) |
|
2.3 The curve algorithm for braids recognition |
|
|
29 | (9) |
|
2.3.1 Construction of the invariant |
|
|
30 | (5) |
|
2.3.2 Algebraic description of the invariant |
|
|
35 | (3) |
|
|
38 | (9) |
|
2.4.1 Definitions of virtual braids |
|
|
38 | (2) |
|
2.4.2 Invariants of virtual braids |
|
|
40 | (7) |
|
3 Curves on Surfaces. Knots and Virtual Knots |
|
|
47 | (28) |
|
3.1 Basic notions of knot theory |
|
|
47 | (8) |
|
3.2 Curve reduction on surfaces |
|
|
55 | (15) |
|
|
57 | (7) |
|
3.2.2 Minimal curves in an annulus |
|
|
64 | (3) |
|
3.2.3 Proof of Theorems 3.3 and 3.4 |
|
|
67 | (1) |
|
3.2.4 Operations on curves on a surface |
|
|
68 | (2) |
|
3.3 Links as braid closures |
|
|
70 | (5) |
|
|
70 | (2) |
|
|
72 | (1) |
|
3.3.3 An analogue of Markov's theorem in the virtual case |
|
|
73 | (2) |
|
4 Two-dimensional Knots and Links |
|
|
75 | (18) |
|
|
76 | (6) |
|
|
82 | (1) |
|
4.3 Other types of 2-dimensional knotted surfaces |
|
|
83 | (1) |
|
4.4 Smoothing on 2-dimensional knots |
|
|
84 | (9) |
|
4.4.1 The notion of smoothing |
|
|
85 | (2) |
|
4.4.2 The smoothing process in terms of the framing change |
|
|
87 | (2) |
|
4.4.3 Generalised F-lemma |
|
|
89 | (4) |
|
|
93 | (62) |
|
5 Parity in Knot Theories. The Parity Bracket |
|
|
95 | (38) |
|
5.1 The Gaufiian parity and the parity bracket |
|
|
96 | (9) |
|
5.1.1 The Gaufiian parity |
|
|
97 | (2) |
|
5.1.2 Smoothings of knot diagrams |
|
|
99 | (1) |
|
5.1.3 The parity bracket invariant |
|
|
100 | (4) |
|
5.1.4 The bracket invariant with integer coefficients |
|
|
104 | (1) |
|
|
105 | (2) |
|
5.3 Parity in terms of category theory |
|
|
107 | (2) |
|
|
109 | (2) |
|
5.5 Parities on 2-knots and links |
|
|
111 | (6) |
|
5.5.1 The Gaufiian parity |
|
|
111 | (2) |
|
5.5.2 General parity principle |
|
|
113 | (4) |
|
5.6 Parity Projection. Weak Parity |
|
|
117 | (16) |
|
5.6.1 Gaufiian parity and parity projection |
|
|
117 | (6) |
|
5.6.2 The notion of weak parity |
|
|
123 | (2) |
|
5.6.3 Functorial mapping for Gaufiian parity |
|
|
125 | (4) |
|
5.6.4 The parity hierarchy on virtual knots |
|
|
129 | (4) |
|
|
133 | (22) |
|
6.1 Cobordism in knot theories |
|
|
133 | (7) |
|
|
133 | (4) |
|
|
137 | (3) |
|
|
140 | (10) |
|
|
140 | (4) |
|
6.2.2 Iteratively odd framed graphs |
|
|
144 | (3) |
|
6.2.3 Multicomponent links |
|
|
147 | (1) |
|
6.2.4 Other results on free knot cobordisms |
|
|
148 | (2) |
|
6.3 L-invariant as an obstruction to sliceness |
|
|
150 | (5) |
|
|
155 | (128) |
|
7 General Theory of Invariants of Dynamical Systems |
|
|
157 | (14) |
|
7.1 Dynamical systems and their properties |
|
|
157 | (3) |
|
|
160 | (3) |
|
|
163 | (6) |
|
|
169 | (2) |
|
8 Groups Gkn and Their Homomorphisms |
|
|
171 | (18) |
|
8.1 Homomorphism of pure braids into G3n |
|
|
172 | (4) |
|
8.2 Homomorphism of pure braids into G4n |
|
|
176 | (2) |
|
8.3 Homomorphism into a free group |
|
|
178 | (1) |
|
8.4 Free groups and crossing numbers |
|
|
179 | (3) |
|
8.5 Proof of Proposition 8.3 |
|
|
182 | (7) |
|
9 Generalisations of the Groups Gkn |
|
|
189 | (34) |
|
9.1 Indices from G3n and Brunnian braids |
|
|
189 | (4) |
|
9.2 Groups G2n with parity and points |
|
|
193 | (10) |
|
9.2.1 Connection between G2n,p and Gn,d |
|
|
195 | (4) |
|
9.2.2 Connection between G2n,d and G2n+1 |
|
|
199 | (4) |
|
9.3 Parity for G2n and invariants of pure braids |
|
|
203 | (3) |
|
9.4 Group G3n with imaginary generators |
|
|
206 | (7) |
|
9.4.1 Homomorphisms from classical braids to G3n |
|
|
206 | (6) |
|
9.4.2 Homomorphisms from G3n to G3n+1 |
|
|
212 | (1) |
|
9.5 The groups Gkn; for simplicial complexes |
|
|
213 | (4) |
|
9.5.1 Gkn-groups for simplicial complexes |
|
|
213 | (2) |
|
9.5.2 The word problem for G2(K) |
|
|
215 | (2) |
|
|
217 | (6) |
|
10 Representations of the Groups Gkn |
|
|
223 | (16) |
|
10.1 Faithful representation of Coxeter groups |
|
|
223 | (12) |
|
10.1.1 Coxeter group and its linear representation |
|
|
226 | (3) |
|
10.1.2 Faithful representation of Coxeter groups |
|
|
229 | (6) |
|
10.2 Groups G2n and Coxeter groups C(n, 2) |
|
|
235 | (4) |
|
11 Realisation of Spaces with G*kn Action |
|
|
239 | (16) |
|
11.1 Realisation of the groups Gk k+1 |
|
|
239 | (10) |
|
11.1.1 Preliminary definitions |
|
|
240 | (1) |
|
11.1.2 The readability of Gk k+1 |
|
|
241 | (1) |
|
11.1.3 Constructing a braid from a word in Gk k+1 |
|
|
242 | (4) |
|
11.1.4 The group Hk and the algebraic lemma |
|
|
246 | (3) |
|
11.2 Realisation of Gkn,n ≠ k + l |
|
|
249 | (3) |
|
11.2.1 A simple partial case |
|
|
250 | (1) |
|
11.2.2 General construction |
|
|
251 | (1) |
|
|
252 | (3) |
|
12 Word and Conjugacy Problems in Gk k5+1 Groups |
|
|
255 | (16) |
|
12.1 Conjugacy problem in G34 |
|
|
255 | (5) |
|
12.1.1 Existence of the algorithmic solution |
|
|
255 | (3) |
|
12.1.2 Algorithm of solving the conjugacy problem in G34 |
|
|
258 | (2) |
|
12.2 The word problem for G45 |
|
|
260 | (11) |
|
12.2.1 Presentation of the group H4 |
|
|
260 | (2) |
|
12.2.2 The Howie diagrams |
|
|
262 | (2) |
|
12.2.3 The solution to the word problem in H4 |
|
|
264 | (7) |
|
13 The Groups Gkn and Invariants of Manifolds |
|
|
271 | (12) |
|
|
271 | (2) |
|
13.2 Embedded hypersurfaces |
|
|
273 | (2) |
|
|
273 | (2) |
|
13.3 Immersed hypersurfaces |
|
|
275 | (1) |
|
13.4 Circles in 2-manifolds and the group G3n |
|
|
276 | (1) |
|
13.5 Immersed curves in M2 |
|
|
277 | (1) |
|
13.6 A map from knots to 2-knots |
|
|
278 | (5) |
|
Manifolds of Triangulations |
|
|
283 | (48) |
|
|
285 | (4) |
|
14.1 The manifold of triangulations |
|
|
286 | (3) |
|
15 The Two-dimensional Case |
|
|
289 | (26) |
|
|
290 | (5) |
|
15.1.1 Geometric description |
|
|
291 | (1) |
|
15.1.2 Algebraic description |
|
|
292 | (3) |
|
15.2 A group homomorphism from PBn to Γ4n × Γ4n |
|
|
295 | (2) |
|
15.2.1 Geometric description |
|
|
295 | (1) |
|
15.2.2 Algebraic description |
|
|
296 | (1) |
|
15.3 A group homomorphism from PBn to Γ4n ×...x Γ4n |
|
|
297 | (4) |
|
15.4 Braids in R3 and groups Γn4 |
|
|
301 | (3) |
|
15.5 Lines moving on the plane and the group |
|
|
304 | (5) |
|
15.5.1 A map from a group of good moving lines to Γ4n |
|
|
305 | (1) |
|
15.5.2 A map from a group of good moving lines to Γn4 |
|
|
305 | (1) |
|
15.5.3 A map from a group of good moving unit circles to Γn4 |
|
|
306 | (3) |
|
15.6 A representation of braids via triangulations |
|
|
309 | (3) |
|
15.7 Decorated triangulations |
|
|
312 | (3) |
|
16 The Three-dimensional Case |
|
|
315 | (16) |
|
|
315 | (5) |
|
16.2 The general strategy of defining Γn4 for arbitrary k |
|
|
320 | (7) |
|
|
327 | (4) |
|
|
331 | (18) |
|
|
333 | (16) |
|
17.1 The groups Gkn and Γk4 |
|
|
333 | (4) |
|
17.1.1 Algebraic problems |
|
|
333 | (2) |
|
17.1.2 Topological problems |
|
|
335 | (2) |
|
17.1.3 Geometric problems |
|
|
337 | (1) |
|
|
337 | (1) |
|
|
338 | (1) |
|
17.4 Free knot cobordisms |
|
|
338 | (1) |
|
|
338 | (1) |
|
|
339 | (2) |
|
17.5.1 Picture-valued solutions of the Yang-Baxter equations |
|
|
339 | (1) |
|
17.5.2 Picture-valued classical knot invariants |
|
|
339 | (2) |
|
17.5.3 Categorification of polynomial invariants |
|
|
341 | (1) |
|
|
341 | (2) |
|
|
343 | (1) |
|
17.7.1 Parity for surface knots |
|
|
343 | (1) |
|
|
344 | (5) |
|
|
344 | (1) |
|
|
344 | (2) |
|
17.8.3 Degree of knots in Sg × S1 |
|
|
346 | (2) |
|
|
348 | (1) |
Bibliography |
|
349 | (6) |
Index |
|
355 | |