“…Therefore, given two braids α, β ∈ B n and a root of unity ω, one can consider the Meyer cocycle of the two unitary matrices B ω (α) and B ω (β). The main theorem of [11] is the equality (1) sign ω ( αβ) − sign ω ( α) − sign ω ( β) = −Meyer (B ω (α), B ω (β)) for all α, β ∈ B n and ω ∈ S 1 of order coprime to n. (These authors actually work with the braid group on infinitely many strands B ∞ , and obtain an equality valid for any ω of finite order; however, their proof does yield the finer result stated above.) Let us mention that this equality not only relates two very much studied objects in knot theory, but also gives a very efficient algorithm for the computation of the signature, as the Meyer cocycle is easy to calculate (and the signature of unlinks vanishes).…”