Taut submanifold¶
A properly immersed submanifold whose path-energy functions to every nonfocal endpoint are perfect against path-space homology over one fixed field; Euclidean squared distance is its special case.
Core Idea¶
A taut submanifold is a proper immersion into a complete Riemannian manifold whose path-energy probes to every nonfocal endpoint are perfect against path-space homology over one fixed field.[1][2] In the Euclidean specialization, given an immersion \(f:N\to\mathbb R^m\), restrict squared distance from \(q\) to \(D_q(x)=\lVert f(x)-q\rVert^2\).[1][3] At nonfocal centers this is a Morse function; tautness asks that each such function be perfect over one fixed coefficient field.[1][3] For a compact \(N\), it has exactly the number of critical points of each index required by the corresponding Betti number.[1][3]
A focal center can make the function degenerate without disqualifying the immersion.[3] For noncompact proper immersions, the count must match homology at each regular compact distance sublevel, not only after considering the whole manifold.[3] A sphere, a product torus, and a circular cylinder can all pass, even though their required critical-point patterns differ.[3][4]
Scope of Application¶
The general definition uses path energy on \(H^1\) paths from a properly immersed carrier to each endpoint in a complete Riemannian ambient manifold.[1][2] Its critical paths are orthogonal geodesics; for all nonfocal endpoints and regular energy levels \(a<b\), index-\(k\) critical paths in \((a,b)\) match the relative Betti number of the energy-sublevel pair \((P_q^b,P_q^a)\) over one fixed field.[1][2]
In Euclidean space, straight paths recover the distance-family definition.[3] The carrier is an immersed manifold in Euclidean space, the probe is each squared-distance function with a nonfocal center, and the invariant is equality between critical-point counts and Betti numbers over a fixed field.[3] Cecil's proper noncompact extension compares each regular sublevel; his alternative all-closed-ball formulation uses Čech homology with \(\mathbb Z_2\) coefficients.[3]
For a general curved ambient manifold, squared geodesic distance can fail to be smooth across a cut locus.[1] Wiesendorf describes the broader complete-Riemannian theory through energy functionals on path spaces, recovering the Euclidean distance test through straight segments.[1] The curved energy test is operative here; the Euclidean squared-distance formula is not a universal space-form definition.[1]
Clarity¶
“Perfect” is a technical Morse-theory equality, not a compliment about appearance.[3] In the general formulation, every nonfocal endpoint's path-energy probe realizes the relative path-space homology bound at each index and regular sublevel pair; Euclidean distance is its straight-segment form.[1][2][3] On a round sphere the geometric center makes distance constant and non-Morse; that exceptional center is excluded, while every nonzero center yields one minimum and one maximum.[3] The two-point calculation follows directly from \(D_q(x)=r^2+\lVert q\rVert^2-2x\cdot q\) on \(S^2(r)\).[3]
One convenient perfect function is insufficient. The general criterion quantifies over all nonfocal endpoints and all regular energy-sublevel pairs; in Euclidean space this is the all-nonfocal-centers distance test.
Manages Complexity¶
To test a proposed case, ask: (1) what is the proper immersed carrier and complete ambient manifold, (2) which endpoints are nonfocal, (3) what orthogonal geodesics are energy critical paths and what are their indices, and (4) how do their counts match relative homology of every regular path-energy sublevel pair?[1][2] In Euclidean space, this reduces to the distance-center, critical-point and carrier-sublevel checklist.[3] For a proper noncompact Euclidean carrier, examine the distance sublevels as the ball radius grows.[3]
This checklist separates geometry of the immersion, analytic critical-geodesic data, and topology of the path space. Symmetry can sometimes reduce the all-nonfocal-endpoints calculation, but a sample of endpoints is not a proof of tautness.[1][2]
Abstract Reasoning¶
For compact Euclidean \(N\), write \(m_k(D_q)=\beta_k(N;\mathbb F)\) for every index \(k\) and every nonfocal \(q\), with one field \(\mathbb F\) chosen for the immersion.[3][1] In the proper noncompact Euclidean case, compare critical points below each regular level with the Betti number of that compact sublevel.[3][1] For a general ambient space, compare index-\(k\) energy critical paths in every regular interval \((a,b)\) with \(\beta_k(P_q^b,P_q^a;\mathbb F)\); extra critical paths violate perfectness even if later changes leave final homology unchanged.[1][2] In the Euclidean distance family this also rules out a surplus critical pair that later cancels in homology.[3][1]
Changing the immersion or ambient metric can change the path-energy family even when the abstract carrier stays the same.[1][2] Moving an ambient endpoint to a focal position can make the energy function degenerate without refuting tautness.[1][2] The defining question remains what all nonfocal endpoints do at every regular energy-sublevel pair.[1][2]
Catalog observation: this entry has a provisional unparented root status because the live Manifold Prime requires unavoidable global curvature or nontrivial topology. A flat affine plane is globally flat with one chart, yet its squared-distance restriction is a strictly convex quadratic with one minimum and disk sublevels.[3] This is a direct calculation under Cecil's definition; his classification also lists the plane among taut noncompact cases.[3] A strict parent edge can be reconsidered after the Manifold description is corrected.
Knowledge Transfer¶
The same four test questions work for compact spheres and product tori and for a proper noncompact cylinder.[3][4] The first two compare total critical counts with compact Betti numbers; the cylinder checks when classes enter successive compact distance sublevels.[3][4] In curved ambient space, apply the path-energy framework and its regular sublevel-pair test rather than an unqualified geodesic-distance substitution.[1]
Examples¶
Round sphere. On \(S^2(r)\subset\mathbb R^3\), every \(q\ne0\) gives two critical points, indices $0$ and $2$.[3] Counts \((1,0,1)\) equal the sphere's Betti numbers; \(q=0\) is focal and degenerate.[3] The sphere is the immersed carrier, nonzero \(q\) fill the eligible-center role, and two critical points exactly meet the compact homology requirement.[3] This count is derived from the displayed distance formula, not quoted from Cecil.[3]
Normalized Clifford torus. For \(S^1(r_1)\times S^1(r_2)\subset\mathbb R^4\) with \(r_1^2+r_2^2=1\), Gorodski identifies the product as taut.[4] For a center with nonzero components in both circle planes, elementary angular calculation gives four critical points of indices $0,1,1,2$, matching \((1,2,1)\) for the torus.[4] The two circle directions create the two index-one points; this is the same test with a different carrier topology.[4]
Proper circular cylinder. Cecil names \(S^1(r)\times\mathbb R\subset\mathbb R^3\) as a taut noncompact example.[3] For a center off its axis, direct calculation gives a minimum and an index-one saddle.[3] Regular distance sublevels move from empty to disk-like to annulus-like, so \(H_0\) and then \(H_1\) appear exactly when the corresponding critical points do.[3] Centers on the axis are degenerate.[3] The proper carrier and growing sublevels, rather than compact-total Betti numbers, fill the roles here.[3]
Small round-spherical geodesic sphere. In \(S^n\), a geodesic hypersphere about \(p\) of radius \(0<r<\pi\) is a compact proper carrier.[2] The point-tautness and small-sphere transfer theorems make it taut under the radius restriction.[2] Its nonfocal probes are path energies, and normal geodesics can wrap around the round sphere; a two-extrema distance picture omits higher-energy critical paths.[2] The roles are carrier, endpoint, orthogonal critical paths, and perfect energy-sublevel homology.
Hyperbolic metric sphere. A finite-radius geodesic sphere in \(\mathbb H^n\) is a compact proper carrier in an ambient space without conjugate points.[2] The same point-tautness and geodesic-sphere transfer result yields path-energy tautness, now without spherical wrapping.[2] Cecil's separate two-critical hyperbolic distance test does not replace the path-space energy accounting.[5][2] This unlike curved case fills the same four structural roles under a different critical-geodesic geometry.
Neighborhood in Abstraction Space¶
Taut submanifold sits in a sparse region of the domain-specific corpus (68th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Differential Geometry & Curvature (10 abstractions)
Nearest neighbors
- Yau's conjecture — 0.84
- Collapsing manifold — 0.84
- Hadamard manifold — 0.84
- Induced Metric — 0.84
- Geodesic convexity — 0.83
Computed from structural-signature embeddings · 2026-10-25
Not to Be Confused With¶
-
Any Morse probe: nondegeneracy alone does not ensure energy critical paths perfectly account for relative path-space homology across the whole nonfocal endpoint family; squared distance is the Euclidean case.[1][2][3]
-
One perfect example: a selected endpoint does not establish the all-nonfocal-endpoints condition.[1]
-
Tight immersion: in Euclidean space, height and half-space probes differ from the taut distance and ball probes; general tautness uses path energy.[4]
-
Morse homology: that neighboring catalog concept is a homology construction, while tautness here is a condition on an immersion's path-energy family (Euclidean squared-distance family in its specialization).
-
Taut foliation: a family of taut leaves in Wiesendorf's usage, rather than this single-submanifold class.[1]
References¶
[1] Stephan Wiesendorf, “Taut Submanifolds and Foliations,” Journal of Differential Geometry 96, no. 3 (2014), 457–505, full author manuscript arXiv:1112.5965v2, Introduction, https://arxiv.org/html/1112.5965v2. Original research; consulted full author text for Euclidean nonfocal definition and complete-Riemannian path-energy boundary. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k ↩l ↩m ↩n ↩o ↩p ↩q ↩r ↩s ↩t ↩u ↩v ↩w
[2] Chuu-Lian Terng and Gudlaugur Thorbergsson, “Taut Immersions into Complete Riemannian Manifolds,” in Tight and Taut Submanifolds, MSRI Publications 32 (1997), printed pp. 181–228, especially Definition 1.1, Propositions 2.1–2.2, Theorems 6.3, 6.5, 6.23 and Corollary 6.24, https://library.slmath.org/books/Book32/files/terng.pdf. Original research; consulted for path-space tautness, round-spherical and hyperbolic point and geodesic-sphere results. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k ↩l ↩m ↩n ↩o ↩p ↩q
[3] Thomas E. Cecil, “Taut and Dupin Submanifolds,” in Tight and Taut Submanifolds, MSRI Publications 32 (1997), 135–180, especially printed pp. 137–139 and 167, https://library.slmath.org/books/Book32/files/cecil.pdf. Full authored scholarly survey; consulted for Morse/sublevel definitions, proper noncompact cylinder, and Čech ℤ₂ closed-ball equivalence. The worked coordinate calculations in this entry are derived, not quotations from Cecil. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k ↩l ↩m ↩n ↩o ↩p ↩q ↩r ↩s ↩t ↩u ↩v ↩w ↩x ↩y ↩z ↩27 ↩28 ↩29 ↩30 ↩31 ↩32
[4] Claudio Gorodski, “A Survey on the Geometry of Isometric Actions,” Matemática Contemporânea 28 (2005), 163–182, §5, printed p. 169, https://mat.unb.br/~matcont/28_9.pdf. Full authored scholarly survey; consulted for the normalized Clifford-product example and the distance-versus-height test distinction. The four-critical-point calculation in this entry is derived, not a quotation from Gorodski. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g
[5] Thomas E. Cecil, “A Characterization of Metric Spheres in Hyperbolic Space by Morse Theory,” Tohoku Mathematical Journal 26 (1974), 341–351, especially pp. 341 and 347, https://www.jstage.jst.go.jp/article/tmj1949/26/3/26_3_341/_pdf/-char/en. Original research; consulted for the separate finite-dimensional hyperbolic distance-function comparison. registry ↩