My basic question is: What is Kirby's torus trick and why did it solve so many problems?
I can get a glimmer of it from looking at Kirby's original paper, "Stable Homeomorphisms and the Annulus Conjecture," and its mathscinet review. However, it is a little bit unclear to me what exactly the torus trick was. It seems that there are two important ideas: the first is that by lifting along ever higher covers one may make obstructions to surgery vanish, and the second is that one may pull back differential structures to tori by immersing them in $\mathbb{R}^n$ and forming diagrams like:
$$ \require{AMScd} \begin{CD} {T^n-D^n}@>{id}>> \widetilde{T^n-D^n}\\ @VVV @VVV \\ \mathbb{R}^n @>{g}>> \mathbb{R}^n \end{CD} $$$$ \require{AMScd} \begin{CD} {T^n-D^n}@>{\mathrm{id}}>> \widetilde{T^n-D^n}\\ @VVV @VVV \\ \mathbb{R}^n @>{g}>> \mathbb{R}^n \end{CD} $$
I looked for a reference that would summarize the situation but I was unable to find one. If there some paper that gives a summary of the trick as well as the context to understand it, I would be grateful to know it. I was hoping to find a succinct summary on Wikipedia but the torus trick link on Kirby's page is sadly red. If someone could give an example of the sort of problem that the torus trick is good at solving that would also be great.
