Hypercycle (Geometry)¶
A one-sided curve in the hyperbolic plane whose points all lie at the same positive perpendicular distance from a fixed geodesic axis.
Core Idea¶
Choose a hyperbolic geodesic and a positive distance. The points at that perpendicular distance form two equidistant curves, one on each side; choosing a side gives a hypercycle. Common perpendicular geodesics provide its normals and radii.
Hypercycles are unbounded but not geodesics, and they have constant geodesic curvature. They differ from circles, which are equidistant from a point, and from horocycles, which arise as ideal limiting objects.
Scope of Application¶
- Hyperbolic geometry. Studies equidistant curves.
- Differential geometry. Relates radius to geodesic curvature.
- Geometric constructions. Uses axes, normals, and tangent limits.
- Models of geometry. Represents the locus in disk or half-plane coordinates.
Clarity¶
State curvature normalization/model, axis geodesic, radius, side, perpendicular-distance convention, parametrization, normal orientation, and whether claims concern exact curve, both components, or a horocycle limit. Inclusion test: Require a geodesic axis in the hyperbolic plane, fixed positive perpendicular distance, and one chosen side of the axis. Exclusion test: Exclude Euclidean parallel lines, metric circles around a point, horocycles centered at an ideal point, equidistant surfaces in higher dimensions, and the economic hypercycle model. Nearest boundary: A horocycle is a limiting constant-curvature curve associated with an ideal point; a finite-radius hypercycle remains equidistant from an ordinary geodesic. Exit condition: The curve becomes the axis at zero radius and only tends toward a horocycle under an infinite-radius limiting construction; neither endpoint is the same finite hypercycle. Common misclassifications: It is not a Euclidean parallel line. It is not a hyperbolic circle. It is not a horocycle at finite radius. Both side components should not be conflated with one hypercycle. Nearest named distinctions: Horocycle: Is tied to an ideal point and limiting radius. Hyperbolic circle: Is equidistant from a point. Geodesic: Has zero geodesic curvature. Euclidean offset: Uses a different metric and curvature relation.
Manages Complexity¶
The locus translates Euclidean offset intuition into negative curvature, where finite equidistance produces a curved unbounded object with ideal asymptotics.
Abstract Reasoning¶
- Choose the hyperbolic plane and geodesic axis.
- Fix positive perpendicular distance.
- Select one side.
- Construct points along axis normals.
- Verify distance, curvature, and limiting claims in the chosen model.
Knowledge Transfer¶
Coordinate formulas transfer between hyperbolic models only through an isometry preserving geodesics and distances; Euclidean visual spacing in a conformal model is not hyperbolic distance.
Relationships to Other Abstractions¶
Current abstraction Hypercycle (Geometry) Domain-specific
Parents (1) — more general patterns this builds on
-
Hypercycle (Geometry) is a kind of Curve Domain-specific
Hypercycle (Geometry) is a strict kind of Curve: it is the hyperbolic-plane curve at fixed perpendicular distance from a geodesic.
Hierarchy paths (2) — routes to 2 parentless roots
- Hypercycle (Geometry) → Curve → Continuity → Neighborhood → Topology
- Hypercycle (Geometry) → Curve → Continuity → Invariance
Neighborhood in Abstraction Space¶
Hypercycle (Geometry) sits in a moderately populated region (42nd percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Coordinate Systems & Spatial Measures (29 abstractions)
Nearest neighbors
- Upper Half-Plane — 0.90
- Spherical Linear Interpolation — 0.88
- Selberg zeta function — 0.88
- Equivalent Radius — 0.87
- Elliptic Cylindrical Coordinates — 0.86
Computed from structural-signature embeddings · 2026-10-08