I am an undergraduate wanting to understand anyons (in order to understand topological quantum computing). The foundational observation upon which the existence of anyons rests seems to be that the effect of permutations on identical systems is of a different nature when considering space of dimension $d \leq 2$ versus when considering space of dimension $d > 2$.
In order to even say "is of a different nature" we must first have a notion of what happens when we permute an identitcal system embedded in 3D space. In chapter 7 of Sakurai's Modern Quantum Mechanics 3ed., it is presented as a trivial result that acting on a system of identical particles with the permutation operation twice is the same as applying the identity operator. The result is of course trivial given that we accept the definition Sakurai provides for the permutation operator. However, one of the original papers on anyons finds fault with this definition (https://www.ifi.unicamp.br/~cabrera/teaching/referencia.pdf).
Question: So, what is the rigorous, theoretical explanation for what the permutation operator is and how its action depends on the dimension of space we are considering?