Skip to main content
1 of 2
Stefan Waldmann
  • 8.1k
  • 6
  • 41
  • 66

Let's try this. I didn't check all the estimates but the idea should be roughly as follows: since $M$ is compact, the flow $\Phi$ of $X$ is complete giving a one-parameter group action of $\mathbb{R}$ on $C^\infty(M)$. The latter is treated as Frechet space in the usual way. For a function $f \in C^\infty(M)$ define \begin{equation} f_s = \int_{\mathbb{R}} \Phi^*_\tau f e^{-1/\mu (\tau-s)^2} d\tau \end{equation} i.e. the convolution with the Gaussian. The integral yields again a smooth function since the derivatives (say covariant w.r.t. some auxilliary metric...) of $\Phi_t^*f$ are all bounded ($M$ is compact).

  1. $f_0$ converges to $f$ for $\mu \to 0$ in the Frechet topology of $C^\infty(M)$. This is the standard kind of convolution argument. This shows that the span of the functions $f_s$ for varing $\mu$ and $s$ is dense.

  2. $f_s$ has an entire extension in $s$. This should be OK from the explicit formula with the Gaussian. Replacing $s$ by $z \in \mathbb{C}$ gives a convergent integral since the factor $e^{-1/\mu t^2}$ dominates the other factors.

  3. For $t \in \mathbb{R}$ one has $\Phi_t^*f_s = f_{t+s}$. This is just a change of variables in the integral.

  4. This last point allows you to treat $z \mapsto f_z$ as an entire function with values in $C^\infty(M)$ extending the action of the flow on $f_0$.

Now, I guess this is as far as one can get. A few comments are perhaps necessary:

The ideas are sort of common with people doing Lie group representation theory. There, things are more complicated as there is typically nothing like a nice Gaussian available. This is very special to the abelian group $\mathbb{R}$.

The big question is of course what this is all good for? Well, I have no idea what your intention is to complexify the action. It is clear that there is no immediate geometric interpretation. On the other hand, the above construction uses only compactness but not the Riemannian metric, nice...

Stefan Waldmann
  • 8.1k
  • 6
  • 41
  • 66