The minimal number of critical points of a smooth function on a closed manifold and the ball category

• Published in: Transactions of the American Mathematical Society 2024-02, Vol.377 (2), p.1219-1245
• Main Authors: Sadykov, Rustam, Trunov, Stanislav
• Format: Article
• Language: English
• Subjects: Research article
• ISSN: 0002-9947; 1088-6850
• DOI: 10.1090/tran/9047

Introduced by Seifert and Threlfall [Variationsrechnung im Grossen, Hamburger Math Einzelschr., Heft 24, Teubner, Leipzig-Berlin, 1938], cylindrical neighborhoods of isolated critical points of smooth functions is an essential tool in the Lusternik-Schnirelmann theory. We conjecture that every isolated critical point of a smooth function admits a cylindrical ball neighborhood. We show that the conjecture is true for cone-like critical points, Cornea reasonable critical points, and critical points that satisfy the Rothe H hypothesis. In particular, the conjecture holds true at least for those critical points that are not infinitely degenerate. If, contrary to the assertion of the conjecture, there are isolated critical points that do not admit cylindrical ball neighborhoods, then we say that such critical points are exotic. We prove a Lusternik-Schnirelmann type theorem asserting that the minimal number of critical points of smooth functions without exotic critical points on a closed manifold of dimension at least 6 is the same as the minimal number of elements in a Singhof-Takens filling of M by smooth balls with corners.