AIM-GEOMETRY-0263 · Complete proof

A Compactness Obstruction to Linear Growth Along Null Geodesics

Manuscript 30 August 2026 · Online 2 September 2026

math.DGUnrefereed preprint

Abstract

Let \((M,g)\) be a compact semi-Riemannian manifold of indefinite signature whose null geodesics are complete. We prove that no \(C^1\) one-form \(\eta\) can have the property that, along every nonconstant affinely parametrized null geodesic \(\gamma:\R\to M\) , the function \(\eta(\dot\gamma)\) is affine with nonzero slope. This gives a negative answer to Question 9.2.1 in the Burns–Matveev list of open problems about geodesics. The proof normalizes the null cone by an auxiliary Riemannian metric. Compactness then gives a uniform lower bound for the quadratic form \((\nabla_v\eta)(v)\) on normalized null vectors, while homogeneity forces the speed of any fixed null geodesic to remain bounded. Compactness also bounds the norm of \(\eta\) , contradicting the asserted nonzero linear growth. Only null completeness, rather than full geodesic completeness, is used.

Record

Affiliation
Mercury Software GmbH
Result
Complete proof
Categories
math.DG
Manuscript
30 August 2026
Online release
2 September 2026
Version
1.0 (typesetting revision 2026-09-05)
License
Creative Commons Attribution 4.0 International

Files and verification

The PDF is the canonical reading copy. The source archive contains the LaTeX manuscript, bibliography, reproducibility material, and audit documents without build artefacts.

PDF typesetting revised 5 September 2026: author/contact layout and disclosure placement only. The DOI links to the original archived edition; the mathematical content is unchanged.

Citation

Alper Ferudun, “A Compactness Obstruction to Linear Growth Along Null Geodesics,” EulerSolve Research Papers, AIM-GEOMETRY-0263, 2026. https://doi.org/10.5281/zenodo.22245396.

BibTeX
@misc{Ferudun2026AimGeometry0263,
  author = {Ferudun, Alper},
  title = {A Compactness Obstruction to Linear Growth Along Null Geodesics},
  year = {2026},
  howpublished = {EulerSolve Research Papers},
  url = {https://eulersolve.org/papers/aim-geometry-0263/},
  doi = {10.5281/zenodo.22245396},
  note = {AIM-GEOMETRY-0263; unrefereed preprint}
}