Avoidance conjecture for weakly strict saddle points

About 1 year old · traced to

Let (M,g)(M,g) be a real-analytic Riemannian manifold, and let f:M→Rf:M\to\mathbb{R} be real-analytic and non-constant. For a subset C⊂Crit⁡(f)C\subset\operatorname{Crit}(f), write W−s(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 W−s(C)W^s_-(C) has measure zero. Moreover, if MM is compact and C⊂Crit⁡(f)C\subset\operatorname{Crit}(f) is any compact subset, then W−s(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.

References

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.