Pith. sign in

REVIEW 2 minor 23 references

Reviewed by Pith at T0; open to challenge.

T0 means a machine referee read the full paper against a public rubric. The mark states how deep the mechanical check went, never who wrote it. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.3

A Kobayashi-type pseudometric on domains in real-type Nagano spaces is a genuine metric if and only if the domain does not contain a photon minus a point.

2026-06-29 00:24 UTC pith:OBVYNSO2

load-bearing objection The paper defines a Kobayashi-type pseudometric on domains in real-type Nagano spaces, gives an iff criterion using photons, an explicit L1-flat formula, and a higher-rank non-hyperbolicity result that contrasts with Benoist.

arxiv 2605.29320 v1 pith:OBVYNSO2 submitted 2026-05-28 math.GR math.DG

Metric properties of domains in real-type Nagano spaces

Blandine Galiay This is my paper
classification math.GR math.DG
keywords Kobayashi pseudometricNagano spacesdually convex domainsGromov hyperbolicitysymmetric spacesphotonsreal projective space
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper introduces a Kobayashi-type pseudometric on domains inside real-type Nagano spaces, which are compact symmetric spaces admitting large transformation groups such as Grassmannians and Einstein universes. For dually convex domains this pseudometric separates points precisely when the domain contains no photon minus a point. The metric is computed explicitly on proper symmetric domains by integrating an L1-norm along flats. In higher rank the same metric on strongly R-proper dually convex divisible domains is never Gromov hyperbolic, in contrast to the rank-one case of real projective space where hyperbolicity holds exactly for strictly convex domains.

Core claim

For a dually convex domain of a general real-type Nagano space the Kobayashi-type pseudometric is a genuine metric if and only if the domain does not contain a photon minus a point. On proper symmetric domains the metric is obtained by integrating the L1-norm along flats. In higher rank the Kobayashi metric of a strongly R-proper dually convex divisible domain is never Gromov hyperbolic.

What carries the argument

The Kobayashi-type pseudometric on domains in real-type Nagano spaces, which coincides with the classical Kobayashi pseudometric on real projective space.

Load-bearing premise

The Kobayashi-type pseudometric must be well-defined and satisfy the triangle inequality on the domains under consideration.

What would settle it

Exhibit a dually convex domain in some real-type Nagano space that contains a photon minus a point yet for which distinct points can still be separated by the pseudometric.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • When the Nagano space is real projective space the pseudometric reduces to the classical Kobayashi pseudometric.
  • On proper symmetric domains the metric equals the integral of the L1-norm along flats.
  • In higher rank the Kobayashi metric on strongly R-proper dually convex divisible domains fails to be Gromov hyperbolic.
  • This non-hyperbolicity stands in contrast to the rank-one case, where hyperbolicity holds if and only if the domain is strictly convex.

Where Pith is reading between the lines

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

  • The photon condition may correspond to the presence of null curves that prevent separation of points by the pseudometric.
  • The explicit L1 integration formula could allow direct comparison with other Finsler-type metrics on symmetric domains.
  • Non-hyperbolicity in higher rank may imply the existence of flat subspaces or quasi-isometric embeddings of Euclidean space inside the metric completion.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 2 minor

Summary. The paper defines a Kobayashi-type pseudometric on domains in real-type Nagano spaces (compact symmetric spaces including Grassmannians and Einstein universes). This pseudometric coincides with the classical Kobayashi pseudometric when the Nagano space is real projective space. For dually convex domains, the pseudometric is a genuine metric if and only if the domain does not contain a photon minus a point. The metric is computed explicitly on proper symmetric domains by integrating the L^1-norm along flats. In higher rank, the Kobayashi metric of a strongly R-proper dually convex divisible domain is never Gromov hyperbolic, contrasting with Benoist's rank-one theorem that hyperbolicity holds iff the domain is strictly convex.

Significance. If the constructions and proofs hold, the work extends Kobayashi metric theory from projective spaces to a broader family of symmetric spaces, providing an iff characterization for the pseudometric property and a rank-dependent non-hyperbolicity result. The explicit L^1 integration formula along flats is a concrete strength that enables direct computations and connects to symmetric space geometry. The contrast with Benoist's theorem clarifies the role of rank in hyperbolicity, offering new tools for studying domains in Nagano spaces.

minor comments (2)
  1. [§2] §2 (Definitions): the notions of 'dually convex domain' and 'photon' are introduced without an explicit comparison to the classical notions in RP^n; adding a short paragraph recalling the reduction would improve readability for readers familiar with the projective case.
  2. [Computation section] The statement of the integration formula for the metric on proper symmetric domains (around the computation section) would benefit from an explicit reference to the flat used in the L^1-norm integration, e.g., by labeling the relevant flat in a diagram or equation.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No major comments appear in the report, so we have no specific points to address.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper defines and studies a Kobayashi-type pseudometric on domains in real-type Nagano spaces as an extension of the classical case on real projective space. The central claims (iff condition for being a genuine metric via absence of photon minus point; integration along flats on proper symmetric domains; non-hyperbolicity in higher rank) rest on geometric definitions of dually convex domains, photons, and flats, plus external results such as Benoist's theorem for the rank-one contrast. No self-definitional loops, fitted inputs renamed as predictions, load-bearing self-citations, or ansatz smuggling appear. The derivation chain is self-contained against standard symmetric space theory and does not reduce to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Based solely on the abstract; the work relies on standard background from symmetric space theory and Kobayashi metric literature. No free parameters, invented entities, or ad-hoc axioms are visible in the provided text.

pith-pipeline@v0.9.1-grok · 5699 in / 1250 out tokens · 21090 ms · 2026-06-29T00:24:15.172003+00:00 · methodology

0 comments
read the original abstract

Nagano spaces are compact symmetric spaces that admit large transformation groups. They include for instance all the Grassmannians and the Einstein Universes. In this paper, we study a Kobayashi-type pseudometric on domains in real-type Nagano spaces. When the Nagano space is real projective space, this metric coincides with the classical Kobayashi pseudometric. For a dually convex domain of a general real-type Nagano space, we prove that this pseudometric is a genuine metric if and only if the domain does not contain a photon minus a point. We compute this metric on the proper symmetric domains and prove that it is obtained by integrating the $L^1$-norm along flats. We prove that in higher rank, the Kobayashi metric of a strongly $\mathcal{R}$-proper dually convex divisible domain is never Gromov hyperbolic. This contrasts with the rank-one case corresponding to real projective space, where a classical result of Benoist shows that this metric is Gromov hyperbolic if and only if the domain is strictly convex.

Figures

Figures reproduced from arXiv: 2605.29320 by Blandine Galiay.

Figure 1
Figure 1. Figure 1: Proof of Theorem 11.1.(1) in the self-opposite case, for r = 2. The picture is in the pushforward in Ωnb of a flat of X(g, α). The rays issuing from ξ1 and ξ2 are contained in Zξ1 ∩ ∂Ωnb and Zξ2 ∩ ∂Ωnb respectively. It is clear that ai ∈ Zp + {i(α)} ∩ℓi for all 1 ≤ i ≤ r, so ai = prℓi (p + {i(α)} ). On the other hand, clearly bi ∈/ A −, so bi ∈ Zp− ; since bi ∈ ℓi we also have bi = prℓi (p −). Now the same… view at source ↗

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

23 extracted references · 9 canonical work pages · 2 internal anchors

  1. [1]

    Convex projective structures on nonhyperbolic three–manifolds

    [BDL18] S. Ballas, J. Danciger, and G.-S. Lee. “Convex projective structures on nonhyperbolic three–manifolds”. In:Geom. Topol.22.3 (2018), pp. 1593–1646. [Ben00] Y. Benoist. “Automorphismes des cônes convexes”. In:Invent. Math.141 (2000), pp. 149–

    2018

  2. [2]

    Duke Math

    [Ben01] Y. Benoist. “Convexes divisibles”. In:C. R. Acad. Sci. Paris, Sér. I-Math.332.5 (2001), pp. 387–390. [Ben03] Y. Benoist. “Convexes divisibles. II”. French. In:Duke Math. J.120.1 (2003), pp. 97–120. issn: 0012-7094.doi:10.1215/S0012-7094-03-12014-1. [Ben06] Y. Benoist. “Convexes divisibles IV”. In:Invent. Math164.2 (2006), pp. 249–278. [BGLPW24] J....

    work page doi:10.1215/s0012-7094-03-12014-1 2001

  3. [3]

    Theboundaryofrank-onedivisibleconvexsets

    [Bla24] P.-L.Blayac.“Theboundaryofrank-onedivisibleconvexsets”.In:Bull. Soc. Math. France (2024). [Bro78] R. Brody. “Compact manifolds in hyperbolicity”. In:Trans. Amer. Math. Soc.235 (1978), pp. 213–219. [BV24] P.-L. Blayac and G. Viaggi. “Divisible convex sets with properly embedded cones”. In: Publ. Math. IHÉS(2024), pp. 1–91. [CG25] A. Chalumeau and B...

    work page arXiv 2024

  4. [4]

    On Markowitz's pseudodistance for conformal manifolds

    [Cha26b] A. Chalumeau. “On Markowitz’s pseudodistance for conformal manifolds”. arXiv:2509.15745, to appear in Geom. Dedicata

    work page internal anchor Pith review Pith/arXiv arXiv

  5. [5]

    On the geometry of algebraic homogeneous spaces

    [Cho49] W. Chow. “On the geometry of algebraic homogeneous spaces”. In:Ann. of Math.50.1 (1949), pp. 32–67. [CLM20] S. Choi, G.-S. Lee, and L. Marquis. “Convex projective generalized Dehn filling”. In:Ann. Sci. Ec. Norm. Supér.53 (2020), pp. 217–266. [CLT15] D. Cooper, D.D. Long, and S. Tillmann. “On convex projective manifolds and cusps”. In: Adv. Math.2...

    1949

  6. [6]

    On Borel Anosov subgroups ofSL(d,R)

    [Dey25] S. Dey. “On Borel Anosov subgroups ofSL(d,R)”. In:Geom. Topol.29.1 (2025), pp. 171–

    2025

  7. [7]

    Restrictions on Anosov subgroups of Sp(2n,R)

    [DGR24] S. Dey, Z. Greenberg, and M. Riestenberg. “Restrictions on Anosov subgroups of Sp(2n,R)”. In:Trans. Amer. Math. Soc.(2024). [FGW25] E. Falbel, A. Guilloux, and P. Will. “A Hilbert metric for bounded symmetric domains”. In:Adv. Geom.25.3 (2025), pp. 317–333. [Fra05] C. Frances. “Lorentzian Kleinian groups”. In:Comment. Math. Helv.80.4 (2005), pp. 883–

    2024

  8. [8]

    Complex geometry of convex domains that cover varieties

    [Fra89] S. Frankel. “Complex geometry of convex domains that cover varieties”. In:Acta Math. 163.1 (1989), pp. 109–149. [Gal24] B. Galiay.Rigidity of proper almost-homogeneous domains in positive flag manifolds. arXiv:2407.18747

    work page arXiv 1989

  9. [9]

    Geometry of proper domains in flag manifolds

    [Gal25a] B. Galiay. “Geometry of proper domains in flag manifolds”. Theses. Université Paris- Saclay, June 2025.url:https://theses.hal.science/tel-05142279. REFERENCES 46 [Gal25b] B. Galiay. “Transverse groups preserving proper domains in flag manifolds”. arXiv:2507.15891

    work page arXiv 2025

  10. [10]

    Anosov representations and proper actions

    [GGKW17] F. Guéritaud, O. Guichard, F. Kassel, and A. Wienhard. “Anosov representations and proper actions”. In:Geom. Topol.21.1 (2017), pp. 485–584. [GLW26] O. Guichard, F. Labourie, and A. Wienhard. “Positivity and representations of surface groups”. In:Forum of Mathematics, Pi. Vol

    2017

  11. [11]

    2026, e6

    Cambridge University Press. 2026, e6. [GW09] R. Goodman and N. R. Wallach.Symmetry, representations, and invariants. Vol

    2026

  12. [12]

    Anosov representations: Domains of discontinuity and applications

    [GW12] O. Guichard and A. Wienhard. “Anosov representations: Domains of discontinuity and applications”. In:Inv. Math.190.2 (2012), pp. 357–438. [Hel79] S. Helgason.Differential geometry, Lie groups, and symmetric spaces. Vol

    2012

  13. [13]

    Rank-one Hilbert geometries

    [Isl25] M. Islam. “Rank-one Hilbert geometries”. In:Geom. Topol.29.3 (2025), pp. 1171–1235. [JM87] D. Johnson and J. Millson. “Deformation spaces associated to compact hyperbolic mani- folds”. In:Discrete Groups Geom. Anal., Mostow, 60th Birthday. Springer, 1987, pp. 48–

    2025

  14. [14]

    On the causal structures of the Shilov boundaries of symmetric bounded domains

    [Kan06] S. Kaneyuki. “On the causal structures of the Shilov boundaries of symmetric bounded domains”. In:Prospects in Complex Geometry: Proc. of the 25th Taniguchi Int. Symp. Springer. 2006, pp. 127–159. [Kan11] S. Kaneyuki. “Automorphism groups of causal Makarevich spaces”. In:J. Lie Theory21.4 (2011), pp. 885–904. [Kan87] S.Kaneyuki.“Onorbitstructureof...

    2006

  15. [15]

    Invariant distances on complex manifolds and holomorphic mappings

    [Kob67] S. Kobayashi. “Invariant distances on complex manifolds and holomorphic mappings”. In: J. Math. Soc. Japan19.4 (1967), pp. 460–480. [Kob84] S. Kobayashi. “Projectively invariant distances for affine and projective structures”. In: Banach Center Publications12 (1984), pp. 127–152. [Koe99] M. Koecher.The Minnesota notes on Jordan algebras and their ...

    1967

  16. [16]

    Root systems for Levi factors and Borel–de Siebenthal theory

    [Kos10] B. Kostant. “Root systems for Levi factors and Borel–de Siebenthal theory”. In:Symmetry and Spaces: In Honor of Gerry Schwarz. Springer, 2010, pp. 129–152. [Kos68] J.-L. Koszul. “Déformations de connexions localement plates”. In:Ann. Inst. Fourier18 (1968), pp. 103–114.issn: 0373-0956,1777-5310.url:http://www.numdam.org/item? id=AIF_1968__18_1_103...

    work page arXiv 2010

  17. [17]

    Jordan triple systems, R-spaces, and bounded symmetric domains

    [Loo71] O. Loos. “Jordan triple systems, R-spaces, and bounded symmetric domains”. In:Bull. Amer. Math. Soc.77.4 (1971), pp. 558–561. [LZ19] W. van Limbeek and A. M. Zimmer. “Rigidity of convex divisible domains in flag mani- folds”. In:Geom. Topol.23.1 (2019), pp. 171–240. [Mak73] B.O. Makarevič. “Open symmetric orbits of reductive groups in symmetric R-...

    1971

  18. [18]

    An intrinsic conformal Lorentz pseudodistance

    [Mar81] M. J. Markowitz. “An intrinsic conformal Lorentz pseudodistance”. In:Math. Proc. Cam- bridge Philos. Soc.89.2 (1981), pp. 359–371.doi:10.1017/S0305004100058230. [Nag65] T. Nagano. “Transformation groups on compact symmetric spaces”. In:Trans. Amer. Math. Soc.118 (1965), pp. 428–453. REFERENCES 47 [OV12] A. L. Onishchik and E. B. Vinberg.Lie groups...

    work page doi:10.1017/s0305004100058230 1981

  19. [19]

    Arithmetic distance on compact symmetric spaces

    [Pet87] S.P. Peterson. “Arithmetic distance on compact symmetric spaces”. In:Geom. Dedicata 23.1 (1987), pp. 1–14. [PT14] A. Papadopoulos and M. Troyanov.Handbook of Hilbert geometry

    1987

  20. [20]

    Sur une caractérisation de la boule parmi les domaines deC n par son groupe d’automorphismes

    [Ros79] J.-P. Rosay. “Sur une caractérisation de la boule parmi les domaines deC n par son groupe d’automorphismes”. In:Ann. Inst. Fourier29.4 (1979), pp. 91–97. [Sma22] R. Smai. “Anosov representations as holonomies of globally hyperbolic spatially compact conformally flat spacetimes”. In:Geom. Dedicata216.4 (2022), p

    1979

  21. [21]

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

    [Sma25] R. Smaï. “Maximality of the futures of points in globally hyperbolic maximal conformally flat spacetimes”. arXiv:2501.05856

    work page arXiv

  22. [22]

    Proper quasi-homogeneous domains in flag manifolds and geometric structures

    [Tak65] M. Takeuchi. “Cell decompositions and Morse equalities on certain symmetric spaces”. In: J. Fac. Sci. Univ.12 (1965), pp. 81–192. [Tak88] M. Takeuchi. “Basic transformations of symmetric R-spaces”. In:Osaka J. Math.25.2 (1988), pp. 259–297. [TK68] M. Takeuchi and S. Kobayashi. “Minimal imbeddings ofR-spaces”. In:J. Differential Geom.2.2 (1968), pp...

    work page internal anchor Pith review Pith/arXiv arXiv 1965

  23. [23]

    Rigidity of complex convex divisible sets

    2018, pp. 2635–2662. [Zim18b] A. M. Zimmer. “Rigidity of complex convex divisible sets”. English. In:J. Topol. Anal. 10.4 (2018), pp. 817–851. [Zim23] A. M. Zimmer. “A higher rank rigidity theorem for convex real projective manifolds”. In: Geom. Topol.(2023). Institut de Recherche Mathématique A v ancée, 7 rue René Descartes, 67000 Strasbourg, France.emai...

    2018