pith. sign in

arxiv: 2605.00525 · v1 · submitted 2026-05-01 · 🧮 math.DG

Horocyclic evolutes, parallels and involutes of spacelike frontals in hyperbolic 2-space

Nozomi Nakatsuyama , Masatomo Takahashi , Anjie Zhou This is my paper

Pith reviewed 2026-05-09 18:51 UTC · model grok-4.3

classification 🧮 math.DG
keywords horocyclic evolutesspacelike frontalshyperbolic 2-spacehorocyclic parallelshorocyclic involutesenveloid theoremnormal envelopes
0
0 comments X

The pith

Horocyclic parallels and involutes of spacelike frontals in hyperbolic 2-space are defined as normal envelopes of normal and tangent horocycles.

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

The paper builds on the existing definition of horocyclic evolutes by introducing horocyclic parallels and involutes for spacelike frontals in hyperbolic 2-space. These new objects arise directly from the enveloid theorem applied to families of normal horocycles and tangent horocycles, respectively. The work then traces explicit relations that connect the three constructions to one another. A reader would care because these relations supply a closed system of horocyclic operations that can be used to move between different geometric realizations of the same frontal.

Core claim

Using the enveloid theorem, the horocyclic parallel is defined as the normal envelope of the normal horocycles of a spacelike frontal, while the horocyclic involute is defined as the normal envelope of its tangent horocycles. The paper then derives the mutual relations among the horocyclic evolutes, parallels, and involutes.

What carries the argument

The enveloid theorem applied to the families of normal horocycles and tangent horocycles associated with a spacelike frontal.

If this is right

  • The three horocyclic objects form an interrelated triple that can be used to recover one from the others.
  • Singularities and wavefront properties propagate in controlled ways between evolutes, parallels, and involutes.
  • The constructions remain inside the category of spacelike frontals in hyperbolic 2-space.
  • Geometric invariants such as length or curvature can be compared directly across the three associated objects.

Where Pith is reading between the lines

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

  • The same envelope construction could be tested on timelike or lightlike frontals to see whether the relations survive.
  • The relations might yield new ways to classify singularities of frontals by comparing their horocyclic transforms.
  • The approach suggests a template for defining analogous parallel and involute families in other constant-curvature surfaces.

Load-bearing premise

The enveloid theorem applies directly to the normal and tangent horocycles without requiring additional regularity conditions on the frontal.

What would settle it

A spacelike frontal for which the normal envelope of its normal horocycles fails to be a well-defined curve or fails to satisfy the expected parallel relation with the original frontal.

Figures

Figures reproduced from arXiv: 2605.00525 by Anjie Zhou, Masatomo Takahashi, Nozomi Nakatsuyama.

Figure 1
Figure 1. Figure 1: A spacelike frontal γ (red curve) and its horocyclic involutes with c = −1, −e −1 , −e − √ 2 , −e −2 , ec = 0, 1/2, √ 2/2, 1 and s+(t) = −1 (blue curves and black points), horocyclic evolutes (magenta and black curves), horocyclic parallels (green and yellow curves) with c = 0.4, 0.6, 0.8, 1 and λ±(t) = −2 in Example 5.1. are λ±(t) = −2 or λ±(t) = 2c/(e ± sin t − c) for all t ∈ (π, π], where c is a constan… view at source ↗
Figure 3
Figure 3. Figure 3: A spacelike frontal γ (red curve) and its horocyclic involute (blue curve) projected to Poincar´e 2-disc in Example 5.2 view at source ↗
Figure 4
Figure 4. Figure 4: A horocyclic involute (blue curve) of γ as a normal envelope of the tangent horocycles of γ (red curve) in Ex￾ample 5.2 view at source ↗
read the original abstract

The horocyclic evolutes of spacelike frontals in hyperbolic 2-space have already been defined. Using enveloid theorem, we now define the horocyclic parallel and involute of a spacelike frontal in hyperbolic 2-space as the normal envelopes of its normal and tangent horocycles, respectively. Meanwhile, we investigate the relations among horocyclic evolutes, parallels and involutes.

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 paper defines the horocyclic parallel and horocyclic involute of a spacelike frontal in hyperbolic 2-space as the normal envelopes of its normal and tangent horocycles, respectively, via the enveloid theorem. Building on prior definitions of horocyclic evolutes, the authors derive relations among the evolutes, parallels, and involutes.

Significance. If the definitions and relations hold, the work completes a triad of associated objects (evolute, parallel, involute) for spacelike frontals in H^2, mirroring classical Euclidean constructions and providing tools for analyzing envelopes and singularities in hyperbolic differential geometry.

major comments (2)
  1. [§3] §3 (or the section containing the definitions): the claim that the horocyclic parallel is the normal envelope of the normal horocycles rests on direct application of the enveloid theorem, but the manuscript does not explicitly verify that the theorem's hypotheses (regularity of the family, non-vanishing curvature, etc.) hold for general spacelike frontals, which may possess singularities; this verification is load-bearing for the new definitions.
  2. [§4] §4 (relations among evolutes, parallels and involutes): the stated relations (e.g., how the involute of the parallel recovers the evolute) are not accompanied by explicit domain restrictions or checks at singular points of the frontal; without these, the relations may fail to hold globally.
minor comments (2)
  1. [Abstract] The abstract states that relations are investigated but does not indicate which relations are the main results; a single sentence summarizing the principal relations would improve readability.
  2. [Notation] Notation for horocycles (normal vs. tangent) and for the frontal should be introduced once with a clear table or list of symbols to avoid ambiguity in later sections.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed and constructive report. The comments highlight important points about the applicability of the enveloid theorem to singular frontals and the precise domains of the derived relations. We address each major comment below and will incorporate revisions to strengthen the manuscript.

read point-by-point responses

  1. Referee: §3 (or the section containing the definitions): the claim that the horocyclic parallel is the normal envelope of the normal horocycles rests on direct application of the enveloid theorem, but the manuscript does not explicitly verify that the theorem's hypotheses (regularity of the family, non-vanishing curvature, etc.) hold for general spacelike frontals, which may possess singularities; this verification is load-bearing for the new definitions.

    Authors: We agree that an explicit verification of the enveloid theorem hypotheses is necessary, particularly given the possible singularities of spacelike frontals. In the revised manuscript we will add a dedicated subsection in §3 that checks the regularity of the normal horocycle family, confirms non-vanishing curvature away from isolated singular points, and clarifies that the definitions are understood on the regular locus with continuous extension where possible. revision: yes

  2. Referee: §4 (relations among evolutes, parallels and involutes): the stated relations (e.g., how the involute of the parallel recovers the evolute) are not accompanied by explicit domain restrictions or checks at singular points of the frontal; without these, the relations may fail to hold globally.

    Authors: We concur that domain restrictions and checks at singular points are required for the relations to be stated rigorously. In the revision of §4 we will insert explicit statements specifying that all relations hold on the open dense regular set of the frontal, note the behavior at isolated singularities, and provide brief verification that the involute-of-parallel construction recovers the evolute on this regular locus. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper extends prior definitions of horocyclic evolutes by introducing horocyclic parallels and involutes as normal envelopes of normal and tangent horocycles via the enveloid theorem, then derives relations among the three objects. No equation or definitional step reduces a claimed result to its own inputs by construction, nor does any load-bearing premise collapse to an unverified self-citation chain. The cited enveloid theorem and prior evolutes serve as external starting points for a self-contained definitional and relational investigation in hyperbolic differential geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, so the ledger is inferred from the stated use of the enveloid theorem and the geometric setting. No explicit free parameters or invented physical entities appear in the given text.

axioms (1)
  • domain assumption The enveloid theorem applies to normal and tangent horocycles of spacelike frontals in hyperbolic 2-space
    Invoked to define the parallel and involute as normal envelopes.

pith-pipeline@v0.9.0 · 5361 in / 1265 out tokens · 34878 ms · 2026-05-09T18:51:13.283359+00:00 · methodology

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

27 extracted references · 27 canonical work pages

  1. [1]

    V. I. Arnol’d, Singularities of Caustics and Wave Fronts , Mathematics and Its Applications, 62, Kluwer Academic Publishers (1990)

    work page 1990

  2. [2]

    V. I. Arnol’d, Topological properties of Legendre proje ctions in contact geometry of wave fronts, St. Petersb. Math. J. 6, 439–452 (1995)

    work page 1995

  3. [3]

    V. I. Arnol’d, S. M. Gusein-Zade, A. N. Varchenko, Singul arities of differentiable maps, vol. I, Birkh¨ auser (1986)

    work page 1986

  4. [4]

    Ashino, H

    T. Ashino, H. Ichiwara, S. Izumiya, Envelopes of slant li nes in the hyperbolic plane, Note Mat. 35(2), 51–67 (2015)

    work page 2015

  5. [5]

    J. W. Bruce, T. J. Gaffney, Simple singularities of mapping s C,0 → C 2,0, J. London Math. Soc. (2). 26(3), 465–474 (1982)

    work page 1982

  6. [6]

    J. W. Bruce, P. J. Giblin, Curves and Singularities: A Geo metrical Introduction to Singularity Theory, Second edition. Cambridge University Press, Cambr idge (1992)

    work page 1992

  7. [7]

    Buosi, S

    M. Buosi, S. Izumiya, M. Ruas, Horo-tight spheres in hype rbolic space, Geom. Dedicata. 154, 9–26 (2011)

    work page 2011

  8. [8]

    L. Chen, S. Izumiya, M. Takahashi, Duality and geometry o f horocyclic evolutes in hyperbolic plane, Res. Math. Sci. 11(1), Paper No. 17, 18 pp (2024)

    work page 2024

  9. [9]

    L. Chen, D. Pei, M. Takahashi, Dualities and envelopes of one-parameter families of frontals in hyperbolic and de Sitter 2-spaces, Math. Nachr. 293(5), 893 –909 (2020)

    work page 2020

  10. [10]

    L. Chen, M. Takahashi, Dualities and evolutes of fronts in hyperbolic and de-Sitter space, J. Math. Anal. Appl. 437(1), 133–159 (2016)

    work page 2016

  11. [11]

    Ehlers, E

    J. Ehlers, E. T. Newman, The theory of caustics and wave f ront singularities with physical applications, J. Math. Physics. 41(6), 3344–3378 (2000)

    work page 2000

  12. [12]

    Ferreira, J

    R. Ferreira, J. dos Reis Junior, C. H. Grossi, On the geom etry of the kinematic space in special relativity, J. Geom. Phys. 180, Paper No. 104629, 13 pp (2022 )

    work page 2022

  13. [13]

    Fukunaga, M

    T. Fukunaga, M. Takahashi, Existence and uniqueness fo r Legendre curves, J. Geom. 104(2), 297–307 (2013)

    work page 2013

  14. [14]

    Fukunaga, M

    T. Fukunaga, M. Takahashi, Evolutes of fronts in the Euc lidean plane, J. Singul. 10, 92–107 (2014)

    work page 2014

  15. [15]

    Fukunaga, M

    T. Fukunaga, M. Takahashi, Evolutes and involutes of fr ontals in the Euclidean plane, Demonstr. Math. 48(2), 147–166 (2015)

    work page 2015

  16. [16]

    Fukunaga, M

    T. Fukunaga, M. Takahashi, Involutes of fronts in the Eu clidean plane, Beitr. Algebra Geom. 57(3), 637–653 (2016). 25

    work page 2016

  17. [17]

    Honda, K

    A. Honda, K. Saji, Geometric invariants of 5/2-cuspida l edges, Kodai Math. J. 42(3), 496–525 (2019)

    work page 2019

  18. [18]

    Izumiya, Horospherical geometry in the hyperbolic s pace, Adv

    S. Izumiya, Horospherical geometry in the hyperbolic s pace, Adv. Stud. Pure Math. 55, 31–49 (2009)

    work page 2009

  19. [19]

    Izumiya, D

    S. Izumiya, D. Pei, M. Romero-Fuster, M. Takahashi, The horospherical geometry of submanifolds in hyperbolic space, J. Lond. Math. Soc. 71(3), 779–800 (200 5)

    work page

  20. [20]

    Izumiya, D

    S. Izumiya, D. Pei, T. Sano, E. Torii. Evolutes of Hyperb olic Plane Curves, Acta Math. Sin. (Engl. Ser.) 20(3), 543–550 (2004)

    work page 2004

  21. [21]

    Y. Li, O. O. Tuncer, On (contra)pedals and (anti)orthot omics of frontals in de Sitter 2-space, Math. Methods Appl. Sci. 46(9), 11157–11171 (2023)

    work page 2023

  22. [22]

    Nakatsuyama, M

    N. Nakatsuyama, M. Takahashi, On vertices of frontals i n the Euclidean plane, Bull. Braz. Math. Soc. (N.S.) 55(3), Paper No. 35, 21 pp (2024)

    work page 2024

  23. [23]

    I. R. Porteous, Geometric differentiation for the intell igence of curves and surfaces, Second edition. Cambridge University Press, Cambridge (2001)

    work page 2001

  24. [24]

    O. O. Tuncer, I. Gok, Hyperbolic caustics of light rays r eflected by hyperbolic front mirrors, Eur. Phys. J. Plus. 138, 266 (2023)

    work page 2023

  25. [25]

    Ungar, Analytic hyperbolic geometry and Albert Eins tein’s special theory of relativity, World Scientific

    A. Ungar, Analytic hyperbolic geometry and Albert Eins tein’s special theory of relativity, World Scientific. (2008)

    work page 2008

  26. [26]

    Vari´ cak, Anwendung der lobatschefskijschen geometrie in der relativtheorie, Phys

    V. Vari´ cak, Anwendung der lobatschefskijschen geometrie in der relativtheorie, Phys. Z. 11, 93–96 (1910)

    work page 1910

  27. [27]

    A. Zhou, D. Pei, Enveloids of spacelike frontals in hype rbolic 2-space, To appear in Hacet. J. Math. Stat. (2026). Nozomi Nakatsuyama, Muroran Institute of Technology, Muroran 050-8585, Japan, E-mail address: 25096009b@muroran-it.ac.jp Masatomo Takahashi, Muroran Institute of Technology, Muroran 050-8585, Japan, E-mail address: masatomo@muroran-it.ac.jp ...

    work page 2026