The Schwartz Space on a Manifold

To define a Schwartz space, you need a notion of decay at infinity, so you need a ``norm'', i.e. a distance to some origin. So the convenient framework is a complete Riemannian manifold. However, even on a Lie group, it is not enough to choose an invariant Riemannian structure to get a Schwartz space having the properties that you require (convolution algebra, good Fourier transformation...). See e.g. the subtlety in the definition of Harish-Chandra's Schwartz space on a semi-simple Lie group, where you have to throw in the $\Xi$-function.

For simply connected solvable Lie groups, the definition of the Schwartz algebra is (I believe) fairly recent: see a paper by Emilie David-Guillou: https://arxiv.org/pdf/1002.2185


For Lie groups, at least for those that embed into $GL_n(R)$ for some $n$, my favorite treatment of the Schwartz space is in Casselman's paper "Introduction to the Schwartz Space of $\Gamma \backslash G$", Can. J. Math. XL, No 2, 1989. There Casselman defines an appropriate Schwarz space on $\Gamma \backslash G$ whenever $G$ is the Lie group obtained by taking the $R$-points of an affine algebraic group over $R$, and $\Gamma$ is any discrete subgroup of $G$ (including the trivial subgroup).

I think this is the right place to look, before studying things like the Fourier transform (i.e. Plancherel and Paley-Wiener theorems).


There was a whole "mini thesis" devoted to this question - "Schwartz functions on Nash manifolds" by A. Aizenbud and D. Gourevitch