A note on spinor fields in spherical symmetry

Using a polar re-formulation, the paper demonstrates that the Dirac equations admit no solutions in spherical symmetry when the spinor field is required to share the spacetime's symmetries via the Lie derivative.

The Gist

Imagine you are trying to build a perfectly symmetrical snowflake. You want every arm to look exactly the same, and you want the whole thing to look the same no matter how you spin it. In physics, this is called spherical symmetry. It's the shape of a perfect sphere, like a ball or a star.

Now, imagine you want to put a tiny, spinning top inside that snowflake. This spinning top represents a Dirac spinor, which is a fundamental particle (like an electron) that has a property called "spin."

Here is the problem: Spinners can't stop spinning. Even if you try to freeze them, they are always rotating. They are like a gyroscope that refuses to lie flat.

The Big Question

The authors of this paper asked a simple but deep question: Can you have a spinning particle (a spinor) inside a perfectly symmetrical sphere (spherical symmetry) without breaking the symmetry?

For a long time, physicists knew that if the particle stopped spinning (became a "singlet"), it could fit perfectly inside the sphere. But what if the particle must spin? Is it possible to have a spinning particle that still respects the perfect symmetry of the sphere?

The Detective Work: The "Polar" Lens

To solve this, the authors used a special mathematical tool called the polar re-formulation.

Think of a standard description of a particle like a complex recipe written in a secret code (using complex numbers and specific matrices). It's hard to see the "real" ingredients.
The polar form is like translating that secret code into a clear, simple recipe using only real numbers. It breaks the particle down into its most basic, visible parts:

1. Density: How much "stuff" is there? (Like the size of the snowflake).
2. Chiral Angle: A specific type of twist or rotation.
3. Velocity: Which way is it moving?
4. Spin Direction: Which way is it pointing?

By using this "clear lens," the authors could see exactly how the particle's spin interacts with the shape of space around it.

The Investigation

The team set up a test. They imagined a universe that is perfectly spherical and stationary (not changing over time). They then tried to force a spinning particle to live there, demanding that the particle's spin and movement look exactly the same from every angle, just like the sphere itself.

They followed the rules of physics (the Dirac equation) to see if such a setup was possible. They checked every angle, every direction, and every mathematical constraint.

The "Impossible" Twist

Here is where the magic happens. The math led them to a contradiction, like finding a puzzle piece that simply doesn't fit.

Imagine you are trying to write a story where a character is standing still, but the story demands that the character is also spinning in a way that changes the story's ending depending on which way you look at it.

• The math said: "To keep the sphere symmetrical, the particle's spin must point in a specific way."
• But the laws of physics (the Dirac equation) said: "No, if the particle is spinning, it must twist the story in a different way."

When they tried to force both rules to be true at the same time, they hit a wall. The equations demanded that a number be equal to its opposite (like saying $1 = -1$).

The Analogy:
Think of it like trying to wear a left-handed glove on your right hand. You can stretch it, you can twist it, but it will never fit perfectly without tearing. The "glove" is the spinning particle, and the "hand" is the perfectly symmetrical sphere. The paper proves that you cannot force the glove onto the hand without breaking the glove or the hand.

The Conclusion

The paper concludes with a definitive "No."

There are no solutions to the equations of motion for a spinning particle if that particle is required to be perfectly spherical.

• If you want a spinning particle, the space around it must lose some of its perfect symmetry. It has to be slightly lopsided to accommodate the spin.
• If you want a perfectly spherical space, the particle inside it must stop spinning (which, for fundamental particles, is physically impossible in the way they are usually defined).

Why Does This Matter?

This isn't just a math game. It tells us about the fundamental nature of our universe.

1. Black Holes: It helps us understand why black holes (which are very spherical) can't have "hair" (extra features) made of spinning particles.
2. The Limits of Symmetry: It shows that nature has a limit to how symmetrical things can be when spin is involved. Spin is a "rebel" that refuses to be perfectly round.

In short: You can't have a perfectly round world with a spinning top inside it. The spin will always poke a hole in the perfect symmetry.

Technical Summary

1. Problem Statement

The paper addresses a fundamental open problem in theoretical physics: Do dynamical solutions to the Dirac equation exist in a spherically symmetric space-time when the spinor field itself is required to respect that symmetry?

• Context: In systems involving Dirac spinors coupled with gravity or gauge fields, spherical symmetry is a common assumption. However, spinors possess intrinsic angular momentum (spin) that cannot be reduced to zero.
• The Conflict: Previous "no-go" theorems (e.g., Finster, Smoller, Yau) have shown that spherical symmetry is only possible if the spin vanishes (as in spinorial singlets). It remained unclear whether non-trivial solutions exist if the spinor is required to satisfy the same symmetries as the background metric via the Lie derivative.
• Specific Question: Can a Dirac spinor be "weakly Lie invariant" (invariant in its bilinear quantities) or "strongly Lie invariant" (invariant as a field) under spherical rotations without forcing the spin to vanish?

2. Methodology

The authors employ the Polar Re-formulation of spinor fields, a framework that expresses spinor components in terms of real, representation-independent bilinear quantities.

A. The Polar Formulation

Instead of working with complex spinor components $\psi$, the authors rewrite the Dirac field using:

• Scalars: Density ($\phi$) and Chiral angle ($\beta$).
• Vectors: Velocity vector ($u^a$) and Spin axial-vector ($s^a$).
• Tensorial Connections: A space-time connection ($R_{ij\mu}$) and a gauge connection ($P_\mu$), which replace the standard spin connection and gauge potential in the covariant derivative.

The Dirac equation is then decomposed into a set of real equations (Eqs. 16–17) governing the evolution of $\phi$, $\beta$, $u^a$, and $s^a$.

B. Implementation of Symmetry

The authors implement spherical symmetry by requiring the vanishing of the Lie derivative along the Killing vectors of rotation ($\xi_1, \xi_2, \xi_3$) and time translation ($\xi_0$).

• Weak Lie Invariance: The condition is applied to the bilinear quantities ($\phi, \beta, u^a, s^a$).
• Strong Lie Invariance: The condition is applied directly to the spinor field $\psi$.
• Note: Strong invariance implies weak invariance; therefore, proving a contradiction at the weak level is sufficient to rule out the strong level.

C. Derivation Steps

1. Metric Setup: A general stationary, spherically symmetric metric is defined (Eq. 22) with arbitrary functions of the radial coordinate $r$.
2. Vector Constraints: The symmetry conditions force the velocity $u^a$ and spin $s^a$ vectors to take specific forms involving a general function $\alpha(r)$ (Eq. 25).
3. Connection Determination: Using the general identities for the covariant derivatives of $u^a$ and $s^a$ (Eq. 12), the authors derive constraints on the space-time tensorial connection $R_{\mu\nu}$.
4. Curvature Consistency: The derived tensorial connection must be consistent with the Riemann curvature of the chosen metric. This leads to a system of algebraic and differential equations.
5. Dirac Equation Analysis: The authors substitute the symmetry-constrained vectors and connections into the polar form of the Dirac equation, specifically focusing on the angular components ($\theta, \phi$).

3. Key Contributions

• Formalism Application: The paper rigorously applies the polar decomposition of spinors to symmetry problems, demonstrating how this real-variable formulation simplifies the analysis of invariance conditions compared to standard complex spinor calculus.
• Distinction of Invariance Levels: It clarifies the relationship between strong and weak Lie invariance in the context of spinors, showing that the incompatibility arises even at the "weak" level (bilinear quantities).
• Kinematic vs. Dynamic: The proof relies on the kinematic structure of the Dirac equation and the geometry of the spinor field, independent of the specific dynamical equations for gravity (Einstein or higher-order).

4. Results

The central result is a proof of non-existence of spherically symmetric solutions for the Dirac equation under the stated conditions.

• The Contradiction:
  When the spherical symmetry conditions are imposed on the angular components of the Dirac equation, the authors derive the following relations for the momentum components $P_\theta$ and $P_\phi$ (Eqs. 45–46):
  $$P_\theta - \frac{1}{2}\partial_\theta F = 0$$
  $$P_\phi - \frac{1}{2}\partial_\phi F = -\frac{1}{2}\cos\theta$$
  Here, $F$ is an integration function arising from the curvature constraints.

  Since spherical symmetry requires the angular components of the momentum (and thus the gauge potential) to vanish or be purely radial, the term $P_\phi$ must be a gradient of a scalar function ($q\partial_\phi \zeta$). This leads to the system:
  $$\partial_\phi(q\zeta - F/2) = -\frac{1}{2}\cos\theta$$
  $$\partial_\theta(q\zeta - F/2) = 0$$

  Taking the mixed partial derivatives ($\partial_\theta \partial_\phi$) of the first equation yields:
  $$\frac{1}{2}\sin\theta = 0$$
  This is a mathematical contradiction for any $\theta \neq 0, \pi$.

• Parity Argument:
  The authors also provide a secondary argument based on Parity Invariance. Under a parity transformation ($\theta \to \pi - \theta$), the spin vector $s^\nu$ must change sign ($s^\nu \to -s^\nu$) due to the Jacobian of the transformation, while the velocity $u^\nu$ remains unchanged. If the system is parity invariant, $s^\nu = -s^\nu$, implying $s^\nu = 0$. However, the normalization condition for the spin vector in the polar form requires $s^a s_a = -1$. Thus, $s^\nu = 0$ is incompatible with the existence of a non-zero spin, generating a contradiction.

5. Significance

• Resolution of an Open Problem: The paper definitively settles the question of whether "spherically symmetric Dirac fields with non-vanishing spin" exist. The answer is no, provided the symmetry is implemented via the Lie derivative on the field or its bilinears.
• Implications for Black Hole Physics: This result reinforces previous "no-hair" theorems for black holes. It suggests that stationary black holes cannot support non-trivial Dirac hair that respects spherical symmetry; any such configuration must either break spherical symmetry or involve vanishing spin (singlets).
• Generality: Because the proof uses a general metric and does not rely on the specific Einstein field equations, the result holds for Einstein gravity and any of its higher-order derivative extensions.
• Theoretical Insight: The work highlights a fundamental tension between the geometric nature of spherical symmetry (isotropic space) and the intrinsic vector nature of spin (which defines a preferred direction), showing they are mathematically incompatible in the context of the Dirac equation.