Smooth submanifolds intersecting any analytic curve in a discrete set (Q1777249): Difference between revisions

The authors prove that there exists a smooth, compact manifold \(R\) in \(\mathbb{C}^n\), \(n\geq 2\), diffeomorphic to a \((2n-2)\)-dimensional torus which intersects every analytic disk in a discrete set. Moreover, \(R\) contains a smooth submanifold \(M\), diffeomorphic to an \(n\)-dimensional torus which is not pluripolar. They construct examples either as compact tori or as properly embedded Euclidean spaces, and are the graphs of quasianalytic functions. In the complex case, these submanifolds contain real \(n\)-dimensional tori or Euclidean spaces that are not pluripolar while the intersection with any complex analytic disk is polar. The authors construct a quasianalytic function on \(\mathbb{R}^n\) whose graph intersects any real analytic curve in a discrete set and, consequently, does not contain any analytic curve. It serves as an example of an extremely smooth function which is not arc-analytic anywhere.