Hyperbolic generalized framed surfaces in hyperbolic 3-space

Generalizing both hyperbolic framed surfaces and one-parameter families of hyperbolic framed curves, we introduce the concept of hyperbolic generalized framed surfaces and establish their relations in hyperbolic 3-space. We provide the necessary and sufficient conditions for a smooth surface to be a hyperbolic generalized framed base surface, followed by an analysis of the singularities of hyperbolic generalized framed base surfaces. Additionally, relations between hyperbolic generalized framed surfaces, generalized framed surfaces and lightcone framed surfaces are explored. As an application of hyperbolic generalized framed surfaces, we investigate the properties of horocyclic surfaces.

💡 Research Summary

This paper introduces and develops the theory of “hyperbolic generalized framed surfaces” in hyperbolic 3-space (H^3), providing a unified framework for studying a broader class of singular surfaces than previously possible.

The research is motivated by the limitations of existing tools. In Euclidean space, framed surfaces and their generalization are powerful for analyzing singularities. In Lorentz-Minkowski space, lightcone framed surfaces serve a similar purpose. Within hyperbolic geometry, while hyperbolic framed surfaces and one-parameter families of hyperbolic framed curves have been studied, some surfaces—like horocyclic surfaces (one-parameter families of horocycles)—do not fit neatly into these existing categories. The paper bridges this gap by defining a more general structure.

The core definition (Definition 3.1) states that a smooth map (x, ν1, ν2): U → H^3 × Δ^5 is a hyperbolic generalized framed surface if x is orthogonal to both ν1 and ν2, and the normal vector field (x ∧ x_u ∧ x_v) can be expressed as a linear combination αν1 + βν2 for some smooth functions α, β. The surface x alone is called a hyperbolic generalized framed base surface if such a frame exists. This definition generalizes both hyperbolic framed surfaces (where β ≡ 0) and one-parameter families of hyperbolic framed curves.

The authors establish a moving frame {x, ν1, ν2, ν3} along the surface and derive the associated differential equations (1) and (2), which are governed by six basic invariants: a_i, b_i, c_i, e_i, f_i, g_i (i=1,2). From these, α and β are given by specific determinants of these invariants. The integrability conditions for this system are derived (Equations 3 and 4). The foundational theorems of surface theory are then proven for this new object: an Existence Theorem (Theorem 3.3) showing that any set of functions satisfying the integrability conditions corresponds to a hyperbolic generalized framed surface, and a Uniqueness Theorem (Theorem 3.4) stating that surfaces with identical basic invariants are congruent under the action of SO(1,3).

The paper meticulously clarifies the relationships between the new concept and established ones. Proposition 3.5 shows precisely when a hyperbolic generalized framed surface reduces to a standard hyperbolic framed surface (namely, when either all a_i or all b_i vanish). Proposition 3.7 establishes the conditions under which it corresponds to a one-parameter family of hyperbolic framed curves. Furthermore, the paper explores the connections between hyperbolic generalized framed surfaces, generalized framed surfaces in Euclidean 3-space, and lightcone framed surfaces in Lorentz-Minkowski 3-space, demonstrating a unifying thread across these different geometric settings.

Finally, as a concrete application, the theory is applied to horocyclic surfaces. The authors prove that any horocyclic surface is a hyperbolic generalized framed base surface (Proposition 5.1) and calculate its basic invariants. They also show that, in general, a horocyclic surface is not a hyperbolic framed base surface (Proposition 5.2), highlighting the necessity and utility of the new, more general framework.

In summary, this paper makes a significant contribution to the differential geometry of singular surfaces in hyperbolic space by constructing a comprehensive theoretical framework—hyperbolic generalized framed surfaces—that subsumes previous models, provides complete fundamental theorems, and offers a practical tool for analyzing specific geometric objects like horocyclic surfaces.