pith. sign in

arxiv: 2605.01532 · v1 · submitted 2026-05-02 · 🌀 gr-qc · math.DG

On the formulations of the Fermat principle in general relativity and beyond

Erasmo Caponio , Miguel Angel Javaloyes This is my paper

Pith reviewed 2026-05-09 17:59 UTC · model grok-4.3

classification 🌀 gr-qc math.DG
keywords Fermat principlegeneral relativitylightlike curvesSobolev topologyLorentzian geometryvariational methodslight rays multiplicityFinsler spacetimes
0
0 comments X

The pith

The space of lightlike curves in Sobolev topology does not form a smooth manifold because of the null cone condition, so variational proofs of light ray multiplicity rely instead on the quadratic arrival time functional.

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

The paper surveys the evolution of the Fermat principle from classical optics into a variational statement for light rays in Lorentzian spacetimes. It gives a direct proof of the principle when restricted to smooth lightlike curves connecting an event to a timelike curve. The survey then shows that the full space of lightlike curves, equipped with the Sobolev topology, cannot carry a smooth manifold structure because the null condition defines a cone rather than a smooth hypersurface. To recover multiplicity results for light rays, the authors turn to the quadratic arrival time functional, which bypasses the manifold obstacle. The same framework is extended to timelike geodesics of fixed proper time, Finsler spacetimes, extended sources, and interfaces that produce a refraction law.

Core claim

Within a smooth Lorentzian manifold the Fermat principle asserts that lightlike geodesics are critical points of the arrival-time functional among lightlike curves from a fixed event to a given timelike curve. The paper proves this statement directly in the smooth category and then demonstrates that the Sobolev space of all lightlike curves fails to be a smooth manifold precisely because the set of null vectors forms a cone with a nonsmooth vertex; the quadratic arrival time functional is introduced as an alternative variational device that still yields critical points and thereby establishes the existence of multiple distinct light rays.

What carries the argument

The quadratic arrival time functional, which replaces the standard length or time functional and permits critical-point theory even though the ambient space of lightlike curves is not a manifold.

If this is right

  • Multiplicity theorems for light rays between a point and a timelike curve follow from critical-point theory applied to the quadratic arrival time.
  • The same variational setup extends directly to timelike geodesics with prescribed proper time.
  • The principle continues to hold, with a modified functional, in Finsler spacetimes.
  • At a non-continuous interface the critical-point condition produces a relativistic Snell law.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Numerical ray-tracing codes in general relativity would need to incorporate quadratic functionals or equivalent regularizations to locate all multiple paths reliably.
  • The cone-induced failure of manifold structure indicates that standard Morse-theory techniques from Riemannian geometry cannot be transferred verbatim to null geodesics in Lorentzian settings.
  • In low-regularity or singular spacetimes the same obstruction may become even more severe, suggesting the need for measure-theoretic or viscosity formulations.

Load-bearing premise

The spacetime is assumed to be a smooth Lorentzian manifold and the lightlike curves are taken sufficiently regular for the Sobolev and smooth topologies to be well-defined.

What would settle it

An explicit example of a smooth Lorentzian manifold in which the set of lightlike curves, equipped with the H^1 topology, carries the structure of a smooth infinite-dimensional manifold would refute the non-manifold claim.

read the original abstract

This paper presents a survey of the Fermat principle within the framework of general relativity, tracing its evolution from classical optics to its modern variational formulation in Lorentzian geometry. In particular, we provide its proof in the framework of smooth lightlike curves. We also analyze the mathematical difficulties inherent in the relativistic setting, specifically demonstrating that the space of lightlike curves in the Sobolev topology does not admit a smooth manifold structure due to the cone nature of the null condition. To address these variational obstacles, we discuss alternative frameworks highlighting the role of the quadratic arrival time functional in establishing multiplicity results for light rays. Furthermore, we explore significant extensions of the principle, such as its application to extended sources and receivers, arbitrary arrival curves, timelike geodesics with prescribed proper time, Finsler spacetimes, or settings with a non-continuous interface giving rise to a Snell law.

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

2 major / 2 minor

Summary. The paper surveys the Fermat principle in general relativity, tracing its development from classical optics to variational formulations in Lorentzian geometry. It provides an explicit proof of the principle in the setting of smooth lightlike curves, demonstrates that the space of lightlike curves equipped with the Sobolev topology does not admit the structure of a smooth manifold because the null condition imposes a cone-type constraint rather than a transverse submanifold condition, and discusses alternative approaches based on the quadratic arrival-time functional that yield multiplicity results for light rays. Extensions to extended sources/receivers, arbitrary arrival curves, timelike geodesics with fixed proper time, Finsler spacetimes, and interfaces obeying a Snell law are also treated.

Significance. If the claimed proof and the non-manifold demonstration are rigorous, the work usefully consolidates the mathematical obstacles that arise when attempting to apply standard infinite-dimensional manifold techniques to null geodesics in GR and motivates the quadratic arrival-time approach as a workable substitute. The survey character and the explicit treatment of several extensions (Finsler, interfaces) add value for researchers working on geometric optics in curved or generalized spacetimes. The absence of free parameters or ad-hoc constructions in the core arguments is a positive feature.

major comments (2)
  1. [section containing the Sobolev-topology argument] The demonstration that the space of lightlike curves in Sobolev topology fails to be a smooth manifold rests on the cone nature of the null condition. The manuscript should supply a precise reference to the lemma or proposition that establishes the failure of the implicit-function theorem or transversality in this setting, together with the exact Sobolev index k for which the argument holds.
  2. [proof of the Fermat principle and the multiplicity section] The proof of the Fermat principle for smooth lightlike curves and the subsequent multiplicity results via the quadratic arrival-time functional both assume a smooth Lorentzian metric and sufficiently regular (at least C^1 or high-order Sobolev) curves on a complete manifold. The paper should state explicitly whether these hypotheses are necessary for the Palais-Smale condition or for the exponential map to be well-defined, and whether any counter-examples are known when the metric is merely C^{1,1}.
minor comments (2)
  1. Ensure that all cited prior literature on Lorentzian geometry and variational methods for null geodesics is listed in the bibliography with consistent formatting.
  2. The abstract refers to 'the quadratic arrival time functional'; the main text should introduce its precise definition (including the quadratic term) at the first occurrence.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading, positive evaluation, and constructive suggestions. We address the two major comments point by point below and will incorporate the requested clarifications and references into the revised manuscript.

read point-by-point responses

  1. Referee: [section containing the Sobolev-topology argument] The demonstration that the space of lightlike curves in Sobolev topology fails to be a smooth manifold rests on the cone nature of the null condition. The manuscript should supply a precise reference to the lemma or proposition that establishes the failure of the implicit-function theorem or transversality in this setting, together with the exact Sobolev index k for which the argument holds.

    Authors: We agree that an explicit reference would improve clarity. The argument relies on the observation that the null constraint defines a cone in the tangent space rather than a transverse submanifold, so the implicit-function theorem does not apply in the Sobolev space of curves. In the revision we will cite the standard result on non-transverse constraints in Banach manifolds (e.g., the discussion of cone-type sets in Palais' work on infinite-dimensional manifolds and related statements in the literature on lightlike geodesics). The failure holds for all Sobolev indices k ≥ 1 (where the space is a Banach manifold but the constraint remains non-transverse); we will state this index explicitly. revision: yes

  2. Referee: [proof of the Fermat principle and the multiplicity section] The proof of the Fermat principle for smooth lightlike curves and the subsequent multiplicity results via the quadratic arrival-time functional both assume a smooth Lorentzian metric and sufficiently regular (at least C^1 or high-order Sobolev) curves on a complete manifold. The paper should state explicitly whether these hypotheses are necessary for the Palais-Smale condition or for the exponential map to be well-defined, and whether any counter-examples are known when the metric is merely C^{1,1}.

    Authors: The proofs require a smooth (at least C^2) Lorentzian metric so that the exponential map is C^1 and the quadratic arrival-time functional satisfies the Palais-Smale condition in the Sobolev space of curves. These regularity assumptions are necessary for the standard critical-point arguments employed. We will add an explicit paragraph stating this dependence. To our knowledge no counter-examples are known for merely C^{1,1} metrics in the present variational setting, although the exponential map loses sufficient differentiability; we will include a remark to this effect. revision: yes

Circularity Check

0 steps flagged

Survey with standard self-citations; central claims rest on external Lorentzian geometry literature

full rationale

This is a survey tracing the Fermat principle from classical optics to Lorentzian geometry. It provides a proof for smooth lightlike curves and shows the Sobolev space of lightlike curves lacks a smooth manifold structure due to the cone constraint. Both results are derived under explicit smoothness assumptions on the metric and curves, with multiplicity results obtained via the quadratic arrival-time functional. No derivation reduces by construction to a fitted parameter or self-referential definition. Self-citations appear but are not load-bearing for the core mathematical statements, which cite independent prior work in the field. The analysis is self-contained against external benchmarks in Lorentzian geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The survey relies on standard background from Lorentzian geometry and variational calculus; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption Spacetime is modeled by a smooth Lorentzian manifold
    Invoked throughout the discussion of lightlike curves and the Fermat principle in GR.
  • standard math Light rays are represented by lightlike curves satisfying the null condition
    Central to the cone-nature argument and variational setup.

pith-pipeline@v0.9.0 · 5449 in / 1415 out tokens · 26401 ms · 2026-05-09T17:59:17.942346+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

37 extracted references · 37 canonical work pages

  1. [1]

    Antonacci and P

    F. Antonacci and P. Piccione. A Fermat principle on Lorentzian manifolds and applications. Appl. Math. Lett. 9 , 91--95 (1996)

    work page 1996

  2. [2]

    Blandford and R

    R. Blandford and R. Narayan. Fermat's principle, caustics, and the classification of gravitational lens images. Astrophys. J. 310 , 568--582 (1986)

    work page 1986

  3. [3]

    E. Caponio. The index of a geodesic in a Randers space and some remarks about the lack of regularity of the energy functional of a Finsler metric. Acta Math. Acad. Paedagog. Nyh\'azi. 26 , 265--274 (2010)

    work page 2010

  4. [4]

    Caponio, M

    E. Caponio, M. A. Javaloyes and A. Masiello. M orse theory of causal geodesics in a stationary spacetime via M orse theory of geodesics of a F insler metric. A nn. I nst. H . P oincar\'e Anal. Non Lin\'eaire. 27 , 857--876 (2010)

    work page 2010

  5. [5]

    Caponio, M

    E. Caponio, M. A. Javaloyes and A. Masiello. On the energy functional on F insler manifolds and applications to stationary spacetimes. Math. Ann. 351 , 365--392 (2011)

    work page 2011

  6. [6]

    Caponio, M

    E. Caponio, M. A. Javaloyes and A. Masiello. Addendum to `` M orse theory of causal geodesics in a stationary spacetime via M orse theory of geodesics of a F insler metric'' [ A nn. I . H . P oincar\'e--- AN 27 (3) (2010) 857--876]''. Ann. Inst. H. Poincar\'e Anal. Non Lin\'eaire 30 , 961--968 (2013)

    work page 2010

  7. [7]

    Caponio, M

    E. Caponio, M. A. Javaloyes and M. S \'a nchez . On the interplay between L orentzian causality and F insler metrics of R anders type . Rev. Mat. Iberoamericana 27 , 919--952 (2011)

    work page 2011

  8. [8]

    Caponio, M

    E. Caponio, M. A. Javaloyes and M. S\' a nchez. Wind Finslerian structures: From Zermelo's navigation to the causality of spacetimes. Mem. Amer. Math. Soc. 300 , 1501 (2024)

    work page 2024

  9. [9]

    Caponio and G

    E. Caponio and G. Stancarone. On Finsler spacetimes with a timelike Killing vector field. Classical Quantum Gravity 35, 085007 (2018)

    work page 2018

  10. [10]

    Darrigol

    O. Darrigol. A History of Optics: From Greek Antiquity to the Nineteenth Century . Oxford University Press, Oxford, 2012

    work page 2012

  11. [11]

    Fortunato, F

    D. Fortunato, F. Giannoni, and A. Masiello. A F ermat principle for stationary space-times and applications to light rays. J. Geom. Phys. 15 , 159--188 (1995)

    work page 1995

  12. [12]

    Gallego Torrom\'e, P

    R. Gallego Torrom\'e, P. Piccione and H. Vit\'orio. On Fermat's principle for causal curves in time oriented Finsler spacetimes. J. Math. Phys. 53 , 123511 (2012)

    work page 2012

  13. [13]

    Giamb\`o, F

    R. Giamb\`o, F. Giannoni and A. Masiello. Functional regularity properties for light rays in general relativity. J. Math. Phys. 50 , 072501 (2009)

    work page 2009

  14. [14]

    Giamb\`o, F

    R. Giamb\`o, F. Giannoni and P. Piccione. Gravitational lensing in general relativity via bifurcation theory. Nonlinearity 17 , 117--132 (2004)

    work page 2004

  15. [15]

    Giannoni and A

    F. Giannoni and A. Masiello. On a Fermat Principle in General Relativity. A Ljusternik-Schnirelmann Theory for Light Rays. Ann. Mat. Pura Appl. (4) 174, 161--207 (1998)

    work page 1998

  16. [16]

    Giannoni, A

    F. Giannoni, A. Masiello, and P. Piccione. A variational theory for light rays in stably causal Lorentzian manifolds: Regularity and multiplicity results. Comm. Math. Phys. 187, 375--415 (1997)

    work page 1997

  17. [17]

    Giannoni, A

    F. Giannoni, A. Masiello, and P. Piccione. A Morse Theory for light rays on stably causal Lorentzian manifolds. A nn. I nst. H . P oincar\'e Physique Th\'eorique 69, 359--412 (1998)

    work page 1998

  18. [18]

    Giannoni, A

    F. Giannoni, A. Masiello and P. Piccione. A timelike extension of Fermat's principle in general relativity and applications. Calc. Var. Partial Differential Equations 6 , 263--283 (1998)

    work page 1998

  19. [19]

    Giannoni, A

    F. Giannoni, A. Masiello and P. Piccione. The Fermat principle in general relativity and applications. J. Math. Phys. 43 , 563--596 (2002)

    work page 2002

  20. [20]

    Giannoni and P

    F. Giannoni and P. Piccione. An intrinsic approach to the geodesical connectedness of stationary Lorentzian manifolds. Comm. Anal. Geom. 7 , 157--197 (1999)

    work page 1999

  21. [21]

    M. A. Javaloyes, S. Markvorsen, E. Pend\'as-Recondo and M. S\' a nchez. Generalized Fermat's principle and Snell's law for cone structures and applications, arXiv:2509.26492 [math.DG] (2025)

    work page arXiv 2025

  22. [22]

    M. A. Javaloyes and M. S\' a nchez. On the definition and examples of cones and Finsler spacetimes. RACSAM 114 , 30 (2020)

    work page 2020

  23. [23]

    I. Kovner. Fermat principle in gravitational fields. Astrophys. J. 351 , 114--120 (1990)

    work page 1990

  24. [24]

    S. Lang . Differential Manifolds . Springer-Verlag, New York, 1985

    work page 1985

  25. [25]

    Landau and E

    L. Landau and E. Lifshitz. The Classical Theory of Fields . Pergamon Press; Addison-Wesley, Oxford; Reading, MA, 2nd edition, 1962

    work page 1962

  26. [26]

    Levi-Civita

    T. Levi-Civita. La teoria di E instein e il principio di F ermat. Nuovo Cimento 16 , 105--114 (1918)

    work page 1918

  27. [27]

    Levi-Civita

    T. Levi-Civita. The Absolute Differential Calculus . Blackie & Son Limited, London and Glasgow, 1927

    work page 1927

  28. [28]

    Masiello and P.Piccione

    A. Masiello and P.Piccione. Shortening null geodesics in Lorentzian manifolds. Applications to closed light rays. Diff. Geom. Appl. 8 , 47--70 (1998)

    work page 1998

  29. [29]

    V. Perlick. On F ermat's principle in general relativity. I . T he general case. Class. Quantum Grav. 7 , 1319--1331 (1990)

    work page 1990

  30. [30]

    V. Perlick. On F ermat's principle in general relativity. II .\ T he conformally stationary case. Classical Quantum Gravity 7 , 1849--1867 (1990)

    work page 1990

  31. [31]

    V. Perlick. Fermat principle in F insler spacetimes. Gen. Relativity Gravitation 38 , 365--380 (2006)

    work page 2006

  32. [32]

    V. Perlick. Ray Optics, Fermat's Principle, and Applications to General Relativity . Lecture Notes in Physics Monographs, Vol. 61. Springer, Berlin, 2000

    work page 2000

  33. [33]

    Perlick and P

    V. Perlick and P. Piccione. A general-relativistic Fermat principle for extended light sources and extended receivers. Gen. Relativity Gravitation 30 , 1461--1476 (1998)

    work page 1998

  34. [34]

    Q. Pham. Inductions \'e lectromagn \'e tiques en r \'e lativit \'e g \'e n \'e ral et principe de F ermat. Arch. Ration. Mech. Anal. 1 , 54--80 (1957)

    work page 1957

  35. [35]

    J. Synge. An alternative treatment of F ermat's principle for a stationary gravitational field. Philos. Mag. and J. of Science 50 , 913--916 (1925)

    work page 1925

  36. [36]

    Uhlenbeck , A Morse theory for geodesics on a Lorentz manifold

    K. Uhlenbeck , A Morse theory for geodesics on a Lorentz manifold. , Topology 14 , 69--90 (1975)

    work page 1975

  37. [37]

    H. Weyl. Zur gravitationstheorie. Ann. Phys. (Berlin) 54 , 117--145 (1917)

    work page 1917