The analog of complex analytic space with the complex numbers replaced by the real numbers.
Whitney: every paracompact smooth manifold admits a real analytic structure.
Use the Whitney embedding theorem to realize the smooth manifold as the zero locus of non-degenerate smooth functions, then use the Weierstrass approximation theorem? to replace these by polynomials. The resulting zero locus gives the desired real-analytic version of the manifold.
(from here):
One can also use Whitney’s methods to show that two diffeomorphic real analytic manifolds are real-analytic equivalent provided that they both admit embeddings in Euclidean space, equivalently provided that global, real-valued, real analytic functions distinguish points. This preliminary result also holds true for any other category of functions and manifolds, or Nash category, with an implicit and inverse function theorem and a few other features. For example, it’s true for Nash manifolds. The hard part is then showing that every real analytic manifold does indeed embed in Euclidean space. This is the Morrey-Grauert theorem. Grauert’s proof, the more sophisticated one, takes as its starting point a complex analytic manifold which is a tubular neighborhood of the real analytic manifold. It then applies some hard stuff in several complex variables to prove the existence of many global, complex analytic functions on the complex manifold.
Generalization of the time tube theorem to AQFT on curved but real analytic spacetimes:
Alexander Strohmaier, On the Local Structure of the Klein–Gordon Field on Curved Spacetimes, Letters in Mathematical Physics 54 (2000) 249–261 [doi:10.1023/A:1010927625112, arXiv:math-ph/0008043]
Alexander Strohmaier, Edward Witten, Analytic states in quantum field theory on curved spacetimes [arXiv:2302.02709]
Alexander Strohmaier, Edward Witten, The Timelike Tube Theorem in Curved Spacetime [arXiv:2303.16380]
Last revised on March 30, 2023 at 07:38:54. See the history of this page for a list of all contributions to it.