We prove that any
connected proper Dupin hypersurface in ℝn is analytic algebraic and is an open
subset of a connected component of an irreducible algebraic set. From this we also
prove that every taut submanifold of dimension m ≤ 4 is algebraic by exploring a
finiteness condition.
Keywords
Dupin hypersurface, taut submanifold, semialgebraic set