pith. sign in

arxiv: 2605.21871 · v1 · pith:IDHRVUPTnew · submitted 2026-05-21 · 🧮 math.DG · gr-qc· math-ph· math.MP

Refocusing spacetimes need not be strongly refocusing

Friedrich Bauermeister This is my paper

Pith reviewed 2026-05-22 03:31 UTC · model grok-4.3

classification 🧮 math.DG gr-qcmath-phmath.MP
keywords globally hyperbolic spacetimesrefocusingstrong refocusingLegendrian refocusingnull geodesicscausalitymetric deformations
0
0 comments X

The pith

Some globally hyperbolic spacetimes are refocusing but not strongly refocusing.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that refocusing and strong refocusing are distinct for globally hyperbolic spacetimes. Starting from any globally hyperbolic strongly refocusing spacetime in dimension three or higher, a metric deformation yields a spacetime that remains globally hyperbolic and refocusing yet fails to be strongly refocusing. This separation directly answers a question posed by Chernov, Kinlaw, and Sadykov. The work also defines Legendrian refocusing and proves that any globally hyperbolic spacetime satisfying this stronger condition admits a globally hyperbolic strongly refocusing metric.

Core claim

There exist globally hyperbolic spacetimes (X,g) which are refocusing but not strongly refocusing. In fact, every globally hyperbolic strongly refocusing spacetime of dimension at least 3 admits globally hyperbolic metrics which are refocusing but not strongly refocusing. Globally hyperbolic spacetimes which are Legendrian refocusing admit globally hyperbolic strongly refocusing metrics.

What carries the argument

The distinction between refocusing and strong refocusing for null geodesics in globally hyperbolic spacetimes, together with the newly introduced Legendrian refocusing condition.

Load-bearing premise

Metrics on manifolds of dimension at least 3 can be deformed so that refocusing is weakened while global hyperbolicity is preserved.

What would settle it

An explicit three-dimensional globally hyperbolic spacetime in which every refocusing metric is necessarily strongly refocusing.

read the original abstract

We prove that there are globally hyperbolic spacetimes $(X,g)$ which are refocusing but not strongly refocusing. In fact, every globally hyperbolic strongly refocusing spacetime of dimension at least $3$ admits globally hyperbolic metrics which are refocusing but not strongly refocusing. This answers a question by Chernov, Kinlaw, and Sadykov. We then prove that globally hyperbolic spacetimes which are Legendrian refocusing (a notion introduced in this paper) admit globally hyperbolic strongly refocusing metrics.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The paper proves that there exist globally hyperbolic spacetimes (X,g) which are refocusing but not strongly refocusing. In fact, every globally hyperbolic strongly refocusing spacetime of dimension at least 3 admits globally hyperbolic metrics which are refocusing but not strongly refocusing. This answers a question by Chernov, Kinlaw, and Sadykov. The authors then introduce the notion of Legendrian refocusing and prove that globally hyperbolic Legendrian refocusing spacetimes admit globally hyperbolic strongly refocusing metrics.

Significance. If the constructions hold, the results clarify the distinction between refocusing and strongly refocusing in Lorentzian geometry and provide a systematic way to produce examples that separate these properties while preserving global hyperbolicity. The introduction of Legendrian refocusing supplies a new intermediate notion that may be useful for further analysis of geodesic focusing and causality. The work supplies explicit metric deformations on manifolds of dimension ≥3, which is a concrete contribution to the field.

major comments (1)
  1. [proof of the main existence theorem (likely §3 or the construction following the statement that every strongly refocused] The central deformation construction (used to pass from a strongly refocusing metric to a merely refocusing one) must explicitly control the causal structure so that global hyperbolicity is preserved. In particular, the argument needs to show that the perturbation does not enlarge causal diamonds J⁺(p) ∩ J⁻(q) or introduce new causal curves that would destroy compactness or strong causality. Please supply the precise estimates or topological arguments that guarantee the causal relation remains unchanged in the required sense during the deformation step.
minor comments (2)
  1. [Introduction / §2] The definition of Legendrian refocusing is introduced in the paper; it would help readers if the precise relation to ordinary refocusing is stated immediately after the definition rather than later in the text.
  2. [Notation and definitions] Notation for the spacetime (X,g) and for the various refocusing conditions is generally clear, but a short table summarizing the implications between the three notions (refocusing, strongly refocusing, Legendrian refocusing) would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for highlighting the need for greater explicitness regarding the preservation of global hyperbolicity under the deformation. We have revised the paper to supply the requested details on the causal structure.

read point-by-point responses

  1. Referee: The central deformation construction (used to pass from a strongly refocusing metric to a merely refocusing one) must explicitly control the causal structure so that global hyperbolicity is preserved. In particular, the argument needs to show that the perturbation does not enlarge causal diamonds J⁺(p) ∩ J⁻(q) or introduce new causal curves that would destroy compactness or strong causality. Please supply the precise estimates or topological arguments that guarantee the causal relation remains unchanged in the required sense during the deformation step.

    Authors: We agree that the original exposition of the central deformation in Section 3 provided only a sketch and would benefit from more explicit control of the causal structure. In the revised manuscript we have inserted a new subsection (3.2) containing a self-contained argument: the perturbation is supported in a small tubular neighborhood of a chosen non-refocusing geodesic segment and is taken sufficiently small in the C¹ topology. Because the original spacetime is globally hyperbolic, its causal diamonds are compact; a standard comparison argument for Lorentzian metrics then shows that any causal curve for the perturbed metric stays C⁰-close to a causal curve of the original metric. Consequently the perturbed causal diamonds remain inside the original ones, compactness is preserved, and strong causality is retained by the openness of the strong-causality condition in the C⁰ topology of metrics. A new Proposition 3.4 records these estimates formally. We believe this fully addresses the referee’s request. revision: yes

Circularity Check

0 steps flagged

No circularity: direct geometric constructions and new definitions

full rationale

The paper establishes its main result via explicit metric deformation constructions on globally hyperbolic spacetimes of dimension at least 3, starting from strongly refocusing examples and producing refocusing but not strongly refocusing metrics while preserving global hyperbolicity. These steps are presented as direct proofs rather than reductions to fitted parameters or self-referential definitions. The secondary result introduces the new notion of Legendrian refocusing and proves a separate existence statement for strongly refocusing metrics; this does not create a definitional loop for the primary claim. No load-bearing self-citations, uniqueness theorems imported from prior author work, or renamings of known results appear in the derivation chain. The argument remains self-contained against external geometric benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The work rests on standard background assumptions of Lorentzian geometry and global hyperbolicity; the new Legendrian refocusing notion is introduced without independent external evidence.

axioms (1)
  • domain assumption Globally hyperbolic Lorentzian manifolds of dimension at least 3 admit metric deformations that preserve global hyperbolicity.
    Invoked to support the existence claims for both directions of the result.
invented entities (1)
  • Legendrian refocusing no independent evidence
    purpose: Intermediate notion between refocusing and strongly refocusing using contact geometry.
    Defined in the paper to prove that it forces the existence of a strongly refocusing metric.

pith-pipeline@v0.9.0 · 5605 in / 1271 out tokens · 39118 ms · 2026-05-22T03:31:59.026688+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages

  1. [1]

    Bauermeister,Topological consequences of null-geodesic refocusing and applications toZ x manifolds, Journal of Geometry and Physics, 225(2026), 105834

    F. Bauermeister,Topological consequences of null-geodesic refocusing and applications toZ x manifolds, Journal of Geometry and Physics, 225(2026), 105834

    work page 2026

  2. [2]

    Bautista, A

    A. Bautista, A. Ibort, and J. Lafuente,Causality and skies: is non- refocussing necessary?, Classical and Quantum Gravity,32(2015), no. 10, 105002. 28

    work page 2015

  3. [3]

    L. Bérard-Bergery,Quelques exemples de variétés riemanniennes où toutes les géodésiques issues d’un point sont fermées et de même longueur, suivis de quelques résultats sur leur topologie, Annales de l’Institut Fourier (Grenoble),27(1977), no. 1, 231–249

    work page 1977

  4. [4]

    A. N. Bernal and M. Sánchez,On smooth Cauchy hypersurfaces and Geroch’s splitting theorem, Communications in Mathematical Physics, 243(2003), no. 3, 461–470

    work page 2003

  5. [5]

    A. N. Bernal and M. Sánchez,Smooth globally hyperbolic splittings and temporal functions, inProceedings of the II International Meeting on Lorentzian Geometry, Murcia, Spain, November 12–14, 2003, Publica- ciones de la Real Sociedad Matemática Española, vol. 8, 2004, pp. 3–14

    work page 2003

  6. [6]

    A. N. Bernal and M. Sánchez,Smoothness of time functions and the metric splitting of globally hyperbolic spacetimes, Communications in Mathematical Physics,257(2005), no. 1, 43–50

    work page 2005

  7. [7]

    A. N. Bernal and M. Sánchez,Further results on the smoothability of Cauchy hypersurfaces and Cauchy time functions, Letters in Mathemat- ical Physics,77(2006), 183–197

    work page 2006

  8. [8]

    causal” instead of “strongly causal

    A. N. Bernal and M. Sánchez,Globally hyperbolic spacetimes can be defined as “causal” instead of “strongly causal”, Classical and Quantum Gravity,24(2007), 745–750

    work page 2007

  9. [9]

    A. L. Besse,Manifolds all of whose geodesics are closed, Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 93, Springer-Verlag, Berlin– New York, 1978

    work page 1978

  10. [10]

    Bott,On manifolds all of whose geodesics are closed, Annals of Math- ematics,60(1954), no

    R. Bott,On manifolds all of whose geodesics are closed, Annals of Math- ematics,60(1954), no. 3, 375–382

    work page 1954

  11. [11]

    Burtscher and L

    A. Burtscher and L. García-Heveling,Global hyperbolicity through the eyes of the null distance, Communications in Mathematical Physics, 405(2024), article no. 90

    work page 2024

  12. [12]

    Chernov, P

    V. Chernov, P. Kinlaw, and R. Sadykov,Topological properties of man- ifolds admitting aY x-Riemannian metric, Journal of Geometry and Physics,60(2010), no. 10, 1530–1538. 29

    work page 2010

  13. [13]

    Chernov and S

    V. Chernov and S. Nemirovski,Legendrian links, causality, and the Low conjecture, Geometric and Functional Analysis,19(2010), no. 5, 1320– 1333

    work page 2010

  14. [14]

    Chernov and Yu

    V. Chernov and Yu. B. Rudyak,Linking and causality in globally hy- perbolic space-times, Communications in Mathematical Physics,279 (2008), no. 2, 309–354

    work page 2008

  15. [15]

    Frauenfelder, C

    U. Frauenfelder, C. Labrousse, and F. Schlenk,Slow volume growth for Reeb flows on spherizations and contact Bott–Samelson theorems, Jour- nal of Topology and Analysis,7(2015), no. 3, 407–451

    work page 2015

  16. [16]

    Geroch,Domain of dependence, Journal of Mathematical Physics,11 (1970), 437–449

    R. Geroch,Domain of dependence, Journal of Mathematical Physics,11 (1970), 437–449

    work page 1970

  17. [17]

    Gluck and D

    H. Gluck and D. Singer,Scattering of geodesic fields. I, Annals of Math- ematics,108(1978), no. 2, 347–372

    work page 1978

  18. [18]

    Gluck and D

    H. Gluck and D. Singer,Scattering of geodesic fields. II, Annals of Math- ematics,110(1979), no. 2, 205–225

    work page 1979

  19. [19]

    S. W. Hawking and G. F. R. Ellis,The Large Scale Structure of Space- Time, Cambridge University Press, Cambridge, 1973

    work page 1973

  20. [20]

    P. A. Kinlaw,Refocusing of light rays in space-time, Journal of Mathe- matical Physics,52(2011), no. 5, 052505

    work page 2011

  21. [21]

    R. J. Low,Celestial spheres, light cones and cuts, Journal of Mathemat- ical Physics,34(1993), no. 1, 315–319

    work page 1993

  22. [22]

    R. J. Low,The space of null geodesics, inProceedings of the Third World Congress of Nonlinear Analysts, Part 5 (Catania, 2000), Non- linear Analysis: Theory, Methods & Applications,47(2001), no. 5, 3005–3017

    work page 2000

  23. [23]

    R. J. Low,The space of null geodesics (and a new causal boundary), inAnalytical and Numerical Approaches to Mathematical Relativity, J. Frauendiener, D. J. Giulini, and V. Perlick (eds.), Lecture Notes in Physics, vol. 692, Springer, Berlin–Heidelberg, 2006, pp. 35–50. 30

    work page 2006

  24. [24]

    J. J. Benavides Navarro and E. Minguzzi,Global hyperbolicity is stable in the interval topology, Journal of Mathematical Physics,52(2011), no. 11, 112504

    work page 2011

  25. [25]

    Penrose,The question of cosmic censorship, inBlack Holes and Rela- tivistic Stars(Chicago, IL, 1996), University of Chicago Press, Chicago, 1998, pp

    R. Penrose,The question of cosmic censorship, inBlack Holes and Rela- tivistic Stars(Chicago, IL, 1996), University of Chicago Press, Chicago, 1998, pp. 103–122

    work page 1996

  26. [26]

    Samelson,On manifolds with many closed geodesics, Portugaliae Mathematica,22(1963), 193–196

    H. Samelson,On manifolds with many closed geodesics, Portugaliae Mathematica,22(1963), 193–196

    work page 1963

  27. [27]

    Smale,An infinite dimensional version of Sard’s theorem, American Journal of Mathematics,87(1965), no

    S. Smale,An infinite dimensional version of Sard’s theorem, American Journal of Mathematics,87(1965), no. 4, 861–866. 31

    work page 1965