Behavior of $L^2$-spaces under conformal variation

72 Views Asked by At

Consider a Riemannian manifold $(M,g_0)$ which is the interior of a compact manifold $(\overline{M}, \overline{g})$.

I'm interested in a kind of conformal variation of the background metric $g_0$. So for $\tau \in [0,T] \subset \mathbb{R}$ let $\omega_\tau \in C^{\infty}(\overline{M})$ and $g_{\tau} := e^{\omega(\tau)} g_0$

In addition there is a family of operators $\{H_\tau \}$ where $H_\tau: L^2(M, g_\tau) \rightarrow L^2(M, g_\tau)$. My goal is to talk about the $(L²-)$ trace of these operators with respect to the background $L^2$-space $L^2(M,g_0)$.

Is this possible? Are there suitable conditions for $\omega$ to get a statement like \begin{equation} L^2(M,g_0)= L^2(M, g_\tau) \ \forall \tau \in [0,T] \end{equation} so that the operators can be viewed as acting on the same space?

1

There are 1 best solutions below

2
On BEST ANSWER

If you take $\omega_\tau \in C^{\infty}(\bar{M};\mathbb{R})$, then by compactness we have that there exist a function $\Omega:[0,T]\to\mathbb{R}_+$ such that $-\Omega(\tau) < \omega(\tau,x) < \Omega(\tau)$ for all $(\tau,x)\in [0,T]\times \bar{M}$.

This means that there exists a constant $k$ depending only on the dimension of the manifold $M$ such that in a fixed coordinate charge you have $$ \sqrt{|g_0|}e^{-k\Omega(\tau)} \leq \sqrt{|g_\tau|} \leq \sqrt{|g_0|}e^{k\Omega(\tau)} $$ or, in other words, the volume forms of the two Riemannian metrics are compatible. This immediately implies that the two $L^2$ spaces are compatible.


I suspect, however, you may also be interested in the case where $\omega_\tau\in C^\infty(M,\mathbb{R})$, which would be the case if you were to consider $M$ as an asymptotically hyperbolic manifold with conformal boundary $\partial\bar{M}$. In this case $\omega_\tau$ is allowed (in fact encouraged) to blow-up at the boundary. On any open subset with compact closure $\bar{G}\Subset M$ the above argument still works: $L^2(G,g_0) = L^2(G,g_\tau)$. However degeneracies at the boundary can make big differences. If $g_0$ is induced from $\bar{g}$, then it has finite total volume; so all the constant functions are in $L^2(M,g_0)$. But if $g_\tau$ has infinite volume (as in the asymptotically hyperbolic cases usually considered), then clearly the constant functions cannot be in $L^2(M,g_\tau)$.