Pith. sign in

REVIEW 2 minor 23 references

Metric properties of domains in real-type Nagano spaces

T0 review · 0 major / 2 minor · reviewed 2026-06-29 · grok-4.3

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

Pith's one-line read 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.

desk verdict 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. read the letter →

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

Blandine Galiay This is my paper · ORCID
classification math.GRmath.DG
keywords KobayashipseudometricNaganospacesduallyconvexdomainsGromovhyperbolicitysymmetricphotonsrealprojectivespace
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

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.

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.

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

Extended reading notes

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.

Load-bearing premise

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

Editorial extensions

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.

Reading between the lines

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.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

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 · score 0.0 of 10

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.

Assumptions & free parameters 0 free parameters · 0 assumptions · 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.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Metric properties of domains in real-type Nagano spaces." pith.science (2026). https://pith.science/paper/OBVYNSO2

@misc{pith2026260529320,
  author       = {Pith},
  title        = {Pith review of: Metric properties of domains in real-type Nagano spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/OBVYNSO2}},
  note         = {Machine review of arXiv:2605.29320}
}
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 the authors.

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 computati… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

23 extracted references · 9 canonical work pages

  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 Pith review 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

Show all 23 references
  1. [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

    2025

  2. [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

  3. [11]

    2026, e6

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

    2026

  4. [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

  5. [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

  6. [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”. ...

    2006

  7. [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), p...

    1967

  8. [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...

    2010

  9. [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. [M...

    1971

  10. [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)...

    1981 doi

  11. [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

  12. [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 sp...

    1979

  13. [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

  14. [22]

    Cell decompositions and Morse equalities on certain symmetric spaces

    [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. Ko...

    1965 arXiv

  15. [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 Reche...

    2018

Pith tools

Reviewed June 29, 2026 · model on record in the stance chip above.