Singularity and differentiability at the origin of static and spherically symmetric black holes

This paper establishes a central theorem that determines the necessary conditions on metric functions for the finiteness of all curvature invariants at the origin of static, spherically symmetric black holes, thereby defining the differentiability class and extendibility of such spacetimes in a model-independent, non-linear regime.

The Gist

Imagine you are an explorer trying to map the center of a mysterious, spherical castle (a black hole). In the world of physics, this castle is described by a set of rules called a "metric." Usually, when you try to walk to the very center of this castle (the point $r=0$), your map breaks. The numbers on your compass go to infinity, your ruler stretches to infinity, and the ground beneath you seems to dissolve into chaos. This is what physicists call a singularity.

For decades, we've accepted that black holes have a "broken" center. But recently, scientists have been building "regular" black holes—castles designed to have a smooth, safe center. The big question is: Are these new castles truly smooth, or do they just look smooth from a distance but have hidden cracks when you get close?

This paper by Tommaso Antonelli and Marco Sebastianutti is like a master blueprint inspection. They don't just look at the castle; they check the mathematical texture of the walls to see if they are truly smooth or if they have invisible jagged edges that would tear a traveler apart.

Here is the breakdown of their discovery, using simple analogies:

1. The Problem: The "Infinity" Glitch

In standard black holes (like the famous Schwarzschild one), if you calculate the "curvature" (how much space is bent) at the center, the number explodes to infinity. It's like trying to divide a pizza by zero; the math breaks.

However, some new theories suggest that if you look at higher-order curvature (bending the bend, or the "jerk" of the bend), you might find new infinities even in "regular" black holes. It's like a road that looks smooth from a car, but if you put a very sensitive vibration sensor on the wheels, you feel a tiny, sharp bump that wasn't visible before.

2. The Solution: The "Evenness" Test

The authors discovered a simple rule to determine if a black hole center is truly smooth. They looked at the mathematical functions that describe the castle's shape (let's call them the "Shape Rules").

They found that for the center to be perfectly smooth (mathematically "differentiable" to any degree), these Shape Rules must be "Even."

The Analogy of the Mirror:
Imagine the Shape Rules are a drawing on a piece of paper.

• Even Function: If you fold the paper down the middle (the center point), the left side is a perfect mirror image of the right side. It's symmetrical.
• Odd Function: If you fold it, the left side is the opposite of the right side (like a wave going up on the left and down on the right).

The authors proved that for the center of the black hole to be safe and smooth, the Shape Rules must be perfectly symmetrical (Even) around the center. If there is even a tiny bit of "asymmetry" (an odd component) in the math, it creates a hidden "kink" or "crack" in the fabric of space.

3. The "Smoothness" Ladder

The paper introduces a hierarchy of smoothness, which they call $C^k$-extendibility. Think of this as a ladder of quality control:

• $C^0$ (Continuous): The road is connected. You don't fall off a cliff.
• $C^1$ (Smooth): The road has no sharp corners. You can drive a car without jolting.
• $C^2$ (Curved Smoothly): The road has no sudden changes in how it curves.
• $C^\infty$ (Infinitely Smooth): The road is perfect. You could drive a Formula 1 car at light speed, and the suspension would never feel a vibration.

The authors' main theorem says:

If your Shape Rules are "Even" (symmetrical), your black hole center is on the top of the ladder ($C^\infty$). It is infinitely smooth.
If your Shape Rules have any "Odd" (asymmetrical) parts, you fall down the ladder. The more asymmetry you have, the lower the ladder rung you end up on. You might be smooth enough for a car ($C^2$), but not for a high-speed train ($C^\infty$).

4. Why Does This Matter?

You might ask, "Who cares if the center is $C^2$ or $C^\infty$?"

• For General Relativity (Classical Physics): If the center is jagged (not smooth enough), the laws of physics break down. You can't predict what happens next.
• For Quantum Gravity (The Future of Physics): This is the big one. When physicists try to combine gravity with quantum mechanics (the physics of the very small), they often have to add "correction terms" to their equations. These terms involve looking at the curvature many times (higher derivatives).
  • If the black hole center is only "roughly smooth" (low on the ladder), these quantum correction terms will blow up to infinity.
  • This means the "Regular Black Hole" isn't actually regular in the eyes of quantum physics. The universe would effectively say, "This shape is forbidden," because it would make the total energy of the universe infinite.

5. Real-World Examples from the Paper

The authors tested their theory on famous black hole models:

• Schwarzschild (The Classic): Fails immediately. The center is a jagged cliff.
• Hayward Black Hole (A "Regular" Model): It looks great! It passes the symmetry test up to a certain point. It is smooth enough for classical physics ($C^4$), but if you look closely with quantum tools, you find a tiny kink. It's not perfectly smooth.
• Modified Hayward: This one has a bigger kink. It's smooth enough for a bicycle, but not a race car.

The Takeaway

This paper provides a mathematical litmus test for any proposed black hole.
If you want to build a black hole that is truly "regular" and safe for the laws of physics (including quantum mechanics), you must ensure your mathematical description is perfectly symmetrical around the center.

If you miss that symmetry, even by a tiny fraction, you haven't fixed the singularity; you've just hidden it. The center is still a broken place where the universe refuses to go.

In short: To fix the center of a black hole, you don't just need to patch the hole; you need to make sure the patch is a perfect mirror image of itself. If it isn't, the universe will still tear it apart.

Technical Summary

Here is a detailed technical summary of the paper "Singularity and differentiability at the origin of static and spherically symmetric black holes" by Tommaso Antonelli and Marco Sebastianutti.

1. Problem Statement

The central problem addressed is the nature of spacetime singularities at the origin ($r=0$) of static and spherically symmetric black holes. While the singularity theorems of general relativity guarantee geodesic incompleteness, they do not necessarily imply a divergence in curvature invariants. Conversely, a divergence in curvature invariants signals that the spacetime cannot be extended to that point.

The authors focus on the differentiability class ($C^k$) of the spacetime metric at the origin. Specifically, they investigate:

• Under what conditions are all curvature invariants (including those with arbitrarily high-order derivatives of the metric, such as $\square^N R$) finite at $r=0$?
• How does the behavior of the metric functions determine the extendibility of the spacetime to the origin?
• Many proposed "regular black hole" models only regularize second-derivative invariants (like the Ricci scalar $R$ or Kretschmann scalar $K$) but may still exhibit divergences in higher-derivative invariants, which is critical for theories involving higher-derivative gravity or quantum corrections.

2. Methodology

The authors employ a model-independent, non-linear analysis of a general static and spherically symmetric metric:
$$ds^2 = -A(r) dt^2 + B(r) dr^2 + r^2 d\Omega^2$$

Key Assumptions and Definitions:

• Metric Functions: $A(r)$ and $B(r)$ are assumed to behave near the origin as $A(r) = r^m \tilde{A}(r)$ and $B(r) = r^n \tilde{B}(r)$, where $\tilde{A}$ and $\tilde{B}$ are smooth, non-vanishing functions at $r=0$.
• Parity Concepts: The authors introduce the concepts of $d$-evenness and $d$-oddness for smooth functions. A function $f(x)$ is $d$-even if all its odd-order derivatives vanish at the origin ($f^{(2k+1)}(0)=0$), and $d$-odd if all its even-order derivatives vanish ($f^{(2k)}(0)=0$). This generalizes standard even/odd parity to smooth (non-analytic) functions.
• Coordinate Transformation: To analyze differentiability, the authors transform the metric from spherical coordinates to Cartesian coordinates $(t, x, y, z)$ via an isotropic radial coordinate $\tilde{r}$. This removes the coordinate singularity inherent in spherical coordinates at the origin.

Proof Strategy:
The core of the paper is a rigorous proof of a central theorem using a "if and only if" approach:

1. Backward Direction (Sufficiency): Assuming specific conditions on $m, n, b_0$ and the parity of $\tilde{A}, \tilde{B}$, the authors construct a smooth coordinate chart where the metric is $C^\infty$ (or $C^k$), implying all curvature invariants are finite.
2. Forward Direction (Necessity): Using the contrapositive, they assume the conditions are not met and demonstrate that specific curvature invariants (e.g., $\square^N R$ or $\square^N R^\mu_\nu \square^N R^\nu_\mu$) necessarily diverge at $r=0$. They utilize Taylor expansions of curvature tensors and recurrence relations for the coefficients of these expansions.

3. Key Contributions and Results

Theorem 1: Finiteness of All Curvature Invariants

The paper establishes that for the metric defined above, all curvature invariants are finite at $r=0$ if and only if:

1. $m = 0$ and $n = 0$ (The metric functions do not vanish or diverge as power laws at the origin).
2. $b_0 = 1$ (The coefficient of the leading term in $B(r)$ is unity, ensuring non-degeneracy in the isotropic limit).
3. $\tilde{A}(r)$ and $\tilde{B}(r)$ are $d$-even functions of $r$ (All odd-order derivatives of the smooth parts of the metric functions vanish at the origin).

Theorems 2, 3, and 4: Differentiability Classes

The authors generalize the result to determine the specific degree of differentiability ($C^k$) of the spacetime extension:

• Theorem 2 ($C^\infty$): The spacetime is $C^\infty$-extendible to $r=0$ if and only if the conditions of Theorem 1 are met.
• Theorem 3 ($C^\omega$): If the metric functions are analytic, the spacetime is $C^\omega$ (real-analytic) extendible if and only if the functions are standard even functions (coinciding with $d$-evenness for analytic functions).
• Theorem 4 ($C^{2N}$): If the metric functions satisfy $m=n=0, b_0=1$, but the first non-vanishing odd derivative occurs at order $2N+1$(i.e.,$a_{2N+1} \neq 0$or$b_{2N+1} \neq 0$), the spacetime is **$C^{2N}$-extendible but not$C^{2N+2}$-extendible**.
  • This implies that curvature invariants with up to $2N$derivatives of the metric remain finite, while those with$2N+2$ derivatives diverge.

Application to Specific Black Hole Models

The authors apply these theorems to several well-known models:

• Schwarzschild: $m=-1, n=1$. Fails conditions. The Kretschmann scalar diverges as $r^{-6}$.
• Coherent Quantum Black Hole: $m=n=0$, but $b_0 \neq 1$. Fails conditions. Invariants like $R$ and $K$ diverge as $r^{-2}$ and $r^{-4}$ respectively (integrable singularity).
• Hayward Black Hole: $m=n=0, b_0=1$, and the first non-vanishing odd coefficient is at $N=2$ (5th derivative). Result: The spacetime is $C^4$ but not $C^6$. Invariants with 6 derivatives (e.g., $\square^2 R$) diverge.
• Modified Hayward (Quantum corrected): First non-vanishing odd coefficient at $N=1$. Result: The spacetime is $C^2$ but not $C^4$. Invariants with 2 derivatives (e.g., $\square R$) diverge.

4. Significance and Implications

• Resolution of Conjectures: The work rigorously proves and generalizes a conjecture previously proposed in [61], moving from linearized gravity to the full non-linear regime without assuming a specific gravitational action.
• Higher-Derivative Gravity: The results are crucial for higher-derivative theories of gravity (e.g., string theory limits, $R^2$ gravity) where the action contains terms with many derivatives of the metric. If the spacetime is not sufficiently differentiable ($C^k$), these higher-order terms in the action may diverge, rendering the path integral ill-defined.
• Finite Action Principle: The authors connect their findings to the "Finite Action Principle," suggesting that for a spacetime to contribute to the quantum gravitational path integral, the metric functions must satisfy specific parity conditions ($d$-evenness) to ensure the action remains finite.
• Regular Black Hole Classification: The paper provides a precise mathematical tool to classify "regular" black holes. A model may be "regular" in the sense of having a finite Ricci scalar, but if it fails the $d$-evenness condition, it possesses a "mild" singularity where higher-derivative invariants blow up, potentially affecting physical observables in quantum gravity scenarios.
• Coordinate Independence: By proving that the finiteness of curvature invariants is equivalent to the existence of a smooth coordinate extension for this specific symmetry class, the authors bridge the gap between geometric invariants and the differentiability of the manifold structure.

In summary, this paper provides a definitive mathematical framework linking the Taylor expansion parity of metric functions to the differentiability class and curvature regularity of static, spherically symmetric spacetimes, offering a necessary condition for constructing physically viable regular black hole models in both classical and quantum gravity contexts.