Surgery Exact Triangles in Instanton Theory

We prove an exact triangle relating the knot instanton homology to the instanton homology of surgeries along the knot. As the knot instanton homology is computable in many instances, this sheds some light on the instanton homology of closed 3-manifolds. We illustrate this with computations in the case of some surgeries on the trefoil which are different from the analogous groups in other Floer theories such as Heegaard Floer and monopole Floer. Finally, we sketch the proof of the triangle.