Quantum Geometry of the Interior

Quantum-geometry models of black-hole interiors often replace the classical singular region by a transition surface, bounce, or high-curvature phase. A convincing resolution must be stated through invariant observables and physical evolution, not through one coordinate radius. It must also survive perturbations, match a semiclassical exterior, and explain whether the future contains a white-hole region, remnant, baby universe, or another causal structure.

Helpful background. Flat-Spacetime Quantum Field Theory supplies quantum constraints and effective fields; Einstein Equations supplies the classical interior; Quantum Information supplies relational observables; Quantum Gravity supplies programme comparison; Black-Hole Information supplies interior-consistency questions; and Semiclassical Gravity supplies the exterior and backreaction regime.

Interior variables and invariant targets

Inside a Schwarzschild horizon, the areal radius is timelike and homogeneous slices have Kantowski–Sachs symmetry. A reduced line element can be written

$$ds^2=-N(T)^2dT^2+a(T)^2dx^2+r(T)^2d\Omega^2.$$

Polymer or discrete quantization replaces connection components by bounded holonomy functions. Reduced quantum evolution can then extend beyond the classical singular configuration Ashtekar and Bojowald 2006, §§ 3–4, while effective equations can make $r(T)$ reach a positive minimum before increasing. But $r_{\min}\gt0$ alone does not establish regularity. One should evaluate curvature scalars, tidal eigenvalues in a freely falling frame, expansions of radial null congruences, and the physical inner product through the transition.

For classical Schwarzschild,

$$K=R_{\mu\nu\rho\sigma}R^{\mu\nu\rho\sigma} =\frac{48G^2M^2}{r^6}.$$

A model claiming singularity resolution should bound the operator or effective expectation corresponding to $K$, with fluctuations controlled. A coordinate extension through $r=0$ without bounded curvature is not a resolution.

Constraint evolution and covariance

Symmetry reduction leaves a Hamiltonian constraint and residual gauge freedom. Polymerization parameters may be constants, functions of phase-space variables, or Dirac observables. Different choices can change the transition scale, exterior corrections, and constraint algebra. An effective metric reconstructed after gauge fixing should give equivalent invariants in another admissible lapse and coordinate choice.

Some loop-inspired models construct an extension in which curvature is bounded and the high-curvature transition connects trapped to antitrapped regions. Ashtekar, Olmedo, and Singh give one explicit effective geometry and its large-mass semiclassical claims Ashtekar, Olmedo, and Singh 2018, §§ III–V. Such a result is conditional on the polymerization prescription and symmetry reduction. Independent analyses must check asymptotic behavior, amplification of the mass parameter, and the size of corrections near the horizon.

Closure of the reduced constraint is necessary but weaker than covariance of the full theory. Inhomogeneous perturbations can deform the algebra, introduce extra modes, or become unstable. A proposed covariant effective action that reproduces the same metric provides a stronger check, especially if its low-curvature expansion matches gravitational EFT.

Trapped surfaces and exterior matching

Let $\theta_+$ and $\theta_-$ be expansions of outgoing and ingoing null congruences. A trapped region has both negative; an antitrapped region has both positive. A transition between them requires at least one expansion to vanish, defining a marginal surface. The causal diagram depends on how that surface and the horizons evolve under collapse and evaporation.

Matching an eternal homogeneous interior to a static exterior can hide the formation problem. A physical model should begin with collapse data, satisfy junction conditions without an unexplained surface layer, and recover exterior causality before curvatures become Planckian. If the effective correction depends on the total mass, locality and covariance require explanation.

Rotating or charged interiors contain inner horizons where perturbations undergo mass inflation. A regular spherical core does not address that instability. Generic nonspherical modes, matter accretion, and quantum stress energy are adverse tests.

Connections to information recovery and semiclassical gravity

A bounce does not by itself provide an information channel. One must specify which physical observables propagate through the high-curvature region, how their algebra maps to exterior radiation, and whether the proposed future region is causally accessible. Black-hole information theory can address these questions once the microscopic model supplies states and amplitudes.

Likewise, a corrected Penrose diagram is not a calculation of evaporation. The semiclassical exterior description determines Hawking flux and backreaction until curvature reaches the microscopic regime. The quantum-geometry model must state matching data at that interface without modifying trusted low-curvature physics arbitrarily.

Results and open questions through 2026-08-20

This discussion reflects results available through 2026-08-20. Bounded-curvature transitions are common in symmetry-reduced quantum-geometry and effective models, but their genericity, covariance, stability, and full-theory derivation remain unresolved. Competing positions view the bounce as robust because holonomy functions are bounded, as prescription dependent because reduction and polymerization do not commute, or as a phenomenological interior ansatz awaiting covariant completion.

Interior result or mechanism	Evidence at the cutoff	Scope and limitation
Polymerized Kantowski–Sachs dynamics	Explicit effective solutions replace zero area by a transition surface	Parameter choice, state moments, and symmetry reduction affect the result
Bounded curvature in selected states	Curvature invariants remain finite along effective trajectories	Operator domains, fluctuations, and generic physical states require control
Trapped-to-antitrapped extension	Provides concrete causal continuations beyond the classical singularity	Collapse matching, global stability, and mass relation are formulation-dependent
Covariant regular metrics	Some effective actions or ansätze realize nonsingular cores	Derivation from microscopic constraints and EFT matching are often incomplete

The conclusions could change if a full physical-state construction derives the interior transition and covariant perturbation equations with bounded observables, or if mass-inflation or constraint-instability calculations destroy it; the interpretation could also change with a collapse-and-evaporation solution that matches the same microscopic dynamics to the exterior.

Independent checks

Compute invariants in two gauges and verify a classical regime through $G\sqrt{K}\ll1$ together with small polymerization and state-moment corrections; $r^2\gg G$ alone is insufficient when $M$ varies. Also test whether corrections at the outer horizon vanish for large $M\sqrt G=M/M_{\mathrm{Pl}}$, where $M_{\mathrm{Pl}}=G^{-1/2}$ is the unreduced Planck mass. Evolve nonspherical and matter perturbations across the transition, monitor constraint residuals, and vary the polymerization prescription. A result stable only after fixing a lapse has not established physical regularity.

Exercise

Suppose an effective model replaces $r^6$ in the Schwarzschild Kretschmann scalar by $r^6+r_0^6$. Find the maximum curvature and state why this alone is insufficient.

Solution

The model gives

$$K_{\mathrm{eff}}(r)= \frac{48G^2M^2}{r^6+r_0^6},$$

which is largest at $r=0$:

$$K_{\max}=\frac{48G^2M^2}{r_0^6}.$$

It is finite for nonzero $r_0$. But bounded one scalar does not show that the metric solves a covariant effective equation, that all tidal eigenvalues and quantum fluctuations are bounded, that constraints close, or that perturbations remain stable. If $r_0$ is chosen by hand or gives large exterior corrections, the formula is only a regularizing ansatz.

References

• Ashtekar, Abhay, and Martin Bojowald (2006), “Quantum Geometry and the Schwarzschild Singularity,” Classical and Quantum Gravity 23, 391–411, arXiv:gr-qc/0509075.
• Ashtekar, Abhay, Javier Olmedo, and Parampreet Singh (2018), “Quantum Extension of the Kruskal Spacetime,” Physical Review D 98, 126003, arXiv:1806.02406.