Avoidance conjecture for weakly strict saddle points

Let (M,g)(M,g) be a real-analytic Riemannian manifold, and let f:MRf:M\to\mathbb{R} be real-analytic and non-constant. For a subset CCrit(f)C\subset\operatorname{Crit}(f), write Ws(C)W^s_-(C) for the set of points whose negative-time trajectories approach CC. A point is a weakly strict saddle point when it satisfies the paper's weak strict-saddle condition.

Avoidance conjecture. If a compact connected component CC of Crit(f)\operatorname{Crit}(f) consists of weakly strict saddle points, then Ws(C)W^s_-(C) has measure zero. Moreover, if MM is compact and CCrit(f)C\subset\operatorname{Crit}(f) is any compact subset, then Ws(C)W^s_-(C) has measure zero.

The conjecture would extend the paper's avoidance results, including the weak center-stable theorem and its consequences, beyond the tameness assumption. Its status is not determined by the supplied text.

Sources & referencesView supporting material

Primary source

El Mehdi Achour, Umberto L. Hryniewicz and Michael Westdickenberg, “Avoidance of non-strict saddle points by blow-up”, arXiv:2511.23268 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.