Space of sections of a fibre bundle with non-compact base space

Question

Let $\pi: E \rightarrow M$ be a fiber bundle over the manifold M and denote by $\Gamma(E)$ the space of smooth sections of $E$.

For compact $M$ it is well known (Hamilton 1982, Part II Corollary 1.3.9), that $\Gamma(E)$ (if not empty) is a (tame) Fréchet manifold with respect to the topology of uniform convergence of all derivates on compacta. E.g. the topology is given by seminorms (shown here for vector bundles): $$p_{i, K} (\phi) = \sum_{j=1}^i \text{sup}_{x \in K} |\phi^{(j)}(x)|.$$ Where the section $\phi$ is identified with its local representative $\phi: U \subset R^n \rightarrow R^m$ and the compact sets $K$ form a exhaustion of $U$. As for a paracompact manifold there exists a countable atlas, this procedure results in countable many seminorms. Thus $\Gamma(E)$ is a Fréchet manifold. (For the general case of a fiber bundle one has to invoke the tubular neighborhood theorem.)

I`m now interested in the case of non-compact base manifold $M$. To be honest, I do not see why the above construction fails then.

Supportive to this view, in section 2.2. of [1] the authors construct along the above lines a topology for non-compact $M$. But on the other hand in [2] the gauge group $\text{Gau}(P)$ (which is the group of sections of the associated bundle $P \times_G G$ to the principal bundle $P \rightarrow M$) is described only as a strict inductive limit of countable many Fréchet spaces and only for compact $M$ one has the simpler Fréchet structure on $\text{Gau}(P)$.

Where is the error here? Thanks!

[1] Čap, A. & Slovak, J. On multilinear operators commuting with Lie derivatives, eprint arXiv:dg-ga/9409005, 1994

[2] M. C. Abbati, R. Cirelli, A. Mania, and P. Michor, Smoothness of the action of the gauge transformation group on connections, J. Math. Phys. 27, 2469 (1986), DOI:10.1063/1.527404

Answer 1

Your definition depends on the choice of the exhaustion and on the choice of the metric on $E$. To get a meaningful theory you have to add many more assumptions (like: a Riemannian metric of bounded geometry on $M$ where the open sets are geodesic balls ...). For example, if you want to let the diffeomorphism group of $M$ act smoothly on the locally convex space of functions you are defining. Just keep in mind how many different function spaces on $\mathbb R^n$ are useful.

See:

• MR2343536 Eichhorn, Jürgen Global analysis on open manifolds. Nova Science Publishers, Inc., New York, 2007. x+644 pp.

for a careful development of Sobolev spaces on non-compact Riemannian manifolds and vector bundles on them.

EDIT: You might check around 10.10 in (this uses a clumsy version of calculus on locally convex spaces):

• Peter W. Michor: Manifolds of differentiable mappings. Shiva Mathematics Series 3, Shiva Publ., Orpington, (1980), iv+158 pp., MR 83g:58009 (scanned pdf)

Or you can check chapter IX of:

• Andreas Kriegl, Peter W. Michor: The Convenient Setting of Global Analysis. Mathematical Surveys and Monographs, Volume: 53, American Mathematical Society, Providence, 1997. (publisher page) (pdf)

Both references model on spaces of test functions (Choice 1 in the answer of Andrew Stacey below). There are other choices, but they are increasingly complicated. See for example the following paper which discusses the group of diffeomorphisms on $\mathcal R^n$ which fall rapidly towards the identity, or fall like $H^\infty$ (intersection of all Sobolev spaces).

• Peter W. Michor and David Mumford: A zoo of diffeomorphism groups on $\mathbb ℝ^n$. Annals of Global Analysis and Geometry 44, 4 (2013), 529-540, doi:10.1007/s10455-013-9380-2, arXiv:1211.5704. (pdf)

Answer 2

Your local neighbourhoods no longer have good structure.

For non-compact base you need to take a limit over compact subspaces. So when considering two sections, say $f$ and $g$, then to say that they are "close" is to say that there is a neighbourhood of $f$ containing $g$. This neighbourhood says "There is a compact subset, say $K$, of $M$ and an order, say $n$, such that the derivatives of $f$ and $g$ are close on $K$ up to order $n$."

This says absolutely nothing about what happens outside $K$. And this is a big problem because if you want to put the structure of a manifold on $\Gamma(E)$ then for $f$ and $g$ sufficiently close you need to be able to say what $f + g$ is. On $K$ then there's no problem because you make everything sufficiently small that you can use the manifold structure of $E$ to add $f$ and $g$ fibrewise. But to extend that to $x$ outside $K$ you need to be able to add $f(x)$ and $g(x)$ where these can take any values in the fibre at $x$, which equates to a fibrewise global addition structure on $E$ and in a general fibre bundle you don't have that.

Now, you could go for a different source for your local additive structure but you'd run in to the same sort of problem.

You have two options if you want to work with $\Gamma(E)$ as a smooth object:

1. Change your topology. You can split $\Gamma(E)$ into pieces where $f$ and $g$ are in the same piece if they agree off some compact subset. This then can be made into a manifold but it has uncountably many components.

2. Change your category. The space $\Gamma(E)$ is a perfectly well behaved generalised smooth space and can be treated very nicely in one of the many categories of such. It just isn't a manifold.

Answer 3

In addition to the above references, you may be interested in taking a look at this paper:

• P. Piccione and D. V. Tausk, On the Banach differential structure for sets of maps on non-compact domains, Nonlinear Anal. 46 (2001), no. 2, Ser. A: Theory Methods, 245–265, https://doi.org/10.1016/S0362-546X(00)00116-4

where they study how to introduce a Banach structure on sets of maps between a possibly non-compact topological space as domain and a smooth manifold as target. Of course the regularity discussed here is less than $C^\infty$, giving you a Banach structure instead of Frechet. This has obvious advantages and disadvantages; but regardless of the differences is possibly worth looking at, given that the non-compactness issues of the domain are dealt with successfully. Needless to say, once you have the desired structure on the set of maps, restricting to the particular case of sections of a bundle is straight-forward.