On the hypotheses of Penrose's singularity theorem under disformal transformations

This paper investigates how disformal transformations affect the hypotheses of Penrose's singularity theorem, specifically deriving conditions on the background metric and disformal vector that ensure the theorem's validity by analyzing the transformation of the null energy condition and closed trapped surfaces.

The Gist

The Big Picture: The "Cosmic Trap"

Imagine the universe as a giant, stretchy trampoline. In physics, this trampoline represents space-time. When you put a heavy bowling ball (a star or black hole) on it, the fabric curves. If the ball is heavy enough, the fabric can stretch so much that it creates a "hole" where nothing, not even light, can escape. This is a singularity—a point where the laws of physics break down.

In the 1960s, a famous physicist named Roger Penrose came up with a rule (a theorem) to predict when these "holes" are unavoidable. He said: "If you have enough matter to bend space, and you have a specific kind of surface where light gets trapped, then a singularity is inevitable."

This paper asks a fascinating question: What if we could change the rules of the trampoline itself?

The Magic Tool: The "Disformal Transformation"

The authors are studying a mathematical tool called a disformal transformation.

• The Analogy: Imagine you are looking at a map of a city.
  • A Conformal transformation is like zooming in or out on the whole map. Everything gets bigger or smaller, but the shapes and angles stay the same. A square is still a square; a circle is still a circle.
  • A Disformal transformation is like looking at the map through a funhouse mirror or a prism. It stretches the map differently in different directions. A square might get squashed into a rectangle, or a circle might turn into an oval. It changes the shape of space-time, not just the size.

The authors want to know: If we take a universe that is "safe" (no black holes) and apply this funhouse mirror effect, does it suddenly create a black hole? Or, if we take a universe with a black hole, can we use this mirror to make the black hole disappear?

The Three Rules of the Game

To prove a singularity exists, Penrose's theorem requires three things to happen at the same time:

1. The Squeeze (Energy Condition): Matter must be dense enough to squeeze light rays together.
2. The Trap (Trapped Surface): There must be a surface where light rays are forced to move inward, like water going down a drain.
3. The Safety Net (Causality): The universe must have a logical structure (no time travel loops) that allows us to predict the future.

The paper focuses on how the Disformal Transformation messes with Rules #1 and #2.

What the Authors Discovered

1. The Squeeze Changes

In the original universe, light rays might be spreading out. But when you apply the "funhouse mirror" (the disformal transformation), the way light rays behave changes.

• The Finding: The authors found a mathematical formula to calculate if the "squeeze" still happens after the transformation.
• The Analogy: Imagine a group of people walking in a hallway. In the original hallway, they walk apart. If you stretch the hallway sideways (the transformation), they might suddenly be forced to bump into each other. The paper tells us exactly how much stretching is needed to force them to collide (creating a singularity).

2. The Trap Appears (or Disappears)

The second rule is about "Trapped Surfaces." These are invisible bubbles where light is stuck.

• The Finding: The authors showed that you can create a "Trapped Surface" out of thin air just by changing the geometry of space-time, even if the original space was empty and safe.
• The Analogy: Imagine a calm lake. No fish are trapped. Now, imagine you magically change the water's surface tension so that the water curves inward everywhere. Suddenly, a whirlpool forms. The fish (light) are now trapped, not because you added more water, but because you changed the nature of the water.

The "Static Sphere" Experiment

To prove their theory, the authors looked at a specific, simple case: a Static, Spherically Symmetric Space-time.

• The Analogy: Think of a perfect, non-spinning star. It's the "Hello World" of black hole physics.
• They applied their "funhouse mirror" to a flat, empty universe (Minkowski space).
• The Result: They found that by choosing the right "stretching" function (mathematically called $f(r)$), they could turn a completely empty, safe universe into one that looks like it has a black hole, complete with a trapped surface.

Why Does This Matter?

This isn't just about math puzzles. It has real implications for how we understand the universe:

1. Alternative Gravity: Some theories suggest that gravity works differently at very high energies (like near the Big Bang). This paper gives physicists a way to test those theories. If a theory predicts a "disformal" change, we can now check: Does this theory accidentally create black holes where there shouldn't be any?
2. Avoiding Singularities: Conversely, maybe we can use these transformations to "fix" a singularity. If a black hole is a problem, maybe there is a mathematical way to "un-stretch" the space-time so the singularity vanishes, saving the laws of physics.

The Bottom Line

The authors have built a calculator for reality.

They showed that whether a universe ends in a catastrophic singularity or remains safe depends heavily on the "shape" of space-time. By using this new tool (the disformal transformation), we can predict exactly when a safe universe will collapse into a black hole, or when a dangerous one might be saved.

In short: They figured out how to change the "lens" through which we view the universe, and they showed that changing the lens can turn a peaceful sky into a black hole, or vice versa.

Technical Summary

1. Problem Statement

The paper addresses the behavior of Penrose's singularity theorem (1965) when the space-time metric undergoes a disformal transformation.

• Context: Penrose's theorem states that a space-time is geodesically incomplete (i.e., contains a singularity) if three conditions are met:
  1. The Null Energy Condition (NEC) holds ($R_{\mu\nu}k^\mu k^\nu \geq 0$ for all null vectors $k^\mu$).
  2. There exists a non-compact Cauchy surface.
  3. There exists a closed trapped surface.
• The Gap: While the behavior of these hypotheses under conformal transformations is well-studied, the impact of disformal transformations (which are anisotropic and depend on a light-like vector field) on these conditions remains less explored.
• Objective: The authors aim to derive the precise conditions on a background metric $g_{\mu\nu}$ and a disformal vector $V^\mu$ that guarantee the validity (or violation) of Penrose's theorem for the transformed metric $\hat{g}_{\mu\nu}$. This is crucial for understanding how singularities can be created or removed in alternative gravity theories (e.g., Mimetic gravity, Horndeski theory, Rainbow gravity) that utilize disformal mappings.

2. Methodology

The authors employ a rigorous geometric analysis to map the properties of the transformed metric $\hat{g}$ back to the background metric $g$.

• Disformal Transformation Definition:
  They define a light-like disformal transformation as:
  $$\hat{g}_{\mu\nu} = \alpha g_{\mu\nu} + \beta V_\mu V_\nu$$
  where $\alpha > 0$ and $V^\mu$ is a light-like vector ($g_{\mu\nu}V^\mu V^\nu = 0$). This is treated as a generalization of conformal transformations.

• Geometric Quantities:
  The authors derive the transformation laws for:

  • Christoffel symbols and Ricci tensors: Explicit formulas are provided to relate $\hat{R}_{\mu\nu}$ to $R_{\mu\nu}$ and the derivatives of the transformation parameters.
  • Null Geodesics: They analyze how the focusing condition ($R_{\mu\nu}k^\mu k^\nu \geq 0$) changes. Crucially, they note that while conformal transformations preserve the null cone, disformal transformations alter the causal structure (light cones), meaning a vector null in $g$ may not be null in $\hat{g}$.

• Trapped Surface Analysis:
  Using the formalism developed by Senovilla, the authors characterize trapped surfaces via a scalar quantity $\xi$ (related to the norm of the mean curvature vector $H_\mu$).

  • They perform a $2+2$ decomposition of the space-time metric.
  • They derive an expression for the transformed mean curvature scalar $\hat{\xi}$ strictly in terms of the background metric $g$, the conformal factor $\alpha$, and the disformal vector $V$.

• Application to Symmetry:
  The general results are applied to static, spherically symmetric space-times (specifically Kerr-Schild type metrics) to demonstrate the practical utility of the derived conditions.

3. Key Contributions

A. Reformulation of Penrose's Theorem for Disformal Metrics

The paper provides two main theorems that allow one to test for singularities in the transformed space-time $(M, \hat{g})$ using only data from the background space-time $(M, g)$.

• Theorem 1 (Conformal Case): Re-establishes conditions for conformal transformations, showing that the focusing condition can be satisfied even if the background is Ricci-flat, provided the conformal factor $u = 1/\sqrt{\alpha}$ satisfies a specific concavity condition.
• Theorem 2 (Disformal Case): This is the core contribution. It states that $(M, \hat{g})$ is null geodesically incomplete if:
  1. A modified focusing condition holds for all vectors $k^\mu$ that are null in $\hat{g}$ (which implies they are time-like or space-like in $g$ depending on the signature choice). The condition involves complex terms derived from the covariant derivatives of the disformal vector $V$.
  2. A scalar $\hat{\xi}$, constructed from the background metric and the disformal vector, is positive on a closed surface $\Sigma$.

B. Explicit Calculation of the Focusing Term

The authors derive an explicit expression for the transformed Ricci contraction $\hat{R}_{\mu\nu}k^\mu k^\nu$ (Eq. 18). This expression reveals that the energy condition in the new frame depends on:

• The background Ricci tensor.
• The derivatives of the disformal vector ($D_{\mu\nu} = \nabla_\nu d_\mu$).
• The projection of the vector onto the null geodesic ($\phi = d_\mu k^\mu$).

C. Characterization of Trapped Surfaces

They derive a formula (Eq. 29 and 42) showing how the existence of a trapped surface in the disformal metric depends on the background geometry. Specifically, they show that a trapped surface can form in $\hat{g}$ even if none exists in $g$, driven by the "preferred direction" introduced by the disformal vector.

4. Results

• Singularity Creation/Removal: The analysis demonstrates that it is possible to map a non-singular space-time to a singular one (and vice versa) via a disformal transformation. This occurs if the transformation alters the focusing condition or induces a trapped surface where none existed before.
• Static Spherically Symmetric Application:
  • Applying the theory to a Minkowski background with a specific disformal vector $d_\mu = f(r)\delta^r_\mu$, the authors derive a differential equation for $f(r)$ (Eq. 36).
  • They find that the focusing condition $\hat{R}_{\mu\nu}k^\mu k^\nu \geq 0$ is satisfied only in specific radial domains depending on the integration constants $C_0$ and $C_1$.
  • Trapped Surface Condition: For the specific case of Minkowski space, the background scalar $\xi$ is negative (no trapped surfaces). However, the transformed scalar $\hat{\xi}$ becomes positive (indicating a trapped surface) if $f^2(r) \geq 1$. This proves that the disformal transformation alone can generate a trapped region in an otherwise flat space-time.

5. Significance

• Alternative Gravity Theories: The results provide a toolkit for testing singularity theorems in modified gravity theories (e.g., Scalar-Tensor, Mimetic, Horndeski) where the physical metric is often disformally related to an Einstein-frame metric. It allows physicists to determine if a theory's solutions are truly singularity-free or if the singularity has merely been "hidden" by the transformation.
• Causal Structure: The paper highlights the critical difference between conformal and disformal transformations regarding causality. While conformal maps preserve light cones, disformal maps do not, making the analysis of null geodesic incompleteness significantly more complex and dependent on the specific vector field used.
• Operational Test: The authors provide an operational method to check for singularities without solving the full field equations for the transformed metric. One only needs to verify the derived inequalities on the background metric and the transformation parameters.

In conclusion, the paper successfully extends the framework of Penrose's singularity theorem to disformal geometries, offering necessary and sufficient conditions to determine the presence of singularities based on the properties of the background metric and the disformal vector field.