23

Everyone familiar with spinors presumably knows the quote by Sir Michael Atiyah, that spinors are mysterious in spite of their algebra being formally understood. I have heard this sentiment echoed in other places, too. Being a novice to the subject, I am curious, what makes them so mysterious? It seems as though their definition is rather straightforward, that they are well behaved objects and that they complement the more intuitive notions from differential geometry.

Where does the mystery kick in? Is it because there hasn't been some kind of big classification theorem yet? Of course, the concept of a spinor is far less intuitive than that of a vector. But there must be more to it than that. I would love some references to read about this further. Although there are plenty of texts to read about spinors, which I hope to do in due time, I am in particular looking for something that expands upon this "mysterious" nature.

Paul Frost
  • 87,968
  • 9
    Atiyah is presumably talking about getting an intuitive geometric sense of them. By contrast, for example, we have a quite clear geometric picture of what a geodesic on a Riemannian manifold is; you can build physical models and really get your hands on them. It's much less clear (to me, anyway) in what sense one can do this for spinors. – Qiaochu Yuan Dec 26 '20 at 01:09
  • 1
    I am not convinced that that is what he meant. The quote seems to clearly imply that we do not yet understand spinors at a fundamental level, hence the comparison to the square root of $-1$, which took a long time to be understood. He specifically said it might take hundreds of years to "understand" spinors. Not just to get an intuition for them. Suppose you are correct though. Do you think we do understand spinors, apart from geometric intuition? – user569579 Dec 26 '20 at 01:30
  • 4
    Some of the quotations in this question may (or may not!) be of interest. – Will Orrick Dec 27 '20 at 14:14
  • It would help if you were to spell out how much you know about spinors. See my comment at the end of C.F.G.'s answer. If all what you know about spinors is contained in the question in its current form, then, I believe, your question is impossible to answer. In this case, my suggestion is to read first either one of the texts I recommended here. – Moishe Kohan Apr 14 '21 at 23:37
  • I figured that since it is a soft question, I would try to avoid technical details. I am relatively well familiar with Clifford algebras, double coverings of SO(n), associated bundle of the spin representation and the Dirac operator. I am by no means an expert but I do believe I could follow a more technical answer than the one you linked to. I am familiar with all the concepts in your comment below. – user569579 Apr 15 '21 at 09:58

2 Answers2

17

Let me start by defining spinors (actually, this will take most of the answer). Just from this definition, I hope, it will be clear that the discussion is several levels of complexity higher than the definition of tensors (more precisely, tensor fields) on smooth manifolds. While for tensors on manifolds (e.g. differential forms, which Atiyah compares to spinors) we have a nice local description, which one can explain to an undergraduate student in a Calc-IV class (I am talking about differential forms), I do not believe it is feasible in the case of spinors.

  1. The first step is to define the Clifford algebra $Cl_n$ associated with ${\mathbb R}^n$ equipped with the (standard) positive-definite quadratic form. The definition is not bad but is purely algebraic, lacking the geometric picture of volumes that one has when defining the exterior algebra.

  2. Define Clifford modules. (In most cases, people use just one, the unique, up to an isomorphism, irreducible module, called $\Delta_n$.) A Clifford module is a vector space equipped with an action of the Clifford algebra $Cl_n$.

As Atiyah says, the algebraic structure of such modules is well-understood, and $\Delta_n$ can be described explicitly but how does one think of these geometrically?

Recall that the group $Spin(n)$ is the 2-fold connected covering group of the orthogonal group $SO(n)$. Each Clifford module $M$ comes with a representation of the spinor group $Spin(n)$, a linear action of $Spin(n)$ on the real vector space underlying $M$, commuting with Clifford multiplication. Again, there is no mystery here, the representation comes from the inclusion $Spin(n)\subset Cl_n$ and this inclusion is frequently used to define what $Spin(n)$ is. Elements of $M$ are frequently called "spinors." They bare the same relation to the true spinors (spinor fields) as elements of the exterior algebra $\Lambda^\bullet {\mathbb R}^n$ to differential forms on a smooth manifold.

  1. At this point, we are done with the "linear algebra" part of the discussion and proceed to spinor fields. First, pick a Riemannian metric $h$ on a smooth oriented $n$-dimensional manifold $X$ (in fact, it suffices to pick a conformal structure). This feels odd (after all, we do not need any metric to define tensor fields), but does have a geometric explanation, due to non-linearity of the 2-fold covering group of $GL_+(n, {\mathbb R})$. In contrast, the 2-fold covering group of the conformal group $CSO(n)={\mathbb R}_+\times SO(n)$ is linear.

  2. Now, comes the least geometric part (or, more precisely, the first truly non-geometric ingredient). Instead of working with what we want, namely, tensor-like quantities on $X$, we switch to the principal $SO(n)$-bundle $P_{SO(n)}$ over $X$ associated with the Riemannian metric $h$. This locally-trivial principal bundle can described by a set of transition maps $$ g_{\alpha\beta}: U_\alpha\cap U_\beta\to SO(n), $$ where $U_\alpha, U_\beta$ are suitable open subsets of $X$. Why is this non-geometric? Because, to go from our locally defined Riemannian metric $h_{ij}(x)dx^i\otimes dx^j$ to the transition maps $g_{\alpha\beta}$ we need to make one more unnatural choice, local orthonormal frame fields. If you find this satisfactory, good for you, I just cannot share your sense of satisfaction.

  3. Next, one needs to pick a spin-structure on $X$. This can be defined in the form of a collection of lifts $$ \tilde{g}_{\alpha\beta}: U_\alpha\cap U_\beta\to Spin(n)$$ which are transition maps of a principal $Spin(n)$-bundle $P_{Spin(n)}$ over $X$ covering $P_{SO(n)}$. This lift of the principal bundle does not always exist (and is typically non-unique); manifolds for which it exists are called spin-manifolds. Arguably, this step can be regarded as analogous to choosing an orientation on our manifold.

  4. Going back to step 2, we choose a Clifford module $M$ for $Cl_n$ (or take the standard one, $\Delta_n$) and recall that we have a representation of $Spin(n)$ to the group of automorphisms of $M$. Regarding $M$ as a vector space (now, we are back to vectors!), we take the associated $M$-bundle over $X$ $$ S:= P_{Spin(n)} \times_{Spin(n)} M. $$

At last, we now can define spinors (spinor fields): These are sections of the bundle $S\to X$.

Once we absorbed Step 4, spinor fields can be described locally as maps $$ s_\alpha: U_\alpha\to M $$ which transform under changes of local trivializations of $P_{Spin(n)}$ via the maps $\tilde{g}_{\alpha\beta}(x)$ (regarded as automorphisms of $M$): $$ s_\beta(x)= \tilde{g}_{\alpha\beta}(x) s_\alpha(x). $$

Remark. Once you understand what is hidden in this equation, you can appreciate the following sentiments, taken from a physicist's paper "A Child’s Guide to Spinors" (by William O. Straub):

When I discovered that I was wrong about everything, I quickly learned to hate spinors. They’re non-intuitive, far more complicated than they have any right to be, and come either with two components or four (like the Dirac spinor, which is actually a stack of two spinors called a bispinor), both versions being equally hard to comprehend....

So now you know what a spinor is, and when asked you can confidently reply, like my professor did, that a spinor is a complex, multi-component vector-like quantity that has special transformation properties. No wonder he didn’t elaborate!

Do you really find the above definition (as sections of the bundle $S\to X$) satisfactory? I do not. (I wholeheartedly agree with the sentiment describing spinors as "non-intuitive, far more complicated than they have any right to be.") My interpretation of Atiyah's comments is that he did not find this satisfactory either. One of the most unsatisfactory aspects (in my mind) is the need to go from vector bundles to principal bundles and then back to vector bundles (which requires one, in particular, to choose orthonormal frames). Is there anything more direct? I am unaware of any such construction (in general: in the special case of conformally flat metrics $h$ it is easy to give one). Does it exist? If not, what is a formal or even a heuristic argument? To me, this is the mystery of spinors. Does this agree with what Atiyah had in mind? I do not think we will ever find out.

Why does it matter that our definition of spinors is cumbersome? I agree with Atiyah's analogy regarding differential forms (which "explained" the vector calculus): Having a good and intuitive formalism does matter when working with mathematical objects. In the case of spinors, I think, it would help to guide us through the morass of unintuitive computations.

The situation is better in the case of surfaces since Riemannian metrics on surfaces are conformally-flat and, hence, we have a reasonably geometric description of spinors in the 2-dimensional case. See for instance

Atiyah, Michael F., Riemann surfaces and spin structures, Ann. Sci. Éc. Norm. Supér. (4) 4, 47-62 (1971). ZBL0212.56402.

For instance, holomorphic spinors on Riemann surfaces can be described as "holomorphic half-differentials," locally, $\phi(z)dz^{1/2}$ (holomorphic sections of a half-canonical bundle $K_X^{1/2}$). Making sense of the square roots in transition maps requires some trickery; the nicest explanation I know comes from the Uniformization Theorem:

If a transition map $\gamma(z)=\frac{az+b}{cz+d}$ is a Moebius transformation, then $$ \gamma'(z)=\frac{1}{(cz+d)^2}.$$ If a lift of $\gamma$ to $SL(2,{\mathbb C})$ is given (this is a choice of a spin structure!) then $$ \sqrt{\gamma'(z)}= \frac{1}{cz+d}. $$ Hence, if we realize $X$ as the quotient $H^2/\Gamma$ (which is the case with few exceptions), then holomorphic spinors on $X$ are simply automorphic holomorphic functions $$ f: H^2\to {\mathbb C}, $$ such that the half-differential $\omega= f(z) dz^{1/2}$ is $\Gamma$-invariant. Here $$ \gamma^*(\omega)= f(\gamma(z)) (\gamma'(z))^{1/2}dz^{1/2}. $$

Strangely, Atiyah never mentions this connection in his, otherwise well-written, paper.

I decided not to discuss "why spinors can be regarded as square roots of tensors" or the Dirac operator, since the answer is already long enough. Getting to the Dirac operator will expand the length at least 3-fold.

Moishe Kohan
  • 111,854
  • Thanks for taking the time to write that out. I can see why you find the necessity for principal bundles unsatisfactory, and you've given me some good arguments to consider. – user569579 Apr 21 '21 at 08:29
7

Some Backgrounds:

The mathematical motivation of spinors is the following question:

Can one find a first order differential operator $D$ whose square is equal to the Laplacian $\Delta=-\sum\dfrac{\partial^2}{\partial x_i^2}$? i.e. $$D^2=\Delta=-\sum\dfrac{\partial^2}{\partial x_i^2}.$$ So in the simple case if $D=a\dfrac{\partial }{\partial x }+b\dfrac{\partial }{\partial y }+c\dfrac{\partial }{\partial z }$ then the above equation gives $a^2=b^2=c^2=-1$ and $ab=-ba$, $ac=-ca$ and $bc=-cb$. Compare with $i^2=-1$ in complex numbers.


Now a partial answer is in the rest of the quote itself:

“No one fully understands spinors. Their algebra is formally understood but their general significance is mysterious. In some sense they describe the 'square root' of geometry and, just as understanding the square root of $-1$ took centuries, the same might be true of spinors.”

Now I ask you,

Question: What makes complex numbers mysterious? Why was it difficult to explain the geometric meaning of complex numbers?

As Atiyah said, it took centuries to understand what the square root of $-1$ means. So it also is mysterious for spinors.

In my opinion the other reason, more or less, lays inside the other quote of Sir Michael Atiyah:

“Algebra is the offer made by the devil to the mathematician. The devil says: I will give you this powerful machine, it will answer any question you like. All you need to do is give me your soul: give up geometry and you will have this marvelous machine.”

In the case of spinors, their algebra is formally understood (by its definition using Clifford algebra) (so we have this marvelous machine in hand :) ) but its soul, i.e. geometry (geometric interpretation) is difficult to explain I think.

C.F.G
  • 8,789
  • 8
    I think, the question starts where your answer stops: "Why is it so difficult to explain the geometric meaning of spinors?" – Moishe Kohan Apr 13 '21 at 18:21
  • @MoisheKohan: the answer is inside the above question: "Why was it difficult to explain the geometric meaning of complex numbers?" – C.F.G Apr 13 '21 at 18:25
  • So you answer one question with another. Hmm. And also, we know the geometric meaning of complex numbers since the time of Gauss, why is it relevant in regards to spinors? Are you arguing that the geometric meaning of the real Clifford algebra is unclear? – Moishe Kohan Apr 13 '21 at 18:40
  • Isn't the square root of the Laplacian given by a Fourier Multiplier? Forgive me - my background is analysis - so I am having some trouble understanding what is mysterious (I know absolutely nothing about Physics!) – rubikscube09 Apr 13 '21 at 18:43
  • @MoisheKohan: Yeah, I am answering this by another question. So why Atiyah says that "it took centuries to understand what the square root of −1 means"? – C.F.G Apr 13 '21 at 18:57
  • @MoisheKohan: Also the period of time is important here, not the time we understood the geometric meaning of complex numbers. same is true for spinors I think. – C.F.G Apr 13 '21 at 19:11
  • I'm not gonna lie, I was hoping for a much deeper insight into spinors. Not that I can blame you, of course, you still provided the best answer :) – csha Apr 14 '21 at 18:49
  • 1
    @m93a: I think you were hoping for a math explanation of what are spinor fields (which is what Atiyah was talking about) accessible to an undergraduate physics major. I do not believe this is possible unless you know some basic differential topology (including differential forms), vector bundles on manifolds, principal bundles and associated bundles. If and when you know this staff, take a look at either one of the references I gave here.... – Moishe Kohan Apr 14 '21 at 19:36
  • @m93a: It will still take about 30 pages for you to get to the actual definition (and I am not counting the background material listed above). – Moishe Kohan Apr 14 '21 at 19:36
  • I appreciate the response but I do not feel like this answer really gets to the core of my question, so I will leave my question as unanswered for the time being. – user569579 Apr 14 '21 at 22:30
  • Having long tried to develop some sort of intuitive geometric appreciation of spinors (as a chemist), I have found a seeming variety of approaches to them in the literature. At their simplest, some authors recognise quaternions as spinors, which I find reasonably intuitive geometrically. It’s the more abstract approaches that make me wonder what fundamental characteristics of spinors might be missing from such comparatively simple objects (admittedly lower-dimensional etc). Is it mainly the spaces they can be associated with making for the complications? And thanks @MoisheKohan for the link. – iSeeker Apr 22 '21 at 10:21
  • 1
    @iSeeker: What many authors call "spinors" are the objects in step 2 of my answer (and in the case of $Spin(3)$ or $Spin(3,1)$ group). From my viewpoint, the true mystery starts later, step 4 and onward. – Moishe Kohan Apr 22 '21 at 13:01
  • @MoisheKohan: If I read your latest comment aright, then the true mystery starting in your step 4 can be traced back to the choice of “a Riemannian metric h on a smooth oriented n-dimensional manifold”. So it seems to my math-poor intuition that the complications arise from generalising spinors/spinor fields to manifolds much more sophisticated than the simplicities of quaternions in R3, R4 and C2. Thanks for your tuition. – iSeeker Apr 22 '21 at 13:30
  • 1
    @iSeeker: Correct, the complications come from dealing with spinor fields on manifolds. Part of the problem is that in physics literature, they pretend to deal with spinor fields on $R^n$. However, since they absolutely have to define transformation rules for spinor fields under changes of coordinates, they effectively have to address the complexities present when dealing with spinors on manifolds. – Moishe Kohan Apr 22 '21 at 15:39
  • If we take $a=i, b=j, c=k,$ can the solution be made sensible? – Display name Apr 01 '24 at 14:57