Smooth vs analytic spacetimes

Question

Recently in more technical settings (I was learning algebraic QFT), I encountered the term "real analytic" manifolds (Lorentzian manifolds, to be precise). This is in contrast to smooth manifolds, the same way real analytic functions are not the same as smooth ($C^\infty$) functions.

What I have trouble wrapping my head around are "simple" examples of analytic Lorentzian manifolds that differ from standard smooth Lorentzian manifolds. This issue is related to another post here, but I guess I am looking for something more concrete (and possibly simpler). I can frame this in two ways:

1. Are the standard examples in general relativity considered real-analytic manifolds? The ones I encounter most of the time---Minkowski, Schwarzschild, FRW spacetimes, seem to be the case: the Schwarzschild geometry has $f(r)=1-2M/r$. The FRW with good enough scale factors (like $a(\eta)=-1/(H\eta)$ for de Sitter case) is also real-analytic on $\eta<0$. I believe the same goes for the entire Kerr-Newman family and its maximal extension. In the Stackexchange post above, the argument seems to be a matter of talking about "the" maximal analytic extension, but if I just want to talk about the exterior of Schwarzschild or exterior of a star, for example, is real-analyticity really too strong? Another example I can probably think of is "gravitational shockwaves" (e.g., Aichelburg-Sexl metric) where the metric is not real-analytic (it is distributional, I guess). Does that mean all spacetimes whose metric can be written in terms of elementary real functions automatically real-analytic then?

2. If the spacetime is real-analytic, does the test fields on top of it have to be? For example, must hyperbolic wave equation be "real-analytic" (e.g., with real-analytic potentials) if the metric is real analytic? It looks to me that usually the fields living on some spaces does not need to inherit the properties of the background geometry, but I don't know.

Answer 1

We only impose $C^{\infty}$ when setting up the general theory, because real-analyticity would be too strong a condition to impose. However, when trying to find specific solutions (Schwarzschild, Reissner Nordstrom etc etc) it turns out that we end up with a set that can be covered by charts whose transitions are real-analytic; so it is by a miracle that we end up with a real-analytic structure. Also, the metric when expressed in any coordinate system in these examples has real-analytic components. Therefore, it is a very fortunate matter that having solved Einstein's equations in one chart automatically means it is satisfied on the entire manifold.

So once again, we do not require that our manifolds/fields be real-analytic simply because real-analyticity would be too strong a condition to demand a-priori (because of uniqueness of analytic continuation). If it turns out after our symmetry ansatz's and calculations that we end up with something analytic, we just thank our lucky stars and be happy with it. Hopefully this answers your second question as well: no we do not have to (nor do we) demand that fields be analytic; if we have an analytic manifold, then we're perfectly within our right to consider fields which are analytic but we can also consider $C^{\infty}$ fields, or if we want, just $C^2$ fields.

---

Edit:

@BenceRacskó has kindly pointed out that every $C^k$ manifold ($k\geq 1$) actually has an analytic sub-atlas, which I didn't realize. But still, having an analytic fields (in particular the metric) is non-trivial because of analytic continuation: its values on some non-empty open set (no matter how small) would determine it uniquely on the entire manifold (provided such an extension exists).