Knots, Braids and First Order Logic

The fact that (b_1,m_1)\approx (b_2,m_2) implies \lambda(b_1,m_1) \equiv \lambda(b_2, m_2) follows from the Markov’s Theorem and Remark  4.3. For the converse, let l_1 and l_2 be two links stably equivalent to each other, such that \lambda(b_1,m_1) = l_1 and \lambda(b_2, m_2) = l_2. It is easy to see that, for some k_1,k_2\geq 0, \lambda(b_1, m_1+k_1) is isotopic to \lambda(b_2,m_2+k_2) (we can in fact take one of k_1 and k_2 to be 0). Then by Markov’s theorem, (b_1,m_1+k)\sim (b_2, m_2), hence (b_1,m_1)\approx (b_2,m_2).

We begin by constructing the function \Lambda. For each n>1, there is a homomorphism f_n:B_n\to B_{\infty} determined by f_n(\sigma_i)=\sigma_{i}. The function is well defined because the braid relations are preserved in B_{\infty}. These functions determine a function

given by

Observe that

By lemma  4.7 , the links \lambda(b, m_1) and \lambda(b, m_2) are stably equivalent for m_1 and m_2 such that b\in B_{m_1} and b\in B_{m_2}. Thus \lambda and f induce a function

given by

The fact that the map is surjective follows from Alexander’s Theorem. Now we prove that \Lambda(b_1) = \Lambda(b_2) \Leftrightarrow b_1 \equiv b_2. Consider b_1, b_2 \in B_{\infty} such that \Lambda(b_1) = \Lambda(b_2). Lemma  4.7 implies that for any x\in f^{-1}(b_1) and y\in f^{-1}(b_2), x\approx y. In order to prove that \Lambda(b_1) = \Lambda(b_2) \implies b_1 \equiv b_2, it suffices to prove that for x, y \in \mathcal{B}, x\approx y \implies f(x)\equiv f(y). In terms of the generating set of the relation (\approx), it translates to proving the following

1. For b\in B_{m_1},B_{m_2}, f(b, m_1) \equiv f(b, m_2)

2. For a,b\in B_{m}, f(b, m) \equiv f(aba^{-1}, m).

3. For b\in B_{m}, f(b, m) \equiv f(\sigma_1 b, m+1)

4. For b\in B_{m}, f(b, m) \equiv f(\sigma_1^{-1} b, m+1).

The relation f(b, m_1) \equiv f(b, m_2) follows from the fact that f(b_1, m_1) = f(b_1, m_2) and \equiv is an equivalence relation. f(b, m) \equiv f(aba^{-1}, m) follows from the first axiom of generating set of \equiv. The third and fourth conditions are easy to verify.

In order to prove that b_1\equiv b_2 \implies \Lambda(b_1) = \Lambda(b_2), from Theorem 4.5 it suffices to check that for some a_1\in f^{-1}(b_1) and a_2\in f^{-1}(b_2), a_1 \approx a_2. Since Markov moves generate the equivalence relation \equiv on B_{\infty} , it suffices to check that if two elements are related to each other by a Markov move then the elements in their inverse images are \approx equivalent to each other.

Consider the first Markov move for B_{\infty}, b\equiv aba^{-1}. For an appropriate m such that b, aba^{-1} \in B_m, (aba^{-1}, m) \sim (b, m). Thus from Theorem 4.5, \lambda(aba^{-1}) = \lambda (b). Similarly, (b, m) \sim (\sigma_1^{\pm 1}b, m+1). Thus b_1\equiv b_2 \implies \Lambda(b_1) = \Lambda(b_2).

We begin by proving that (B_\infty, T, \cdot ,\equiv, \sigma_1, \sigma_1^{-1}) satisfies the second braid axiom. From the definitions of B_{\infty} and T, it is easy to derive that (B_\infty, T, \cdot ,\equiv, \sigma_1, \sigma_1^{-1}) satisfies the other link axioms. Consider an arbitrarily chosen element b\in B_{\infty}. Since B_{\infty} is generated by the set \{\sigma_i\}_{i\in \mathbb{N}}, b can be represented in terms of generators as \prod_{k=1}^n{\sigma_{i_k}^{\epsilon_k}}, where i_k\in \mathbb{N} and \epsilon_k is 1 or -1. This leads us to the following equality

From the definition of B_{\infty}, we know that \sigma_i and \sigma_j commute with respect to the product operation if |i -j|\geq 2. This implies that for i_k \in \mathbb{N},

which further implies that

. Since b was an arbitrarily chosen element of B_{\infty}, it follows that

.

In order to prove that the map is well defined, it suffices to prove that

1. T_1^{i}(\sigma_1')*T_1^{j}(\sigma_1') = T_1^{j}(\sigma_1')*T_1^{i}(\sigma_1'), For i,j such that j\geq i+2

2. T_1^{i}(\sigma_1')*T_1^{i+1}(\sigma_1')* T_1^{i}(\sigma_1') = T_1^{i+1}(\sigma_1')*T_1^{i}(\sigma_1')*T_1^{i+1}(\sigma_1')

Since (S, T_1, *, \equiv', 1' \sigma_1', \bar\sigma_1') is a model of the link axioms,

Consider two arbitrarily chosen natural numbers i and j such that j-i-2\geq 0. If we substitute T_1^{j-i-2}(\sigma_1') for b we get,

Which further leads to the equality,

From the homomorphism action we get,

Thus condition (1) holds. From the first braid axiom it follows that,

Given i\in\mathbb{N}, T_1^i is a homomorphism. By applying T_1^i to the both the sides of the above equation,

Thus f is well defined.

From Theorem  6.1, we know that (B_\infty, T, \cdot ,\equiv, \sigma_1, \sigma_1^{-1}) is a model of the link axioms and thus the first axiom in the definition of a canonical model holds true. Since every element in B_\infty is of the form \prod_{k=1}^n T^{i_k}(\sigma_1^{\epsilon_k}), where i_k \in \mathbb{N}\cup\{0\} and \epsilon_k is 1 or -1, it follows that every element is a closed term of L. Let \prod_{k=1}^n{\sigma_{i_k}^{\epsilon_k}} be an arbitrarily chosen element of B_\infty. From the definition of T it follows that

Since f is a group homomorphism,

Which implies that

In order to prove that f is a homomorphism of models, it now suffices to prove that if two elements are related by any of the generating relations of the stable equivalence, then their images under f are related to each other. Since (S, T_1, * , \equiv', 1, \sigma'_1, \bar\sigma_1') satisfies the Markov move axioms and f preserves multiplication and identity,

From the equality it follows that f\circ T = T_1\circ f,

and

hence it follows that

The uniqueness of f remains to be proved. Any homomorphism g between the given models maps \sigma_1 to \sigma_1' and has to satisfy the condition g\circ T = T_1\circ g. By applying induction, it follows that g\circ T^i(\sigma_1) = T^i(g(\sigma_1)) = T^i(f(\sigma_1)) for every i\in \mathbb{N}. Thus for any given homomorphism g and any given i\in \mathbb{N}, image of g(\sigma_i) is T_1^i(f(\sigma_1)). Since the elements of the set \{\sigma_i\}_{i\in \mathbb{N}} generate B_{\infty}, it follows that g = f.