A property that characterizes the Enneper surface and helix surfaces

The main goal of this paper is to show that helix surfaces and the Enneper surface are the only surfaces in the 3-dimensional Euclidean space $R^3$ whose isogonal lines are generalized helices and pseudo-geodesic lines.

💡 Research Summary

The paper investigates the interplay between three geometric notions—isosceles (isogonal) lines, pseudo‑geodesic lines, and generalized helices—on smooth connected surfaces immersed in Euclidean three‑space ℝ³. An isogonal line is defined as a curve whose tangent makes a constant angle ϕ with a fixed principal direction E₁ of the surface; pseudo‑geodesic lines are those for which the angle θ between the curve’s normal N_γ and the surface normal N remains constant; a generalized helix (or cylindrical helix) is a space curve whose tangent makes a constant angle with a fixed direction (the helix axis).

The authors first set up the classical Frenet frame {T,N,B} for a space curve γ(s) and the Darboux frame {T,J T,N} adapted to the surface, introducing the geodesic curvature κ_g, normal curvature κ_n, and geodesic torsion τ_g. They derive the elementary relations κ_g = sinθ·κ and κ_n = cosθ·κ, where κ is the curvature of γ and θ is the angle between N_γ and N.

A substantial part of the work is devoted to establishing the existence, uniqueness, and smooth dependence on initial data of isogonal lines. By solving a first‑order system derived from the orthogonal parametrization of the surface, they prove that for any point p∈M and any non‑zero tangent vector v∈T_pM there exists a unique isogonal curve γ(t,p,v) with constant speed |v|. The associated “isogonal flow” Φ_p(v)=γ(1,p,v) is shown to be a local diffeomorphism near the origin of the tangent plane, with differential equal to the identity.

Next, the paper explores the relationship between isogonal lines and the principal curvatures κ₁, κ₂ of the surface. Proposition 5 shows that along an isogonal line (which is not a curvature line) the linear dependence of κ₁ and κ₂ is equivalent to the linear dependence of τ_g and κ_n. This leads to the definition of two special families of surfaces:

• C R P C‑surfaces (constant ratio of principal curvatures) satisfy aκ₁ + bκ₂ = 0 for constants a,b (not both zero).
• C S k C‑surfaces (constant skew curvature) satisfy κ₁ – κ₂ = λ = const.

Proposition 7 proves that a surface is a C R P C‑surface iff τ_g and κ_n are linearly dependent along every isogonal line, and it is a C S k C‑surface iff τ_g is constant along every isogonal line.

The authors then turn to pseudo‑geodesic curves. Using the identity τ = τ_g + θ′ (where τ is the torsion of γ), they establish in Proposition 8 that any two of the following three properties imply the third: (a) γ lies in a plane, (b) γ is a curvature line, (c) γ is a pseudo‑geodesic.

The core of the paper consists of a chain of equivalences linking the three notions. Proposition 9 states that a pseudo‑geodesic which is not asymptotic is a generalized helix precisely when κ_n and τ_g are linearly dependent along the curve. Proposition 10 adds the isogonal condition: an isogonal curve that is also pseudo‑geodesic is a generalized helix iff the principal curvatures κ₁, κ₂ are linearly dependent along it. Proposition 11 gives the converse: a generalized helix with linearly dependent κ₁, κ₂ is automatically isogonal (provided it is not asymptotic). Proposition 12 shows that a generalized helix is pseudo‑geodesic exactly when the scalar product ⟨V, N⟩ between its axis V and the surface normal N is constant.

A Joachimsthal‑type result (Proposition 13) is proved for intersecting surfaces: if a curve is a pseudo‑geodesic on one surface, it is a pseudo‑geodesic on the other iff the two surfaces intersect at a constant angle along the curve.

All these preparatory results culminate in the main theorem (Theorem 15): if M is a non‑planar connected surface in ℝ³ such that every isogonal line on M is simultaneously a pseudo‑geodesic and a generalized helix, then M must be either a helix surface (i.e., a surface all of whose tangent directions make a constant angle with a fixed spatial direction) or an open piece of the Enneper minimal surface.

The proof proceeds by first noting that the pseudo‑geodesic condition forces θ to be constant, which together with the generalized helix condition yields linear dependence of κ_n and τ_g (Prop 9). By the earlier equivalences this forces linear dependence of the principal curvatures κ₁, κ₂ (Prop 10) and constancy of τ_g (Prop 7). Hence M satisfies both the C R P C and C S k C conditions. The only known surfaces meeting both criteria are the helicoidal (or “helix”) surfaces and the Enneper surface, the latter being a classic example of a minimal surface with non‑constant principal curvature ratio but constant skew curvature. The authors cite earlier classifications (e.g., references