Floating Geodesic Planes

• Floating geodesic planes are 2-dimensional structures defined across various geometries, displaying behaviors from bounded-distance foliations to fractal closures.
• The research employs methods like hyperbolic pair analysis, dynamical orbit closures, and deformation theory to explain rigidity and asymptotic phenomena.
• Insights into floating geodesic planes advance understanding of geometric rigidity, foliation organization, and the interplay between metric, arithmetic, and dynamical systems.

Taken together, the literature suggests that “floating geodesic planes” functions as an informal umbrella rather than a single standard definition. In one line of work it refers to geodesic line foliations on a Riemannian $2$-plane whose leaves remain at bounded Hausdorff distance; in another it refers to immersed totally geodesic planes in hyperbolic or locally symmetric manifolds whose closures may be closed, dense, asymptotic to convex-core boundaries, or fractal; in deformation theory it refers to minimal planes at finite Hausdorff distance from totally geodesic ones; and in large-scale metric geometry it refers to isometrically embedded normed planes detected by weak convexity assumptions (Ge et al., 2020, McMullen et al., 2018, Lowe, 2020, Descombes et al., 2015).

1. Terminological scope and geometric models

The phrase appears across several adjacent contexts. A common feature is the study of $2$-dimensional geodesic objects that are not merely present as isolated submanifolds, but move through, foliate, or organize an ambient geometry in a rigid or dynamically constrained manner.

Setting	Geodesic object	Characteristic phenomenon
Riemannian $2$-plane	geodesic line foliation	bounded Hausdorff distance, flatness, or nonexistence
Hyperbolic $3$-manifold	immersed totally geodesic plane	closed-or-dense dichotomy, isolation, exotic asymptotics
Higher-rank symmetric space	$Y_{L,t}=h a_tY$	parallel displacement along flats, fractal closures
Negatively curved $3$-manifold	minimal plane near a geodesic plane	foliation of $Gr_2(M)$ by deformed leaves
Metric space with bicombing	embedded normed plane	obstruction to hyperbolicity

A second recurring theme is that the same geometric object can be read in several ways: as a foliation leaf, as an $H$-orbit in a frame bundle, as a circle at infinity, or as a family of tangent $2$-planes propagated by geodesic flow. This suggests a unifying viewpoint in which “floating” denotes mobility relative to the ambient geometry rather than a single intrinsic definition.

2. Bounded-distance foliations on Riemannian planes

In the setting of a complete Riemannian plane homeomorphic to $\mathbb{R}^2$, a geodesic line foliation is a foliation all of whose leaves are geodesic lines. The Burns–Knieper conjecture asks whether a simply connected surface with a complete Riemannian metric without conjugate points, carrying a foliation by geodesic lines any two of which are at finite Hausdorff distance, must be flat. The bounded-distance hypothesis is the uniform condition

$2$0

for all leaves $2$1 of the foliation (Ge et al., 2020).

The principal rigidity statement is that the conjecture holds under two additional hypotheses. If the plane admits total curvature, then any such bounded-distance geodesic foliation forces flatness. If the plane satisfies the visibility axiom from some point, then it does not admit a line foliation with bounded Hausdorff distance at all. In particular, for universal covers of closed surfaces, the conjecture holds: genus $2$2 reduces to flatness, while genus $2$3 yields visibility and hence rules out the foliation (Ge et al., 2020).

The same work establishes a structural theorem independent of the no-conjugate-points hypothesis: every geodesic line foliation on a complete Riemannian surface homeomorphic to $2$4 is homeomorphic to the standard foliation of $2$5 by parallel straight lines. Thus the novelty is not in exotic leaf-space topology, but in whether the metric geometry permits the leaves to remain uniformly close. The proof uses strips between leaves, separation properties of intermediate leaves, and a contradiction obtained from the Hopf Index Theorem after doubling a polygonal region to a $2$6-sphere (Ge et al., 2020).

The mechanism forcing rigidity is the appearance of hyperbolic pairs and weak hyperbolic pairs. Under negative total curvature, every line belongs to a hyperbolic pair $2$7 with

$2$8

Under visibility, every line belongs to a weak hyperbolic pair, where divergence occurs along sequences $2$9. Bounded-distance foliations are incompatible with either behavior. In this sense, the paper rules out non-flat “floating” foliated planes in the total-curvature and visibility regimes (Ge et al., 2020).

3. Hyperbolic $2$0-manifolds: closed, dense, and isolated planes

For hyperbolic $2$1-manifolds, the basic object is a totally geodesic immersion $2$2, equivalently a geodesic plane $2$3. Inside the interior $2$4 of the convex core of a convex cocompact acylindrical manifold, every such plane is either closed or dense, and there are only countably many closed ones. The same closed-or-dense dichotomy extends to geometrically finite acylindrical manifolds, with the interior of the convex core as the natural arena; in the rigid case, the statement applies in the whole manifold (McMullen et al., 2018, Benoist et al., 2018).

This rigidity is formulated dynamically by identifying oriented circles at infinity with $2$5, where $2$6 and $2$7, and then studying $2$8-orbit closures in the space of circles or $2$9-orbit closures in the frame bundle. In acylindrical convex cocompact manifolds of infinite volume, the limit set is a Sierpiński curve of positive modulus; consequently any separating circle intersects the limit set in a Cantor set of positive modulus. This feeds into thick recurrence for horocycle orbits and yields the topological dichotomy: no intermediate orbit closures occur in the convex core (McMullen et al., 2018).

The picture changes in geometrically finite manifolds with rank $3$0 cusps. There, $3$1-thick recurrence of horocycles fails generically, and the homogeneous-dynamical rigidity used in convex cocompact or finite-volume settings breaks down. Nevertheless, when the limit set is a circle packing, two density criteria remain available: $3$2-thickness plus rank-$3$3 unboundedness imply density of the associated plane, and accumulation on a circle meeting the limit set in exactly one point also forces density (Khalil, 2017).

For degenerate hyperbolic $3$4-manifolds without parabolics and with incompressible core, a Ratner-type phenomenon survives: a minimal closed $3$5-invariant subset is either an immersed totally geodesic surface or all of the manifold. The same work proves that any infinite-volume hyperbolic $3$6-manifold without parabolics and with finitely generated fundamental group contains only finitely many compact totally geodesic surfaces. Here “floating” behavior means dense orbit closure rather than proper immersed surface structure (Mj, 2016).

Quantitative isolation complements the topological dichotomy. In a geometrically finite hyperbolic $3$7-manifold, distinct non-elementary closed $3$8-orbits in the frame bundle are separated in the thick part by polynomial lower bounds involving the tight area of the associated geodesic plane, local Bowen–Margulis–Sullivan mass, and a modified critical exponent. The measure of the portion of one orbit entering an $3$9-neighborhood of another is likewise polynomially bounded. This quantifies how geodesic planes “float” inside the frame bundle: they do not accumulate arbitrarily tightly in the thick region (Mohammadi et al., 2020).

4. Elementary planes, exotic roofs, and failures of equidistribution

The Apollonian orbifold $Y_{L,t}=h a_tY$0 exhibits a different regime. Its limit set is the classical Apollonian gasket, and it contains elementary planes, meaning closed geodesic planes whose fundamental groups are virtually abelian. Their convex-core pieces are ideal polygons, punctured ideal polygons, single crowns, or double crowns, and the classification is encoded by how the boundary circle meets the Apollonian gasket. The area of an elementary plane is uniformly bounded above by $Y_{L,t}=h a_tY$1, and the union of all elementary planes is closed (Zhang, 2021).

These elementary planes lead to a failure of equidistribution: there exists a sequence of closed geodesic planes in $Y_{L,t}=h a_tY$2 limiting only on a finite union of closed geodesic planes. This contrasts directly with the acylindrical closed-or-dense theorems. The same paper gives a complete list of elementary planes, indexed by boundary data and modular-symbol-type combinatorics, and shows that closed elementary surfaces of fixed complexity are isolated (Zhang, 2021).

Outside the convex core of a geometrically finite end, the key new objects are asymptotic planes and exotic roofs. An exotic roof is a geodesic plane contained in an end, limiting on the convex core boundary, but not separable from the core by any support plane. The existence of exotic roofs is controlled by the bending lamination $Y_{L,t}=h a_tY$3 on the convex-core boundary. A geodesic ray is exotic for $Y_{L,t}=h a_tY$4 if it has finite intersection number with $Y_{L,t}=h a_tY$5 but is neither asymptotic to a leaf nor eventually disjoint from $Y_{L,t}=h a_tY$6. Exotic rays exist if and only if $Y_{L,t}=h a_tY$7 is not a multicurve, and a stronger leaf-approximation condition yields uncountably many exotic roofs (Torkaman et al., 2022).

This produces a sharp contrast between purely atomic and non-atomic bending. If the bending lamination is a multicurve, asymptotic planes are always shadowed by support planes and no exotic roofs occur. If the bending lamination is minimal and atom-free, then the closure behavior of support and asymptotic planes depends on whether exotic roofs exist. In particular, geometrically finite ends with exotic roofs exist in every genus, and in genus $Y_{L,t}=h a_tY$8, for ends homotopic to a punctured torus, a generic one contains uncountably many exotic roofs (Torkaman et al., 2022).

5. Higher-rank, deformation, and dynamical reinterpretations

In the rank-$Y_{L,t}=h a_tY$9 symmetric space $3$0, the base totally geodesic plane is $3$1 with $3$2. For a complete geodesic $3$3 and the orthogonal one-parameter subgroup

$3$4

the floating geodesic plane over $3$5 at height $3$6 is

$3$7

For $3$8, $3$9 and $Gr_2(M)$0 are ultra-parallel: their distance is $Gr_2(M)$1, and the pairs realizing that distance lie along the common orthogonal flat direction (Dey et al., 22 Sep 2025).

After Goldman bulging deformations, these higher-rank floating planes produce explicit failures of Ratner-type topological rigidity. There exists a Zariski-dense Hitchin surface group $Gr_2(M)$2 such that $Gr_2(M)$3 contains a sequence of immersed floating geodesic planes whose closures have Hausdorff dimensions strictly bigger than $Gr_2(M)$4 and accumulating at $Gr_2(M)$5. Moreover, $Gr_2(M)$6 can be chosen inside $Gr_2(M)$7. Here the closures are not immersed submanifolds but fractal sets, a phenomenon described as a fractal failure of Ratner rigidity in higher rank (Dey et al., 22 Sep 2025).

A different deformation-theoretic usage appears for closed hyperbolic $Gr_2(M)$8-manifolds. Starting from the foliation of $Gr_2(M)$9 by lifts of totally geodesic planes in the hyperbolic metric, one deforms the metric $H$0 and replaces each geodesic plane by a unique properly embedded minimal plane $H$1 at finite Hausdorff distance from the original leaf. The resulting leaves form a foliation $H$2 of $H$3, and there is a homeomorphism

$H$4

sending leaves of the totally geodesic foliation to leaves of the minimal-surface foliation. The construction persists as long as the sum of the squares of the principal curvatures remains pointwise smaller in magnitude than the ambient Ricci curvature in the normal direction (Lowe, 2020).

Higher-dimensional abundance without local homogeneity appears in warped products $H$5 with metrics

$H$6

where each tangent $H$7-plane containing $H$8 exponentiates to a totally geodesic surface isometric to the hyperbolic plane. Despite this abundance, for $H$9 finite-volume covering occurs if and only if $2$0, equivalently if and only if the metric is isometric to hyperbolic space. Thus many hyperbolic planes do not force local homogeneity (Lin et al., 2016).

A dynamical reinterpretation is given by geodesic flow. In a complete manifold without focal points and with curvature bounded below by $2$1, if for every geodesic and every stable Jacobi field the average sectional curvature satisfies

$2$2

for all $2$3, then the geodesic flow is Anosov. The relevant $2$4-planes are those spanned by $2$5 and stable or unstable Jacobi directions, so the hyperbolic evolution of tangent geodesic planes is controlled by time-averaged curvature (Cantoral et al., 2023).

6. Metric, arithmetic, and Euclidean analogues

In spaces with convex geodesic bicombings, embedded normed planes play the role of large-scale floating flats. For a proper metric space with a consistent bicombing and cocompact isometry group, hyperbolicity is equivalent to the absence of an isometrically embedded normed plane. The same framework yields flat strips, flat half-planes, and a Flat Torus Theorem: if a free abelian group $2$6 acts properly and cocompactly by bicombing-equivariant isometries, then the space contains an isometrically embedded $2$7-dimensional normed space on which $2$8 acts by translations (Descombes et al., 2015).

Arithmetic geometry offers another variant. For the quadratic form

$2$9

each non-degenerate rational plane $\mathbb{R}^2$0 determines a periodic geodesic on the Bianchi orbifold $\mathbb{R}^2$1, a CM point and a periodic geodesic on the modular curve from the restrictions of $\mathbb{R}^2$2 to $\mathbb{R}^2$3 and $\mathbb{R}^2$4, and a further periodic geodesic on the Bianchi orbifold arising from the Klein construction. Under the Linnik-type splitting condition $\mathbb{R}^2$5, the associated joint measures equidistribute simultaneously. Here rational $\mathbb{R}^2$6-planes in quadratic $\mathbb{R}^2$7-space generate coupled geodesic data rather than immersed planes in a fixed manifold (Aka et al., 2 Jun 2026).

A Euclidean cone-surface analogue is provided by the Necker cube surface $\mathbb{R}^2$8, an infinite periodic Euclidean cone surface homeomorphic to the plane and tiled by unit squares meeting three or six to a vertex. Its orthogonal projection to the plane gives the rhombille tiling, and periodic versus drift-periodic geodesics are determined purely by direction: a nonsingular geodesic is periodic exactly for slopes $\mathbb{R}^2$9 with $2$00 both odd, and drift-periodic exactly for $2$01 or for relatively prime $2$02 with exactly one even. Although this is not a theory of totally geodesic planes in a curved manifold, it supplies a planar model in which geodesic behavior is literally realized on a plane-like surface floating in $2$03 (Hooper et al., 2023).

Across these settings, a common pattern emerges. A geodesic plane may be rigid enough to force flatness, abundant enough to organize a foliation, dynamical enough to become dense, delicate enough to accumulate on convex-core boundaries, or unstable enough to develop fractal closure. The phrase “floating geodesic planes” therefore designates not a single object but a family of phenomena centered on how $2$04-dimensional geodesic geometry persists, moves, and fails to rigidify within an ambient space (Ge et al., 2020, Benoist et al., 2018, Dey et al., 22 Sep 2025).