My recent reading on the topic of spin and angular momentum in quantum mechanics led me to the concept of a **spinor**. It turns out that spinors are fearsomely nasty objects to wrap one’s head around in full generality, requiring Clifford algebras and other ingredients, although the three-dimensional case is quite accessible and is described below. The (slightly unhelpful) heuristic is that spinors behave like vectors except that they change sign under rotation through an angle of 2*π* — a somewhat confusing property that will be made clearer later.

First, some general notions: let *V* be a vector space over a field *K*, equipped with a bilinear map *b*: *V* × *V* → *K* and hence a quadratic form *q*: *V* → *K* given by *q*(*v*) ≔ *b*(*v*, *v*) for all *v* ∈ *V*. A vector *v* ∈ *V* is called a **null vector** or **isotropic** if *q*(*v*) = 0. Recall that the **standard Euclidean bilinear form** on ℝ^{n} is

This bilinear form has no non-trivial null vectors (i.e. the only null vector is the zero vector), but two close relatives of the Euclidean bilinear form do have interesting null vectors.

[Somehow, WordPress deleted large chunks of this post. Apologies! If the text below differs from what you saw earlier, then blame the post-deletion restoration effort.]

**Example 1 (Hyperbolic Space).** A first example of a space with non-trivial null vectors is ℝ^{1+n} equipped with the **Lorentz bilinear form**

i.e.

With the addition of a few factors of *c* (the speed of light), this bilinear form *b*_{L} is the one used to describe positions (*t*, *x*) in spacetime in Einstein’s special theory of relativity; it is particularly useful in Minkowski diagrams, in which time *t* is usually drawn as the vertical axis and space *x* as the horizontal axis. A vector *v* = (*t*, *x*) ∈ ℝ^{1+n} is called

**time-like**if*b*_{L}(*v*,*v*) < 0;**light-like**(or**null**) if*b*_{L}(*v*,*v*) = 0;**space-like**if*b*_{L}(*v*,*v*) > 0.

As the name suggests, a light-like vector is one along which a ray of light will travel; the set of null vectors is the light cone through the origin of ℝ^{1+n}. For a mere mortal like myself, who is constrained to travel at less than the speed of light, the vector joining any two points in spacetime on my worldline (i.e. when and where in ℝ^{1+n} I have been) must be a time-like vector. On the other hand, when the difference between two spacetime locations is space-like, it really makes sense to say that they are in different places (spaces), rather than just being one place that has moved to the other at less than light speed (e.g. the Earth orbiting the Sun).

**Example 2 (Simple Spinors).** Another simple example of a vector space with non-trivial null vectors comes from applying the Euclidean bilinear form to complex *n*-space ℂ^{n}. Often, ℂ^{n} is equipped with the sesquilinear form

which defines an inner product on ℂ^{n} (with no non-trivial null vectors), and so its square root is a norm on ℂ^{n}. However, the standard Euclidean form on ℂ^{n} does have non-trivial null vectors. Indeed, write *x* ∈ ℂ^{n} in terms of real and imaginary parts as *x* = *a* + *i**b* with *a*, *b* ∈ ℝ^{n}. Then

Thus, for example, if *a* and *b* are orthogonal unit vectors, then *x* = *a* + *i**b* will be null. Indeed, *x* will be null if and only if its real and imaginary parts are orthogonal and have equal magnitude.

It is, then, perhaps not surprising that in the case *n* = 3 the set of all null vectors *x* in ℂ^{3} can be described by a “vector” *z* = (*z*_{1}, *z*_{2}) ∈ ℂ^{2}. It is this representative *z* that is called a **spinor**, and the reason for the quotation marks around “vector” is that it does not obey the same transformation rules as vectors. The components of a null vector *x* and its spinor representation *z* are related by the following over-determined system of equations:

Solutions to this system are given by

with either of the two choices of sign (plus or minus) producing a solution. In this way, a **spinor** may be viewed as a null vector together with a choice of sign.

To see that a spinor does not transform in the same way as a vector, consider the effect of the rotation map *R*_{θ} that rotates each of the three components of a vector *x* by an angle *θ* ∈ ℝ about the origin in the complex plane ℂ, i.e.

(Note that *R*_{θ} only maps null vectors to null vectors if *θ* is an integer multiple of ^{π}⁄_{2}.) What is the effect of *R*_{θ} on the spinor representation *z* of *x*? A quick application of the above formulae shows that

In particular, as claimed at the top of the page, the full rotation *R*_{2π} takes *x* to itself but takes *z* to −*z*. (Mathematical pedants will notice that, because of the branch cut discontinuity in the complex square root, it is impossible to choose a sign consistently so that the spinor *R*_{θ}*z* changes continuously as a function of arbitrary *θ* and *x*. However, the rotations *do* act unambiguously — by a fractional linear transformation — on the ratio *z*_{1}:*z*_{2}, and this suffices for our purposes.)