pith. sign in

arxiv: 2509.15745 · v2 · pith:M7DK4NHTnew · submitted 2025-09-19 · 🧮 math.DG · math-ph· math.MG· math.MP

On Markowitz's pseudodistance for conformal manifolds

Adam Chalumeau This is my paper

Pith reviewed 2026-05-25 08:16 UTC · model grok-4.3

classification 🧮 math.DG math-phmath.MGmath.MP MSC 53C5053A30
keywords Markowitz pseudodistanceconformal manifoldsEinstein-de Sitter spacequasi-homogeneous domainslightlike geodesicsconformally flat spacetimespseudo-Riemannian geometry
0
0 comments X

The pith

Markowitz's pseudodistance proves only finitely many quasi-homogeneous domains exist in the Einstein-de Sitter space up to conformal transformations, all homogeneous.

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

The paper applies Markowitz's conformally invariant pseudodistance, built from projectively parametrized lightlike geodesics, to study properties of conformal manifolds. It obtains non-degeneracy and completeness results for closed manifolds, conformally convex domains in the Einstein universe, and certain globally hyperbolic spacetimes, paralleling known facts about the Kobayashi metric. The main theorem classifies quasi-homogeneous domains inside the Einstein-de Sitter space, a bounded half-space model, and concludes that only finitely many exist up to conformal equivalence and that each must be homogeneous.

Core claim

Markowitz's pseudodistance, defined on pseudo-Riemannian manifolds using a distinguished class of projectively parametrized lightlike geodesics, classifies all quasi-homogeneous domains of the Einstein-de Sitter space. Up to conformal transformations only finitely many such domains exist, and every one is homogeneous.

What carries the argument

Markowitz pseudodistance: conformally invariant pseudodistance on pseudo-Riemannian manifolds constructed from projectively parametrized lightlike geodesics.

If this is right

  • The pseudodistance is non-degenerate on the three classes of manifolds examined and complete in some cases.
  • Results parallel to those of Brody and Barth hold for closed manifolds and conformally convex domains of the Einstein universe.
  • The pseudodistance yields useful completeness or non-degeneracy statements for globally hyperbolic conformally flat C-maximal spacetimes.
  • Quasi-homogeneous domains in the Einstein-de Sitter space are restricted to a finite list of homogeneous examples under the conformal group.

Where Pith is reading between the lines

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

  • The same pseudodistance construction may apply to other conformally flat Lorentzian manifolds beyond the Einstein-de Sitter model.
  • The finiteness result suggests that homogeneity is forced once a domain admits enough conformal symmetries in this setting.
  • Similar classification arguments could be tested on other projectively parametrized geodesic families in pseudo-Riemannian geometry.

Load-bearing premise

The domains under study must satisfy the structural hypotheses that make the Markowitz pseudodistance well-defined, namely that they arise as quasi-homogeneous subsets whose projectively parametrized lightlike geodesics behave as required by the original construction.

What would settle it

An explicit construction of infinitely many pairwise non-conformally-equivalent quasi-homogeneous domains inside the Einstein-de Sitter space would falsify the classification.

Figures

Figures reproduced from arXiv: 2509.15745 by Adam Chalumeau.

Figure 7
Figure 7. Figure 7: Construction of the point a ∈ ∂Ω in step 1 of the proof of Theorem E. Proof. By connectedness, we only need to show that Ω is closed in M, or equivalently that ∂Ω = ∅. Assume by contradiction that there exists a point x ∈ ∂Ω and let (xk) be a sequence of Ω converging to x. By quasi-homogeneity, there exists a sequence (gk) ∈ Conf(Ω) and a sequence of points (yk) converging to some y ∈ Ω such that gk(yk) = … view at source ↗
read the original abstract

In the 1980s, M. J. Markowitz introduced a conformally invariant pseudodistance on pseudo-Riemannian manifolds, inspired by the Kobayashi metric in projective geometry. This construction relies on a distinguished class of parametrized lightlike geodesics, called projectively parametrized. We begin by reviewing the fundamental properties of this pseudodistance and provide several families of examples where it is non-degenerate and, in some cases, complete. In particular, we investigate three classes of manifolds: closed manifolds, conformally convex domains of the Einstein universe, and globally hyperbolic, conformally flat, $C$-maximal spacetimes. For the first two classes, we obtain results analogous to those of Brody and Barth concerning the complex Kobayashi metric. Finally, we apply Markowitz's pseudodistance to classify all quasi-homogeneous domains of the Einstein-de Sitter space, that is, a half-space of Minkowski space bounded by a spacelike hyperplane. Up to conformal transformations, only finitely many such domains exist, and all of them turn out to be homogeneous.

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 manuscript reviews the properties of Markowitz's conformally invariant pseudodistance on pseudo-Riemannian manifolds (relying on projectively parametrized lightlike geodesics), supplies families of examples where the pseudodistance is non-degenerate or complete (closed manifolds, conformally convex domains in the Einstein universe, globally hyperbolic conformally flat C-maximal spacetimes), and applies the construction to classify quasi-homogeneous domains of the Einstein-de Sitter space, concluding that only finitely many exist up to conformal transformations and that all are homogeneous.

Significance. If the classification is valid, the work supplies a concrete conformal analogue of the Brody-Barth results for the Kobayashi metric and furnishes explicit examples of non-degenerate Markowitz pseudodistances, which could serve as a tool for studying quasi-homogeneous structures in Lorentzian geometry. The explicit families of examples constitute a verifiable contribution independent of the classification theorem.

major comments (2)
  1. [Classification of quasi-homogeneous domains] Classification section: the finiteness and homogeneity claims rest on the assertion that every quasi-homogeneous domain of the Einstein-de Sitter space admits a well-defined Markowitz pseudodistance via projectively parametrized lightlike geodesics. No explicit verification or reduction is given showing that the structural hypotheses of the 1980s construction hold for an arbitrary quasi-homogeneous subset; if a counter-example domain exists whose lightlike geodesics fail to admit the required projective parametrization, the classification does not cover all cases.
  2. [Globally hyperbolic conformally flat C-maximal spacetimes] Section on globally hyperbolic conformally flat C-maximal spacetimes: the non-degeneracy statements are stated to be analogous to Brody-Barth results, yet the argument invokes the same projectively parametrized geodesics without a separate check that the C-maximal condition guarantees the geodesics remain projectively parametrized up to the conformal boundary.
minor comments (2)
  1. [Review of fundamental properties] Notation for the projectively parametrized geodesics is introduced without a displayed equation number in the review section; cross-references later in the classification become ambiguous.
  2. The abstract claims 'several families of examples' but the text does not tabulate which manifolds yield complete versus merely non-degenerate pseudodistances; a short summary table would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the constructive major comments. Both points identify places where additional explicit verification would strengthen the manuscript. We will revise accordingly.

read point-by-point responses

  1. Referee: Classification section: the finiteness and homogeneity claims rest on the assertion that every quasi-homogeneous domain of the Einstein-de Sitter space admits a well-defined Markowitz pseudodistance via projectively parametrized lightlike geodesics. No explicit verification or reduction is given showing that the structural hypotheses of the 1980s construction hold for an arbitrary quasi-homogeneous subset; if a counter-example domain exists whose lightlike geodesics fail to admit the required projective parametrization, the classification does not cover all cases.

    Authors: We agree that an explicit reduction to the hypotheses of the 1980s construction is not spelled out for arbitrary quasi-homogeneous subsets. While the domains are embedded in the Einstein-de Sitter space (where the construction is known to apply) and inherit its conformal flatness, we will add a short lemma or paragraph in the classification section that verifies the projective parametrization condition holds for all such domains by reduction to the ambient space. This addresses the concern directly. revision: yes

  2. Referee: Section on globally hyperbolic conformally flat C-maximal spacetimes: the non-degeneracy statements are stated to be analogous to Brody-Barth results, yet the argument invokes the same projectively parametrized geodesics without a separate check that the C-maximal condition guarantees the geodesics remain projectively parametrized up to the conformal boundary.

    Authors: The C-maximal condition is used to guarantee that the spacetime is maximal with respect to the conformal structure, which we believe preserves the projective parametrization. However, we acknowledge that a separate explicit check is not provided. We will insert a brief verification (or reference to the definition of C-maximality) confirming that lightlike geodesics remain projectively parametrized up to the conformal boundary under this hypothesis. revision: yes

Circularity Check

0 steps flagged

No circularity: classification applies external Markowitz construction to domains satisfying its hypotheses

full rationale

The paper reviews the 1980s Markowitz pseudodistance (external citation) and applies it to classify quasi-homogeneous domains of Einstein-de Sitter space under the structural hypotheses required for the pseudodistance to be defined via projectively parametrized lightlike geodesics. The abstract states the result holds for domains meeting those conditions, with no reduction of the finiteness/homogeneity claim to a self-definition, fitted parameter renamed as prediction, or self-citation chain. The derivation chain remains independent of the target result; the hypotheses are input assumptions, not outputs derived by construction. This matches the default non-circular case.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only abstract available; no explicit free parameters, axioms, or invented entities are stated.

pith-pipeline@v0.9.0 · 5717 in / 1116 out tokens · 25952 ms · 2026-05-25T08:16:28.094294+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

38 extracted references · 38 canonical work pages

  1. [1]

    K obayashi conformal metric on manifolds, C hern- S imons and -invariants

    Boris Apanasov. K obayashi conformal metric on manifolds, C hern- S imons and -invariants. International Journal of Mathematics , 2(4):361--382, 1991

    work page 1991

  2. [2]

    Theodore J. Barth. Convex D omains and K obayashi H yperbolicity. Proceedings of the American Mathematical Society , 79:556--558, 1980

    work page 1980

  3. [3]

    Bridson and Andr é Haefliger

    Martin R. Bridson and Andr é Haefliger. Metric Spaces of Non-Positive Curvature , volume 319. Springer Science & Business Media, 2013

    work page 2013

  4. [4]

    Flat spacetimes with compact hyperbolic C auchy surfaces

    Francesco Bonsante. Flat spacetimes with compact hyperbolic C auchy surfaces. Journal of Differential Geometry , 69(3):441--521, 2005

    work page 2005

  5. [5]

    Compact M anifolds and H yperbolicity

    Robert Brody. Compact M anifolds and H yperbolicity. Transactions of the American Mathematical Society , 235:213--219, 1978

    work page 1978

  6. [6]

    Global aspects of the cauchy problem in general relativity

    Yvonne Choquet-Bruhat and Robert Geroch. Global aspects of the cauchy problem in general relativity. Communications in Mathematical Physics , 14(4):329--335, 1969

    work page 1969

  7. [7]

    Proper A lmost- H omogeneous D omains of the E instein U niverse

    Adam Chalumeau and Blandine Galiay. Proper A lmost- H omogeneous D omains of the E instein U niverse. International Mathematics Research Notices , 2025(14):rnaf205, 2025

    work page 2025

  8. [8]

    Métriques conformément invariantes en géométrie pseudo-riemannienne

    Adam Chalumeau. Métriques conformément invariantes en géométrie pseudo-riemannienne . PhD thesis, Université de Strasbourg, December 2024

    work page 2024

  9. [9]

    Gromov hyperbolic domains of M inkowski space

    Adam Chalumeau. Gromov hyperbolic domains of M inkowski space. In press , 2025

    work page 2025

  10. [10]

    Relativistic S pace F orms

    Eugenio Calabi and Leon Markus. Relativistic S pace F orms. Annals of Mathematics , 75(1):63--76, 1962

    work page 1962

  11. [11]

    Hyperbolic domains in real E uclidean spaces

    Barbara Drinovec Drnovšek and Franc Forstnerič. Hyperbolic domains in real E uclidean spaces. Pure and Applied Mathematics Quarterly , 19(6):2689--2735, 2023

    work page 2023

  12. [12]

    Une preuve du th é or è me de L iouville en g é om é trie conforme dans le cas analytique

    Charles Frances. Une preuve du th é or è me de L iouville en g é om é trie conforme dans le cas analytique. L'Enseignement Math é matique. Revue Internationale. 2e S é rie , 49(1-2):95--100, 2003

    work page 2003

  13. [13]

    D \'e g \'e n \'e rescence locale des transformations conformes pseudo-riemanniennes

    Charles Frances. D \'e g \'e n \'e rescence locale des transformations conformes pseudo-riemanniennes. Annales de l'Institut Fourier , 62(5):1627--1669, 2012

    work page 2012

  14. [14]

    Rigidity of proper quasi-homogeneous domains in positive flag manifolds, 2024

    Blandine Galiay. Rigidity of proper quasi-homogeneous domains in positive flag manifolds, 2024

    work page 2024

  15. [15]

    Geometric Structures on Manifolds , volume 227 of Graduate Studies in Mathematics

    William Mark Goldman. Geometric Structures on Manifolds , volume 227 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2022

    work page 2022

  16. [16]

    Frederick William Gehring and Bruce P. Palka. Quasiconformally homogeneous domains. Journal d’Analyse Mathématique , 30(1):172--199, 1976

    work page 1976

  17. [17]

    On the K obayashi metrics on R iemannian manifolds, 2023

    Hervé Gaussier and Alexandre Sukhov. On the K obayashi metrics on R iemannian manifolds, 2023

    work page 2023

  18. [18]

    Ordinary D ifferential E quations , volume 38 of Classics in Applied Mathematics

    Philip Hartman. Ordinary D ifferential E quations , volume 38 of Classics in Applied Mathematics . Society for Industrial and Applied Mathematics (SIAM), Philadelphia, 2002

    work page 2002

  19. [19]

    Projectively invariant distances for affine and projective structures

    Shoshichi Kobayashi. Projectively invariant distances for affine and projective structures. Banach Center Publications , 12(1):127--152, 1984

    work page 1984

  20. [20]

    Hyperbolic M anifolds and H olomorphic M appings

    Shoshichi Kobayashi. Hyperbolic M anifolds and H olomorphic M appings . World Scientific, 2nd edition, 2005

    work page 2005

  21. [21]

    A canonical metric for M ö bius structures and its applications

    Ravi Kulkarni and Ulrich Pinkall. A canonical metric for M ö bius structures and its applications. Mathematische Zeitschrift , 216(1):89--129, 1994

    work page 1994

  22. [22]

    Markowitz

    Michael J. Markowitz. An intrinsic conformal L orentz pseudodistance. Mathematical Proceedings of the Cambridge Philosophical Society , 89(2):359--371, 1981

    work page 1981

  23. [23]

    Markowitz

    Michael J. Markowitz. Conformal H yperbolicity of L orentzian W arped P roducts. General Relativity and Gravitation , 14(12):1095--1105, 1982

    work page 1982

  24. [24]

    Introduction to Arithmetic Groups

    Dave Witte Morris. Introduction to Arithmetic Groups . Deductive Press, 2015

    work page 2015

  25. [25]

    The causal hierarchy of spacetimes

    Ettore Minguzzi and Miguel Sánchez. The causal hierarchy of spacetimes. In Helga Baum and Dmitri Alekseevsky, editors, Recent Developments in Pseudo-Riemannian Geometry , ESI Lectures in Mathematics and Physics, pages 299--358. European Mathematical Society Publishing House, Zurich, 2008

    work page 2008

  26. [26]

    Projective Differential Geometry Old and New: From the Schwarzian Derivative to the Cohomology of Diffeomorphism Groups

    Valentin Ovsienko and Serge Tabachnikov. Projective Differential Geometry Old and New: From the Schwarzian Derivative to the Cohomology of Diffeomorphism Groups . Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge, 2004

    work page 2004

  27. [27]

    Sur une caract \'e risation de la boule parmi les domaines de C n par son groupe d'automorphismes

    Jean-Pierre Rosay. Sur une caract \'e risation de la boule parmi les domaines de C n par son groupe d'automorphismes. Annales de l'Institut Fourier , 29(4):91--97, 1979

    work page 1979

  28. [28]

    Halsey L. Royden. Remarks on the K obayashi M etric. In John Horv \'a th, editor, Several Complex Variables II, Maryland 1970 , pages 125--137, Berlin, Heidelberg, 1971. Springer

    work page 1970

  29. [29]

    Maximal extension of conformally flat globally hyperbolic space-times

    Clara Salvemini. Maximal extension of conformally flat globally hyperbolic space-times. Geometriae Dedicata , 174, 2013

    work page 2013

  30. [30]

    Richard W. Sharpe. Differential Geometry: Cartan's Generalization of Klein's Erlangen Program . Springer, 1997

    work page 1997

  31. [31]

    Espace-temps conformément plats globalement hyperboliques maximaux avec des photons complets

    Rym Smaï. Espace-temps conformément plats globalement hyperboliques maximaux avec des photons complets . PhD thesis, Université d'Avignon, 2022

    work page 2022

  32. [32]

    Maximality of the futures of points in globally hyperbolic maximal conformally flat spacetimes, 2025

    Rym Smaï. Maximality of the futures of points in globally hyperbolic maximal conformally flat spacetimes, 2025

    work page 2025

  33. [33]

    Enveloping space of a globally hyperbolic conformally flat spacetime

    Rym Smaï. Enveloping space of a globally hyperbolic conformally flat spacetime. Annales de l’Institut Fourier , to appear. Accepted for publication

    work page

  34. [34]

    Thurston

    William P. Thurston. Three-Dimensional Geometry and Topology, Volume 1 . Princeton University Press, 1997

    work page 1997

  35. [35]

    Rigidity of convex divisible domains in flag manifolds

    Wouter van Limbeek and Andrew Zimmer. Rigidity of convex divisible domains in flag manifolds. Geometry & Topology , 23(1):171--240, 2019

    work page 2019

  36. [36]

    Characterization of the unit ball in C ^n by its automorphism group

    Bun Wong. Characterization of the unit ball in C ^n by its automorphism group. Inventiones Mathematicae , 41(3):253--257, 1977

    work page 1977

  37. [37]

    Some T heorems on P rojective H yperbolicity

    Hung-Hsi Wu. Some T heorems on P rojective H yperbolicity. Journal of the Mathematical Society of Japan , 33(1):79--104, 1981

    work page 1981

  38. [38]

    Andrew M. Zimmer. Proper quasi-homogeneous domains in flag manifolds and geometric structures. Annales de l'Institut Fourier , 68(6):2635--2662, 2018

    work page 2018