Hartogs-type theorems in real algebraic geometry. II. (Q6583558)

This is the second paper on Hartogs-type theorems in real algebraic geometry by the authors. The first one is [\textit{M. Bilski} et al., J. Reine Angew. Math. 790, 197--221 (2022; Zbl 1497.14116)]. A function \(f\) defined on a connected nonsingular real algebraic set \(X\) in \(\mathbb R^n\) of dimension \(\geq 2\) is a regular function if and only if \(f|_C\) is a regular function for every algebraic curve \(C\) in \(X\) that is a real analytic submanifold homeomorphic to the unit circle and has at most one singular point. The above fact is proven in the paper, and it is also extended to the case in which \(X\) is irreducible but not necessarily connected. Families of test curves are explicitly provided by polynomial equations for \(X=\mathbb R^n\).