A Compactness Obstruction to Linear Growth Along Null Geodesics
Manuscript 30 August 2026 · Online 2 September 2026
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
- Contact
- [email protected] · GitHub
- 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}
}