Anyons only in 2+1 spacetime dimensions - better explanation - Physics Stack Exchange most recent 30 from physics.stackexchange.com 2019-07-20T05:18:12Z https://physics.stackexchange.com/feeds/question/110458 http://www.creativecommons.org/licenses/by-sa/3.0/rdf https://physics.stackexchange.com/q/110458 5 Anyons only in 2+1 spacetime dimensions - better explanation cleanplay https://physics.stackexchange.com/users/25957 2014-04-29T06:58:07Z 2014-04-29T14:53:11Z <p>Regrading why <a href="http://en.wikipedia.org/wiki/Anyon" rel="nofollow">anyons</a> exist only in 2+1 spacetime dimensions (which have an arbitrary phase on exchange), I read the reason that the paths for exchange in 3D are deformable into each other while in 2D, they may not be deformed into each other. So what is next? How to prove from this, that there can be arbitrary phase generated on exchange? I understand that in 2D, we have braids, but can I get a proof for an arbitrary phase on exchange which specifically takes into account the topological equivalence of paths in 3D and not in 2D. </p> https://physics.stackexchange.com/questions/110458/anyons-only-in-21-spacetime-dimensions-better-explanation/110486#110486 6 Answer by David Bar Moshe for Anyons only in 2+1 spacetime dimensions - better explanation David Bar Moshe https://physics.stackexchange.com/users/2190 2014-04-29T11:31:31Z 2014-04-29T14:53:11Z <p>Please, let me first refer you to the <a href="http://www.ifi.unicamp.br/~cabrera/teaching/referencia.pdf">original paper</a> by Leinaas and Myrheim where the existence of anyonic statistics was first predicted before its actual discovery. All the ingredients of the understanding of the special properties of the two dimensional case already exist in this old paper, however, I'll try to cast it in a more modern terminology:</p> <p>By passing to a polar center of mass coordinates, the configuration space of two scalar identical particles in $\mathbb{R}^n$ can be represented as:</p> <p>$$\frac{\mathbb{R}^n \times \mathbb{R}^n}{\sim } = \mathbb{R}^n \times \mathbb{R}^+\times \frac{S^{n-1}}{\mathbb{Z}_2}$$</p> <p>Where: $\sim$ is the identical particles equivalence relation, the $\mathbb{R}^n$ on the right hand side is the center of mass coordinates, $\mathbb{R}^+$ is the radial coordinate, and $\frac{S^n}{\mathbb{Z}_2}$ are the angular coordinates. The equivalence relation corresponding to the exchange in the angular coordinates is simply the identification of the antipodal points on the sphere's surface, which accounts for the factor ${\mathbb{Z}_2}$ in the denominator. The central of mass and the radial coordinates are transparent to the exchange, thus we may concentrate on the angular coordinates, which actually consist of the real projective spaces: </p> <p>$$RP^n = \frac{S^n}{\mathbb{Z}_2}$$</p> <p>These spaces are not simply connected, their fundamental groups can be easily deduced from the contractibility of the closed loops on the sphere with the identification of the antipodal points as indicated in the question: </p> <p>$$\pi_1(RP^n ) = \mathbb{Z}_2, n&gt;1$$</p> <p>$$\pi_1(RP^1 ) = \mathbb{Z}$$</p> <p>The usual way to quantize on a non-simply connected manifold is to construct wave functions on the universal covering with appropriate transformation properties upon the exchange:</p> <p>$$\psi(x^a) = e^{i\phi} \psi(x)$$</p> <p>Where $x^a$ is the antipodal point to $x$. Of course, the transformation can be only a phase multiplication, because the choice of the point or its antipode should not change the expectation values of the observables since both points correspond to the same physical point on the configuration space.</p> <p>Moreover, since $S^n$ is simply connected then, the map $S^n \rightarrow RP^n$ is a covering map, therefore, $RP^n = \frac{S^n}{\pi_1(RP^n ) }$. The phase transformation must be a representation of $\pi_1(RP^n )$. In our case, when $n&gt;2$, $\mathbb{Z}_2$ has only two phase representation, the trivial representation and the alternating representation. </p> <p>However, in the two dimensional case, we may choose a representation $\gamma$ in which the generator $\Gamma$ of $\mathbb{Z}$ is represented by an arbitrary constant phase $e^{i\phi}$, then the representation of an arbitrary element in $\mathbb{Z}$ will be:</p> <p>$$\gamma(\Gamma^n) = e^{in\phi}$$</p> <p>Now, please remember that in the geometric picture of the fundamental group, the generators are represented by closed loops, thus the representation $\gamma$ assigns a phase to every closed loop (such that the composition law of the loops is reflected in the multiplication of the phases). This assignment can be described as the existence inequivalent quantizations corresponding to the set of maps:</p> <p>$$\mathrm{Hom}(\pi_1(RP^n ), U(1))$$</p> <p>When $n&gt;2$, this set contains only two classes, (Bosons and fermions), while when $n=2$, this set is infinite.</p> <p>In summary, there will be a set of possible quantizations, in each set the angular wave equation should be solved with a different condition upon the exchange of the antipodal points on the sphere. The solution will correspond to a different particle type.</p> <p>Leinaas and Myrheim, solved the problem of the identical two dimensional isotropic harmonic oscillator with wave functions transforming with an arbitrary phase upon the antipodal identification and found that the spectrum depends on the transformation phase factor.</p> <p>Now, according to the classification theorem of flat connections, every (projective) representation of the fundamental group can be associated to a flat connection $A$ such that:</p> <p>$$\gamma(\Gamma) = e^{\int_{\Gamma} A_{\gamma}}$$</p> <p>This connection is essential for the construction of the quantum operators corresponding to the classical functions on the phase space according the Koopman - Van Hove representation:</p> <p>$$\hat{O}_{\gamma} = O - i \hbar X_{O} -A_{\gamma} (X_{O} )$$</p> <p>Where $O$ is a function on the phase space, $\hat{O}_{\gamma}$ is the corresponding quantum operator, and $X_O$ is the corresponding Hamiltonian vector field.</p> <p>By the way, when the configuration space is $S^1$, this flat connection is the famous Aharonov-Bohm connection.</p> <p>For further reading on the classification of inequivalent quantizations, please see the following two articles by <a href="http://arxiv.org/abs/1302.3637">N.P. Landsman</a> and by <a href="http://arxiv.org/abs/math-ph/0104013v2">Doebner Šťovíček, and Tolar </a>. Actually, the first author (Landsman) has reservations (footnote 13 in the article) over the customary explanation using parallel transport and prefers the induced representation reasoning that I tried to follow. </p>