Aspects of Differential Calculus Related to Infinite-Dimensional Vector Bundles and Poisson Vector Spaces

Abstract

We prove various results in infinite-dimensional differential calculus that relate the differentiability properties of functions and associated operator-valued functions (e.g., differentials). The results are applied in two areas: (1) in the theory of infinite-dimensional vector bundles, to construct new bundles from given ones, such as dual bundles, topological tensor products, infinite direct sums, and completions (under suitable hypotheses); (2) in the theory of locally convex Poisson vector spaces, to prove continuity of the Poisson bracket and continuity of passage from a function to the associated Hamiltonian vector field. Topological properties of topological vector spaces are essential for the studies, which allow the hypocontinuity of bilinear mappings to be exploited. Notably, we encounter $k_{\mathbb{R}}$-spaces and locally convex spaces E such that $E\times E$ is a $k_{\mathbb{R}}$-space.

1. Introduction

We study questions of infinite-dimensional differential calculus in the setting of Keller’s $C_c^k$-theory [1] (going back to [2]). Applications to infinite-dimensional vector bundles are given, and also applications in the theory of locally convex Poisson vector spaces.

Differentiability properties of operator-valued maps. Our results are centred around the following basic problem: Consider locally convex spaces X, E and F, an open set $U\subseteq X$ and a map $f:U\to L{(E,F)}_b$ to the space of continuous linear maps, endowed with the topology of uniform convergence on bounded sets. How are the differentiability properties of the operator-valued map f related to those of

$$f^{\wedge }:U\times E\to F,f^{\wedge }(x,v):=f\left(x\right)\left(v\right)?$$

We show that if $f^{\wedge }$ is smooth, then also f is smooth (Proposition 1). Conversely, exploiting the hypocontinuity of the bilinear evaluation map

$$L{(E,F)}_b\times E\to F,(\alpha ,v)\mapsto \alpha \left(v\right),$$

we find natural hypotheses on E and F ensuring that smoothness of f entails smoothness of $f^{\wedge }$ (Proposition 2; likewise for compact sets in place of bounded sets). Without extra hypotheses on E and F, this conclusion becomes false, e.g., if $U=X$ is a non-normable, real, locally convex space with dual space $X^{\prime }:=L(X,\mathbb{R})$. Then, $f:={id}_{X^{\prime }}:X_b^{\prime }\to X_b^{\prime }$ is continuous linear and thus smooth, but $f^{\wedge }:X_b^{\prime }\times X\to \mathbb{R}$ is the bilinear evaluation map taking $(\lambda ,x)$ to $\lambda \left(x\right)$, which is discontinuous for non-normable X (see [3] (p. 2)) and hence not smooth in the sense of Keller’s $C_c^{\infty }$-theory. We also obtain results concerning finite-order differentiability properties, as well as real and complex analyticity. Furthermore, $L(E,F)$ can be replaced with the space $L^k(E_1,\dots ,E_k,F)$ of continuous k-linear maps $E_1\times \dots \times E_k\to F$, if $E_1,\dots ,E_k$ are locally convex spaces. (Related questions also play a role in the comparative study of differential calculi [1].) As a very special case of our studies, the differential

$$f^{\prime }:U\to L{(E,F)}_b$$

is $C^{r-2}$, for each $r\in \mathbb{N}\cup \{\infty \}$ with $r\ge 2$, locally convex spaces E and F, and $C^r$-map $f:U\to F$ on an open set $U\subseteq E$ (see Corollary 1).

Applications to infinite-dimensional vector bundles. Apparently, mappings of the specific form just described play a vital role in the theory of vector bundles: If F is a locally convex space, M a (not necessarily finite-dimensional) smooth manifold and ${\left(U_i\right)}_{i\in I}$ an open cover of M, then the smooth vector bundles $E\to M$, with fibre F, which are trivial over the sets $U_i$, can be described by cocycles $g_{ij}:U_i\cap U_j\to GL\left(F\right)$ such that $G_{ij}:=g_{ij}^{\wedge }:(U_i\cap U_j)\times F\to F$, $(x,v)\mapsto g_{ij}\left(x\right)\left(v\right)$ is smooth (Proposition 3, Remark 7). Then, $g_{ij}$ is smooth as a mapping to the space $L{\left(F\right)}_b:=L{(F,F)}_b$ (see Proposition 1). In various contexts—for example, when trying to construct dual bundles—we are in the opposite situation: we know that each $g_{ij}$ is smooth, and would like to conclude that also the mappings $G_{ij}$ are smooth. Although this is not possible in general (as examples show), our results provide additional conditions ensuring that the conclusion is correct in the specific situation at hand. Notably, we obtain conditions ensuring the existence of a canonical dual bundle (Proposition 13). Without extra conditions, a canonical dual bundle need not exist (Example 2).

Besides dual bundles, we discuss a variety of construction principles of new vector bundles from given ones, including topological tensor products, completions, and finite or infinite direct sums. More generally, given a (finite- or infinite-dimensional) Lie group acting on the base manifold M, we discuss the construction of new equivariant vector bundles from given ones. Most of the constructions require specific hypotheses on the base manifold, the fibre of the bundle, and the Lie group.

As to completions, complementary topics were considered in the literature: Given an infinite-dimensional smooth manifold M, completions of the tangent bundle with respect to a weak Riemannian metric occur in [4] (p. 549), in hypotheses for a so-called robust Riemannian manifold.

We mention that multilinear algebra and vector bundle constructions can be performed much more easily in an inequivalent setting of infinite-dimensional calculus, the convenient differential calculus [3]. However, a weak notion of vector bundles is used there, which need not be topological vector bundles. Our discussion of vector bundles intends to pinpoint additional conditions ensuring that the natural construction principles lead to vector bundles in a stronger sense (which are, in particular, topological vector bundles).

The work [5] was particularly important for our studies. For an open subset U of a Fréchet space E, smoothness of $f^{\wedge }:U\times E^k\to \mathbb{R}$ is deduced from smoothness of $f:U\to {\Lambda }^k{\left(E^{\prime }\right)}_b$ in the proof of [5] (Proposition IV.6). A typical hypocontinuity argument already appears in the proof of [5] (Lemma IV.7). In contrast to the local calculations in charts, the global structure on a dual bundle (and bundles of k-forms) asserted in the first remark of [5] (p. 339) is problematic if Keller’s $C_c^{\infty }$-theory is used, without further hypotheses.

Applications related to locally convex Poisson vector spaces. In the wake of works by Odzijewicz and Ratiu on Banach–Poisson vector spaces and Banach–Poisson manifolds [6,7], certain locally convex Poisson vector spaces were introduced [8], which generalise the Lie–Poisson structure on the dual space of a finite-dimensional Lie algebra going back to Kirillov, Kostant and Souriau. By now, the latter spaces can be embedded in a general theory of locally convex Poisson manifolds (see [9]; for generalisations of finite-dimensional Poisson geometry with a different thrust, cf. [10]). Recall that many important examples of bilinear mappings between locally convex topological vector spaces are not continuous, but at least hypocontinuous (cf. [11] for this classical concept). In Section 12 and Section 13, we provide the proofs for two fundamental results in the theory of locally convex Poisson vector spaces which are related to hypocontinuity. (These proofs were stated in the preprint version of [8], but not included in the actual publication.) We show that the Poisson bracket associated with a continuous Lie bracket is always continuous (Theorem 1) and that the linear map $C^{\infty }(E,\mathbb{R})\to C^{\infty }(E,E)$ taking a smooth function to the associated Hamiltonian vector field is continuous (Theorem 2). Ideas from [8] and the current article were also taken further in [12] (Section 13).

2. Preliminaries and Notation

We describe our setting of differential calculus and compile useful facts. Either references to the literature are given or a proof; the proofs can be looked up in Appendix A.

Infinite-dimensional calculus. We work in the framework of infinite-dimensional differential calculus known as Keller’s $C_c^k$-theory [1]. Our main reference is [13] (see also [14,15,16,17]). If $\mathbb{K}\in \{\mathbb{R},\mathbb{C}\}$, we let $\mathbb{D}:=\{t\in \mathbb{K}:|t|\le 1\}$ and ${\mathbb{D}}_{\epsilon }:=\{t\in \mathbb{K}:|t|\le \epsilon \}$ for $\epsilon >0$. We write $\mathbb{N}:=\{1,2,\dots \}$ and ${\mathbb{N}}_0:=\mathbb{N}\cup \left\{0\right\}$. All topological vector spaces considered in the article are assumed Hausdorff, unless the contrary is stated. For brevity, Hausdorff locally convex topological vector spaces will be called locally convex spaces. As usual, a subset M of a $\mathbb{K}$-vector space is called balanced if $tx\in M$ for all $x\in M$ and $t\in \mathbb{D}$. The subset M is called absolutely convex if it is both convex and balanced. If $q:E\to [0,\infty ]$ is a seminorm on a $\mathbb{K}$-vector space E, we write $B_{\epsilon }^q\left(x\right):=\{y\in E:q(y-x)<\epsilon \}$ for $x\in E$ and $\epsilon >0$. We also write ${\parallel x\parallel }_q$ in place of $q\left(x\right)$. If E is a locally convex $\mathbb{K}$-vector space, we let $E^{\prime }$ be the dual space of continuous $\mathbb{K}$-linear functionals $\lambda :E\to \mathbb{K}$. We write $M^{\circ }:=\{\lambda \in E^{\prime }:\lambda \left(M\right)\subseteq \mathbb{D}\}$ for the polar of a subset $M\subseteq E$. If $\alpha :E\to F$ is a continuous $\mathbb{K}$-linear map between locally convex $\mathbb{K}$-vector spaces, we let ${\alpha }^{\prime }:F^{\prime }\to E^{\prime }$, $\lambda \mapsto \lambda \circ \alpha$ be the dual linear map. We say that a mapping $f:X\to Y$ between topological spaces is a topological embedding if it is a homeomorphism onto its image. We recall:

Definition 1.

Let E and F be locally convex $\mathbb{K}$-vector spaces over $\mathbb{K}\in \{\mathbb{R},\mathbb{C}\}$ and $U\subseteq E$ be an open subset. A map $f:U\to F$ is called $C_{\mathbb{K}}^0$ if it is continuous, in which case we set $d^{0}f:=f$. Given $x\in U$ and $y\in E$, we define

$$df(x,y):=\left(D_{y}f\right)\left(x\right):=\underset{t\to 0}{lim}\frac{f(x+ty)-f\left(x\right)}{t}$$

if the limit exists (using $t\in {\mathbb{K}}^{\times }$ such that $x+ty\in U$). Let $r\in \mathbb{N}\cup \{\infty \}$. We say that a continuous map $f:U\to F$ is a$C_{\mathbb{K}}^r$-map if the iterated directional derivative

$$d^{k}f(x,y_1,\dots ,y_k):=(D_{y_k}\dots D_{y_1})\left(f\right)\left(x\right)$$

exists for all $k\in \mathbb{N}$ such that $k\le r$ and all $(x,y_1,\dots ,y_k)\in U\times E^k$, and if the mappings $d^{k}f:U\times E^k\to F$ so obtained are continuous. Thus, $d^{1}f=df$. If $\mathbb{K}$ is understood, we write $C^r$ instead of $C_{\mathbb{K}}^r$. As usual, $C^{\infty }$-maps are also called smooth.

Remark 1.

For $k\in \mathbb{N}$, it is known that a map $f:U\to F$ as before is $C_{\mathbb{K}}^k$ if and only if f is $C_{\mathbb{K}}^1$ and $df:U\times E\to F$ is $C_{\mathbb{K}}^{k-1}$ (cf. [13] (Proposition 1.3.10)).

Remark 2.

If $\mathbb{K}=\mathbb{C}$, it is known that a map $f:E\supseteq U\to F$ as before is $C_{\mathbb{C}}^{\infty }$ if and only if it is complex analytic in the sense of [18] (Definition 5.6): f is continuous and for each $x\in U$, there exists a 0-neighbourhood $Y\subseteq E$ such that $x+Y\subseteq U$ and $f(x+y)={\sum }_{n=0}^{\infty }{\beta }_n\left(y\right)$ for all $y\in Y$ as a pointwise limit, where ${\beta }_n:E\to F$ is a continuous homogeneous polynomial over $\mathbb{C}$ of degree n, for each $n\in {\mathbb{N}}_0$ [13] (Theorem 2.1.12). Furthermore, f is complex analytic if and only if f is $C_{\mathbb{R}}^{\infty }$ and $df(x,·):E\to F$ is complex linear for all $x\in U$ (see [13] (Theorem 2.1.12)). Complex analytic maps will also be called $\mathbb{C}$-analytic or $C_{\mathbb{C}}^{\omega }$.

Definition 2.

If $\mathbb{K}=\mathbb{R}$, then a map $f:U\to F$ as before is called real analytic (or $\mathbb{R}$-analytic, or $C_{\mathbb{R}}^{\omega }$) if it extends to a complex analytic mapping $\tilde{U}\to F_{\mathbb{C}}$ on some open neighbourhood $\tilde{U}$ of U in the complexification $E_{\mathbb{C}}$ of E.

In the following, $r\in {\mathbb{N}}_0\cup \{\infty ,\omega \}$, unless the contrary is stated. We use the conventions $\infty +k:=\infty -k:=\infty$ and $\omega +k:=\omega -k:=\omega$, for each $k\in \mathbb{N}$. Furthermore, we extend the order on ${\mathbb{N}}_0$ to an order on ${\mathbb{N}}_0\cup \{\infty ,\omega \}$ by declaring $n<\infty <\omega$ for each $n\in {\mathbb{N}}_0$.

Remark 3.

Compositions of composable $C_{\mathbb{K}}^r$-mappings are $C_{\mathbb{K}}^r$-mappings (see Proposition 1.3.4, Remark 2.1.13, and Proposition 2.2.4 in [13]). Thus, $C_{\mathbb{K}}^r$-manifolds modelled on locally convex $\mathbb{K}$-vector spaces can be defined in the usual way (see [13] (Chapter 3) for a detailed exposition). In this article, the word “manifold” (resp., “Lie group”) always refers to a manifold (resp., Lie group) modelled on a locally convex space.

The following basic fact will be used repeatedly.

Lemma 1.

For $k\in \mathbb{N}$, let X, $E_1,\dots ,E_k$, and F be locally convex $\mathbb{K}$-vector spaces, $U\subseteq X$ be an open subset and

$$f:U\times E_1\times \dots \times E_k\to F$$

be a $C_{\mathbb{K}}^1$-map such that $f^{\vee }\left(x\right):=f(x,·):E_1\times \dots \times E_k\to F$ is k-linear, for each $x\in U$. Let $x\in U$ and q be a continuous seminorm on F. Then, there exists a continuous seminorm p on X with $B_1^p\left(x\right)\subseteq U$, and continuous seminorms $p_j$ on $E_j$ for $j\in \{1,\dots ,k\}$ such that

$$\parallel f(y,v_1,\dots ,v_k){\parallel }_q\le \parallel v_1{\parallel }_{p_1}\dots {\parallel v_k\parallel }_{p_k}and$$

(1)

$$\parallel f(y,v_1,\dots ,v_k)-f(x,v_1,\dots ,v_k){\parallel }_q\le {\parallel y-x\parallel }_p\parallel v_1{\parallel }_{p_1}\dots {\parallel v_k\parallel }_{p_k}$$

(2)

for all $y\in B_1^p\left(x\right)$ and $(v_1,\dots ,v_k)\in E_1\times \dots \times E_k$.

We shall also use the following fact:

Lemma 2.

Let E and F be locally convex $\mathbb{K}$-vector spaces, $k\ge 2$ be an integer and $f:U\times E^k\to F$ be a mapping such that $f(x,·):E^k\to F$ is k-linear and symmetric for each $x\in U$. Let $r\in {\mathbb{N}}_0\cup \{\infty ,\omega \}$. If

$$h:U\times E\to F,(x,y)\mapsto f(x,y,\dots ,y)$$

is $C_{\mathbb{K}}^r$, then also f is $C_{\mathbb{K}}^r$. Notably, f is continuous if h is continuous.

$\mathit{k}$-spaces, ${\mathit{k}}_{\mathbb{R}}$-spaces, ${\mathit{k}}^{\infty }$-spaces, and ${\mathit{k}}_{\mathbf{\omega }}$-spaces. Recall that a topological space X is said to be completely regular if it is Hausdorff and its topology is initial with respect to the set $C(X,\mathbb{R})$ of all continuous real-valued functions on X. Every locally convex space is completely regular, as with every Hausdorff topological group (cf. [19] (Theorem 8.2)). Compare [20,21] for the following.

A topological space X is called a k-space if it is Hausdorff and a subset $A\subseteq X$ is closed if and only if $A\cap K$ is closed in K for each compact subset $K\subseteq X$. Every metrisable topological space is a k-space, and every locally compact Hausdorff space. A Hausdorff space X is a k-space if and only if, for each topological space Y, a map $f:X\to Y$ is continuous if and only if f is k-continuous in the sense that ${f|}_K$ is continuous for each compact subset $K\subseteq X$. If X is a k-space, then also every subset $M\subseteq X$ which is open or closed in X, when the induced topology is used on M.

A topological space X is called a $k_{\mathbb{R}}$-space if it is Hausdorff and a function $f:X\to \mathbb{R}$ is continuous if and only if f is k-continuous. Then also a map $f:X\to Y$ to a completely regular topological space Y is continuous if and only if it is k-continuous (as the latter condition implies continuity of $g\circ f$ for each $g\in C(Y,\mathbb{R})$). For more information, cf. [22].

Every k-space is a $k_{\mathbb{R}}$-space. The converse is not true: ${\mathbb{R}}^I$ is known to be a $k_{\mathbb{R}}$-space for each set I (see [22]). If I has cardinality $\ge 2^{{\aleph }_0}$, then ${\mathbb{R}}^I$ is not a k-space. (If ${\mathbb{R}}^I$ was a k-space, then a certain non-discrete subgroup G of $({\mathbb{R}}^{\mathbb{R}},+)$ constructed in [23] would be discrete, which is a contradiction (see [13] (Remark A.6.16 (a)) for more details). Compare also [22].)

The following facts are well known (cf. [22]):

Lemma 3.

(a)

If a $k_{\mathbb{R}}$-space X is a direct product $X_1\times X_2$ of Hausdorff spaces and $X_1\ne \varnothing$, then $X_2$ is a $k_{\mathbb{R}}$-space.

(b)

Every open subset U of a completely regular $k_{\mathbb{R}}$-space X is a $k_{\mathbb{R}}$-space in the induced topology.

Notably, U is a $k_{\mathbb{R}}$-space for each open subset U of a locally convex space E which is a $k_{\mathbb{R}}$-space. If $E\times E$ is a $k_{\mathbb{R}}$-space, then also E.

Following [8], a topological space X is called a $k^{\infty }$-space if the Cartesian power $X^n$ is a k-space for each $n\in \mathbb{N}$, using the product topology. A Hausdorff space X is called hemicompact if $X={\bigcup }_{n\in \mathbb{N}}{K}_n$ for a sequence $K_1\subseteq K_2\subseteq \dots$ of compact subsets $K_n\subseteq X$ such that each compact subset of X is a subset of some $K_n$. Hemicompact k-spaces are also called $k_{\omega }$-spaces. If X and Y are $k_{\omega }$-spaces, then the product topology makes $X\times Y$ a $k_{\omega }$-space. Notably, every $k_{\omega }$-space is a $k^{\infty }$-space. See [24,25] for further information. Finite products of metrisable spaces being metrisable, every metrisable topological space is a $k^{\infty }$-space. Recall that a locally convex space E is said to be a Silva space or (DFS)-space if it is the locally convex inductive limit of a sequence $E_1\subseteq E_2\subseteq \dots$ of Banach spaces such that each inclusion map $E_n\to E_{n+1}$ is a compact operator. Every Silva space is a $k_{\omega }$-space (see, e.g., [13] (Proposition B13.13(g))).

Spaces of multilinear maps. Given $k\in \mathbb{N}$, locally convex $\mathbb{K}$-vector spaces $E_1,\dots ,E_k$ and F, and a set $\mathcal{S}$ of bounded subsets of $E_1\times \dots \times E_k$, we write $L^k{(E_1,\dots ,E_k,F)}_{\mathcal{S}}$ or $L_{\mathbb{K}}^k{(E_1,\dots ,E_k,F)}_{\mathcal{S}}$ for the space of continuous k-linear maps $E_1\times \dots \times E_k\to F$, endowed with the topology ${\mathcal{O}}_{\mathcal{S}}$ of uniform convergence on the sets $B\in \mathcal{S}$. Recall that finite intersections of sets of the form

$$\lfloor B,U\rfloor :=\{\beta \in L^k(E_1,\dots ,E_k,F):\beta \left(B\right)\subseteq U\}$$

yield a basis of 0-neighbourhoods for this (not necessarily Hausdorff) locally convex vector topology, for U ranging through the 0-neighbourhoods in F and B through $\mathcal{S}$. If ${\bigcup }_{B\in \mathcal{S}}B=E_1\times \dots \times E_k$, then ${\mathcal{O}}_{\mathcal{S}}$ is Hausdorff. If $E_1=\dots =E_k$, we abbreviate $L^k{(E,F)}_{\mathcal{S}}:=L^k{(E,\dots ,E,F)}_{\mathcal{S}}$. If $k=1$ and $E:=E_1$, we abbreviate $L{(E,F)}_{\mathcal{S}}:=L^1{(E,F)}_{\mathcal{S}}$, $L_{\mathbb{K}}{(E,F)}_{\mathcal{S}}$$:=L_{\mathbb{K}}^1{(E,F)}_{\mathcal{S}}$ and $L{\left(E\right)}_{\mathcal{S}}:=L{(E,E)}_{\mathcal{S}}$. We write $GL\left(E\right)=L{\left(E\right)}^{\times }$ for the group of all automorphisms of the locally convex $\mathbb{K}$-vector space E. If $\mathcal{S}$ is the set of all bounded, compact, and finite subsets of $E_1\times \dots \times E_k$, respectively, we shall usually write “b,” “c,” and “p” in place of $\mathcal{S}$. For example, we shall write $L^k{(E_1,\dots ,E_k,F)}_b$, $L^k{(E_1,\dots ,E_k,F)}_c$, and $L^k{(E_1,\dots ,E_k,F)}_p$.

Remark 4.

Let $E_1,\dots ,E_k$ and F be complex locally convex spaces and $f:U\to L_{\mathbb{C}}^k(E_1,\dots ,E_k,F)$ be a map, defined on an open subset U of a real locally convex space. Let $\mathcal{S}:=b$ or $\mathcal{S}:=c$. Since $L_{\mathbb{C}}^k{(E_1,\dots ,E_k,F)}_{\mathcal{S}}$ is a closed real vector subspace of $L_{\mathbb{R}}^k{(E_1,\dots ,E_k,F)}_{\mathcal{S}}$, the map f is $C_{\mathbb{R}}^r$ as a map to $L_{\mathbb{C}}^k{(E_1,\dots ,E_k,F)}_{\mathcal{S}}$ if and only if f is $C_{\mathbb{R}}^r$ as a map to $L_{\mathbb{R}}^k{(E_1,\dots ,E_k,F)}_{\mathcal{S}}$ (see [13] (Lemma 1.3.19 and Exercise 2.2.4)).

Given a $C_{\mathbb{K}}^r$-map $f:E\supseteq U\to F$ as in Definition 1, we define $f^{\left(0\right)}:=f$ and

$$f^{\left(j\right)}:U\to L_{\mathbb{K}}^j(E,F),f^{\left(j\right)}\left(x\right):={\left(d^{j}f\right)}^{\vee }\left(x\right)=d^{j}f(x,·)$$

for $j\in \mathbb{N}$ such that $j\le r$.

Hypocontinuous multilinear maps. Beyond normed spaces, typical multilinear maps are not continuous, but merely hypocontinuous. Hypocontinuous bilinear maps are discussed in many textbooks. An analogous notion of hypocontinuity for multilinear maps (to be described presently) is useful to us. It can be discussed similarly to the bilinear case.

Lemma 4.

For an integer $k\ge 2$, let $\beta :E_1\times \dots \times E_k\to F$ be a separately continuous k-linear mapping and $j\in \{2,\dots ,k\}$ such that, for each $x\in E_1\times \dots \times E_{j-1}$, the map

$${\beta }^{\vee }\left(x\right):=\beta (x,·):E_j\times \dots \times E_k\to F$$

is continuous. Let $\mathcal{S}$ be a set of bounded subsets of $E_j\times \dots \times E_k$. Consider the conditions:

(a)

For each $M\in \mathcal{S}$ and each 0-neighbourhood $W\subseteq F$, there exists a 0-neighbourhood $V\subseteq E_1\times \dots \times E_{j-1}$ such that $\beta (V\times M)\subseteq W$.

(b)

The $(j-1)$-linear map ${\beta }^{\vee }:E_1\times \dots \times E_{j-1}\to L^{k-j+1}{(E_j,\dots ,E_k,F)}_{\mathcal{S}}$ is continuous.

(c)

${\beta |}_{E_1\times \dots \times E_{j-1}\times M}:E_1\times \dots \times E_{j-1}\times M\to F$ is continuous, for each $M\in \mathcal{S}$.

Then (a) and (b) are equivalent, and (b) implies (c). If

$$(\forall M\in \mathcal{S})(\exists N\in \mathcal{S})\mathbb{D}M\subseteq N,$$

(3)

then (a), (b), and (c)are equivalent.

Definition 3.

A k-linear map β which satisfies the hypotheses and Condition (a) of Lemma 4 is called $\mathcal{S}$-hypocontinuous in its arguments $(j,\dots ,k)$. If $j=k$, we also say that β is $\mathcal{S}$-hypocontinuous in the k-th argument. Analogously, we define $\mathcal{S}$-hypocontinuity of β in the j-th argument, if $j\in \{1,\dots ,k\}$ and a set $\mathcal{S}$ of bounded subsets of $E_j$ are given.

We are mainly interested in b-, c-, and p-hypocontinuity, viz., in $\mathcal{S}$-hypocontinuity with respect to the set $\mathcal{S}$ of all bounded subsets of $E_j\times \dots \times E_k$, the set $\mathcal{S}$ of all compact subsets, and the set $\mathcal{S}$ of all finite subsets, respectively. If $\mathcal{S}$ and $\mathcal{T}$ are sets of bounded subsets of $E_j\times \dots \times E_k$ such that $\mathcal{S}\subseteq \mathcal{T}$ and $\beta$ is $\mathcal{T}$-hypocontinuous in its variables $(j,\dots ,k)$, then $\beta$ is also $\mathcal{S}$-hypocontinuous in the latter. The following is obvious from Lemma 4 (c) (as the elements of a convergent sequence, together with its limit, form a compact set):

Lemma 5.

If $\beta :E_1\times \dots \times E_k\to F$ is c-hypocontinuous in some argument, or in its arguments $(j,\dots ,k)$ for some $j\in \{2,\dots ,k\}$, then β is sequentially continuous.

In many cases, separately continuous bilinear maps are automatically hypocontinuous. Recall that a subset B of a locally convex space E is a barrel if it is closed, absolutely convex, and absorbing. The space E is called barrelled if every barrel is a 0-neighbourhood. See Proposition 6 in [11] (Chapter III, §5, no. 3) for the following fact.

Lemma 6.

If $\beta :E_1\times E_2\to F$ is a separately continuous bilinear map and $E_1$ is barrelled, then β is $\mathcal{S}$-hypocontinuous in its second argument, with respect to any set $\mathcal{S}$ of bounded subsets of $E_2$.

Evaluation maps are paradigmatic examples of hypocontinuous multilinear maps.

Lemma 7.

Let $E_1,\dots ,E_k$ and F be locally convex $\mathbb{K}$-vector spaces and $\mathcal{S}$ be a set of bounded subsets of $E:=E_1\times \dots \times E_k$ with ${\bigcup }_{M\in \mathcal{S}}M=E$. Then, the $(k+1)$-linear map

$$\epsilon :L^k{(E_1,\dots ,E_k,F)}_{\mathcal{S}}\times E_1\times \dots \times E_k\to F,(\beta ,x)\mapsto \beta \left(x\right)$$

is $\mathcal{S}$-hypocontinuous in its arguments $(2,\dots ,k+1)$. If $k=1$ and $E=E_1$ is barrelled, then $\epsilon :L(E,F)\times E\to F$ is also hypocontinuous in the first argument, with respect to any locally convex topology $\mathcal{O}$ on $L(E,F)$ which is finer than the topology of pointwise convergence, and any set $\mathcal{T}$ of bounded subsets of $\left(L\right(E,F),\mathcal{O})$.

Lemma 8.

Consider locally convex spaces $E_1,\dots ,E_k$ and F with $k\ge 2$ and a k-linear map $\beta :E_1\times \dots \times E_k\to F$.

(a)

If β is sequentially continuous, then the composition $\beta \circ f$ is continuous for each continuous function $f:X\to E_1\times \dots \times E_k$ on a topological space X which is metrisable or satisfies the first axiom of countability.

(b)

If β is c-hypocontinuous in its arguments $(j,\dots ,k)$ for some $j\in \{2,\dots ,k\}$ and X is a $k_{\mathbb{R}}$-space, then $\beta \circ f$ is continuous for each continuous function $f:X\to E_1\times \dots \times E_k$.

Lipschitz differentiable maps. In Section 7, it will be useful to work with certain Lipschitz differentiable maps, instead of $C^r$-maps. We briefly recall concepts and facts.

Definition 4.

Let E and F be locally convex $\mathbb{K}$-vector spaces, $U\subseteq E$ be open and $f:U\to F$ be a map. We say that f is locally Lipschitz continuous or $L{C}_{\mathbb{K}}^0$ if it has the following property: For each $x\in U$ and continuous seminorm q on F, there exists a continuous seminorm p on E such that $B_1^p\left(x\right)\subseteq U$ and

$$q(f\left(z\right)-f\left(y\right))\le p(z-y)for all y,z\in B_1^p\left(x\right).$$

Given $r\in {\mathbb{N}}_0\cup \{\infty \}$, we say that f is $L{C}_{\mathbb{K}}^r$ if f is $C_{\mathbb{K}}^r$ and $d^{k}f:U\times E^k\to F$ is $L{C}_{\mathbb{K}}^0$ for each $k\in {\mathbb{N}}_0$ such that $k\le r$.

Every $C^1$-map is $L{C}_{\mathbb{K}}^0$ (see, for example, [13] (Exercise 1.5.4)). As a consequence, for each $r\in \mathbb{N}\cup \{\infty \}$, every $C_{\mathbb{K}}^r$-map is $L{C}_{\mathbb{K}}^{r-1}$. Notably, every smooth map is $L{C}_{\mathbb{K}}^{\infty }$. Moreover, a $C_{\mathbb{K}}^r$-map with finite r is $L{C}_{\mathbb{K}}^r$ if and only if $d^{r}f$ is $L{C}_{\mathbb{K}}^0$. The following facts are known, or part of the folklore.

Lemma 9.

For locally convex spaces over $\mathbb{K}\in \{\mathbb{R},\mathbb{C}\}$ and $r\in {\mathbb{N}}_0\cup \{\infty \}$, we have:

(a)

A map $f:E\supseteq U\to {\prod }_{j\in J}{F}_j$ to a direct product of locally convex spaces is $L{C}_{\mathbb{K}}^r$ if and only each component is $L{C}_{\mathbb{K}}^r$;

(b)

Compositions of composable $L{C}_{\mathbb{K}}^r$-maps are $L{C}_{\mathbb{K}}^r$;

(c)

Let F be a locally convex space and $F_0\subseteq F$ be a vector subspace which is closed in F, or sequentially closed. Then, a map $f:E\supseteq U\to F_0$ is $F{C}_{\mathbb{K}}^r$ if and only if it is $F{C}_{\mathbb{K}}^r$ as a map to F.

(d)

A map $E\supseteq U\to P$ to a projective limit $P={\displaystyle \underset{⟵}{lim}}{F}_j$ of locally convex spaces is $L{C}_{\mathbb{K}}^r$ if and only if $p_j\circ f:U\to F_j$ is $L{C}_{\mathbb{K}}^r$ for all $j\in J$, where $p_j:P\to F_j$ is the limit map.

Our concept of local Lipschitz continuity is weaker than the one in [13] (Definition 1.5.4).

The compact-open ${\mathit{C}}^{\mathit{r}}$-topology. If E and F are locally convex $\mathbb{K}$-vector spaces, $U\subseteq E$ is an open set and $r\in {\mathbb{N}}_0\cup \{\infty \}$, then the vector space $C_{\mathbb{K}}^r(U,F)$ of all $C_{\mathbb{K}}^r$-maps $U\to F$ carries a natural topology (the “compact-open $C^r$-topology”), namely the initial topology with respect to the mappings

$$C_{\mathbb{K}}^r(U,F)\to C{(U\times E^j,F)}_{c.o.}f\mapsto d^{j}f$$

for $j\in {\mathbb{N}}_0$ such that $j\le r$, where the right-hand side is endowed with the compact-open topology. Then, $C_{\mathbb{K}}^r(U,F)$ is a locally convex $\mathbb{K}$-vector space. If F is a complex locally convex space, then also $C_{\mathbb{K}}^r(U,F)$. See, e.g., [13] (§1.7) for further information, or [26].

3. Differentiability Properties of Operator-Valued Maps

Let $\mathbb{L}\in \{\mathbb{R},\mathbb{C}\}$, $\mathbb{K}\in \{\mathbb{R},\mathbb{L}\}$, and $r\in {\mathbb{N}}_0\cup \{\infty ,\omega \}$. In this section, we establish the following proposition.

Proposition 1.

Let $k\in \mathbb{N}$, $r\in {\mathbb{N}}_0\cup \{\infty ,\omega \}$, $E_1,\dots ,E_k$ and F be locally convex $\mathbb{L}$-vector spaces, X be a locally convex $\mathbb{K}$-vector space, and $U\subseteq X$ be an open subset. Let $f:U\to L_{\mathbb{L}}^k(E_1,\dots ,E_k,F)$ be a map such that

$$f^{\wedge }:U\times E_1\times \dots \times E_k\to F,f^{\wedge }(x,v):=f\left(x\right)\left(v\right)forx\in U,v\in E_1\times \dots \times E_k$$

is $C_{\mathbb{K}}^r$. Then, the following holds:

(a)

f is $C_{\mathbb{K}}^r$ as a map to $L_{\mathbb{L}}^k{(E_1,\dots ,E_k,F)}_c$.

(b)

If $r\ge 1$, then f is $C_{\mathbb{K}}^{r-1}$ as a map to $L_{\mathbb{L}}^k{(E_1,\dots ,E_k,F)}_b$.

Furthermore,

$$d^{j}f(x,y_1,\dots ,y_j)\left(v\right)=d^j\left(f^{\wedge }\right)((x,v),(y_1,0),\dots ,(y_j,0))$$

(4)

for all $j\in \mathbb{N}$ with $j\le r$ (resp., $j\le r-1$, in (b)), all $x\in U$, $v\in E_1\times \dots \times E_k$, and $y_1,\dots ,y_j\in X$.

Corollary 1.

Let E and F be locally convex $\mathbb{K}$-vector spaces and $f:U\to F$ be a $C_{\mathbb{K}}^r$-map on an open subset $U\subseteq E$, where $r\in \mathbb{N}\cup \{\infty ,\omega \}$. Then, the following holds:

(a)

The map $f^{\left(k\right)}:U\to L_{\mathbb{K}}^k{(E,F)}_c$, $x\mapsto f^{\left(k\right)}\left(x\right)=d^{k}f(x,·)$ is $C_{\mathbb{K}}^{r-k}$, for each $k\in \mathbb{N}$ such that $k\le r$.

(b)

The map $f^{\left(k\right)}:U\to L_{\mathbb{K}}^k{(E,F)}_b$ is $C_{\mathbb{K}}^{r-k-1}$, for each $k\in \mathbb{N}$ such that $k\le r-1$.

Furthermore, $d^j\left(f^{\left(k\right)}\right)(x,y_1,\dots ,y_j)=d^{j+k}f(x,·,y_1,\dots ,y_j)$, for all $j\in \mathbb{N}$ with $j+k\le r$ (resp., $j+k\le r-1)$, all $x\in U$, and $y_1,\dots ,y_j\in E$.

Proof. 

For each $k\in \mathbb{N}$ such that $k\le r$, the map $d^{k}f:U\times E^k\to F$ is $C_{\mathbb{K}}^{r-k}$ (see [13] (Remark 1.3.13 and Exercise 2.2.7)), and $f^{\left(k\right)}\left(x\right)=d^{k}f(x,·)$ is k-linear for each $x\in U$, by [13] (Proposition 1.3.17). Moreover, ${\left(f^{\left(k\right)}\right)}^{\wedge }=d^{k}f$. Thus, Proposition 1 applies with $f^{\left(k\right)}$ in place of f and $r-k$ in place of r. □

Given a topological space X and locally convex space F, we endow the space $C(X,F)$ of continuous F-valued functions on X with the compact-open topology. It is known that this topology coincides with the topology of uniform convergence on compact sets. The next lemma will be useful when we discuss mappings to $L^k{(E,F)}_c$.

Lemma 10.

Let X, E, and F be locally convex $\mathbb{K}$-vector spaces, $U\subseteq X$ and $W\subseteq E$ be open subsets, and $f:U\times W\to F$ be a $C_{\mathbb{K}}^r$-map, with $r\in {\mathbb{N}}_0\cup \{\infty \}$. Then, also the map

$$f^{\vee }:U\to C(W,F),x\mapsto f(x,·)$$

is $C_{\mathbb{K}}^r$. If $\mathbb{K}=\mathbb{R}$ and f admits a complex analytic extension $h:\tilde{U}\times \tilde{W}\to F_{\mathbb{C}}$ for suitable open neighbourhoods $\tilde{U}$ of U in $X_{\mathbb{C}}$ and $\tilde{W}$ of W in $E_{\mathbb{C}}$, then $f^{\vee }$ is real analytic.

Proof. 

We first assume that $r\in {\mathbb{N}}_0$, and proceed by induction. For $r=0$, the assertion is well known (see, e.g., [13] (Proposition A.6.17)). Now assume that $r\in \mathbb{N}$. Given $x\in U$ and $y\in X$, there exists $\epsilon >0$ such that $x+{\mathbb{D}}_{\epsilon }^{0}y\subseteq U$, where ${\mathbb{D}}_r^0:=\{t\in \mathbb{K}:|t|<\epsilon \}$. Consider

$$g:{\mathbb{D}}_{\epsilon }^0\times W\to F,(t,w)\mapsto \left\{\begin{array}{cc}\frac{f(x+ty,w)-f(x,w)}{t}& \mathrm{if}t\ne 0;\hfill \\ df\left(\right(x,w),(y,0\left)\right)& \mathrm{if}t=0.\hfill \end{array}\right.$$

Then, $g(t,w)={\int }_0^{1}df((x+sty,w),(y,0))ds$, by the Mean Value Theorem. The integrand being continuous, also g is continuous (by the Theorem on Parameter-Dependent Integrals, [13] (Lemma 1.1.11)). Hence, $g^{\vee }:V\to C(W,F)$ is continuous, by induction, and hence

$$\frac{f^{\vee }(x+ty)-f^{\vee }\left(x\right)}{t}=g^{\vee }\left(t\right)\to g^{\vee }\left(0\right)$$

as $t\to 0$, where $g^{\vee }\left(0\right)=df((x,·),(y,0))=k^{\vee }(x,y)$ with

$$k:(U\times E)\times W\to F,(x,y,w)\mapsto df\left(\right(x,w),(y,0\left)\right).$$

Since k is $C_{\mathbb{K}}^{r-1}$, the map $d\left(f^{\vee }\right)=k^{\vee }$ is $C_{\mathbb{K}}^{r-1}$, by the inductive hypothesis. Notably, $d\left(f^{\vee }\right)$ is continuous and hence $f^{\vee }$ is $C_{\mathbb{K}}^1$. Now, $f^{\vee }$ being $C_{\mathbb{K}}^1$ with $d\left(f^{\vee }\right)$ a $C_{\mathbb{K}}^{r-1}$-map, $f^{\vee }$ is $C_{\mathbb{K}}^r$.

The case $r=\infty$. If f is $C_{\mathbb{K}}^{\infty }$, then f is $C_{\mathbb{K}}^k$ for each $k\in {\mathbb{N}}_0$. Hence, $f^{\vee }$ is $C_{\mathbb{K}}^k$ for each $k\in {\mathbb{N}}_0$ (by the case already treated), and thus $f^{\vee }$ is $C_{\mathbb{K}}^{\infty }$.

Final assertion. By the $C_{\mathbb{C}}^{\infty }$-case already treated, the map

$$h^{\vee }:\tilde{U}\to C(\tilde{W},F_{\mathbb{C}})$$

is $C_{\mathbb{C}}^{\infty }$. The restriction map

$$\rho :C(\tilde{W},F_{\mathbb{C}})\to C(W,F_{\mathbb{C}}){,\gamma \mapsto \gamma |}_W$$

being continuous $\mathbb{C}$-linear and thus $C_{\mathbb{C}}^{\infty }$, it follows that the composition

$$\rho \circ h^{\vee }:\tilde{U}\to C(W,F_{\mathbb{C}})=C{(W,F)}_{\mathbb{C}}$$

is $C_{\mathbb{C}}^{\infty }$ and thus complex analytic. Since $\rho \circ h^{\vee }$ extends $f^{\vee }$, we see that $f^{\vee }$ is real analytic. □

Proof of Proposition 1.

(a) Abbreviate $E:=E_1\times \dots \times E_k$. Because $L_{\mathbb{L}}^k{(E_1,\dots ,E_k,F)}_c$ is a closed $\mathbb{K}$-vector subspace of $C(E,F)$ and carries the induced topology, f will be $C_{\mathbb{K}}^r$ as a map to $L_{\mathbb{L}}^k{(E_1,\dots ,E_k,F)}_c$ if we can show that f is $C_{\mathbb{K}}^r$ as a map to $C(E,F)$ (see [13] (Lemma 1.3.19 and Exercise 2.2.4)). Since $f^{\wedge }$ is $C_{\mathbb{K}}^r$ and $f={\left(f^{\wedge }\right)}^{\vee }$, the latter follows from Lemma 10. This is obvious unless $\mathbb{K}=\mathbb{R}$ and $r=\omega$. In this case, the map $f^{\wedge }$ admits a $\mathbb{C}$-analytic extension $p:Q\to F_{\mathbb{C}}$ to an open neighbourhood Q of $U\times E$ in $X_{\mathbb{C}}\times E_{\mathbb{C}}$. For each $x\in U$, there exists an open, connected neighbourhood $U_x$ of x in $X_{\mathbb{C}}$ and a balanced, open 0-neighbourhood $W_x\subseteq E_{\mathbb{C}}$ such that $U_x\times W_x\subseteq Q$ and $U_x\cap X\subseteq U$. Let $D:=\{z\in \mathbb{C}:|z|<1\}$. Then,

$$q:U_x\times W_x\times D\to F_{\mathbb{C}},(y,w,z)\mapsto p(y,zw)-z^{k}p(y,w)$$

is a $\mathbb{C}$-analytic map which vanishes on $(U_x\times W_x\times D)\cap (X\times E\times \mathbb{R})$. Hence, $q=0$, by the Identity Theorem (see [13] (Theorem 2.1.16 (c))). Then, $p(y,zw)=z^{k}p(y,w)$ for all $z\in \mathbb{C}$ such that $\left|z\right|\le 1$, by continuity. This implies that the map

$$g:U_x\times E_{\mathbb{C}}\to F_{\mathbb{C}},(y,w)\mapsto z^{k}p(y,z^{-1}w)\mathrm{for} \mathrm{some} z\in {\mathbb{C}}^{\times }with z^{-1}w\in W_x$$

is well defined. Since g is $\mathbb{C}$-analytic, the final statement of Lemma 10 applies.

(b) We prove the assertion for $r\in \mathbb{N}$ first; then, also the case $r=\infty$ follows. If $r=1$, let $x\in U$. Given an open 0-neighbourhood $W\subseteq F$ and bounded subset $B\subseteq E:=E_1\times \dots \times E_k$, let q be a continuous seminorm on F such that $B_1^q\left(0\right)\subseteq W$. By Lemma 1, there exist continuous seminorms p on X and $p_j$ on $E_j$ for $j\in \{1,\dots ,k\}$ such that $B_1^p\left(x\right)\subseteq U$ and

$$\parallel f^{\wedge }(y,v)-f^{\wedge }{(x,v)\parallel }_q\le {\parallel y-x\parallel }_p\parallel v_1{\parallel }_{p_1}\dots {\parallel v_k\parallel }_{p_k}$$

for all $y\in B_1^p\left(x\right)$ and all $v=(v_1,\dots ,v_k)\in E_1\times \dots \times E_k$. Since B is bounded, we have

$$C:=sup\{\parallel v_1{\parallel }_{p_1}\dots \parallel v_k{\parallel }_{p_k}:v=(v_1,\dots ,v_k)\in B\}<\infty .$$

Choose $\delta \in ]0,1]$ such that $\delta C\le 1$. For each $y\in B_{\delta }^p\left(x\right)$, we get $\parallel f^{\wedge }(y,v)-f^{\wedge }{(x,v)\parallel }_q<\delta C\le 1$ for each $v\in B$ and thus $f^{\wedge }(y,v)-f^{\wedge }(x,v)\in B_1^q\left(0\right)\subseteq W$. Hence,

$$f\left(y\right)-f\left(x\right)\in \lfloor B,W\rfloor \mathrm{for} \mathrm{each} y\in B_1^p\left(x\right),$$

entailing that f is continuous.

Induction step: Now, assume that $r\ge 2$. Given $x\in U$ and $y\in X$, there exists $\epsilon >0$ such that $x+{\mathbb{D}}_{\epsilon }^{0}y\subseteq U$, where ${\mathbb{D}}_r^0:=\{t\in \mathbb{K}:|t|<\epsilon \}$. Consider

$$g:{\mathbb{D}}_{\epsilon }^0\times E^k\to F,(t,v)\mapsto \left\{\begin{array}{cc}\frac{f^{\wedge }(x+ty,v)-f^{\wedge }(x,v)}{t}& \mathrm{if}t\ne 0;\hfill \\ d\left(f^{\wedge }\right)((x,v),(y,0))& \mathrm{if}t=0.\hfill \end{array}\right.$$

Then, g is $C_{\mathbb{K}}^{r-1}$ and hence $C_{\mathbb{K}}^1$, as a consequence of [27] (Propositions 7.4 and 7.7). Since $g(t,v)$ is k-linear in v, it follows that $g^{\vee }:U\to L^k{(E,F)}_b$ is continuous, by induction. As a consequence,

$$\frac{f(x+ty)-f\left(x\right)}{t}=g^{\vee }\left(t\right)\to g^{\vee }\left(0\right)$$

as $t\to 0$, where $g^{\vee }\left(0\right)=d\left(f^{\wedge }\right)((x,·),(y,0))=h^{\vee }(x,y)$ with

$$h:(U\times E^k)\times W\to F,h((x,y),v):=d\left(f^{\wedge }\right)((x,v),(y,0)).$$

Since h is $C_{\mathbb{K}}^{r-1}$ and $h\left(\right(x,y),v)$ is k-linear in v, the map $df=h^{\vee }$ is $C_{\mathbb{K}}^{r-2}$, by induction. Hence, $df$ is continuous and thus f is $C_{\mathbb{K}}^1$. Now, f being $C_{\mathbb{K}}^1$ with $df$ a $C_{\mathbb{K}}^{r-2}$-map, f is $C_{\mathbb{K}}^{r-1}$.

The case $\mathbb{K}=\mathbb{R}$, $r=\omega$. By Remark 4, we may assume that $\mathbb{L}=\mathbb{R}$ (the case $\mathbb{L}=\mathbb{C}$ then follows). Given $x\in U$, let $g:U_x\times E_{\mathbb{C}}\to F_{\mathbb{C}}$ be as in the proof of (a). Identifying $E_{\mathbb{C}}$ with ${\left(E_1\right)}_{\mathbb{C}}\times \dots \times {\left(E_k\right)}_{\mathbb{C}}$, the mapping g is complex k-linear in the second variable. Hence $g^{\vee }:U_x\to L_{\mathbb{C}}^k{({\left(E_1\right)}_{\mathbb{C}},\dots ,{\left(E_k\right)}_{\mathbb{C}},F_{\mathbb{C}})}_b$ is $\mathbb{C}$-analytic, by the $C_{\mathbb{C}}^{\infty }$-case already discussed. Because the map $\rho :L_{\mathbb{C}}^k{({\left(E_1\right)}_{\mathbb{C}},\dots ,{\left(E_k\right)}_{\mathbb{C}},F_{\mathbb{C}})}_b\to L_{\mathbb{R}}^k{(E_1,\dots ,E_k,F_{\mathbb{C}})}_b={\left(L_{\mathbb{R}}^k{(E_1,\dots ,E_k,F)}_b\right)}_{\mathbb{C}}$, ${\alpha \mapsto \alpha |}_E$ is continuous $\mathbb{C}$-linear, the composition $\rho \circ g^{\vee }$ is $\mathbb{C}$-analytic. However, this mapping extends ${f|}_{U_x\cap X}$. Hence, ${f|}_{U_x\cap X}$ is real analytic and hence so is f, using that the open sets $U_x\cap X$ form an open cover of U.

Formula for the differentials: Let $j\in \mathbb{N}$ with $j\le r$, $x\in U$, $v\in E_1\times \dots \times E_k$ and $y_1,\dots ,y_j\in X$. Exploiting that ${ev}_v:L_{\mathbb{L}}^k{(E_1,\dots ,E_k,F)}_c\to F$, $\beta \mapsto \beta \left(v\right)$ is continuous and linear, we deduce that

$$\begin{array}{ccc}\hfill {ev}_v\left(d^{j}f(x,y_1,\dots ,y_j)\right)& =& d^j({ev}_v\circ f)(x,y_1,\dots ,y_j)=d^j\left(f^{\wedge }(·,v)\right)(x,y_1,\dots ,y_j)\hfill \\ & =& d^j\left(f^{\wedge }\right)((x,v),(y_1,0),\dots ,(y_j,0))\hfill \end{array}$$

for f as a map to $L_{\mathbb{L}}^k{(E_1,\dots ,E_k,F)}_c$. If $j\le r-1$, the same calculation applies to f as a mapping to $L_{\mathbb{L}}^k{(E_1,\dots ,E_k,F)}_b$. □

For the special case of (a) when $r=0$ and X as well as $E_1=\dots =E_k$ are metrisable, see already [1] (Lemma 0.1.2).

4. Compositions with Hypocontinuous $\mathit{k}$-Linear Maps

We study the differentiability properties of compositions of the form $\beta \circ f$, where $\beta$ is a k-linear map which need not be continuous.

Lemma 11.

Let $k\ge 2$ be an integer, $E_1,\dots ,E_k$, X, and F be locally convex $\mathbb{K}$-vector spaces, $\beta :E_1\times \dots \times E_k\to F$ be a k-linear map, $r\in {\mathbb{N}}_0\cup \{\infty ,\omega \}$ and $f:U\to E_1\times \dots \times E_k=:E$ be a $C_{\mathbb{K}}^r$-map on an open subset $U\subseteq X$. Assume that

(a)

β is sequentially continuous and X is metrisable; or

(b)

For some $j\in \{2,\dots ,k\}$, the k-linear map β is c-hypocontinous in its variables $(j,\dots ,k)$. Moreover, $X\times X$ is a $k_{\mathbb{R}}$-space, or $r=0$ and X is a $k_{\mathbb{R}}$-space, or $(r,\mathbb{K})=(\infty ,\mathbb{C})$ and X is a $k_{\mathbb{R}}$-space.

Then, $\beta \circ f:U\to F$ is a $C_{\mathbb{K}}^r$-map.

Proof. 

The case $r=0$ was treated in Lemma 8. We first assume that $r\in \mathbb{N}$.

(a) Assuming (a), let $x\in U$, $y\in X$, and ${\left(t_n\right)}_{n\in \mathbb{N}}$ be a sequence in $\mathbb{K}\setminus \left\{0\right\}$ such that $t_n\to 0$ as $n\to \infty$ and $x+t_{n}y\in U$ for all $n\in \mathbb{N}$. Using the components of $f=(f_1,\dots ,f_k)$, we can write the difference quotient $\frac{1}{t_n}(\beta \left(f(x+t_{n}y)\right)-\beta \left(f\left(x\right)\right))$ as the telescopic sum

$$\sum _{\nu =1}^k\beta \left(f_1(x+t_{n}y),\dots ,f_{\nu -1}(x+t_{n}y),\frac{f_{\nu }(x+t_{n}y)-f_{\nu }\left(x\right)}{t_n},f_{\nu +1}\left(x\right),\dots ,f_k\left(x\right)\right),$$

which converges to

$$\sum _{\nu =1}^k\beta (f_1\left(x\right),\dots ,f_{\nu -1}\left(x\right),d{f}_{\nu }(x,y),f_{\nu +1}\left(x\right),\dots ,f_k\left(x\right))=d(\beta \circ f)(x,y)$$

(5)

as $n\to \infty$, using the sequential continuity of $\beta$. By Lemma 8, $d(\beta \circ f)$ is continuous, whence $\beta \circ f$ is $C_{\mathbb{K}}^1$. If $r\ge 2$, then

$$g_{\nu }:U\times X\to E,(x,y)\mapsto (f_1\left(x\right),\dots ,f_{\nu -1}\left(x\right),d{f}_{\nu }(x,y),f_{\nu +1}\left(x\right),\dots ,f_k\left(x\right))$$

is a $C_{\mathbb{K}}^{r-1}$-map and $d(\beta \circ f)={\sum }_{\nu =1}^k\beta \circ g_{\nu }$ is $C_{\mathbb{K}}^{r-1}$ by induction; thus $\beta \circ f$ is $C_{\mathbb{K}}^r$. If $r=\infty$, the preceding shows that $\beta \circ f$ is $C_{\mathbb{K}}^s$ for each $s\in {\mathbb{N}}_0$, whence $\beta \circ f$ is $C_{\mathbb{K}}^r$.

(b) If $X\times X$ is a $k_{\mathbb{R}}$-space, then $U\times X$ and U are $k_{\mathbb{R}}$-spaces. By Lemma 5, $\beta$ is sequentially continuous. The argument from (a) shows that $d(\beta \circ f)(x,y)$ exists for all $(x,y)\in U\times X$ and is given by (5). Thus $d(\beta \circ f)$ is continuous, by Lemma 8, and thus $\beta \circ f$ is $C_{\mathbb{K}}^1$. Let f be $C_{\mathbb{K}}^{r+1}$ now and assume $\beta \circ f$ is $C_{\mathbb{K}}^r$ with rth differential of the form

$$d^r(\beta \circ f)(x,y_1,\dots ,y_r)=\sum _{(I_1,\dots ,I_r)}\beta (d^{|I_1|}{f}_1(x,y_{I_1}),\dots ,d^{|I_k|}{f}_k(x,y_{I_k}))$$

(6)

for $x\in U$ and $y_1,\dots ,y_r\in X$, where $(I_1,\dots ,I_k)$ ranges through k-tuples of (possibly empty) disjoint sets $I_1,\dots ,I_k$ with $I_1\cup \dots \cup I_k=\{1,\dots ,r\}$, and the following notation is used: For $\nu \in \{1,\dots ,k\}$, we let $|I_{\nu }|\in {\mathbb{N}}_0$ be the cardinality of $I_{\nu }$ and define $y_{I_{\nu }}:=(y_{i_1},\dots ,y_{i_m})\in X^m$ if $i_1<i_2<\dots <i_m$ are the elements of $I_{\nu }$, abbreviating $m:=|I_j|$ (if $I_{\nu }$ is empty, the symbol $y_{\varnothing }$ is to be ignored). Holding $y_1,\dots ,y_r$ fixed, we can apply the case $r=1$ to the function $d^{r}f(·,y_1,\dots ,y_r)$ and find that, for each $x\in U$ and $y_{r+1}\in X$, the directional derivative at x in the direction $y_{r+1}$ exists and is given by

$$\begin{array}{ccc}\hfill d^{r+1}(\beta \circ f)(x,y_1,\dots ,y_{r+1})& =& \sum _{(I_1,\dots ,I_r)}\sum _{\nu =1}^k\beta (d^{|I_1|}{f}_1(x,y_{I_1}),\dots ,d^{|I_{\nu -1}|}{f}_{\nu -1}(x,y_{I_{\nu -1}}),\hfill \\ \hfill & & d^{|I_{\nu }|+1}{f}_{\nu }(x,y_{I_{\nu }},y_{r+1}),d^{|I_{\nu +1}|}{f}_{\nu +1}(x,y_{I_{\nu +1}}),\dots ,d^{|I_k|}{f}_k(x,y_{I_k})).\hfill \end{array}$$

Thus, also $d^{r+1}(\beta \circ f)$ is of the form (6), with $r+1$ in place of r. Using Lemma 8, we deduce from the preceding formula that the map

$$U\times E\to F,(x,y)\mapsto d^{r+1}(\beta \circ f)(x,y,\dots ,y)$$

is continuous. Thus, $d^{r+1}(\beta \circ f)$ is continuous, by Lemma 2, and thus $\beta \circ f$ is $C_{\mathbb{K}}^{r+1}$.

If $(r,\mathbb{K})=(\infty ,\mathbb{R})$, then $\beta \circ f$ is $C_{\mathbb{R}}^s$ for each $s\in {\mathbb{N}}_0$ and hence $C_{\mathbb{R}}^{\infty }$ (still assuming (b)).

If $(r,\mathbb{K})=(\infty ,\mathbb{C})$ and X is only assumed $k_{\mathbb{R}}$, then $\beta \circ f$ is continuous by the case $r=0$. Moreover, the restriction ${\beta \circ f|}_{U\cap Y}$ is $C_{\mathbb{C}}^{\infty }$ for each finite-dimensional vector subspace $Y\subseteq X$, by case (a). Hence, f is $C_{\mathbb{C}}^{\omega }$ (and thus $C_{\mathbb{C}}^{\infty }$) as a mapping to a completion of F (see [18] (Theorem 6.2)). Then, f is also $C_{\mathbb{C}}^{\infty }$ as a map to F, as all of its iterated directional derivatives are in F.

Both in (a) and (b), it remains to consider the case $(r,\mathbb{K})=(\omega ,\mathbb{R})$. Then, f admits a $\mathbb{C}$-analytic extension $\tilde{f}:\tilde{U}\to {\left(E_1\right)}_{\mathbb{C}}\times \dots \times {\left(E_k\right)}_{\mathbb{C}}$, defined on an open neighbourhood $\tilde{U}$ of U in $X_{\mathbb{C}}$. The complex k-linear extension ${\beta }_{\mathbb{C}}:{\left(E_1\right)}_{\mathbb{C}}\times \dots \times {\left(E_k\right)}_{\mathbb{C}}\to F_{\mathbb{C}}$ of $\beta$ is given by

$$z\mapsto \sum _{a_1,\dots ,a_k=0}^1{i}^{a_1+\dots +a_k}\beta (x_{1,a_1},\dots ,x_{k,a_k})$$

for $z=(x_{1,0}+i{x}_{1,1},\dots ,x_{k,0}+i{x}_{k,1})$ with $x_{\nu ,0}\in E_{\nu }$ and $x_{\nu ,1}\in E_{\nu }$ for $\nu \in \{1,\dots ,k\}$. By the latter formula, ${\beta }_{\mathbb{C}}$ is sequentially continuous in the situation of (a), and c-hypocontinuous in its arguments $(j,\dots ,k)$ in the situation of (b). The case $(\infty ,\mathbb{C})$ shows that ${\beta }_{\mathbb{C}}\circ \tilde{f}$ is complex analytic. As this mapping extends $\beta \circ f$, the latter map is real analytic. In case (b), we used here that $X_{\mathbb{C}}\cong X\times X$ is a $k_{\mathbb{R}}$-space. □

Moreover, the following variant will be useful.

Lemma 12.

Let $X_1$, $X_2$, $E_1$, $E_2$ and F be locally convex $\mathbb{K}$-vector spaces, and $U_1\subseteq X_1$, $U_2\subseteq X_2$ be open subsets. Let $r\in {\mathbb{N}}_0\cup \{\infty ,\omega \}$ and $\beta :E_1\times E_2\to F$ be a $\mathbb{K}$-bilinear map. Assume that $X_1$ is finite-dimensional and β is c-hypocontinuous in its first variable. Then, for all $C_{\mathbb{K}}^r$-maps $f_1:U_1\to E_1$ and $f_2:U_1\times U_2\to E_2$, also the following map is $C_{\mathbb{K}}^r$:

$$g:U_1\times U_2\to F,(x_1,x_2)\mapsto \beta (f_1\left(x_1\right),f_2(x_1,x_2)).$$

Proof. 

We first prove the assertion for $r\in {\mathbb{N}}_0$ (from which the case $r=\infty$ follows). If $r=0$, we have to show that g is continuous. If $(x_1,x_2)\in U_1\times U_2$, then $x_1$ has a compact neighbourhood $W=W_{x_1}$ in $U_1$. Then, $f_1\left(W\right)$ is compact, and thus ${\beta |}_{f_1\left(W\right)\times E_2}$ is continuous, by c-hypocontinuity. Hence, ${g|}_{W\times U_2}{=\beta |}_{f_1\left(W\right)\times E_2}\circ (f_1\circ {\pi }_W,f_2)$ is continuous, where ${\pi }_W:W\times U_2\to W$ is the projection onto the first factor. Since ${(W_{x_1}^0\times U_2)}_{x_1\in U_1}$ is an open cover of $U_1\times U_2$, the map g is continuous.

Since $\beta$ is sequentially continuous by Lemma 5, we see as in the preceding proof that the directional derivative $dg(x,y)$ exists for all $x=(x_1,x_2)\in U_1\times U_2$ and $y=(y_1,y_2)\in X_1\times X_2$, and is given by

$$dg(x,y)=\beta (d{f}_1(x_1,y_1),f_2\left(x\right))+\beta (f_1\left(x_1\right),d{f}_2(x,y)).$$

(7)

Note that $(x_1,y_1)\mapsto f_1\left(x_1\right)$ and $d{f}_1$ are $C_{\mathbb{K}}^{r-1}$-mappings $U_1\times X_1\to E_1$. Moreover, $((x_1,y_1),(x_2,y_2))\mapsto f_2(x_1,x_2)$ and $((x_1,y_1),(x_2,y_2))\mapsto d{f}_2((x_1,x_2),(y_1,y_2))$ are $C_{\mathbb{K}}^{r-1}$-maps $(U_1\times X_1)\times (U_2\times X_2)\to E_2$ (cf. Remark 1). By induction, the right-hand side of (7) is a $C_{\mathbb{K}}^{r-1}$-map. Hence, g is $C_{\mathbb{K}}^r$.

The case $(r,\mathbb{K})=(\omega ,\mathbb{R})$ follows from the case $(\infty ,\mathbb{C})$ as in the preceding proof. □

Remark 5.

In a setting of differential calculus in which continuity on products is replaced with k-continuity (as championed by E. G. F. Thomas), every bilinear map β which is c-hypocontinuous in the second factor is smooth (see [28] (Theorem 4.1)); smoothness of $\beta \circ f$ for a smooth map f then follows from the Chain Rule (cf. also [29]). Likewise, β is smooth in the sense of convenient differential calculus.

5. Differentiability Properties of ${\mathit{f}}^{\wedge }$

For $k=1$, the following result is essential for our constructions of vector bundles.

Proposition 2.

Let $\mathbb{L}\in \{\mathbb{R},\mathbb{C}\}$, $r\in {\mathbb{N}}_0\cup \{\infty ,\omega \}$, $\mathbb{K}\in \{\mathbb{R},\mathbb{L}\}$, $k\in \mathbb{N}$, $E_1,\dots ,E_k$ and F be locally convex $\mathbb{L}$-vector spaces, X be a locally convex $\mathbb{K}$-vector space, and $U\subseteq X$ be an open subset. Then, the following holds.

(a)

If $(X\times E_1\times \dots \times E_k)\times (X\times E_1\times \dots \times E_k)$ is a $k_{\mathbb{R}}$-space, or $r=0$ and $X\times E_1\times \dots \times E_k$ is a $k_{\mathbb{R}}$-space, or $(r,\mathbb{K})=(\infty ,\mathbb{C})$ and $X\times E_1\times \dots \times E_k$ is a $k_{\mathbb{R}}$-space, or all of the vector spaces $E_1,\dots ,E_k$ are finite dimensional, then

$$f^{\wedge }:U\times E_1\times \dots \times E_k\to F,(x,y_1,\dots ,y_k)\mapsto f\left(x\right)(y_1,\dots ,y_k)$$

is $C_{\mathbb{K}}^r$ for each $C_{\mathbb{K}}^r$-map $f:U\to L_{\mathbb{L}}^k{(E_1,\dots ,E_k,F)}_c$.

(b)

If $E:=E_1=E_2=\dots =E_k$ holds and, moreover, $(X\times E)\times (X\times E)$ is a $k_{\mathbb{R}}$-space or $r=0$ and $X\times E$ is a $k_{\mathbb{R}}$-space, or $(r,\mathbb{K})=(\infty ,\mathbb{C})$ and $X\times E$ is a $k_{\mathbb{R}}$-space, then

$$f^{\wedge }:U\times E^k\to F,(x,y_1,\dots ,y_k)\mapsto f\left(x\right)(y_1,\dots ,y_k)$$

is $C_{\mathbb{K}}^r$ for each $C_{\mathbb{K}}^r$-map $f:U\to L_{\mathbb{L}}^k{(E,F)}_c$ such that $f\left(x\right)$ is a symmetric k-linear map for each $x\in U$.

(c)

If X is finite-dimensional, $k=1$, and $E:=E_1$ is barrelled, then $f^{\wedge }:U\times E\to F$, $(x,y)\mapsto f\left(x\right)\left(y\right)$ is $C_{\mathbb{K}}^r$ for each $C_{\mathbb{K}}^r$-map $f:U\to L_{\mathbb{L}}{(E,F)}_c$.

(d)

If all of the spaces $E_1,\dots ,E_k$ are normable, then $f^{\wedge }:U\times E_1\times \dots \times E_k\to F$ is $C_{\mathbb{K}}^r$ for each $C_{\mathbb{K}}^r$-map $f:U\to L_{\mathbb{L}}^k{(E_1,\dots ,E_k,F)}_b$.

Proof. 

Let $ev:L_{\mathbb{L}}^k{(E_1,\dots ,E_k,F)}_c\times E_1\times \dots \times E_k\to F$ be the evaluation map, which is c-hypocontinuous in its arguments $(2,\dots ,k+1)$ by Lemma 7.

(a) Assuming the respective $k_{\mathbb{R}}$-property, the map $f^{\wedge }=ev\circ (f\times {id}_{E_1\times \dots \times E_k})$ is $C_{\mathbb{K}}^r$, by Lemma 11 (b). If $E_1,\dots ,E_k$ are finite-dimensional, then $L_{\mathbb{L}}^k{(E_1,\dots ,E_k,F)}_c$ equals $L_{\mathbb{L}}^k{(E_1,\dots ,E_k,F)}_b$, whence the conclusion of (a) is a special case of (d).

(b) By Lemma 11 (b), the map

$$g:U\times E\to F,(x,y)\mapsto f^{\wedge }(x,y,\dots ,y)$$

is $C_{\mathbb{K}}^r$, as $g=ev\circ (f\times \delta )$ with $\delta :E\to E^k$, $y\mapsto (y,\dots ,y)$, which is continuous $\mathbb{K}$-linear. Then, also $f^{\wedge }$ is $C_{\mathbb{K}}^r$, by Lemma 2.

(c) The bilinear map $ev:L_{\mathbb{K}}{(E,F)}_c\times E\to F$ is c-hypocontinuous in its first argument, by Lemma 7. Hence, $f^{\wedge }=ev\circ (f\times {id}_E)$ is $C_{\mathbb{K}}^r$, by Lemma 12.

(d) If $E_1,\dots ,E_k$ are normable, then the evaluation map

$$\epsilon :L_{\mathbb{L}}^k{(E_1,\dots ,E_k,F)}_b\times E_1\times \dots \times E_k\to F$$

is continuous $(k+1)$-linear and hence $C_{\mathbb{K}}^r$, whence also $f^{\wedge }=\epsilon \circ (f\times {id}_{E_1\times \dots \times E_k})$ is $C_{\mathbb{K}}^r$. □

Remark 6.

If X and all of $E_1,\dots ,E_k$ are metrisable, then the topological space $(X\times E_1\times \dots \times E_k)\times (X\times E_1\times \dots \times E_k)$ is metrisable and hence a k-space. If X and all of $E_1,\dots ,E_k$ are $k_{\omega }$-spaces, then also $(X\times E_1\times \dots \times E_k)\times (X\times E_1\times \dots \times E_k)$ is a $k_{\omega }$-space and hence a k-space. In either case, we are in the situation of (a).

6. Infinite-Dimensional Vector Bundles

In this section, we provide foundational material concerning vector bundles modelled on locally convex spaces (cf. also [13] (Chapter 3)). Notably, we discuss the description of vector bundles via cocycles, and define equivariant vector bundles.

Let $\mathbb{L}\in \{\mathbb{R},\mathbb{C}\}$, $\mathbb{K}\in \{\mathbb{R},\mathbb{L}\}$, and $r\in {\mathbb{N}}_0\cup \{\infty ,\omega \}$. The word “manifold” always refers to a manifold modelled on a locally convex space. Likewise, the Lie groups that we consider need not have finite dimension.

Definition 5.

Let M be a $C_{\mathbb{K}}^r$-manifold and F be a locally convex $\mathbb{L}$-vector space. An$\mathbb{L}$-vector bundle of class $C_{\mathbb{K}}^r$ over M, with typical fibre F, is a $C_{\mathbb{K}}^r$-manifold E, together with a surjective $C_{\mathbb{K}}^r$-map $\pi :E\to M$ and endowed with an $\mathbb{L}$-vector space structure on each fibre $E_x:={\pi }^{-1}\left(\left\{x\right\}\right)$, such that, for each $x\in M$, there exists an open neighbourhood $U\subseteq M$ of x and a $C_{\mathbb{K}}^r$-diffeomorphism

$$\psi :{\pi }^{-1}\left(U\right)\to U\times F$$

(called a “local trivialisation”) such that $\psi \left(E_y\right)=\left\{y\right\}\times F$ for each $y\in U$ and the map ${pr}_F{\circ \psi |}_{E_y}:E_y\to F$ is $\mathbb{L}$-linear (and hence an isomorphism of topological vector spaces, if we give $E_y$ the topology induced by E), where ${pr}_F:U\times F\to F$ is the projection.

In the situation of Definition 5, let ${\left({\psi }_i\right)}_{i\in I}$ be an atlas of local trivialisations for E, i.e., a family of local trivialisations

$${\psi }_i:{\pi }^{-1}\left(U_i\right)\to U_i\times F$$

of E whose domains $U_i$ cover M. Then, given $i,j\in I$, we have

$${\psi }_i\left({\psi }_j^{-1}(x,v)\right)=(x,g_{ij}\left(x\right)\left(v\right))$$

for $x\in U_i\cap U_j$, $v\in F$, for some function

$$g_{ij}:U_i\cap U_j\to GL\left(F\right)\subseteq L\left(F\right).$$

Here,

$$G_{ij}:(U_i\cap U_j)\times F\to F,(x,v)\mapsto g_{ij}\left(x\right)\left(v\right)$$

is $C_{\mathbb{K}}^r$, as ${\psi }_i\left({\psi }_j^{-1}(x,v)\right)=(x,G_{ij}(x,v))$ is $C_{\mathbb{K}}^r$ in $(x,v)\in (U_i\cap U_j)\times F$. By Proposition 1, $g_{ij}:U_i\cap U_j\to L{\left(F\right)}_c$ is a $C_{\mathbb{K}}^r$-map, and as a map to $L{\left(F\right)}_b$, it is at least $C_{\mathbb{K}}^{r-1}$ (if $r\ge 1$). Note that the “transition maps” $g_{ij}$ satisfy the “cocycle conditions”

$$\left\{\begin{array}{cc}(\forall i\in I)(\forall x\in U_i)\hfill & g_{ii}\left(x\right)={id}_F\mathrm{and}\hfill \\ (\forall i,j,k\in I)(\forall x\in U_i\cap U_j\cap U_k)\hfill & g_{ij}\left(x\right)\circ g_{jk}\left(x\right)=g_{ik}\left(x\right).\hfill \end{array}\right.$$

Proposition 3.

Let $\mathbb{L}\in \{\mathbb{R},\mathbb{C}\}$, $\mathbb{K}\in \{\mathbb{R},\mathbb{L}\}$. Assume that

(a)

M is a $C_{\mathbb{K}}^r$-manifold modelled on a locally convex $\mathbb{K}$-vector space Z;

(b)

E is a set and $\pi :E\to M$ a surjective map;

(c)

F is a locally convex $\mathbb{L}$-vector space;

(d)

${\left(U_i\right)}_{i\in I}$ is an open cover of M;

(e)

${\left({\psi }_i\right)}_{i\in I}$ is a family of bijections ${\pi }^{-1}\left(U_i\right)\to U_i\times F$ such that ${\psi }_i\left({\pi }^{-1}\left(\left\{x\right\}\right)\right)=\left\{x\right\}\times F$ for all $x\in U_i$;

(f)

$g_{ij}\left(x\right)\left(v\right):={pr}_F\left({\psi }_i\left({\psi }_j^{-1}(x,v)\right)\right)$ depends $\mathbb{L}$-linearly on $v\in F$, for all $i,j\in I$, $x\in U_i\cap U_j$;

(g)

$G_{ij}:(U_i\cap U_j)\times F\to F$, $G_{ij}(x,v):=g_{ij}\left(x\right)\left(v\right)$ is a $C_{\mathbb{K}}^r$-map.

Then, there is a unique $\mathbb{L}$-vector bundle structure of class $C_{\mathbb{K}}^r$ on E making ${\psi }_i$ a local trivialisation for each $i\in I$.

Proof. 

For $i,j\in I$, let ${pr}_{ij}:(U_i\cap U_j)\times F\to U_i\cap U_j$ be the projection onto the first component. As the maps

$${\psi }_i\circ {\psi }_j^{-1}{|}_{(U_i\cap U_j)\times F}=({pr}_{ij},G_{ij})$$

are $C_{\mathbb{K}}^r$, there is a uniquely determined $C_{\mathbb{K}}^r$-manifold structure on E making ${\psi }_i$ a $C_{\mathbb{K}}^r$-diffeomorphism for each $i\in I$. Given $x\in M$, we pick $i\in I$ with $x\in U_i$; we give $E_x:={\pi }^{-1}\left(\left\{x\right\}\right)$ the unique $\mathbb{L}$-vector space structure making the bijection ${pr}_F\circ {\psi }_i{|}_{E_x}:E_x\to F$ an isomorphism of vector spaces. It is easy to see that the vector space structure on $E_x$ is independent of the choice of ${\psi }_i$, and it is easily verified that we have turned E into an $\mathbb{L}$-vector bundle of class $C_{\mathbb{K}}^r$ with the asserted properties. □

Remark 7.

Let M be a $C_{\mathbb{K}}^r$-manifold, F be a locally convex $\mathbb{L}$-vector space, ${\left(U_i\right)}_{i\in I}$ be an open cover of M, and ${\left(g_{ij}\right)}_{i,j\in I}$ be a family of maps $g_{ij}:U_i\cap U_j\to GL\left(F\right)$ satisfying the cocycle conditions and such that

$$G_{ij}:(U_i\cap U_j)\times F\to F,(x,v)\mapsto g_{ij}\left(x\right)\left(v\right)$$

is $C_{\mathbb{K}}^r$, for all $i,j\in I$. Using Proposition 3, the usual construction familiar from the finite-dimensional case provides an $\mathbb{L}$-vector bundle $\pi :E\to M$ of class $C_{\mathbb{K}}^r$, with typical fibre F, and a family ${\left({\psi }_i\right)}_{i\in I}$ of local trivialisations ${\pi }^{-1}\left(U_i\right)\to U_i\times F$, whose associated transition maps are the given $g_{ij}$’s. The bundle E is unique up to canonical isomorphism.

Combining Proposition 3 and Proposition 2, we obtain:

Corollary 2.

Retaining the hypotheses(a)–(f) from Proposition 3 but omitting (g), consider the following conditions:

${\left(g\right)}^{\prime }$

$g_{ij}\left(x\right)\in L\left(F\right)$ for all $i,j\in I$, $x\in U_i\cap U_j$, and $g_{ij}:U_i\cap U_j\to L{\left(F\right)}_c$ is $C_{\mathbb{K}}^r$;

${\left(g\right)}^{″}$

$g_{ij}\left(x\right)\in L\left(F\right)$ for all $i,j\in I$, $x\in U_i\cap U_j$, and $g_{ij}:U_i\cap U_j\to L{\left(F\right)}_b$ is $C_{\mathbb{K}}^r$;

(i)

$(Z\times F)\times (Z\times F)$ is a $k_{\mathbb{R}}$-space, or $r=0$ and $Z\times F$ is a $k_{\mathbb{R}}$-space, or $(r,\mathbb{K})=(\infty ,\mathbb{C})$ and $Z\times F$ is a $k_{\mathbb{R}}$-space;

(ii)

$dim\left(M\right)<\infty$ and F is barrelled;

(iii)

F is normable.

If ${\left(g\right)}^{\prime }$holds as well as (i) or (ii), then the conclusions of Proposition 3 remain valid. They also remain valid if ${\left(g\right)}^{″}$ and (iii) hold.

Example 2 below shows that Conditions (a)–(f) and ${\left(g\right)}^{\prime }$ alone are not sufficient for the conclusion of Proposition 3, without extra conditions on Z and F. Note that (i) is satisfied if both Z and F are metrisable, or both Z and F are $k_{\omega }$-spaces.

Equivariant vector bundles. Beyond vector bundles, we shall discuss equivariant vector bundles in the following, i.e., vector bundles together with an action of a (finite- or infinite-dimensional) Lie group G. Choosing $G=\left\{e\right\}$ as a trivial group, we obtain results about ordinary vector bundles (without a group action), as a special case.

For the remainder of this section, and also in Section 7, let $\mathbb{L}\in \{\mathbb{R},\mathbb{C}\}$, $\mathbb{K}\in \{\mathbb{R},\mathbb{L}\}$, $s\in \{\infty ,\omega \}$, and $r\in {\mathbb{N}}_0\cup \{\infty ,\omega \}$ with $r\le s$. Let G be a $C_{\mathbb{K}}^s$-Lie group (modelled on a locally convex $\mathbb{K}$-vector space Y) and M be a $C_{\mathbb{K}}^r$-manifold. We assume that a $C_{\mathbb{K}}^r$-action

$$\alpha :G\times M\to M$$

is given. Then, $(M,\alpha )$ is called a G-manifold of class $C_{\mathbb{K}}^r$.

Definition 6.

An equivariant $\mathbb{L}$-vector bundle of class $C_{\mathbb{K}}^r$over a G-manifold $(M,\alpha )$ of class $C_{\mathbb{K}}^r$ is an $\mathbb{L}$-vector bundle $\pi :E\to M$ of class $C_{\mathbb{K}}^r$, together with a $C_{\mathbb{K}}^r$-action

$$\beta :G\times E\to E$$

such that $\beta (g,E_x)\subseteq E_{\alpha (g,x)}$ for all $(g,x)\in G\times M$, and ${\beta (g,·)|}_{E_x}:E_x\to E_{\alpha (g,x)}$ is $\mathbb{L}$-linear.

In other words, $\beta (g,·)$ takes fibres linearly to fibres and coincides with $\alpha (g,·)$ on the zero section. The mapping $\pi$ is then equivariant in the sense that $\alpha \circ ({id}_G\times \pi )=\pi \circ \beta$.

Example 1.

If M is a G-manifold of class $C_{\mathbb{K}}^r$, with $r\ge 1$, then the tangent bundle $TM$ is an equivariant $\mathbb{L}$-vector bundle of class $C_{\mathbb{K}}^{r-1}$ in a natural way, with $\mathbb{L}:=\mathbb{K}$. In fact, the action $\alpha :G\times M\to M$ has a tangent map $T\alpha :T(G\times M)\to TM$, which is $C_{\mathbb{K}}^{r-1}$. Let $0_G:G\to TG$ be the 0-section. Identifying $T(G\times M)$ with $TG\times TM$ in the usual way, we obtain a $C_{\mathbb{K}}^{r-1}$-map $\beta :G\times TM\to TM$ via

$$\beta :=\left(T\alpha \right)\circ (0_G\times {id}_{TM}).$$

It is easy to see that $\beta (g,v)=T_x\left(\alpha (g,·)\right)\left(v\right)\in T_{\alpha (g,x)}M$ for $g\in G$ and $v\in T_{x}M$, whence $\beta (g,T_{x}M)\subseteq T_{\alpha (g,x)}M$ and ${\beta (g,·)|}_{T_{x}M}=T_x\left(\alpha (g,·)\right)$. Clearly, β is an action making $TM$ an equivariant $\mathbb{K}$-vector bundle of class $C_{\mathbb{K}}^{r-1}$ over the G-manifold M.

Induced action on an invariant subbundle. Given an $\mathbb{L}$-vector bundle $\pi :E\to M$ of class $C_{\mathbb{K}}^r$, with typical fibre F, we call a subset $E_0\subseteq E$ a subbundle if there exists a sequentially closed $\mathbb{L}$-vector subspace $F_0\subseteq F$ such that for each $x\in M$ there exists a local trivialisation $\psi :{\pi }^{-1}\left(U\right)\to U\times F$ of E such that $\psi (E_0\cap {\pi }^{-1}\left(U\right))=U\times F_0$. It readily follows from [13] (Lemma 1.3.19 and Exercise 2.2.4) that there is a unique $\mathbb{L}$-vector bundle structure of class $C_{\mathbb{K}}^r$ on ${\pi |}_{E_0}:E_0\to M$ making ${\psi |}_{{\pi }^{-1}\left(U\right)\cap E_0}:{\pi }^{-1}\left(U\right)\cap E_0\to U\times F_0$ a local trivialisation of $E_0$, for each local trivialisation $\psi$ as before. Then, the inclusion map $E_0\to E$ is $C_{\mathbb{K}}^r$, and a mapping $N\to E$ from a $C_{\mathbb{K}}^r$-manifold N to E with image in $E_0$ is $C_{\mathbb{K}}^r$ as a mapping to E if and only if its co-restriction to $E_0$ is $C_{\mathbb{K}}^r$, by the facts just cited. In the preceding situation, suppose that a $C_{\mathbb{K}}^s$-Lie group G acts $C_{\mathbb{K}}^s$ on M and E is an equivariant vector bundle of class $C_{\mathbb{K}}^r$ with respect to the action $\beta :G\times E\to E$. If $E_0$ is invariant under the G-action, i.e., if $\beta (G\times E_0)\subseteq E_0$, as a special case of the preceding observations, we deduce from the $C_{\mathbb{K}}^r$-property of $\beta$ that ${\beta |}_{G\times E_0}$ and thus also ${\beta |}_{G\times E_0}:G\times E_0\to E_0$ is $C_{\mathbb{K}}^r$. We can summarise as follows.

Proposition 4.

If E is an equivariant $\mathbb{L}$-vector bundle of class $C_{\mathbb{K}}^r$ over a G-manifold M, then the action induced on any G-invariant subbundle $E_0$ is $C_{\mathbb{K}}^r$ and thus makes the latter an equivariant $\mathbb{L}$-vector bundle of class $C_{\mathbb{K}}^r$.

7. Completions of Vector Bundles

Let $\pi :E\to M$ be an equivariant $\mathbb{L}$-vector bundle of class $C_{\mathbb{K}}^r$, as in Definition 6, with typical fibre F and G-actions $\alpha :G\times M\to M$ and $\beta :G\times E\to E$. Assume that $r\ge 1$. Our goal is to complete the fibre of the bundle, i.e., to find a G-equivariant vector bundle $\tilde{E}$ whose typical fibre is a completion of the locally convex space F, and which contains E as a dense subset.

Let $\tilde{F}$ be a completion of F such that $F\subseteq \tilde{F}$ and, for each $x\in M$, let ${\tilde{E}}_x$ be a completion of $E_x$ such that $E_x\subseteq {\tilde{E}}_x$. We may assume that the sets ${\tilde{E}}_x$ are pairwise disjoint for $x\in M$. Consider the (disjoint) union

$$\tilde{E}:=\bigcup _{x\in M}{\tilde{E}}_x.$$

(8)

We shall turn $\tilde{E}$ into an equivariant vector bundle. Consider the map $\tilde{\beta }:G\times \tilde{E}\to \tilde{E}$, defined using the continuous extension $\left(\beta (g,·){|}_{E_x}\right)\tilde{}:{\tilde{E}}_x\to {\tilde{E}}_{\alpha (g,x)}$ of the linear map ${\beta (g,·)|}_{E_x}:E_x\to E_{\alpha (g,x)}$ via

$$\tilde{\beta }(g,v):=\left(\beta (g,·){|}_{E_x}\right)\tilde{}\left(v\right)$$

for $g\in G$, $x\in M$, and $v\in {\tilde{E}}_x$. It is clear that $\tilde{\beta }$ makes $\tilde{E}$ a G-set. Let

$$\tilde{\pi }:\tilde{E}\to M$$

(9)

be the map taking elements from ${\tilde{E}}_x$ to x. Then, $\tilde{\pi }$ is G-equivariant. If $\psi :{\pi }^{-1}\left(U\right)\to U\times F$ is a local trivialisation of E and ${pr}_F:U\times F\to F$, $(x,y)\mapsto y$, we define

$$\tilde{\psi }:{\tilde{\pi }}^{-1}\left(U\right)\to U\times \tilde{F},{\tilde{E}}_x\ni v\mapsto (x,({pr}_F\circ \psi {|}_{E_x})\tilde{}\left(v\right)).$$

(10)

Then, the following holds:

Proposition 5.

$(\tilde{E},\tilde{\beta })$ can be made an equivariant $\mathbb{L}$-vector bundle of class $C_{\mathbb{K}}^{r-1}$ over the G-manifold M, such that $\tilde{\psi }$ is a local trivialisation of $\tilde{E}$ for each local trivialisation ψ of E.

Remark 8.

Omitting the hypothesis that $r\ge 1$, assume instead that E is an equivariant $\mathbb{L}$-vector bundle of class $L{C}_{\mathbb{K}}^r$. That is, both E and M are $L{C}_{\mathbb{K}}^r$-manifolds (each admitting an atlas with transition maps of class $L{C}_{\mathbb{K}}^r$), a family of local trivialisations can be chosen with $L{C}_{\mathbb{K}}^r$-transition maps, and the G-actions on E and M are $L{C}_{\mathbb{K}}^r$. Then, also $\tilde{E}$ is an equivariant vector bundle of class $L{C}_{\mathbb{K}}^r$ (and hence of class $C_{\mathbb{K}}^r)$.

Extension of differentiable maps to subsets of the completions. To enable the proof of Proposition 5, we need to discuss conditions ensuring that a $C^r$-map $f:E\supseteq U\to F$ (with locally convex spaces E and F) can be extended to a $C^r$-map $\tilde{U}\to \tilde{F}$ on an open subset of the completion $\tilde{E}$ of E, or at least to a $C^{r-1}$-map. Although this is not possible in general, it is possible if F is normed and r is finite. This will be sufficient for our purposes. The natural framework for the discussion of the problem is not $C^r$-maps, but Lipschitz differentiable maps, as in Definition 4.

Proposition 6.

Let E be a locally convex $\mathbb{K}$-vector space, $(F,\parallel ·\parallel )$ be a Banach space over $\mathbb{K}$, $U\subseteq E$ be open and $f:U\to F$ be an $L{C}_{\mathbb{K}}^r$-map, where $r\in {\mathbb{N}}_0$. Let $\tilde{E}$ be a completion of E such that $E\subseteq \tilde{E}$. Then, f extends to an $L{C}_{\mathbb{K}}^r$-map $\tilde{f}:\tilde{U}\to F$ on an open subset $\tilde{U}\subseteq \tilde{E}$ which contains U as a dense subset.

The following lemma enables an inductive proof of Proposition 6.

Lemma 13.

Let $k\in \mathbb{N}$, X be a locally convex $\mathbb{K}$-vector space, and $E_1,\dots ,E_k,F$ be locally convex $\mathbb{L}$-vector spaces, with completions $\tilde{X}$, ${\tilde{E}}_1,\dots ,{\tilde{E}}_k$ and $\tilde{F}$, respectively. Let $U\subseteq X$ be open and $f:U\times E_1\times \dots \times E_k\to F$ be a map such that $f^{\vee }\left(x\right):=f(x,·):E_1\times \dots \times E_k\to F$ is k-linear over $\mathbb{L}$ for each $x\in U$. Assume that there exists an $L{C}_{\mathbb{K}}^r$-map $h:W\to \tilde{F}$ which extends f, defined on an open set $W\subseteq \tilde{X}\times {\tilde{E}}_1\times \dots \times {\tilde{E}}_k$ in which $U\times E_1\times \dots \times E_k$ is dense. Then, there exists an $L{C}_{\mathbb{K}}^r$-map

$$\tilde{f}:\tilde{U}\times {\tilde{E}}_1\times \dots \times {\tilde{E}}_k\to \tilde{F}$$

(11)

which extends f, for some open subset $\tilde{U}\subseteq \tilde{E}$ in which U is dense. The maps ${\left(\tilde{f}\right)}^{\vee }\left(x\right):=\tilde{f}(x,·):{\tilde{E}}_1\times \dots \times {\tilde{E}}_k\to \tilde{F}$ are k-linear over $\mathbb{L}$, for each $x\in \tilde{U}$.

Proof. 

For each $x\in U$, there exists an open neighbourhood $V_x$ of x in $\tilde{X}$ and a balanced, open 0-neighbourhood $Q_x\subseteq {\tilde{E}}_1\times \dots \times {\tilde{E}}_k$ such that $V_x\times Q_x\subseteq W$. After shrinking $V_x$, we may assume that $X\cap V_x=U$, whence $U\cap V_x=X\cap V_x$ is dense in $V_x$. Given $z\in \mathbb{L}$ such that $\left|z\right|\le 1$, consider the map

$$V_x\times Q_x\to \tilde{F},(y,v)\mapsto h(y,zv)-z^{k}h(y,v).$$

This map vanishes, because it is continuous and vanishes on the dense subset $(V_x\cap X)\times (Q_x\cap (E_1\times \dots \times E_k))$. As a consequence, we obtain a well-defined map

$$f_x:V_x\times {\tilde{E}}_1\times \dots \times {\tilde{E}}_k\to \tilde{F},(y,v)\mapsto z^{-k}h(y,zv)$$

for $y\in V_x$, $v\in {\tilde{E}}_1\times \dots \times {\tilde{E}}_k$ and $z\in \mathbb{L}\setminus \left\{0\right\}$ with $zv\in Q_x$. As $f_x(y,v)=z^{-k}h(y,zv)$ is $L{C}_{\mathbb{K}}^r$ in $(y,v)\in V_x\times z^{-1}{Q}_x$ and these sets form an open cover of $V_x\times {\tilde{E}}_1\times \dots \times {\tilde{E}}_k$, we see that $f_x$ is $L{C}_{\mathbb{K}}^r$. Given $x,y\in U$, the set $U\cap V_x\cap V_y=X\cap V_x\cap V_y$ is dense in the open set $V_x\cap V_y\subseteq \tilde{X}$. Since $f_x$, $f_y$, and f coincide on the set $(U\cap V_x\cap V_y)\times E_1\times \dots \times E_k$, it follows that the continuous maps $f_x$ and $f_y$ coincide on the set $(V_x\cap V_y)\times {\tilde{E}}_1\times \dots \times {\tilde{E}}_k$ in which the former set is dense. Hence, setting $\tilde{U}:={\bigcup }_{x\in U}{V}_x$, a well-defined map $\tilde{f}$ as in (11) is obtained if we set

$$\tilde{f}(y,v):=f_x(y,v)ifx\in U,y\in V_{x}andv\in {\tilde{E}}_1\times \dots \times {\tilde{E}}_k.$$

The final assertion follows by continuity from the k-linearity of the mappings $f^{\vee }\left(x\right)$ for $x\in U$. □

Proof of Proposition 6.

We proceed by induction on $r\in {\mathbb{N}}_0$.

The case $r=0$. Given $x\in U$, there exists a continuous seminorm q on E such that $B_1^q\left(x\right)\subseteq U$ and

$$\parallel f\left(z\right)-f\left(y\right)\parallel \le q(z-y)\mathrm{for} \mathrm{all}y,z\in B_1^q\left(x\right).$$

(12)

Then, $N_q:=\{y\in E:q\left(y\right)=0\}$ is a closed vector subspace of E and $\parallel y+N_q{\parallel }_q:=q\left(y\right)$ for $y\in E$ defines a norm on $E_q:=E/N_q$ making the map ${\alpha }_q:E\to E_q$, $y\mapsto y+N_q$ continuous linear. By (12), we have $\parallel f\left(z\right)-f\left(y\right)\parallel =0$ for all $y,z\in B_1^q\left(x\right)$ such that $y-z\in N_q$. Hence,

$$h:{\alpha }_q\left(B_1^q\left(x\right)\right)\to F,y+N_q\mapsto f\left(y\right)$$

is a well-defined map. Note that ${\alpha }_q\left(B_1^q\left(x\right)\right)$ is the open ball $B:=\{y\in E_q:\parallel y-{\alpha }_q\left(x\right){\parallel }_q<1\}$ in $E_q$. Let ${\tilde{E}}_q$ be the completion of the normed space $E_q$; the extended norm will again be denoted by ${\parallel .\parallel }_q$. Applying (12) to representatives, we see that

$$\parallel h\left(z\right)-h\left(y\right)\parallel \le {\parallel z-y\parallel }_q\mathrm{for} \mathrm{all}y,z\in B.$$

Hence, h satisfies a global Lipschitz condition (with Lipschitz constant 1), and hence h is uniformly continuous, entailing that h extends uniquely to a uniformly continuous map

$$\tilde{h}:\tilde{B}\to F$$

on the corresponding open ball $\tilde{B}$ in ${\tilde{E}}_q$. Then, $\parallel \tilde{h}\left(z\right)-\tilde{h}{\left(y\right)\parallel \le \parallel z-y\parallel }_q$ for all $y,z\in \tilde{B}$, by continuity. Let ${\tilde{\alpha }}_q:\tilde{E}\to {\tilde{E}}_q$ be the continuous extension of the continuous linear map ${\alpha }_q$. Then, $V_x:={\left({\tilde{\alpha }}_q\right)}^{-1}\left(\tilde{B}\right)$ is an open neighbourhood of x in $\tilde{E}$ such that $V_x\cap E=B_1^q\left(x\right)\subseteq U$. Moreover, $f_x:=\tilde{h}\circ {\tilde{\alpha }}_q{|}_{V_x}$ is a continuous map extending ${f|}_{V_x\cap E}$, which furthermore satisfies

$$\parallel f_x\left(z\right)-f_x\left(y\right)\parallel \le \tilde{q}(z-y)\mathrm{for} \mathrm{all}y,z\in V_x,$$

(13)

where we use the continuous seminorm $\tilde{q}:={\parallel .\parallel }_q\circ {\tilde{\alpha }}_q:\tilde{E}\to [0,\infty [$ extending q. Then

$$\tilde{U}:=\bigcup _{x\in U}{V}_x$$

is an open subset of $\tilde{E}$ and $E\cap \tilde{U}=U$ is dense in $\tilde{U}$. Given $x,y\in U$, the set $U\cap V_x\cap V_y=E\cap V_x\cap V_y$ is dense in the open set $V_x\cap V_y\subseteq \tilde{E}$. Since

$$f_x{|}_{U\cap V_x\cap V_y}=f{{|}_{U\cap V_x\cap V_y}=f_y|}_{U\cap V_x\cap V_y},$$

it follows that $f_x{{|}_{V_x\cap V_y}=f_y|}_{V_x\cap V_y}$. Hence

$$\tilde{f}:\tilde{U}\to F,z\mapsto f_x\left(z\right)\mathrm{for}x\in U \mathrm{such} \mathrm{that} z\in V_x$$

is a well-defined map. Since $\tilde{f}{|}_{V_x}=f_x$ is $L{C}_{\mathbb{K}}^0$ for each $x\in U$ (by (13)), the map $\tilde{f}$ is $L{C}_{\mathbb{K}}^0$. Furthermore, $\tilde{f}$ extends f by construction.

Induction step. If f is $L{C}_{\mathbb{K}}^{r+1}$, then f extends to an $L{C}_{\mathbb{K}}^0$-map $\tilde{f}:\tilde{U}\to F$ on an open subset $\tilde{U}\subseteq \tilde{E}$ such that $\tilde{U}\cap E=U$, and $df:U\times E\to F$ extends to an $L{C}_{\mathbb{K}}^r$-map $h:W\to F$ on an open subset W of $\tilde{E}\times \tilde{E}$, by induction. Using Lemma 13, we find an open neighbourhood V of U in $\tilde{E}$ and an $L{C}_{\mathbb{K}}^r$-map $g:V\times \tilde{E}\to F$ which extends $df$. After replacing $\tilde{U}$ and V with their intersection, we may assume that $\tilde{U}=V$. If $x_0\in \tilde{U}$ and $y_0\in \tilde{E}$, there exist open neighbourhoods Q of $x_0$ and P of $y_0$ in $\tilde{E}$, and $\epsilon >0$ such that $Q+{\mathbb{D}}_{\epsilon }P\subseteq \tilde{U}$. Then, the map

$$\ell :Q\times P\times {\mathbb{D}}_{\epsilon }\to F,(x,y,t)\mapsto {\int }_0^{1}g(x+sty,y)ds$$

is continuous, being given by a parameter-dependent weak integral with continuous integrand. For $(x,y,t)$ in the dense subset $(Q\cap E)\times (P\cap E)\times ({\mathbb{D}}_{\epsilon }\setminus \left\{0\right\})$ of the set $Q\times P\times ({\mathbb{D}}_{\epsilon }\setminus \left\{0\right\})$, the Mean Value Theorem implies that

$$\ell (x,y,t)=\frac{f(x+ty)-f\left(x\right)}{t}=\frac{\tilde{f}(x+ty)-\tilde{f}\left(x\right)}{t}.$$

Then, $\ell (x,y,t)=\frac{\tilde{f}(x+ty)-\tilde{f}\left(x\right)}{t}$ for all $(x,y,t)\in Q\times P\times ({\mathbb{D}}_{\epsilon }\setminus \left\{0\right\})$, by continuity. Thus,

$$\frac{f(x_0+t{y}_0)-f\left(x_0\right)}{t}=\ell (x_0,y_0,t)\to \ell (x_0,y_0,0)=g(x_0,y_0)$$

as $t\to 0$. Hence, $d\tilde{f}(x_0,y_0)=g(x_0,y_0)$. Since g is $L{C}_{\mathbb{K}}^r$, it follows that $\tilde{f}$ is $L{C}_{\mathbb{K}}^{r+1}$. □

The conclusion of Proposition 6 becomes false in general if the Banach space F is replaced by a complete locally convex space. In fact, there exists a smooth map $E\to {\left({\ell }^1\right)}^{\mathrm{\Omega }}$ from a proper, dense vector subspace E of ${\ell }^1$ to a suitable power of ${\ell }^1$, which has no continuous extension to $E\cup \left\{x\right\}$ for any $x\in {\ell }^1\setminus E$ (see Appendix B). Nonetheless, we have the following result.

Proposition 7.

Let $k\in \mathbb{N}$, X be a locally convex $\mathbb{K}$-vector space, and $E_1,\dots ,E_k,F$ be locally convex $\mathbb{L}$-vector spaces, with completions $\tilde{X}$, ${\tilde{E}}_1,\dots ,{\tilde{E}}_k$ and $\tilde{F}$, respectively. Let $U\subseteq X$ be open and $f:U\times E_1\times \dots \times E_k\to F$ be a mapping such that $f^{\vee }\left(x\right):=f(x,·):$ $E_1\times \dots \times E_k\to F$ is k-linear over $\mathbb{L}$ for each $x\in U$. If f is $L{C}_{\mathbb{K}}^r$ for some $r\in {\mathbb{N}}_0\cup \{\infty \}$ (resp., $C_{\mathbb{K}}^r$ for some $r\in \mathbb{N}\cup \{\infty ,\omega \})$, then there exists a unique map

$$\tilde{f}:U\times {\tilde{E}}_1\times \dots \times {\tilde{E}}_k\to \tilde{F}$$

(14)

which is $L{C}_{\mathbb{K}}^r$(resp., $C_{\mathbb{K}}^{r-1})$ and extends f. The maps ${\tilde{f}}^{\vee }\left(x\right):=\tilde{f}(x,·):{\tilde{E}}_1\times \dots \times {\tilde{E}}_k\to \tilde{F}$ are k-linear over $\mathbb{L}$, for each $x\in U$.

Proof. 

Abbreviate $E:=E_1\times \dots \times E_k$ and $\tilde{E}:={\tilde{E}}_1\times \dots \times {\tilde{E}}_k$. Assume first that $r\ne \omega$. Since $L{C}_{\mathbb{K}}^r$-maps are continuous and $U\times E$ is dense in $U\times \tilde{E}$, there is at most one map $\tilde{f}$ with the asserted properties. We may therefore assume that $r\in {\mathbb{N}}_0$. We may also assume that F is complete. Then, $F={\displaystyle \underset{⟵}{lim}}{F}_j$ for some projective system $({\left(F_j\right)}_{j\in J},{\left(p_{ij}\right)}_{i\le j})$ of Banach spaces $F_j$ and continuous linear maps $p_{ij}:F_j\to F_i$, with limit maps $p_j:F\to F_j$. We claim that $p_j\circ f:U\times E\to F_j$ has an $L{C}_{\mathbb{K}}^r$-extension $g_j:={(p_j\circ f)}^{~}:U\times \tilde{E}\to F_j$, for each $j\in J$. If this is true, then $p_{ij}\circ g_j=g_i$ for $i\le j$, by uniqueness of continuous extensions. Hence, by the universal property of the projective limit, there exists a unique map $\tilde{f}:U\times \tilde{E}\to F$ such that $p_j\circ \tilde{f}=g_j$. Then, $p_j\circ \tilde{f}{{|}_{U\times E}=g_j|}_{U\times E}=p_j\circ f$ and hence $\tilde{f}{|}_{U\times E}=f$. Furthermore, $\tilde{f}$ is $L{C}_{\mathbb{K}}^r$, by Lemma 9 (d). To prove the claim, note that Proposition 6 yields an $L{C}_{\mathbb{K}}^r$-extension $h_j:W_j\to F_j$ of $p_j\circ f$ to an open subset $W_j\subseteq \tilde{X}\times \tilde{E}$, which contains $U\times E$ as a dense subset. Now, Lemma 13 yields an open subset $U_j\subseteq \tilde{X}$ in which U is dense, and an $L{C}_{\mathbb{K}}^r$-extension $e_j:U_j\times \tilde{E}\to F_j$ of $p_j\circ f$. Then, $g_j:=e_j{|}_{U\times \tilde{E}}$ is as desired.

We now consider the case $(r,\mathbb{K})=(\omega ,\mathbb{R})$. If $\mathbb{L}=\mathbb{C}$, by the density of $U\times E$ in $U\times \tilde{E}$, for any real analytic extension $\tilde{f}:U\times \tilde{E}\to \tilde{F}$ and $x\in U$, the map $\tilde{f}(x,·)$ will be k-linear over $\mathbb{L}$. We may therefore assume that $\mathbb{L}=\mathbb{R}$. Let $h:W\to F_{\mathbb{C}}$ be a $\mathbb{C}$-analytic extension of f, defined on an open subset $W\subseteq X_{\mathbb{C}}\times E_{\mathbb{C}}$ such that $U\times E\subseteq W$. For each $x\in U$, there exist an open x-neighbourhood $U_x\subseteq U$ and balanced open 0-neighbourhoods $V_x\subseteq X$ and $W_x\subseteq E_{\mathbb{C}}$ such that $(U_x+i{V}_x)\times W_x\subseteq W$. We claim that there exists a $\mathbb{C}$-analytic map $g_x:(U_x+i{V}_x)\times E_{\mathbb{C}}\to F_{\mathbb{C}}$ such that $g_x{{|}_{U_x\times E}=f|}_{U_x\times E}$. For $x,y\in U$, the intersection $((U_x+i{V}_x)\times E_{\mathbb{C}})\cap ((U_y+i{V}_y)\times E_{\mathbb{C}})=((U_x\cap U_y)+i(V_x\cap V_y))\times E_{\mathbb{C}}$ is connected and meets $U\times E$ whenever it is non-empty. Hence, by the Identity Theorem, $g_x$ and $g_y$ coincide on the intersection of their domains. We therefore obtain a well-defined $\mathbb{C}$-analytic map $g:Q\times E_{\mathbb{C}}\to F_{\mathbb{C}}$ such that ${g|}_{(U_x+i{V}_x)\times E_{\mathbb{C}}}=g_x$ for each $x\in U$, using the open subset $Q:={\bigcup }_{x\in U}(U_j+i{V}_j)$ of $X_{\mathbb{C}}$. For each $x\in U$, the map ${g(x,·)|}_E=g_x{(x,·)|}_E=f(x,·)$ is k-linear over $\mathbb{R}$. Using the Identity Theorem, we see that $g(x,·)$ is k-linear over $\mathbb{C}$ for each $x\in U$, and hence for each $x\in Q$ by the Identity Theorem. By the case $(\infty ,\mathbb{C})$, g has a $\mathbb{C}$-analytic extension $\tilde{g}:Q\times {\tilde{E}}_{\mathbb{C}}\to {\tilde{F}}_{\mathbb{C}}$. Since $g(U\times E)=f(U\times E)\subseteq F\subseteq \tilde{F}$ and $U\times E$ is dense in $U\times \tilde{E}$, we deduce that $\tilde{g}(U\times \tilde{E})\subseteq \tilde{F}$; we therefore obtain a map

$$\tilde{f}:U\times \tilde{E}\to \tilde{F},(x,y)\mapsto \tilde{g}(x,y)$$

for $x\in U$, $y\in \tilde{E}$. Since $\tilde{g}$ is a $\mathbb{C}$-analytic extension for $\tilde{f}$, the function $\tilde{f}$ is $\mathbb{R}$-analytic. To prove the claim, consider for $x\in U$ and $n\in \mathbb{N}$ the $\mathbb{C}$-analytic map

$$g_{x,n}:(U_x+i{V}_x)\times n{W}_x\to F_{\mathbb{C}},(z,y)\mapsto n^{k}h(z,(1/n)y).$$

If $n\le m$ and $y\in n{W}_x\cap E$, we have for all $z\in U_x$

$$g_{x,m}(z,y)=m^{k}h(z,(1/m)y)=m^{k}f(z,(1/m)y)=f(z,y)=n^{k}f(t,(1/n)y)=g_{x,n}(z,y),$$

whence $g_{x,m}(z,y)=g_{x,n}(z,y)$ for all $z\in U_x+i{V}_x$ and $y\in n{W}_x$, by the Identity Theorem. Thus, $g_x:$$(U_x+i{V}_x)\times E_{\mathbb{C}}\to F_{\mathbb{C}}$, $(z,y)\mapsto g_{x,n}(z,y)$ if $y\in n{W}_x$ is a well-defined $\mathbb{C}$-analytic extension of ${f|}_{U_x\times E}$. □

Proof of Proposition 5.

It suffices to prove the strengthening described in Remark 8. Let ${\left({\psi }_i\right)}_{i\in I}$ be a family of local trivialisations ${\psi }_i:{\pi }^{-1}\left(U_i\right)\to U_i\times F$ of an $L{C}_{\mathbb{K}}^r$-vector bundle E such that each local trivialisation is some ${\psi }_i$. Let ${\left(g_{ij}\right)}_{i,j\in I}$ be the corresponding cocycle and $G_{ij}$ be the $L{C}_{\mathbb{K}}^r$-map $g_{ij}^{\wedge }:(U_i\cap U_j)\times F\to F$, which is $\mathbb{L}$-linear in the second argument. By Proposition 7, there is a unique $L{C}_{\mathbb{K}}^r$-map ${\tilde{G}}_{ij}:U\times \tilde{F}\to \tilde{F}$ which extends $G_{ij}$, and ${\tilde{G}}_{ij}$ is $\mathbb{L}$-linear in the second argument. Thus, we obtain a map

$${\tilde{g}}_{ij}:U_i\cap U_j\to L_{\mathbb{L}}\left(\tilde{F}\right),x\mapsto {\tilde{G}}_{ij}(x,·).$$

By continuity and density, for all $i\in I$, we have ${\tilde{G}}_{ii}(x,y)=y$ for all $(x,y)\in U_i\times \tilde{F}$. Thus, ${\tilde{g}}_{ii}\left(x\right)={id}_{\tilde{F}}$ for all $x\in U$. For all $i,j,k\in I$, we have

$${\tilde{G}}_{ij}(x,{\tilde{G}}_{jk}(x,y))={\tilde{G}}_{ik}(x,y)\mathrm{for} \mathrm{all} (x,y)\in (U_i\cap U_j\cap U_k)\times \tilde{F},$$

as both sides are continuous in $(x,y)$ and equality holds for y in the dense subset F of $\tilde{F}$; thus, ${\tilde{g}}_{ij}\left(x\right)\circ {\tilde{g}}_{jk}\left(x\right)={\tilde{g}}_{ik}\left(x\right)$. Notably, ${\tilde{g}}_{ij}\left(x\right)\circ {\tilde{g}}_{ji}\left(x\right)={\tilde{g}}_{ii}\left(x\right)={id}_{\tilde{F}}$ for all $x\in U$ and $i,j\in I$, entailing that ${\tilde{g}}_{ij}\left(x\right)\in GL\left(\tilde{F}\right)$. By the preceding, the ${\tilde{g}}_{ij}$ satisfy the cocycle conditions. Let $\tilde{E}$ and $\tilde{\pi }$ be as in (8) and (9); define ${\tilde{\psi }}_i:{\tilde{\pi }}^{-1}\left(U_i\right)\to U_i\times \tilde{F}$ as in (10), replacing $\psi$ with ${\psi }_i$. For all $i,j\in I$ and $x\in U$, we then have that

$${\tilde{\psi }}_i\left({\tilde{\psi }}_j^{-1}(x,y)\right)=(x,{\tilde{G}}_{ij}(x,y))$$

holds for all $y\in \tilde{F}$, as equality holds for all $y\in F$. As an analogue of Proposition 3 holds with $L{C}_{\mathbb{K}}^r$-maps in place of $C_{\mathbb{K}}^r$-maps, we get a unique $\mathbb{L}$-vector bundle structure of class $L{C}_{\mathbb{K}}^r$ on $\tilde{E}$ making ${\tilde{\psi }}_i$ a local trivialisation for each $i\in I$.

It is apparent that $\tilde{\beta }:G\times \tilde{E}\to \tilde{E}$ is an action, and ${\tilde{E}}_x$ is taken $\mathbb{L}$-linearly to ${\tilde{E}}_{\alpha (g,x)}$ by $\tilde{\beta }(g,·)$, for each $g\in G$ and $x\in M$. It only remains to show that $\tilde{\beta }$ is $L{C}_{\mathbb{K}}^r$. To this end, let $g_0\in G$ and $x_0\in M$; we show that $\tilde{\beta }$ is $L{C}_{\mathbb{K}}^r$ on $U\times {\tilde{\pi }}^{-1}\left(V\right)$ for some open neighbourhood U of $g_0$ in G and an open neighbourhood V of $x_0$ in M. Indeed, there exists a local trivialisation $\psi :{\pi }^{-1}\left(W\right)\to W\times F$ of E over an open neighbourhood W of $\alpha (g_0,x_0)$ in M. The action $\alpha$ being continuous, we find an open neighbourhood U of $g_0$ in G and an open neighbourhood V of $x_0$ in M over which E is trivial, such that $\alpha (U\times V)\subseteq W$. Let $\varphi :{\pi }^{-1}\left(V\right)\to V\times F$ be a local trivialisation of E over V. Then,

$$\varphi \left(\beta (g^{-1},{\psi }^{-1}(\alpha (g,x),v))\right)=(x,A(g,x,v))\mathrm{for} \mathrm{all}g\in U,x\in V, \mathrm{and} v\in F,$$

for an $L{C}_{\mathbb{K}}^r$-map $A:U\times V\times F\to F$, which is $\mathbb{L}$-linear in the third argument. By Proposition 7, there is a unique extension of A to an $L{C}_{\mathbb{K}}^r$-map

$$\tilde{A}:U\times V\times \tilde{F}\to \tilde{F},$$

and the latter is $\mathbb{L}$-linear in its third argument. For all $g\in U$ and $x\in V$, we then have

$$\tilde{\varphi }\left(\tilde{\beta }(g^{-1},{\tilde{\psi }}^{-1}(\alpha (g,x),v))\right)=(x,\tilde{A}(g,x,v))$$

for all $v\in \tilde{F}$, as equality holds for all $v\in F$. Thus, $\tilde{\beta }$ is $L{C}_{\mathbb{K}}^r$. □

8. Tensor Products of Vector Bundles

Throughout this section, let $\mathbb{L}\in \{\mathbb{R},\mathbb{C}\}$, $\mathbb{K}\in \{\mathbb{R},\mathbb{L}\}$, $s\in \{\infty ,\omega \}$, and $r\in {\mathbb{N}}_0\cup \{\infty ,\omega \}$ such that $r\le s$. Let G be a $C_{\mathbb{K}}^s$-Lie group modelled on a locally convex $\mathbb{K}$-vector space Y, M be a $C_{\mathbb{K}}^r$-manifold modelled on a locally convex $\mathbb{K}$-vector space Z, and $\alpha :G\times M\to M$ be a $C_{\mathbb{K}}^r$-action. For $k\in \{1,2\}$, let ${\pi }_k:E_k\to M$ be an equivariant $\mathbb{L}$-vector bundle of class $C_{\mathbb{K}}^r$ over M, whose typical fibre is a locally convex $\mathbb{L}$-vector space $F_k$. Let ${\beta }_k:G\times E_k\to E_k$ be the G-action of class $C_{\mathbb{K}}^r$. Consider the set $\mathcal{A}$ of all pairs of local trivialisations of $E_1$ and $E_2$ trivialising these over the same open subset of M. Using an index set I, we have $\mathcal{A}=\{({\psi }_i^1,{\psi }_i^2):i\in I\}$, where ${\psi }_i^k:{\pi }_k^{-1}\left(U_i\right)\to U_i\times F_k$ is a local trivialisation of $E_k$ for $k\in \{1,2\}$, for each $i\in I$. Apparently, ${\left(U_i\right)}_{i\in I}$ is an open cover of M.

For our first result concerning tensor products, Proposition 8, we assume that $F_1$ is finite-dimensional. Then, fixing a basis $e_1,\dots ,e_n$ for $F_1$, the map $\theta :{\left(F_2\right)}^n\to F_1{\otimes }_{\mathbb{L}}{F}_2$, $(y_1,\dots ,y_n)\mapsto {\sum }_{\tau =1}^n{e}_{\tau }\otimes y_{\tau }$ is an isomorphism of $\mathbb{L}$-vector spaces. We give $F_1{\otimes }_{\mathbb{L}}{F}_2$ the topology $\mathcal{T}$, making $\theta$ a homeomorphism. This topology makes $F_1{\otimes }_{\mathbb{L}}{F}_2$ a locally convex $\mathbb{L}$-vector space and $\theta$ an isomorphism of topological $\mathbb{L}$-vector spaces. It is easy to check (and well known) that the topology $\mathcal{T}$ is independent of the chosen basis. Let $e_1^{*},\dots ,e_n^{*}\in F_1^{\prime }$ be the basis dual to $e_1,\dots ,e_n$. Our goal is to make the union

$$E_1\otimes E_2:=\bigcup _{x\in M}{\left(E_1\right)}_x{\otimes }_{\mathbb{L}}{\left(E_2\right)}_x$$

an equivariant $\mathbb{L}$-vector bundle of class $C_{\mathbb{K}}^r$ over M, with typical fibre $F_1{\otimes }_{\mathbb{L}}{F}_2$; the tensor products ${\left(E_1\right)}_x{\otimes }_{\mathbb{L}}{\left(E_2\right)}_x$ are chosen pairwise disjoint here for $x\in M$. Let $\pi :E_1\otimes E_2\to M$ be the mapping which takes $v\in {\left(E_1\right)}_x{\otimes }_{\mathbb{L}}{\left(E_2\right)}_x$ to x.

We define ${\psi }_i:{\pi }^{-1}\left(U_i\right)\to U_i\times \left(F_1{\otimes }_{\mathbb{L}}{F}_2\right)$ via

$${\psi }_i\left(v\right):=(x,(({pr}_{F_1}\circ {\psi }_i^1{|}_{{\left(E_1\right)}_x})\otimes ({pr}_{F_2}\circ {\psi }_i^2{|}_{{\left(E_2\right)}_x}))\left(v\right))$$

for $x\in U_i$ and $v\in {\left(E_1\right)}_x{\otimes }_{\mathbb{L}}{\left(E_2\right)}_x$, where ${pr}_{F_k}:M\times F_k\to F_k$ is the projection.

Given $i,j\in I$ and $x\in U_i\cap U_j$, we have ${\psi }_i^k\left({\left({\psi }_j^k\right)}^{-1}(x,v)\right)=(x,G_{ij}^k(x,v))$ for all $k\in \{1,2\}$ and $v\in F_k$, where $G_{ij}^k:(U_i\cap U_j)\times F_k\to F_k$ is $C_{\mathbb{K}}^r$ and $g_{ij}^k\left(x\right):=G_{ij}^k(x,·)$ an $\mathbb{L}$-linear mapping. Then, $c_{\sigma ,\tau }:U_i\cap U_j\to \mathbb{K}$, $x\mapsto e_{\sigma }^{*}\left(G_{ij}^1(x,e_{\tau })\right)$ is $C_{\mathbb{K}}^r$, and ${\psi }_i\left({\left({\psi }_j\right)}^{-1}(x,v)\right)=(x,G_{ij}(x,v))$ for $x\in U_i\cap U_j$ and $v={\sum }_{\tau =1}^n{e}_{\tau }\otimes v_{\tau }\in F_1{\otimes }_{\mathbb{L}}{F}_2$, where

$$\begin{array}{ccc}\hfill G_{ij}(x,v)& =& (g_{ij}^1\left(x\right)\otimes g_{ij}^2\left(x\right))\left(v\right)=\sum _{\tau =1}^n\left(g_{ij}^1\left(x\right)e_{\tau }\right)\otimes \left(g_{ij}^2\left(x\right)v_{\tau }\right)\hfill \\ & =& \sum _{\sigma ,\tau =1}^n{e}_{\sigma }\otimes \left(c_{\sigma ,\tau }\left(x\right)g_{ij}^2\left(x\right)v_{\tau }\right)=\theta \left({\left(\sum _{\tau =1}^n{c}_{\sigma ,\tau }\left(x\right)G_{ij}^2(x,v_{\tau })\right)}_{\sigma =1}^n\right).\hfill \end{array}$$

As $F_1{\otimes }_{\mathbb{L}}{F}_2\to F_2$, $v\mapsto v_{\tau }={pr}_{\tau }\left({\theta }^{-1}\left(v\right)\right)$ is a continuous linear map (where ${pr}_{\tau }:{\left(F_2\right)}^n\to F_2$ is the projection onto the $\tau$-component), in view of the preceding formula $G_{ij}$ is $C_{\mathbb{K}}^r$. Thus, by Proposition 3, there is a unique $\mathbb{L}$-vector bundle structure of class $C_{\mathbb{K}}^r$ on $E_1\otimes E_2$ making each ${\psi }_i$ a local trivialisation.

Note that $\beta :G\times (E_1\otimes E_2)\to E_1\otimes E_2$, $(g,v)\mapsto ({\beta }_1(g,·){|}_{{\left(E_1\right)}_x}^{E_{\alpha (g,x)}}\otimes {\beta }_2(g,·){|}_{{\left(E_2\right)}_x}^{{\left(E_2\right)}_{\alpha (g,x)}})\left(v\right)$ for $g\in G$, $x\in M$, $v\in {(E_1\otimes E_2)}_x$ defines an action of G on $E_1\otimes E_2$ by $\mathbb{L}$-linear mappings, which makes $\pi :E_1\otimes E_2\to M$ an equivariant mapping and such that $\beta (g,·)$ is $\mathbb{L}$-linear on ${\left(E_1\right)}_x{\otimes }_{\mathbb{L}}{\left(E_2\right)}_x$ for all $g\in G$ and $x\in M$.

To show that $\beta$ is $C_{\mathbb{K}}^r$, let $g_0\in G$ and $x_0\in M$. We pick $i\in I$ such that $\alpha (g_0,x_0)\in U_i$. The mapping $\alpha$ being continuous, we find open neighbourhoods U of $g_0$ in G and V of $x_0$ in M such that $\alpha (U\times V)\subseteq U_i$. There is $j\in I$ such that $x_0\in U_j\subseteq V$. For $k\in \{1,2\}$, $g\in U$, $x\in U_j$ and $v\in F_k$, we have

$${\psi }_i^k\left({\beta }_k(g,{\left({\psi }_j^k\right)}^{-1}(x,v))\right)=(\alpha (g,x),a_k(g,x,v))$$

for some $C_{\mathbb{K}}^r$-map $a_k:U\times U_j\times F_k\to F_k$, which is $\mathbb{L}$-linear in the final argument. Define $b_{\sigma ,\tau }:U\times U_j\to \mathbb{L}$, $(g,x)\mapsto e_{\sigma }^{*}\left(a_1(g,x,e_{\tau })\right)$; then, $b_{\sigma ,\tau }$ is $C_{\mathbb{K}}^r$. If $g\in U$, $x\in U_j$ and $v={\sum }_{\tau =1}^n{e}_{\tau }\otimes v_{\tau }\in F_1{\otimes }_{\mathbb{L}}{F}_2$, then ${\psi }_i\left(\beta (g,{\psi }_j^{-1}(x,v))\right)$ equals

$$\left(\alpha (g,x),\sum _{\tau =1}^n{a}_1(g,x,e_{\tau })\otimes a_2(g,x,v_{\tau })\right)=\left(\alpha (g,x),\theta \left({\left(\sum _{\tau =1}^n{b}_{\sigma ,\tau }(g,x)a_2(g,x,v_{\tau })\right)}_{\sigma =1}^n\right)\right),$$

which is a $C_{\mathbb{K}}^r$-function of $(g,x,v)$. As a consequence, ${\beta |}_{U\times {\pi }^{-1}\left(U_j\right)}$ is $C_{\mathbb{K}}^r$ and thus $\beta$, being $C_{\mathbb{K}}^r$ locally, is $C_{\mathbb{K}}^r$. We summarise as follows.

Proposition 8.

Let G be a $C_{\mathbb{K}}^s$-Lie group and M be a G-manifold of class $C_{\mathbb{K}}^r$. Let $E_1$ and $E_2$ be equivariant $\mathbb{L}$-vector bundles of class $C_{\mathbb{K}}^r$ over M. If the typical fibre of $E_1$ is finite-dimensional, then $E_1\otimes E_2$, as defined above, is an equivariant $\mathbb{L}$-vector bundle of class $C_{\mathbb{K}}^r$ over M.

Instead of $dim\left(F_1\right)<\infty$ (as before) assume that $F_1$ and $F_2$ are Fréchet spaces and the modelling spaces of G and M are metrisable. The completed projective tensor product

$$F:=F_1{\widehat{\otimes }}_{\pi }{F}_2$$

over $\mathbb{L}$ then is a Fréchet space (cf. [30] (p. 438, lines after Definitions 43.4)). We define

$$E:=E_1{\widehat{\otimes }}_{\pi }{E}_2:=\bigcup _{x\in M}{\left(E_1\right)}_x{\widehat{\otimes }}_{\pi }{\left(E_2\right)}_x,$$

where the ${\left(E_1\right)}_x{\widehat{\otimes }}_{\pi }{\left(E_2\right)}_x$ for $x\in M$ are chosen pairwise disjoint. Let $\pi :E\to M$ be the map taking $v\in E_x:={\left(E_1\right)}_x{\widehat{\otimes }}_{\pi }{\left(E_2\right)}_x$ to x. Define ${\psi }_i:{\pi }^{-1}\left(U_i\right)\to U_i\times \left(F_1{\widehat{\otimes }}_{\pi }{F}_2\right)$ via

$${\psi }_i\left(v\right):=\left(x,\left(({pr}_{F_1}\circ {\psi }_i^1{|}_{{\left(E_1\right)}_x}){\widehat{\otimes }}_{\pi }({pr}_{F_2}\circ {\psi }_i^2{|}_{{\left(E_2\right)}_x})\right)\left(v\right)\right)$$

for $x\in U_i$ and $v\in {\left(E_1\right)}_x{\widehat{\otimes }}_{\pi }{\left(E_2\right)}_x$, where ${pr}_{F_k}:M\times F_k\to F_k$ is the projection. Note that $\beta :G\times E\to E$, $(g,v)\mapsto \left({\beta }_1(g,·){|}_{{\left(E_1\right)}_x}{\widehat{\otimes }}_{\pi }{\beta }_2(g,·){|}_{{\left(E_2\right)}_x}\right)\left(v\right)$ for $g\in G$, $x\in M$, $v\in E_x$ defines an action of G on E which makes $\pi :E\to M$ an equivariant mapping. We show:

Proposition 9.

$\pi :E_1{\widehat{\otimes }}_{\pi }{E}_2\to M$ admits a unique structure of equivariant $\mathbb{L}$-vector bundle of class $C_{\mathbb{K}}^r$ over M such that ${\psi }_i$ is a local trivialisation for each $i\in I$.

Proof. 

The uniqueness for prescribed local trivialisations is clear. Let us show the existence of the structure. Given $i,j\in I$ and $x\in U_i\cap U_j$, we have ${\psi }_i^k\left({\left({\psi }_j^k\right)}^{-1}(x,v)\right)=(x,G_{ij}^k(x,v))$ for all $k\in \{1,2\}$ and $v\in F_k$, where $G_{ij}^k:(U_i\cap U_j)\times F_k\to F_k$ is $C_{\mathbb{K}}^r$ and $g_{ij}^k\left(x\right):=G_{ij}^k(x,·)$ an $\mathbb{L}$-linear mapping. By Proposition 1 (a), the map $g_{ij}^k:U_i\cap U_j\to L{\left(F_k\right)}_c$ is $C_{\mathbb{K}}^r$. Now,

$$L_{\mathbb{L}}{\left(F_1\right)}_c\times L_{\mathbb{L}}\left(F_2\right)\to L_{\mathbb{L}}{\left(F_1{\widehat{\otimes }}_{\pi }{F}_2\right)}_c,(S,T)\mapsto S{\widehat{\otimes }}_{\pi }T$$

being continuous $\mathbb{L}$-bilinear (as recalled in Lemma 14), we deduce that

$$g_{ij}:U_i\cap U_j\to L_{\mathbb{L}}{\left(F_1{\widehat{\otimes }}_{\pi }{F}_2\right)}_c,x\mapsto g_{ij}^1\left(x\right){\widehat{\otimes }}_{\pi }{g}_{ij}^2\left(x\right)$$

is $C_{\mathbb{K}}^r$. Hence, $G_{ij}:=g_{ij}^{\wedge }:(U_i\cap U_j)\times \left(F_1{\widehat{\otimes }}_{\pi }{F}_2\right)\to F_1{\widehat{\otimes }}_{\pi }{F}_2$, $(x,v)\mapsto g_{ij}\left(x\right)\left(v\right)$ is $C_{\mathbb{K}}^r$, by Proposition 2 (a). We easily check that ${\psi }_i\left({\left({\psi }_j\right)}^{-1}(x,v)\right)=(x,G_{ij}(x,v))$ holds for $G_{ij}$ as just defined, for all $x\in U_i\cap U_j$ and $v\in F_1{\widehat{\otimes }}_{\pi }{F}_2$. Hence, $E_1{\widehat{\otimes }}_{\pi }{E}_2$ can be made an $\mathbb{L}$-vector bundle of class $C_{\mathbb{K}}^r$ in such a way that each ${\psi }_i$ is a local trivialisation, by Proposition 3. Note that $\beta (g,·)$ is $\mathbb{L}$-linear on $E_x$ for all $g\in G$ and $x\in M$. To show that $\beta$ is $C_{\mathbb{K}}^r$, let $g_0$, $x_0$, i, U, V, j and the $C_{\mathbb{K}}^r$-map $a_k$ be as in the proof of Proposition 8. By Proposition 1 (a), $a_k^{\vee }:U\times U_j\to L{\left(F_k\right)}_c$, $(g,x)\mapsto a_k(g,x,·)$ is $C_{\mathbb{K}}^r$. Hence,

$$a:U\times U_j\to L{\left(F_1{\widehat{\otimes }}_{\pi }{F}_2\right)}_c,(g,x)\mapsto a_1^{\vee }(g,x){\widehat{\otimes }}_{\pi }{a}_2^{\vee }(g,x)$$

is $C_{\mathbb{K}}^r$, by the Chain Rule and Lemma 14. Using Proposition 2 (a), we find that the map $a^{\wedge }:U\times U_j\times \left(F_1{\widehat{\otimes }}_{\pi }F\right)\to F_1{\widehat{\otimes }}_{\pi }{F}_2$, $(g,x,v)\mapsto a(g,x)\left(v\right)$ is $C_{\mathbb{K}}^r$. We easily verify that ${\psi }_i\left(\beta (g,{\left({\psi }_j\right)}^{-1}(x,v))\right)=(\alpha (g,x),a^{\wedge }(g,x,v))$ for all $(g,x,v)\in U\times U_j\times \left(F_1{\widehat{\otimes }}_{\pi }{F}_2\right)$. Thus, ${\psi }_i\left(\beta (g,{\left({\psi }_j\right)}^{-1}(x,v))\right)$ is $C_{\mathbb{K}}^r$ in $(g,x,v)$, which completes the proof. □

We used the following fact:

Lemma 14.

Let $E_1$, $E_2$, $F_1$, and $F_2$ be Fréchet spaces over $\mathbb{L}\in \{\mathbb{R},\mathbb{C}\}$. Then, the following bilinear map is continuous:

$$\Xi :L_{\mathbb{L}}{(E_1,F_1)}_c\times L_{\mathbb{L}}{(E_2,F_2)}_c\to L_{\mathbb{L}}{(\left(E_1{\widehat{\otimes }}_{\pi }{E}_2\right),\left(F_1{\widehat{\otimes }}_{\pi }{F}_2\right))}_c,(S_1,S_2)\mapsto S_1{\widehat{\otimes }}_{\pi }{S}_2.$$

Proof. 

Let $K\subseteq E_1\widehat{\otimes }{E}_2$ be compact, q be a continuous seminorm on $F_1{\widehat{\otimes }}_{\pi }{F}_2$, and $\epsilon >0$. After increasing q, we may assume that $q=q_1\otimes q_2$ for continuous seminorms $q_k$ on $F_k$ for $k\in \{1,2\}$. By [30] (p. 465, Corollary 2 to Theorem 45.2), K is contained in the closed, absolutely convex hull of $K_1\otimes K_2$ for certain compact subsets $K_k\subseteq E_k$ for $k\in \{1,2\}$. For all $S_k\in L(E_k,F_k)$ such that $sup{q}_k\left(S_k\left(K_k\right)\right)\le \sqrt{\epsilon }$, we have

$$supq\left(\left(S_1{\widehat{\otimes }}_{\pi }{S}_2\right)\left(K\right)\right)\le supq\left(\left(S_1{\widehat{\otimes }}_{\pi }{S}_2\right)(K_1\otimes K_2)\right)=sup{q}_1\left(S_1\left(K_1\right)\right)q_2\left(S_2\left(K_2\right)\right)\le {\sqrt{\epsilon }}^2=\epsilon ,$$

using [30] (Proposition 43.1). The assertion follows. □

Remark 9.

If $E_1$ and $E_2$ are Hilbert spaces over $\mathbb{L}$ with Hilbert space tensor product $E_1\widehat{\otimes }{E}_2$, and also $F_1$ and $F_2$ are Hilbert spaces over $\mathbb{L}$, then the bilinear map

$$\mathsf{\Xi }:L{(E_1,F_1)}_b\times L{(E_2,F_2)}_b\to L{(\left(E_1\widehat{\otimes }{E}_2\right),\left(F_1\widehat{\otimes }{F}_2\right))}_b$$

is continuous, as $\parallel S_1\widehat{\otimes }{S}_2{\parallel }_{op}\le \parallel S_1{\parallel }_{op}{\parallel S_2\parallel }_{op}$.

Replace the hypotheses in Proposition 9 with the requirements that G and M are modelled on metrisable locally convex spaces, $r\ge 1$ and $F_1$, $F_2$ are Hilbert spaces. We now use Remark 9 instead of Lemma 14, replace $F_1{\widehat{\otimes }}_{\pi }{F}_2$ with the Hilbert space $F_1\widehat{\otimes }{F}_2$, Proposition 1 (a) with Proposition 1 (b) (so that operator-valued maps are only $C_{\mathbb{K}}^{r-1}$) and use Proposition 2 (b) with $r-1$ in place of r. Repeating the proof of Proposition 9, we get:

Proposition 10.

On $E_1\widehat{\otimes }{E}_2={\bigcup }_{x\in M}{\left(E_1\right)}_x\widehat{\otimes }{\left(E_2\right)}_x$, there is a unique equivariant $\mathbb{L}$-vector bundle structure of class $C_{\mathbb{K}}^{r-1}$ over M whose typical fibre is the Hilbert space $F_1\widehat{\otimes }{F}_2$, such that ${\psi }_i:{\pi }^{-1}\left(U_i\right)\to U_i\times \left(F_1\widehat{\otimes }{F}_2\right)$ is a local trivialisation for each $i\in I$.

Remark 10.

If $r\ge 1$, G and M are modelled on metrisable spaces and both $F_1$ and $F_2$ are pre-Hilbert spaces with Hilbert space completions ${\tilde{F}}_1$ and ${\tilde{F}}_2$, we can use the non-completed tensor product $F_1{\otimes }_{\mathbb{L}}{F}_2\subseteq {\tilde{F}}_1\widehat{\otimes }{\tilde{F}}_2$ with the induced topology as the fibre and get an equivariant $\mathbb{L}$-vector bundle structure over M of class $C_{\mathbb{K}}^{r-1}$ over M on $E_1\otimes E_2={\bigcup }_{x\in M}{\left(E_1\right)}_x{\otimes }_{\mathbb{L}}{\left(E_2\right)}_x$, exploiting that the $\mathbb{L}$-bilinear map $L_{\mathbb{L}}{\left(F_1\right)}_b\times L_{\mathbb{L}}{\left(F_2\right)}_b\to L_{\mathbb{L}}{\left(F_1{\otimes }_{\mathbb{L}}{F}_2\right)}_b$, $(S_1,S_2)\mapsto S_1\otimes S_2$ is continuous.

9. Locally Convex Direct Sums of Vector Bundles

Let $\mathbb{L}\in \{\mathbb{R},\mathbb{C}\}$, $\mathbb{K}\in \{\mathbb{R},\mathbb{L}\}$, $s\in \{\infty ,\omega \}$, $r\in {\mathbb{N}}_0\cup \{\infty ,\omega \}$ such that $r\le s$, G be a $C_{\mathbb{K}}^s$-Lie group modelled on a locally convex space Y, and M be a $C_{\mathbb{K}}^r$-manifold modelled on a locally convex $\mathbb{K}$-vector space Z, together with a $C_{\mathbb{K}}^r$-action $\alpha :G\times M\to M$.

Let $n\in \mathbb{N}$ and ${\pi }_k:E_k\to M$ be an equivariant $\mathbb{L}$-vector bundle of class $C_{\mathbb{K}}^r$ over M for $k\in \{1,\dots ,n\}$, with typical fibre a locally convex $\mathbb{L}$-vector space $F_k$; let ${\beta }_k:G\times E_k\to E_k$ be the G-action and ${pr}_{F_k}:M\times F_k\to F_k$ be the projection onto the second component. We easily check that there is a unique $\mathbb{L}$-vector bundle structure of class $C_{\mathbb{K}}^r$ on the “Whitney sum”

$$E:=E_1\oplus \dots \oplus E_n:=\bigcup _{x\in M}{\left(E_1\right)}_x\times \dots \times {\left(E_n\right)}_x,$$

with the apparent map $\pi :E\to M$, such that $\psi :{\pi }^{-1}\left(U\right)\to U\times F_1\times \dots \times F_n$, $v=(v_1,\dots ,v_n)\mapsto (\pi \left(v\right),{pr}_{F_1}\left({\psi }_1\left(v_1\right)\right),\dots ,{pr}_{F_n}\left({\psi }_n\left(v_n\right)\right))$ is a local trivialisation of E, for all families ${\left({\psi }_k\right)}_{k=1}^n$ of local trivialisations ${\psi }_k:{\left({\pi }_k\right)}^{-1}\left(U\right)\to U\times F_k$, which trivialise the $E_k$s over a joint open subset U of M. Then, $\beta (g,v):=({\beta }_1(g,v_1),\dots ,{\beta }_n(g,v_n))$ for $g\in G$, $v=(v_1,\dots ,v_n)\in E$ yields an action of G on E. It is straightforward that $\beta$ is $C_{\mathbb{K}}^r$. Thus,

Proposition 11.

If $E_1,\dots ,E_n$ are equivariant $\mathbb{L}$-vector bundles of class $C_{\mathbb{K}}^r$ over a G-manifold M of class $C_{\mathbb{K}}^r$, then also $E_1\oplus \dots \oplus E_n$ is an equivariant $\mathbb{L}$-vector bundle of class $C_{\mathbb{K}}^r$ over M.

The following lemma allows infinite direct sums to be tackled.

Lemma 15.

Let ${\left(E_i\right)}_{i\in I}$ and ${\left(F_i\right)}_{i\in I}$ be families of locally convex spaces over $\mathbb{K}\in \{\mathbb{R},\mathbb{C}\}$, with locally convex direct sums $E:={⨁}_{i\in I}{E}_i$ and $F:={⨁}_{i\in I}{F}_i$, respectively. Let V be an open subset of a locally convex $\mathbb{K}$-vector space Z. Let $r\in {\mathbb{N}}_0\cup \{\infty \}$, and assume that $f_i:V\times E_i\to F_i$ is a map which is linear in the second argument, for each $i\in I$. Moreover, assume that (a) or (b) holds:

(a)

Z is finite-dimensional; or

(b)

Z and each $E_i$ is a $k_{\omega }$-space and I is countable.

If $f_i$ is of class $C_{\mathbb{K}}^r$ for each $i\in I$, then also the following map is $C_{\mathbb{K}}^r$:

$$f:V\times E\to F,(x,{\left(v_i\right)}_{i\in I})\mapsto {\left(f_i(x,v_i)\right)}_{i\in I}.$$

Proof. 

If (b) holds, we may assume that I is countably infinite, excluding a trivial case. Thus, assume that $I=\mathbb{N}$. For each $n\in \mathbb{N}$, identify $E_1\times \dots \times E_n$ with a vector subspace of E, identifying $x\in E_1\times \dots \times E_n$ with $(x,0)$. For each $n\in \mathbb{N}$, we then have

$$Z\times E=\bigcup _{n\in \mathbb{N}}(Z\times E_1\times \dots \times E_n)andV\times E=\bigcup _{n\in \mathbb{N}}(V\times E_1\times \dots \times E_n),$$

where $Z\times E_1\times \dots \times E_n$ is a $k_{\omega }$-space in the product topology. The inclusion map

$${\lambda }_n:F_1\times \dots \times F_n\to \underset{i\in \mathbb{N}}{⨁}{F}_i,v\mapsto (v,0)$$

is continuous and $\mathbb{K}$-linear. Moreover,

$$g_n:V\times E_1\times \dots \times E_n\to F_1\times \dots \times F_n,(x,v_1,\dots ,v_n)\mapsto (f_1(x,v_1),\dots ,f_n(x,v_n))$$

is a $C_{\mathbb{K}}^r$-map and so is ${f|}_{V\times E_1\times \dots \times E_n}={\lambda }_n\circ g_n$, for each $n\in \mathbb{N}$. Hence, f is $C_{\mathbb{K}}^r$ on the open subset $V\times E$ of $Z\times E$, considered as the locally convex direct limit ${\displaystyle \underset{⟶}{lim}}(Z\times E_1\times \dots \times E_n)$, by [31] (Proposition 4.5 (a)). This locally convex space equals $Z\times {\displaystyle \underset{⟶}{lim}}(E_1\times \dots \times E_n)=Z\times E$ with the product topology (see [32] (Theorem 3.4)).

If (a) holds, it suffices to prove the assertion for $r\in {\mathbb{N}}_0$. We proceed by induction. The case $r=0$. Let $(x,v)=(x,{\left(v_i\right)}_{i\in I})\in V\times E$; we show that f is continuous at $(x,v)$. To this end, let Q be an absolutely convex, open 0-neighbourhood in F. There is a finite subset $J\subseteq I$ such that $v_i=0$ for all $i\in I\setminus J$. Let $N:=\left|J\right|+1$. For each $i\in I$, the intersection $Q_i:=\left(\frac{1}{N}Q\right)\cap F_i$ is an absolutely convex, open 0-neighbourhood in $F_i$. For the absolutely convex hull, we get $absconv\left({\bigcup }_{i\in I}{Q}_i\right)\subseteq \frac{1}{N}Q$. Since $f_i$ is continuous for each $i\in J$ and J is finite, we find a compact neighbourhood K of x in V such that $f_i(y,v_i)-f_i(x,v_i)\in Q_i$ for all $y\in K$ and $i\in J$. Since $f_i(K\times \left\{0\right\})=\left\{0\right\}$, where K is compact and $f_i$ is continuous, for each $i\in I$, there is an absolutely convex, open 0-neighbourhood $P_i$ in $E_i$ such that $f_i(K\times P_i)\subseteq Q_i$. Then, $W:=v+absconv\left({\bigcup }_{i\in I}{P}_i\right)$ is an open neighbourhood of v in E. Let $y\in K$ and $w\in W$ be given, say $w={\left(w_i\right)}_{i\in I}=v+{\left(t_i{p}_i\right)}_{i\in I}$, where $p_i\in P_i$ and ${\left(t_i\right)}_{i\in I}\in {⨁}_{i\in I}\mathbb{R}$ such that $t_i\in [0,1]$ and ${\sum }_{i\in I}{t}_i=1$. Then, for each $i\in I\setminus J$, since $v_i=0$, we obtain

$$f_i(y,w_i)-f(x,v_i)=f_i(y,t_i{p}_i)=t_i{f}_i(y,p_i)\in t_i{Q}_i.$$

For $i\in J$, on the other hand, we have

$$\begin{array}{ccc}\hfill f_i(y,w_i)-f(x,v_i)& =& f_i(y,w_i-v_i)+(f_i(y,v_i)-f_i(x,v_i))\hfill \\ & =& t_i{f}_i(y,p_i)+(f_i(y,v_i)-f_i(x,v_i))\in t_i{Q}_i+Q_i.\hfill \end{array}$$

As a consequence, $f(y,w)-f(x,v)\in \left({\prod }_{i\in I}{t}_i{Q}_i\right)+{\sum }_{i\in J}{Q}_i\subseteq \frac{1}{N}Q+{\sum }_{i\in J}\frac{1}{N}Q=Q$, using the convexity of Q. We have shown that f is continuous at $(x,v)$.

Induction step. Let $r\ge 1$ and assume the assertion is true for all numbers $<r$. Given $u,v\in E$, $x\in V$, and $z\in Z$, we have $u,v\in {⨁}_{i\in J}{E}_i={\prod }_{i\in J}{E}_i$ for some finite subset $J\subseteq I$. The map $f_J:V\times {\prod }_{i\in J}{E}_i\to {\prod }_{i\in J}{F}_i$, $(x,{\left(v_i\right)}_{i\in J})\mapsto {\left(f_i(x,v_i)\right)}_{i\in J}$ is $C_{\mathbb{K}}^1$, whence

$$\begin{array}{ccc}\hfill d{f}_J((x,u),(z,v))& =& \underset{t\to 0}{lim}{t}^{-1}(f_J((x,u)+t(z,v))-f_J(x,u))\hfill \\ & =& \underset{t\to 0}{lim}{t}^{-1}(f((x,u)+t(z,v))-f(x,u))=df((x,u),(z,v))\hfill \end{array}$$

exists in ${\prod }_{i\in J}{F}_i$ and thus in F; its ith component is

$$d{f}_i((x,u_i),(z,v_i))=d_1{f}_i(x,u_i,z)+d_2{f}_i(x,u_i,v_i)$$

in terms of partial differentials. Note that the mappings $g_i:(V\times Z)\times (E_i\times E_i)\to F_i$, $(x,z,u_i,v_i)\mapsto d_1{f}_i(x,u_i,z)$ and $h_i:(V\times Z)\times (E_i\times E_i)\to F_i$, $(x,z,u_i,v_i)\mapsto d_2{f}_i(x,u_i,v_i)=f_i(x,v_i)$ are $C_{\mathbb{K}}^{r-1}$ and linear in $(u_i,v_i)$. By induction, the mappings

$$g:(V\times Z)\times (E\times E)\to F,(x,z,{\left(u_i\right)}_{i\in I},{\left(v_i\right)}_{i\in I})\mapsto {\left(g_i(x,z,u_i,v_i)\right)}_{i\in I}\mathrm{and}$$

$$h:(V\times Z)\times (E\times E)\to F,(x,z,{\left(u_i\right)}_{i\in I},{\left(v_i\right)}_{i\in I})\mapsto {\left(h_i(x,z,u_i,v_i)\right)}_{i\in I}$$

are $C_{\mathbb{K}}^{r-1}$, using that $E\times E\cong {⨁}_{i\in I}(E_i\times E_i)$. Hence, also $df:(V\times E)\times (Z\times E)\to F$ is $C_{\mathbb{K}}^{r-1}$, as $df\left(\right(x,u),(z,v\left)\right)=g(x,z,u,v)+h(x,z,u,v)$. Since $df$ exists and is $C_{\mathbb{K}}^{r-1}$, the continuous map f is $C_{\mathbb{K}}^r$. □

Remark 11.

The conclusion of Lemma 15 does not hold for $(r,\mathbb{K})=(\omega ,\mathbb{R})$ in the example $I=\mathbb{N}$, $V=Z=\mathbb{R}$, $E_k=\mathbb{R}$, $f_k(r,t):=\frac{t}{1+k{r}^2}$, using that the Taylor series of $f_k(·,t)$ around 0 has radius of convergence $\frac{1}{\sqrt{k}}$ for all $t\in \mathbb{R}\setminus \left\{0\right\}$.

Assuming now $r\ne \omega$, consider a family ${\left(E_i\right)}_{i\in I}$ of equivariant $\mathbb{L}$-vector bundles ${\pi }_i:E_i\to M$ of class $C_{\mathbb{K}}^r$ with typical fibre $F_i$ and G-action ${\beta }_i:G\times E_i\to E_i$. We assume that (a) or (b) is satisfied:

(a)

G and M are finite-dimensional; or

(b)

I is countable and each $F_i$ as well as the modelling spaces of G and M are $k_{\omega }$-spaces.

Moreover, we assume:

(c)

For each $x\in M$, there exists an open neighbourhood U of x in M, such that, for each $i\in I$, the vector bundle $E_i$ admits a local trivialisation ${\psi }_i:{\left({\pi }_i\right)}^{-1}\left(U\right)\to U\times F_i$.

Thus, the $C_{\mathbb{K}}^r$-vector bundle $E_i{|}_U$ is trivialisable for each $i\in I$. Define $E:={\bigcup }_{x\in M}{⨁}_{i\in I}{\left(E_i\right)}_x$ with pairwise disjoint direct sums and $\pi :E\to M$, ${⨁}_{i\in I}{\left(E_i\right)}_x\ni v\mapsto x$. Then

$$\beta :G\times E\to E,(g,{\left(v_i\right)}_{i\in I})\mapsto {\left({\beta }_i(g,v_i)\right)}_{i\in I}$$

is a G-action such that ${\beta (g,·)|}_{E_x}:E_x\to E_{\alpha (g,x)}$ is $\mathbb{L}$-linear for all $(g,x)\in G\times M$, where $E_x:={\pi }^{-1}\left(\left\{x\right\}\right)$. We readily deduce from Proposition 3 and Proposition 15 that there is a unique $\mathbb{L}$-vector bundle structure of class $C_{\mathbb{K}}^r$ on E such that

$${\pi }^{-1}\left(U\right)\to U\times \underset{i\in I}{⨁}{F}_i,E_x\ni {\left(v_i\right)}_{i\in I}\mapsto (x,{\left({pr}_{F_i}\left({\psi }_i\left(v_i\right)\right)\right)}_{i\in I})$$

is a local trivialisation for E, for each family ${\left({\psi }_i\right)}_{i\in I}$ of local trivialisations as above. The latter makes E an equivariant $\mathbb{L}$-vector bundle of class $C_{\mathbb{K}}^r$. In fact, the $C_{\mathbb{K}}^r$-property of $\beta$ can be checked using pairs of local trivialisations, as in the proofs of Propositions 5, 8, and 9. Then, apply Proposition 15, with $F_i$ in place of $E_i$ and $Y\times Z$ in place of Z. Thus,

Proposition 12.

In the preceding situation, ${⨁}_{i\in I}{E}_i$ is an equivariant $\mathbb{L}$-vector bundle of class $C_{\mathbb{K}}^r$ over M.

Remark 12.

If M is a $C_{\mathbb{R}}^r$-manifold, then every $x\in M$ has an open neighbourhood U which is $C_{\mathbb{R}}^r$-diffeomorphic to a convex open subset W in the modelling space Z of M. If W can be chosen $C_{\mathbb{R}}^r$-paracompact, then every $C_{\mathbb{R}}^r$-vector bundle over U is trivialisable (see [12] (Corollary 15.10)). The latter condition is satisfied, for example, if Z is finite-dimensional, a Hilbert space, or a countable direct limit of finite-dimensional vector spaces (and hence a nuclear Silva space), cf. [3] (Theorem 16.10 and Corollary 16.16). If $(r,\mathbb{K})=(\infty ,\mathbb{C})$ and Z has finite dimension, then each finite-dimensional holomorphic vector bundle over a, say, polycylinder in Z is $C_{\mathbb{C}}^{\infty }$-trivialisable (cf. [33]). Under suitable hypotheses, holomorphic Banach vector bundles over contractible bases are $C_{\mathbb{C}}^{\infty }$-trivialisable as well [34].

10. Dual Bundles and Cotangent Bundles

In this section, we discuss conditions ensuring that a vector bundle has a canonical dual bundle. Let $\mathbb{L}\in \{\mathbb{R},\mathbb{C}\}$, $\mathbb{K}\in \{\mathbb{R},\mathbb{L}\}$, $r\in {\mathbb{N}}_0\cup \{\infty ,\omega \}$, and M be a $C_{\mathbb{K}}^r$-manifold modeled on a locally convex space Z.

Definition 7.

Let $\pi :E\to M$ be an $\mathbb{L}$-vector bundle of class $C_{\mathbb{K}}^r$, with typical fibre F. Consider the disjoint union

$$E^{\prime }:=\bigcup _{x\in M}{\left(E_x\right)}^{\prime };$$

let $p:E^{\prime }\to M$ be the map taking $\lambda \in {\left(E_x\right)}^{\prime }$ to x, for each $x\in M$. Given $t\in {\mathbb{N}}_0\cup \{\infty ,\omega \}$ such that $t\le r$, we say thatE has a canonical dual bundle of class $C_{\mathbb{K}}^t$ with respect to $\mathcal{S}\in \{b,c\}$ if $E^{\prime }$ can be made an $\mathbb{L}$-vector bundle of class $C_{\mathbb{K}}^t$ over M, with typical fibre $F_{\mathcal{S}}^{\prime }$ and bundle projection p, such that

$$\tilde{\psi }:p^{-1}\left(U\right)\to U\times F_{\mathcal{S}}^{\prime },{\left(E^{\prime }\right)}_x={\left(E_x\right)}^{\prime }\ni \lambda \mapsto (x,{\left({({pr}_F\circ \psi {|}_{E_x})}^{-1}\right)}^{\prime }\left(\lambda \right))$$

(15)

is a local trivialisation of $E^{\prime }$, for each local trivialisation $\psi :{\pi }^{-1}\left(U\right)\to U\times F$ of E.

To pinpoint situations where the dual bundle exists, we recall a fact concerning the formation of dual linear maps (see [8] (Proposition 16.30)):

Lemma 16.

Let E and F be locally convex spaces, and $\mathcal{S}\in \{b,c\}$. If the evaluation homomorphism ${\eta }_{F,\mathcal{S}}:F\to {\left(F_{\mathcal{S}}^{\prime }\right)}_{\mathcal{S}}^{\prime }$, ${\eta }_{F,\mathcal{S}}\left(x\right)\left(\lambda \right):=\lambda \left(x\right)$ is continuous, then

$$\mathsf{\Theta }:L{(E,F)}_{\mathcal{S}}\to L{(F_{\mathcal{S}}^{\prime },E_{\mathcal{S}}^{\prime })}_{\mathcal{S}},\alpha \mapsto {\alpha }^{\prime }$$

is a continuous linear map.

Remark 13.

Let F be a locally convex $\mathbb{K}$-vector space over $\mathbb{K}\in \{\mathbb{R},\mathbb{C}\}$. It is known that ${\eta }_{F,b}$ is continuous if and only if F is quasi-barrelled, i.e., every bornivorous barrel in F is a 0-neighbourhood [35] (Proposition 2 in Section 11). In particular, ${\eta }_{F,b}$ is continuous if F is bornological or barrelled. It is also known that ${\eta }_{F,c}$ is continuous (and actually a topological embedding) if F is a $k_{\mathbb{R}}$-space. If $\mathbb{K}=\mathbb{R}$, this follows from [36] (Theorem 2.3) and [37] (Lemma 14.3) (cf. also [37] (Propositions 2.3 and 2.4)). If $\mathbb{K}=\mathbb{C}$ and F is a $k_{\mathbb{R}}$-space, then ${\eta }_{F_{\mathbb{R}},c}$ is a topological embedding for the real topological vector space $F_{\mathbb{R}}$ underlying F. Now, ${\left(F_c^{\prime }\right)}_{\mathbb{R}}\cong {\left(F_{\mathbb{R}}\right)}^{\prime }$ as a real topological vector space, using that a continuous $\mathbb{C}$-linear functional $\lambda :F\to \mathbb{C}$ is determined by its real part. Transporting the complex vector space structure from $F_c^{\prime }$ to ${\left(F_{\mathbb{R}}\right)}^{\prime }$, the latter becomes a complex locally convex space. Thus, ${\left({\left(F_c^{\prime }\right)}_c^{\prime }\right)}_{\mathbb{R}}$ can be identified with ${\left({\left(F_{\mathbb{R}}\right)}_c^{\prime }\right)}_c^{\prime }$, and it is easy to verify that ${\eta }_{F,c}$ corresponds to ${\eta }_{F_{\mathbb{R}},c}$ if we make the latter identification.

Proposition 13.

Let $\pi :E\to M$ be an $\mathbb{L}$-vector bundle of class $C_{\mathbb{K}}^r$, with typical fibre F. Let $\mathcal{S}\in \{b,c\}$. If $\mathcal{S}=c$, let $r_{-}:=r$; if $\mathcal{S}=b$, assume $r\ge 1$ and set $r_{-}:=r-1$. Consider the following conditions:

($\alpha$)

The modelling space Z of M is finite-dimensional, ${\eta }_{F,\mathcal{S}}$ is continuous, and $F_{\mathcal{S}}^{\prime }$ is barrelled.

($\beta$)

${\eta }_{F,\mathcal{S}}$ is continuous and, moreover, $(Z\times F_{\mathcal{S}}^{\prime })\times (Z\times F_{\mathcal{S}}^{\prime })$ is a $k_{\mathbb{R}}$-space, or $r_{-}=0$ and $Z\times F_{\mathcal{S}}^{\prime }$ is a $k_{\mathbb{R}}$-space, or $(r,\mathbb{K})=(\infty ,\mathbb{C})$ and $Z\times F_{\mathcal{S}}^{\prime }$ is a $k_{\mathbb{R}}$-space.

($\gamma$)

F is normable.

If $\left(\alpha \right)$ or $\left(\beta \right)$ is satisfied with $\mathcal{S}=c$, then E has a canonical dual bundle of class $C_{\mathbb{K}}^r$ with respect to $\mathcal{S}=c$. If $\left(\alpha \right)$, $\left(\beta \right)$, or $\left(\gamma \right)$ is satisfied with $\mathcal{S}=b$, then E has a canonical dual bundle of class $C_{\mathbb{K}}^{r-1}$ with respect to $\mathcal{S}=b$.

For $\mathcal{S}=b$, condition ($\alpha$) of Proposition 13 is satisfied, for example, if F is a reflexive locally convex space (then ${\eta }_{F,b}$ is continuous and $F_b^{\prime }$ is barrelled, being reflexive.)

Proof. 

Let $E^{\prime }$ be the disjoint union ${\bigcup }_{x\in M}{\left(E_x\right)}^{\prime }$, and $p:E^{\prime }\to M$ be as in Definition 7. Let ${\left({\psi }_i\right)}_{i\in I}$ be a family such that the ${\psi }_i:{\pi }^{-1}\left(U_i\right)\to U_i\times F$ form the set of all local trivialisations of E. Let ${\left(g_{ij}\right)}_{i,j\in I}$ be the associated cocycle (as explained before Proposition 3). Then, $G_{ij}:=g_{ij}^{\wedge }$ is $C_{\mathbb{K}}^r$ and hence $g_{ij}={\left(G_{ij}\right)}^{\vee }$ is $C_{\mathbb{K}}^{r_{-}}$, by Proposition 1. Given $i\in I$, we define $\widetilde{{\psi }_i}:p^{-1}\left(U_i\right)\to U_i\times F_{\mathcal{S}}^{\prime }$ as in (15), using ${\psi }_i$ instead of $\psi$. Then,

$$\begin{array}{ccc}\hfill {\tilde{\psi }}_i\left({\tilde{\psi }}_j^{-1}(x,\lambda )\right)& =& (x,{\left({({pr}_F\circ {\psi }_i{|}_{E_x})}^{-1}\right)}^{\prime }\circ {({pr}_F\circ {\psi }_j{|}_{E_x})}^{\prime }\left(\lambda \right))\hfill \\ & =& (x,{({pr}_F\circ {\psi }_j{|}_{E_x}\circ {({pr}_F\circ {\psi }_i{|}_{E_x})}^{-1})}^{\prime }\left(\lambda \right))=(x,g_{ji}{\left(x\right)}^{\prime }\left(\lambda \right))\hfill \end{array}$$

for all $x\in U_i\cap U_j$ and $\lambda \in F^{\prime }$ shows that

$$({\tilde{\psi }}_i\circ {\tilde{\psi }}_j^{-1})(x,\lambda )=(x,h_{ij}\left(x\right)\left(\lambda \right)),$$

where $h_{ij}\left(x\right):=g_{ji}{\left(x\right)}^{\prime }\in GL\left(F_{\mathcal{S}}^{\prime }\right)$. If ($\alpha$) or ($\beta$) holds, then ${\eta }_{F,\mathcal{S}}:F\to {\left(F_{\mathcal{S}}^{\prime }\right)}_{\mathcal{S}}^{\prime }$ is continuous by hypothesis. If $\mathcal{S}=b$ and ($\gamma$) holds, then ${\eta }_{F,b}$ is an isometric embedding (as is well known) and hence continuous. Thus, $\mathrm{\Theta }:L{\left(F\right)}_{\mathcal{S}}\to L{\left(F_{\mathcal{S}}^{\prime }\right)}_{\mathcal{S}}$, $\alpha \mapsto {\alpha }^{\prime }$ is a continuous $\mathbb{L}$-linear map (Lemma 16). Since $g_{ji}:U_i\cap U_j\to L{\left(F\right)}_{\mathcal{S}}$ is $C_{\mathbb{K}}^{r_{-}}$, we deduce that $h_{ij}=\mathrm{\Theta }\circ g_{ji}:U_i\cap U_j\to L{\left(F_{\mathcal{S}}^{\prime }\right)}_{\mathcal{S}}$ is $C_{\mathbb{K}}^{r_{-}}$. Thus Condition ${\left(g\right)}^{\prime }$ of Corollary 2 is satisfied, with $r_{-}$ in place of r. Conditions (a)–(f) being apparent, the cited corollary provides an $\mathbb{L}$-vector bundle structure of class $C_{\mathbb{K}}^{r_{-}}$ on $E^{\prime }$. □

Without specific hypotheses, a canonical dual bundle need not exist.

Example 2.

Let A be a unital, associative, locally convex topological $\mathbb{K}$-algebra whose group of units $A^{\times }$ is open in A, and such that the inversion map $\iota :A^{\times }\to A^{\times }$ is continuous. Then, ι is smooth (and indeed $\mathbb{K}$-analytic); see, e.g., [13] (Propositions 10.1.12 and 10.1.13). We assume that the locally convex space underlying A is a non-normable Fréchet–Schwartz space and hence Montel, ensuring that $L{\left(A\right)}_b=L{\left(A\right)}_c$. For example, we might take $A:=C^{\infty }(K,\mathbb{K})$, where K is a connected, compact, smooth manifold of positive dimension (cf. [13] (Lemma 10.2.2 (c))). Let $r,t\in {\mathbb{N}}_0\cup \{\infty ,\omega \}$ with $t\le r$ and $\mathcal{S}\in \{b,c\}$. We consider the trivial vector bundle

$${pr}_1:E:=A^{\times }\times A\to A^{\times }.$$

(Thus, $E\cong T{A}^{\times }$, the tangent bundle). Then, E is a $\mathbb{K}$-vector bundle of class $C_{\mathbb{K}}^r$ over the base $A^{\times }$, with typical fibre A. Both ${\psi }_1:=id:A^{\times }\times A\to A^{\times }\times A$ and ${\psi }_2:A^{\times }\times A\to A^{\times }\times A$, $(a,v)\mapsto (a,av)$ are global trivialisations of E. Identifying $E^{\prime }:={\bigcup }_{a\in A^{\times }}{\left(E_a\right)}^{\prime }$ with the set $A^{\times }\times A^{\prime }$, we consider the associated bijections ${\tilde{\psi }}_i:E^{\prime }=A^{\times }\times A^{\prime }\to A^{\times }\times A^{\prime }$ for $i\in \{1,2\}$ (cf. (15)). Thus, ${\tilde{\psi }}_1=id$, and ${\tilde{\psi }}_2(a,\lambda )=(a,\lambda (a^{-1}·))$ for $a\in A^{\times }$, $\lambda \in A^{\prime }$. The map $G_{ij}:A^{\times }\times A\to A$, $(a,v)\mapsto {pr}_2\left({\psi }_i\left({\psi }_j^{-1}(a,v)\right)\right)$ is $C_{\mathbb{K}}^r$ for $i,j\in \{1,2\}$, where ${pr}_2:A^{\times }\times A\to A$ is the projection onto the second factor. Then, also $g_{ij}:A^{\times }\to L{\left(A\right)}_c=L{\left(A\right)}_b$, $a\mapsto G_{ij}(a,·)$ is $C_{\mathbb{K}}^r$, by Proposition 1 (a). Now, A being Fréchet and thus barrelled, the evaluation homomorphism ${\eta }_{A,b}$ is continuous; since A is metrisable and hence a k-space, also ${\eta }_{A,c}$ is continuous (see Remark 13). Since $g_{ij}$ is $C_{\mathbb{K}}^r$, we deduce with Lemma 16 that also $h_{ij}:A^{\times }\to L{\left(A_{\mathcal{S}}^{\prime }\right)}_{\mathcal{S}}$, $a\mapsto {\left(g_{ji}\left(a\right)\right)}^{\prime }$ is $C_{\mathbb{K}}^r$. Define

$$H_{ij}:A^{\times }\times A_{\mathcal{S}}^{\prime }\to A_{\mathcal{S}}^{\prime }(a,\lambda )\mapsto h_{ij}\left(a\right)\left(\lambda \right)$$

for $i,j\in \{1,2\}$. Then, $H_{12}$ is discontinuous. To see this, we compose $H_{12}$ with the map ${ev}_1:A_b^{\prime }\to \mathbb{K}$, $\lambda \mapsto \lambda \left(1\right)$, which evaluates functionals at the identity element $1\in A$, and recall that ${ev}_1$ is continuous. Then, ${ev}_1\left(H_{12}(a,\lambda )\right)=\lambda \left(g_{21}\left(a\right)\left(1\right)\right)=\lambda \left(a\right)$ for $a\in A^{\times }$ and $\lambda \in A^{\prime }$. However, A being a non-normable locally convex space, the bilinear, separately continuous evaluation map $\epsilon :A\times A_b^{\prime }\to \mathbb{K}$, $(a,\lambda )\mapsto \lambda \left(a\right)$ is discontinuous, and hence so is its restriction ${\epsilon |}_{A^{\times }\times A_b^{\prime }}={ev}_1\circ H_{12}$ to the non-empty open subset $A^{\times }\times A_b^{\prime }$, as is readily verified. Now, ${ev}_1\circ H_{12}$ being discontinuous, also $H_{12}$ is discontinuous (and therefore not $C_{\mathbb{K}}^t$). As a consequence, also ${\tilde{\psi }}_1\circ {\tilde{\psi }}_2^{-1}=({pr}_1,H_{12})$ is discontinuous. Summing up:

There is no canonical vector bundle structure of class $C_{\mathbb{K}}^t$ on $E^{\prime }$ because the two vector bundle structures on $E^{\prime }$ making ${\tilde{\psi }}_1$(resp., ${\tilde{\psi }}_2)$ a global trivialisation do not coincide.

Remark 14.

In the preceding situation, set $M:=A^{\times }$, $F:=A_b^{\prime }$, $I:=\{1,2\}$, $U_i:=M$ for $i\in I$, and $\pi :={pr}_1:M\times F\to M$. If we let $M\times A_b^{\prime }$ play the role of E in Proposition 3 and ${\tilde{\psi }}_i:{\pi }^{-1}\left(U_i\right)\to U_i\times F$ the role of ${\psi }_i$ in Proposition 3 (e), then all of Conditions (a)–(f) of Proposition 3 and Condition ${\left(g\right)}^{\prime }$ of Corollary 2 are satisfied for $r\in {\mathbb{N}}_0\cup \{\infty ,\omega \}$ (with $\mathbb{L}:=\mathbb{K}$). However, there is no $C_{\mathbb{K}}^r$-vector bundle structure on $M\times F$ making each ${\tilde{\psi }}_i$ a trivialisation, as just observed, i.e., the conclusion of Corollary 2 becomes false.

Remark 15.

Let $\mathbb{K}\in \{\mathbb{R},\mathbb{C}\}$, $r\in \mathbb{N}\cup \{\infty ,\omega \}$, $t\in {\mathbb{N}}_0\cup \{\infty ,\omega \}$ with $t\le r$ and M be a $C_{\mathbb{K}}^r$-manifold modelled on a locally convex space Z. Then, the tangent bundle $TM$ is a $\mathbb{K}$-vector bundle of class $C_{\mathbb{K}}^{r-1}$ over M, with typical fibre Z. Pick a locally convex vector topology $\mathcal{T}$ on $Z^{\prime }$. Let $\mathcal{A}$ be the set of all maps $\tilde{\psi }$ as in (15), with $(Z^{\prime },\mathcal{T})$ in place of $F_{\mathcal{S}}^{\prime }$, for ψ ranging through the set of all local trivialisations of $TM$ (alternatively, only those of the form $({\pi }_{TU},d\varphi )$ for charts $\varphi :U\to V\subseteq Z$ of M, using the bundle projection ${\pi }_{TU}:TU\to U$). Let us say that M has a canonical cotangent bundle of class $C_{\mathbb{K}}^t$ with respect to $\mathcal{T}$ if $T^{\prime }M:={\bigcup }_{x\in M}{\left(T_{x}M\right)}^{\prime }$ admits a $\mathbb{K}$-vector bundle structure of class $C_{\mathbb{K}}^t$ over M with typical fibre $(Z^{\prime },\mathcal{T})$, which makes each $\tilde{\psi }:p^{-1}\left(U\right)\to U\times (Z^{\prime },\mathcal{T})$ a local trivialisation (with $p:T^{\prime }M\to M$, ${\left(T_{x}M\right)}^{\prime }\ni \lambda \mapsto x$). Then, the evaluation map

$$\epsilon :(Z^{\prime },\mathcal{T})\times Z\to \mathbb{K},(\lambda ,x)\mapsto \lambda \left(x\right)$$

must be continuous and hence Z normable. For $\mathbb{K}=\mathbb{R}$, this is explained in [17] (Remark 1.3.9) (written after Example 2 was found) if $r=\infty$. This implies the case $r\in \mathbb{N}$. As the diffeomorphism f employed as a change of charts is real analytic, the case $(\omega ,\mathbb{R})$ follows and also the complex case, using a $\mathbb{C}$-analytic extension of f. When $\mathcal{T}$ is the compact-open topology, existence of a canonical cotangent bundle for M even implies that Z is finite-dimensional. (If ε is continuous on $Z_c^{\prime }\times Z$, then there exists a compact subset $K\subseteq Z$ and a 0-neighbourhood $W\subseteq Z$ such that $\epsilon (\left(K^{\circ }\right)\times W)\subseteq \mathbb{D}$. Hence, $K^{\circ }\subseteq W^{\circ }$. Since $K^{\circ }$ is a 0-neighbourhood in $Z_c^{\prime }$ and $W^{\circ }$ compact (by Ascoli’s Theorem), $Z_c^{\prime }$ is locally compact and hence finite-dimensional. As $Z_c^{\prime }$ separates points on Z, also Z must be finite-dimensional.)

Cotangent bundles are not needed to define 1-forms on an infinite-dimensional manifold M. Following [38], these can be considered as smooth maps on $TM$ which are linear on the fibres (and a similar remark applies to differential forms of higher order).

Differentiability properties of the $\mathit{G}$-action on the dual bundle. Let $\mathbb{L}\in \{\mathbb{R},\mathbb{C}\}$, $\mathbb{K}\in \{\mathbb{R},\mathbb{L}\}$, $s\in \{\infty ,\omega \}$, $r\in {\mathbb{N}}_0\cup \{\infty ,\omega \}$ with $r\le s$, and G be a $C_{\mathbb{K}}^s$-Lie group modelled on a locally convex $\mathbb{K}$-vector space Y. Let M be a $C_{\mathbb{K}}^r$-manifold modelled on a locally convex $\mathbb{K}$-vector space Z and $\alpha :G\times M\to M$ be a G-action of class $C_{\mathbb{K}}^r$.

Proposition 14.

Let $\pi :E\to M$ be an equivariant $\mathbb{L}$-vector bundle of class $C_{\mathbb{K}}^r$, with typical fibre F and G-action $\beta :G\times E\to E$ of class $C_{\mathbb{K}}^r$. Let $\mathcal{S}\in \{b,c\}$. If $\mathcal{S}=c$, set $r_{-}:=r$; if $\mathcal{S}=b$, assume $r\ge 1$ and set $r_{-}:=r-1$. Consider the following conditions:

(a)

${\eta }_{F,\mathcal{S}}$ is continuous, and, moreover, $(Y\times Z\times F_{\mathcal{S}}^{\prime })\times (Y\times Z\times F_{\mathcal{S}}^{\prime })$ is a $k_{\mathbb{R}}$-space, or $r_{-}=0$ and $Y\times Z\times F_{\mathcal{S}}^{\prime }$ is a $k_{\mathbb{R}}$-space, or $(r,\mathbb{K})=(\infty ,\mathbb{C})$ and $Y\times Z\times F_{\mathcal{S}}^{\prime }$ is a $k_{\mathbb{R}}$-space;

(b)

M and G are finite-dimensional, ${\eta }_{F,\mathcal{S}}$ is continuous, and $F_{\mathcal{S}}^{\prime }$ is barrelled; or

(c)

F is normable.

If $\mathcal{S}=c$ and(a)or(b)holds, then E has a canonical dual bundle $E^{\prime }$ of class $C_{\mathbb{K}}^{r_{-}}$ with respect to $\mathcal{S}$, and the map ${\beta }^{*}:G\times E^{\prime }\to E^{\prime }$, defined using adjoint linear maps via

$${\beta }^{*}(g,\lambda ):={\left(\beta (g^{-1},·){|}_{E_{\alpha (g,x)}}^{E_x}\right)}^{\prime }\left(\lambda \right)$$

for $g\in G$, $\lambda \in {\left(E_x\right)}^{\prime }$, turns $E^{\prime }$ into an equivariant $\mathbb{L}$-vector bundle of class $C_{\mathbb{K}}^{r_{-}}$ over the G-manifold M. If $\mathcal{S}=b$ and(a), (b), or (c) is satisfied, then the same conclusion holds.

Proof. 

In view of Proposition 13, the hypotheses imply that E has a canonical dual bundle $p:E^{\prime }\to M$ of class $C_{\mathbb{K}}^{r_{-}}$. It is apparent that ${\beta }^{*}:G\times E^{\prime }\to E^{\prime }$ is an action, and $E_x^{\prime }$ is taken $\mathbb{L}$-linearly to $E_{\alpha (g,x)}^{\prime }$ by ${\beta }^{*}(g,·)$, for each $g\in G$ and $x\in M$. It therefore only remains to show that ${\beta }^{*}$ is $C_{\mathbb{K}}^{r_{-}}$. To this end, let $g_0\in G$ and $x_0\in M$; we show that ${\beta }^{*}$ is $C_{\mathbb{K}}^{r_{-}}$ on $U\times p^{-1}\left(V\right)$, for some open neighbourhood U of $g_0$ in G and an open neighbourhood V of $x_0$ in M. Indeed, there exists a local trivialisation $\psi :{\pi }^{-1}\left(W\right)\to W\times F$ of E over an open neighbourhood W of $\alpha (g_0,x_0)$ in M. The action $\alpha$ being continuous, we find an open neighbourhood U of $g_0$ in G and an open neighbourhood V of $x_0$ in M over which E is trivial, such that $\alpha (U\times V)\subseteq W$. Let $\varphi :{\pi }^{-1}\left(V\right)\to V\times F$ be a local trivialisation of E over V. Then

$$\varphi \left(\beta (g^{-1},{\psi }^{-1}(\alpha (g,x),v))\right)=(x,A(g,x,v))\mathrm{for} \mathrm{all} g\in U,x\in V,\mathrm{and} v\in F,$$

for a $C_{\mathbb{K}}^r$-map $A:U\times V\times F\to F$, which is $\mathbb{L}$-linear in the third argument. By Corollary 1, the map $a:U\times V\to L{\left(F\right)}_{\mathcal{S}}$, $(g,x)\mapsto A(g,x,·)$ is $C_{\mathbb{K}}^{r_{-}}$. In view of the hypotheses, Lemmas 16 and 13 entail that also $a^{*}:U\times V\to L{\left(F_{\mathcal{S}}^{\prime }\right)}_{\mathcal{S}}$, $(g,x)\mapsto {\left(a(g,x)\right)}^{\prime }$ is $C_{\mathbb{K}}^{r_{-}}$-map. Now, again using the specific hypotheses, Proposition 2 shows that also the mapping $A^{*}:U\times V\times F_{\mathcal{S}}^{\prime }\to F_{\mathcal{S}}^{\prime }$, $(g,x,\lambda )\mapsto a^{*}(g,x)\left(\lambda \right)$ is $C_{\mathbb{K}}^{r_{-}}$. However, for $g\in U$, $x\in V$, and $\lambda \in F^{\prime }$, we calculate

$$\begin{array}{ccc}\hfill \tilde{\psi }\left({\beta }^{*}(g,{\tilde{\varphi }}^{-1}(x,\lambda ))\right)& =& \left(\alpha (g,x),{\left({pr}_F\circ \varphi {{|}_{E_x}\circ \beta (g^{-1},·)|}_{E_{\alpha (g,x)}}^{E_x}\circ {({pr}_F\circ \psi {|}_{E_{\alpha (g,x)}})}^{-1}\right)}^{\prime }\left(\lambda \right)\right)\hfill \\ & =& (\alpha (g,x),A^{*}(g,x,\lambda )),\hfill \end{array}$$

using the notation as in (15). We conclude that ${\beta }^{*}{|}_{U\times p^{-1}\left(V\right)}$ is $C_{\mathbb{K}}^{r_{-}}$. □

Example 3.

For elementary examples, recall that the group $Diff\left(M\right)$ of all smooth diffeomorphisms of a σ-compact, finite-dimensional smooth manifold M can be made a smooth Lie group, modelled on the (LF)-space ${\mathrm{\Gamma }}_c\left(TM\right)$ of compactly supported smooth vector fields on M (see [13,15]). The natural action $Diff\left(M\right)\times M\to M$ is smooth [13]. In view of Example 1, Proposition 14 (b), Proposition 8 and Proposition 4, we readily deduce that also the natural action of $Diff\left(M\right)$ on $TM$ is smooth, as well as the natural actions on $T^{*}M:={\left(TM\right)}^{\prime }$, $T{M}^{\otimes n}\otimes {\left(T^{*}M\right)}^{\otimes m}$ for all $n,m\in {\mathbb{N}}_0$, and the natural action on the subbundles $S^n\left(T^{*}M\right)$ and ${\bigwedge }^n{T}^{*}M$ of ${\left(T^{*}M\right)}^{\otimes n}$ given by symmetric and exterior powers, respectively.

11. Locally Convex Poisson Vector Spaces

We discuss a slight generalisation of the concept of a locally convex Poisson vector space introduced in [8]. Fix $\mathbb{K}\in \{\mathbb{R},\mathbb{C}\}$.

A bounded set-functor $\mathcal{S}$ associates with each locally convex $\mathbb{K}$-vector space E a set $\mathcal{S}\left(E\right)$ of bounded subsets of E, such that $\left\{\lambda \right(M):M\in \mathcal{S}(E\left)\right\}\subseteq \mathcal{S}\left(F\right)$ for each continuous $\mathbb{K}$-linear map $\lambda :E\to F$ between locally convex $\mathbb{K}$-vector spaces (cf. [8] (Definition 16.15)). Given locally convex $\mathbb{K}$-vector spaces E and F, we shall write $L{(E,F)}_{\mathcal{S}}$ as a shorthand for $L_{\mathbb{K}}{(E,F)}_{\mathcal{S}\left(E\right)}$. We write $E_{\mathcal{S}}^{\prime }:=L_{\mathbb{K}}{(E,\mathbb{K})}_{\mathcal{S}}$.

Throughout this section, we let $\mathcal{S}$ be a bounded set-functor such that, for each locally convex space E, we have

$$\{K\subseteq E:K \mathrm{is} \mathrm{compact}\}\subseteq \mathcal{S}\left(E\right).$$

(16)

Then, $\left\{x\right\}\in \mathcal{S}\left(E\right)$ for each $x\in E$, and we get a continuous linear point evaluation

$${\eta }_{E,\mathcal{S}}\left(x\right):E_{\mathcal{S}}^{\prime }\to \mathbb{K},\lambda \mapsto \lambda \left(x\right).$$

Definition 8.

A locally convex Poisson vector space with respect to $\mathcal{S}$ is a locally convex $\mathbb{K}$-vector space E such that $E\times E$ is a $k_{\mathbb{R}}$-space and

$${\eta }_{E,\mathcal{S}}:E\to {\left(E_{\mathcal{S}}^{\prime }\right)}_{\mathcal{S}}^{\prime },x\mapsto {\eta }_{E,\mathcal{S}}\left(x\right)$$

a topological embedding, together with a bilinear map $[.,.]:E_{\mathcal{S}}^{\prime }\times E_{\mathcal{S}}^{\prime }\to E_{\mathcal{S}}^{\prime }$, $(\lambda ,\eta )\mapsto [\lambda ,\eta ]$, which makes $E_{\mathcal{S}}^{\prime }$ a Lie algebra, is $\mathcal{S}\left(E_{\mathcal{S}}^{\prime }\right)$-hypocontinuous in its second argument, and satisfies

$${\eta }_{E,\mathcal{S}}\left(x\right)\circ {ad}_{\lambda }\in {\eta }_{E,\mathcal{S}}\left(E\right)for allx\in E and \lambda \in E^{\prime },$$

(17)

writing ${ad}_{\lambda }:=ad\left(\lambda \right):=[\lambda ,.]:E^{\prime }\to E^{\prime }$.

Remark 16.

(a)

Definition 16.35 in [8] was more restrictive; E was assumed to be a $k^{\infty }$-space there.

(b)

In [8] (16.31 (b)), the following additional condition was imposed: For each $M\in \mathcal{S}\left(E_{\mathcal{S}}^{\prime }\right)$ and $N\in \mathcal{S}\left(E\right)$, the set $\epsilon (M\times N)$ is bounded in $\mathbb{K}$, where $\epsilon :E^{\prime }\times E\to \mathbb{K}$ is the evaluation map. As we assume (16), the latter condition is automatically satisfied, by [8] (Proposition 16.11 (a) and Proposition 16.14).

(c)

Let us say that a locally convex space E is$\mathcal{S}$-reflexive if ${\eta }_{E,\mathcal{S}}:E\to {\left(E_{\mathcal{S}}^{\prime }\right)}_{\mathcal{S}}^{\prime }$ is an isomorphism of topological vector spaces.

(d)

Of course, we are mostly interested in the case where $[.,.]$ is continuous, but only hypocontinuity is required for the basic theory.

Definition 9.

Let $(E,[.,.\left]\right)$ be a locally convex Poisson vector space with respect to $\mathcal{S}$, and $U\subseteq E$ be open. Given $f,g\in C_{\mathbb{K}}^{\infty }(U,\mathbb{K})$, we define a function $\{f,g\}:U\to \mathbb{K}$ via

$$\{f,g\}\left(x\right):=⟨[f^{\prime }\left(x\right),g^{\prime }\left(x\right)],x⟩for x\in U,$$

(18)

where $⟨.,.⟩:E^{\prime }\times E\to \mathbb{K}$, $⟨\lambda ,x⟩:=\lambda \left(x\right)$ is the evaluation map and $f^{\prime }\left(x\right)=df(x,.)$.Condition (17) in Definition 8 enables us to define a map $X_f:U\to E$ via

$$X_f\left(x\right):={\eta }_{E,\mathcal{S}}^{-1}\left({\eta }_{E,\mathcal{S}}\left(x\right)\circ ad\left(f^{\prime }\left(x\right)\right)\right)forx\in U.$$

(19)

Using Lemma 11 instead of [8] (Theorem 16.26), we see as in the proof of [8] (Theorem 16.40 (a)) that the function $\{f,g\}:U\to \mathbb{K}$ is $C_{\mathbb{K}}^{\infty }$. The $C_{\mathbb{K}}^{\infty }$-function $\{f,g\}$ is called the Poisson bracket of f and g. Using Lemma 11 instead of [8] (Theorem 16.26), we see as in the proof of [8] (Theorem 16.40 (b)) that $X_f:U\to E$ is a $C_{\mathbb{K}}^{\infty }$-map; it is called the Hamiltonian vector field associated with f. As in [8] (Remark 16.43), we see that the Poisson bracket just defined makes $C_{\mathbb{K}}^{\infty }(U,\mathbb{K})$ a Poisson algebra.

We shall write “b” and “c” in place of $\mathcal{S}$ if $\mathcal{S}$ is the bounded set functor, taking a locally convex space E to the set $\mathcal{S}\left(E\right)$ of all bounded subsets and compact subsets of E, respectively. Both of these satisfy the hypothesis (16).

In the following, we describe new results for locally convex Poisson vector spaces over $\mathcal{S}=c$. We mention that the embedding property of ${\eta }_{E,c}$ is automatic in this case, as $E\times E$ is a $k_{\mathbb{R}}$-space in Definition 9; thus, E is a $k_{\mathbb{R}}$-space and Remark 13 applies.

Example 4.

Let ${\left({\mathfrak{g}}_j\right)}_{j\in J}$ be a family of finite-dimensional real Lie algebras ${\mathfrak{g}}_j$. Endow $\mathfrak{g}:={⨁}_{j\in J}{\mathfrak{g}}_j$ with the locally convex direct sum topology, which coincides with the finest locally convex vector topology. Then, $\mathfrak{g}$ is c-reflexive, as with every vector space with its finest locally convex vector topology (see [39] (Theorem 7.30 (a))). As a consequence, also ${\mathfrak{g}}_c^{\prime }$ is c-reflexive (cf. [39] (Proposition 7.9 (iii))). Using [40] (Proposition 7.1), we see that the component-wise Lie bracket $\mathfrak{g}\times \mathfrak{g}\to \mathfrak{g}$ is continuous on the locally convex space $\mathfrak{g}\times \mathfrak{g}$, which is naturally isomorphic to the locally convex direct sum ${⨁}_{j\in J}({\mathfrak{g}}_j\times {\mathfrak{g}}_j)$. We set $E:={\mathfrak{g}}_c^{\prime }$ and give $E_c^{\prime }$ the continuous Lie bracket $[.,.]$ making ${\eta }_{\mathfrak{g},c}:\mathfrak{g}\to {\left({\mathfrak{g}}_c^{\prime }\right)}_c^{\prime }=E_c^{\prime }$ an isomorphism of topological Lie algebras. Then

$$E={\mathfrak{g}}_c^{\prime }\cong \prod _{j\in J}{\left({\mathfrak{g}}_j\right)}_c^{\prime }$$

and $E\times E$ are $k_{\mathbb{R}}$-spaces, being Cartesian products of locally compact spaces (see [22]). Thus, $(E,[.,.\left]\right)$ is a locally convex Poisson vector space over $\mathcal{S}=c$, in the sense of Definition 8. If J has cardinality $\ge 2^{{\aleph }_0}$ and ${\mathfrak{g}}_j\ne \left\{0\right\}$ for all $j\in J$ (e.g., if we take an abelian 1-dimensional Lie algebra ${\mathfrak{g}}_j$ for each $j\in J$), then $E\cong {\mathbb{R}}^J$ is not a k-space. Hence, E is not a $k^{\infty }$-space, and hence it is not a Poisson vector space in the more restrictive sense of [8].

12. Continuity Properties of the Poisson Bracket

If E and F are locally convex $\mathbb{K}$-vector spaces and $U\subseteq E$ an open subset, we endow $C^{\infty }(U,F)$ with the compact-open $C^{\infty }$-topology. Our goal is the following result:

Theorem 1.

Let $(E,[.,.\left]\right)$ be a locally convex Poisson vector space with respect to $\mathcal{S}=c$. Let $U\subseteq E$ be open. Then, the Poisson bracket

$$\{.,.\}:C_{\mathbb{K}}^{\infty }(U,\mathbb{K})\times C_{\mathbb{K}}^{\infty }(U,\mathbb{K})\to C_{\mathbb{K}}^{\infty }(U,\mathbb{K})$$

is c-hypocontinuous in its second variable. If $[.,.]:E_c^{\prime }\times E_c^{\prime }\to E_c^{\prime }$ is continuous, then also the Poisson bracket is continuous.

Various auxiliary results are needed to prove Theorem 1. With little risk of confusion with subsets of spaces of operators, given a 0-neighbourhood $W\subseteq F$ and a compact set $K\subseteq U$, we shall write $\lfloor K,W\rfloor :=\{f\in C(U,F):f(K)\subseteq W\}$.

Lemma 17.

Let $E,F$ be locally convex spaces and $U\subseteq E$ be open. Then, the linear map

$$D:C_{\mathbb{K}}^{\infty }(U,F)\to C_{\mathbb{K}}^{\infty }(U,L{(E,F)}_c),f\mapsto f^{\prime }$$

is continuous.

Proof. 

By Corollary 1, $f^{\prime }\in C_{\mathbb{K}}^{\infty }(U,L{(E,F)}_c)$ for each $f\in C_{\mathbb{K}}^{\infty }(U,F)$. As D is linear and also $C^{\infty }(U,L{(E,F)}_c)\to C(U\times E^k,L{(E,F)}_c)$, $f\mapsto d^{k}f$ is linear for each $k\in {\mathbb{N}}_0$,

$$d^k\circ D:C^{\infty }(U,F)\to C{(U\times E^k,L{(E,F)}_c)}_{c.o.}$$

(20)

is linear, whence it will be continuous if it is continuous at 0. We pick a typical 0-neighbourhood in $C{(U\times E^k,L{(E,F)}_c)}_{c.o.}$, say $\lfloor K,V\rfloor$ with a compact subset $K\subseteq U\times E^k$ and a 0-neighbourhood $V\subseteq L{(E,F)}_c$. After shrinking V, we may assume that $V=\lfloor A,W\rfloor$ for some compact set $A\subseteq E$ and 0-neighbourhood $W\subseteq F$.

We now recall that for $f\in C_{\mathbb{K}}^{\infty }(U,F)$, we have

$$d^k\left(f^{\prime }\right)(x,y_1,\dots ,y_k)=d^{k+1}f(x,y_1,\dots ,y_k,·):E\to F$$

(21)

for all $k\in {\mathbb{N}}_0$, $x\in U$ and $y_1,\dots ,y_k\in E$ (cf. Corollary 1). Since $\lfloor K\times A,W\rfloor$ is an open 0-neighbourhood in $C(U\times E^{k+1},F)$ and the map $C^{\infty }(U,F)\to C{(U\times E^{k+1},F)}_{c.o.}$, $f\mapsto d^{k+1}f$ is continuous, we see that the set $\mathrm{\Omega }$ of all $f\in C^{\infty }(U,F)$ such that $d^{k+1}f\in \lfloor K\times A,W\rfloor$ is a 0-neighbourhood in $C^{\infty }(U,F)$. In view of (21), we have $d^k\left(f^{\prime }\right)\in \lfloor K,\lfloor A,W\rfloor \rfloor$ for each $f\in \mathrm{\Omega }$. Hence, $d^k\circ D$ from (20) is continuous at 0, as required. □

Lemma 18.

Let X be a Hausdorff topological space, F be a locally convex space, $K\subseteq X$ be compact and $M\subseteq C{(X,F)}_{c.o.}$ be compact. Let $ev:C(X,F)\times X\to F$, $(f,x)\mapsto f\left(x\right)$ be the evaluation map. Then, $ev(M\times K)$ is compact.

Proof. 

The map $\rho :C{(X,F)}_{c.o.}\to C{(K,F)}_{c.o.}$, ${f\mapsto f|}_K$ is continuous by [20] (§3.2 (2)). Thus, $\rho \left(M\right)$ is compact in $C{(K,F)}_{c.o.}$. The map $\epsilon :C(K,F)\times K\to F$, $(f,x)\mapsto f\left(x\right)$ is continuous by [20] (Theorem 3.4.2). Hence, $ev(M\times K)=\epsilon \left(\rho \right(M)\times K)$ is compact. □

Lemma 19.

Let E, $F_1$, $F_2$, and G be locally convex $\mathbb{K}$-vector spaces and $\beta :F_1\times F_2\to G$ be a bilinear map which is c-hypocontinuous in its second argument. Let $U\subseteq E$ be an open subset and $r\in {\mathbb{N}}_0\cup \{\infty \}$. Assume that $E\times E$ is a $k_{\mathbb{R}}$-space, or $r=0$ and E is a $k_{\mathbb{R}}$-space, or $(r,\mathbb{K})=(\infty ,\mathbb{C})$ and E is a $k_{\mathbb{R}}$-space. Then, the following holds:

(a)

We have $\beta \circ (f,g)\in C_{\mathbb{K}}^r(U,G)$ for all $(f,g)\in C_{\mathbb{K}}^r(U,F_1)\times C_{\mathbb{K}}^r(U,F_2)$. The map

$$C_{\mathbb{K}}^r(U,\beta ):C_{\mathbb{K}}^r(U,F_1)\times C_{\mathbb{K}}^r(U,F_2)\to C_{\mathbb{K}}^r(U,G),(f,g)\mapsto \beta \circ (f,g)$$

is bilinear. For each compact subset $M\subseteq C_{\mathbb{K}}^r(U,F_2)$ and 0-neighbourhood $W\subseteq C_{\mathbb{K}}^r(U,G)$, there is a 0-neighbourhood $V\subseteq C_{\mathbb{K}}^r(U,F_1)$ such that $C_{\mathbb{K}}^r(U,\beta )(V\times M)\subseteq W$.

(b)

For each $g\in C_{\mathbb{K}}^r(U,F_2)$, the map $C_{\mathbb{K}}^r(U,F_1)\to C_{\mathbb{K}}^r(U,G)$, $f\mapsto \beta \circ (f,g)$ is continuous and linear.

(c)

If β is also c-hypocontinuous in its first argument, then $C_{\mathbb{K}}^r(U,\beta )$ is c-hypocontinuous in its second argument and c-hypocontinuous in its first argument.

(d)

If β is continuous, then $C_{\mathbb{K}}^r(U,\beta )$ is continuous.

Proof. 

(a) By Lemma 11, $\beta \circ (f,g)\in C_{\mathbb{K}}^r(U,G)$. The bilinearity of $C^r(U,\beta )$ is clear. It suffices to prove the remaining assertion for each $r\in {\mathbb{N}}_0$. To see this, let $M\subseteq C_{\mathbb{K}}^{\infty }(U,F_2)$ be a compact subset and $W\subseteq C_{\mathbb{K}}^{\infty }(U,G)$ be a 0-neighbourhood. Since the topology on $C_{\mathbb{K}}^{\infty }(U,G)$ is initial with respect to the family of inclusion maps $C_{\mathbb{K}}^{\infty }(U,G)\to C_{\mathbb{K}}^r(U,G)$ for $r\in {\mathbb{N}}_0$, there exists $r\in {\mathbb{N}}_0$ and a 0-neighbourhood Q in $C_{\mathbb{K}}^r(U,G)$ such that $C_{\mathbb{K}}^{\infty }(U,G)\cap Q\subseteq W$. If the assertion holds for r, we find a 0-neighbourhood $P\subseteq C_{\mathbb{K}}^r(U,F_1)$ such that $C_{\mathbb{K}}^r(U,\beta )(P\times M)\subseteq Q$. Then, $V:=C_{\mathbb{K}}^{\infty }(U,F_1)\cap P$ is a 0-neighbourhood in $C_{\mathbb{K}}^{\infty }(U,F_1)$ and $C_{\mathbb{K}}^{\infty }(U,\beta )(V\times M)\subseteq C_{\mathbb{K}}^{\infty }(U,G)\cap C_{\mathbb{K}}^r(U,\beta )(P\times M)\subseteq C_{\mathbb{K}}^{\infty }(U,G)\cap Q\subseteq W$.

The case $r=0$. Let $M\subseteq C(U,F_2)$ be compact and $W\subseteq C(U,G)$ be a 0-neighbourhood. Then, $\lfloor K,Q\rfloor \subseteq W$ for some compact subset $K\subseteq U$ and some 0-neighbourhood $Q\subseteq G$. By Lemma 18, the set $N:=ev(M\times K)\subseteq F_2$ is compact, where $ev:C(U,F_2)\times U\to F_2$ is the evaluation map. Since $\beta$ is c-hypocontinuous in its second argument, there exists a 0-neighbourhood $P\subseteq F_1$ with $\beta (P\times N)\subseteq Q$. Then, $\beta \circ (\lfloor K,P\rfloor \times M)\subseteq \lfloor K,Q\rfloor \subseteq W$.

Induction step. Let $M\subseteq C_{\mathbb{K}}^r(U,F_2)$ be a compact subset and $W\subseteq C_{\mathbb{K}}^r(U,G)$ be a 0-neighbourhood. The topology on $C^r(U,G)$ is initial with respect to the linear maps ${\lambda }_1:C_{\mathbb{K}}^r(U,G)\to C{(U,G)}_{c.o.}$, $f\mapsto f$ and ${\lambda }_2:C_{\mathbb{K}}^r(U,G)\to C_{\mathbb{K}}^{r-1}(U\times E,G)$, $f\mapsto df$ (by [26] (Lemma A.1 (d))). Note that the ordinary $C^r$-topology is used there, by [26] (Proposition 4.19 (d) and Lemma A2). After shrinking W, we may therefore assume that

$$W={\left({\lambda }_1\right)}^{-1}\left(W_1\right)\cap {\left({\lambda }_2\right)}^{-1}\left(W_2\right)$$

with absolutely convex 0-neighbourhoods $W_1\subseteq C(U,G)$ and $W_2\subseteq C_{\mathbb{K}}^{r-1}(U\times E,G)$. Applying the case $r=0$ to $C(U,\beta )$, we find a 0-neighbourhood $V_1\subseteq C(U,F_1)$ such that $C(U,\beta )(V_1\times M)\subseteq W_1$. The map ${\delta }_j:C_{\mathbb{K}}^r(U,F_j)\to C_{\mathbb{K}}^{r-1}(U\times E,F_j)$, $f\mapsto df$ is continuous linear and $\pi :U\times E\to U$, $(x,y)\mapsto x$ is smooth, whence ${\rho }_j:C_{\mathbb{K}}^r(U,F_j)\to C_{\mathbb{K}}^{r-1}(U\times E,F_j)$, $f\mapsto f\circ \pi$ is continuous linear (cf. [26] (Lemma 4.4) or [13] (Proposition 1.7.11)). By (5),

$${\lambda }_2\circ C_{\mathbb{K}}^r(U,\beta )=C_{\mathbb{K}}^{r-1}(U\times E,\beta )\circ ({\delta }_1\times {\rho }_2)+C_{\mathbb{K}}^{r-1}(U\times E,\beta )\circ ({\rho }_1\times {\delta }_2).$$

(22)

The subsets ${\rho }_2\left(M\right)\subseteq C_{\mathbb{K}}^{r-1}(U\times E,F_2)$ and ${\delta }_2\left(M\right)\subseteq C_{\mathbb{K}}^{r-1}(U\times E,F_2)$ are compact. Using the case $r-1$ (with $U\times E$ in place of U), which holds as the inductive hypothesis, we find 0-neighbourhoods $V_2,V_3\subseteq C_{\mathbb{K}}^{r-1}(U\times E,F_1)$ such that $C_{\mathbb{K}}^{r-1}(U,\beta )(V_2\times {\rho }_2\left(M\right))\subseteq (1/2)W_2$ and $C_{\mathbb{K}}^{r-1}(U,\beta )(V_3\times {\delta }_2\left(M\right))\subseteq (1/2)W_2$. Then, $Q:={\left({\delta }_1\right)}^{-1}\left(V_2\right)\cap {\left({\rho }_1\right)}^{-1}\left(V_3\right)$ is an open 0-neighbourhood in $C_{\mathbb{K}}^r(U,F_1)$. Since $(1/2)W_2+(1/2)W_2=W_2$, we deduce from (22) that

$${\lambda }_2\left(C_{\mathbb{K}}^r(U,\beta )(Q\times M)\right)\subseteq C_{\mathbb{K}}^{r-1}(U\times E,\beta )(V_2\times {\rho }_2\left(M\right))+C_{\mathbb{K}}^{r-1}(U\times E,\beta )(V_3\times {\delta }_2\left(M\right))\subseteq W_2.$$

Thus, $C_{\mathbb{K}}^r(U,\beta )(Q\times M)\subseteq {\left({\lambda }_2\right)}^{-1}\left(W_2\right)$. Now, $V:=V_1\cap Q$ is a 0-neighbourhood in $C_{\mathbb{K}}^r(U,F_1)$ such that $C_{\mathbb{K}}^r(U,\beta )(V\times M)\subseteq {\left({\lambda }_1\right)}^{-1}\left(W_1\right)\cap {\left({\lambda }_2\right)}^{-1}\left(W_2\right)=W$.

(b) Since $C_{\mathbb{K}}^r(U,\beta )$ is bilinear, the map $f\mapsto \beta \circ (f,g)$ is linear. Its continuity follows from (a), applied with the singleton $M:=\left\{g\right\}$.

(c) By (a) just established, the condition in Lemma 4 (a) is satisfied. By (b), the map $C_{\mathbb{K}}^r(U,\beta )$ is continuous in its first argument. Interchanging the roles of $F_1$ and $F_2$, we see that $C_{\mathbb{K}}^r(M,\beta )$ is also continuous in its second argument and hence c-hypocontinuous in its second argument. Likewise, $C_{\mathbb{K}}^r(U,\beta )$ is c-hypoocontinuous in its first argument.

(d) If $\beta$ is continuous and hence smooth, then $C^r(U,\beta )$ is smooth and hence continuous, as a very special case of [26] (Proposition 4.16) or [13] (Corollary 1.7.13). □

Proof of Theorem 1.

By Lemma 17, the mapping $D:C^{\infty }(U,\mathbb{K})\to C^{\infty }(U,E_c^{\prime })$, $f\mapsto f^{\prime }$ is continuous and linear. By Lemma 19 (c), the bilinear map

$$C^{\infty }(U,[.,.]):C^{\infty }(U,E^{\prime })\times C^{\infty }(U,E^{\prime })\to C^{\infty }(U,E^{\prime }),(f,g)\mapsto (x\mapsto [f\left(x\right),g\left(x\right)])$$

is c-hypocontinuous in its second argument; if $[.,.]$ is continuous, then also $C^{\infty }(U,[.,.])$, by Lemma 19 (d). The evaluation map $\beta :E\times E_c^{\prime }\to \mathbb{K}$, $(x,\lambda )\mapsto \lambda \left(x\right)$ is c-hypocontinuous in its first argument, by Proposition 7. As a consequence, ${\beta }_{*}:C^{\infty }(U,E_c^{\prime })\to C^{\infty }(U,\mathbb{K})$, $f\mapsto \beta \circ ({id}_U,f)$ is continuous linear by Lemma 19 (b). Since

$$\{.,.\}={\beta }_{*}\circ C^{\infty }(U,[.,.])\circ (D\times D)$$

by definition, we see that $\{.,.\}$ is a composition of continuous maps if $[.,.]$ is continuous, and hence continuous. In the general case, $\{.,.\}$ is a composition of a bilinear map which is c-hypocontinuous in its second argument and continuous linear maps, whence $\{.,.\}$ is c-hypocontinuous in its second arguemnt. □

13. Continuity of the Map Taking $\mathit{f}$ to the Hamiltonian Vector Field ${\mathit{X}}_{\mathit{f}}$

In this section, we show the continuity of the mapping which takes a smooth function to the corresponding Hamiltonian vector field, in the case $\mathcal{S}=c$.

Theorem 2.

Let $(E,[.,.\left]\right)$ be a locally convex Poisson vector space with respect to $\mathcal{S}=c$. Let $U\subseteq E$ be an open subset. Then, the map

$$\mathrm{\Psi }:C_{\mathbb{K}}^{\infty }(U,\mathbb{K})\to C_{\mathbb{K}}^{\infty }(U,E),f\mapsto X_f$$

(23)

is continuous and linear.

Proof. 

Let ${\eta }_E:E\to {\left(E_c^{\prime }\right)}_c^{\prime }$ be the evaluation homomorphism and $V:=\{A\in L(E_c^{\prime },E_c^{\prime }):$ $(\forall x\in E){\eta }_E\left(x\right)\circ A\in {\eta }_E\left(E\right)\}$. Then, V is a vector subspace of $L(E_c^{\prime },E_c^{\prime })$ and $ad\left(E^{\prime }\right)\subseteq V$. The composition map $\Gamma :{\left(E_c^{\prime }\right)}_c^{\prime }\times L{(E_c^{\prime },E_c^{\prime })}_c\to {\left(E_c^{\prime }\right)}_c^{\prime }$, $(\alpha ,A)\mapsto \alpha \circ A$ is hypocontinuous with respect to equicontinuous subsets of ${\left(E_c^{\prime }\right)}_c^{\prime }$, by Proposition 9 in [11] (Chapter III, §5, no. 5). If $K\subseteq E$ is compact, then the polar $K^{\circ }$ is a 0-neighbourhood in $E_c^{\prime }$, entailing that ${\left(K^{\circ }\right)}^{\circ }\subseteq {\left(E_c^{\prime }\right)}^{\prime }$ is equicontinuous. Hence, ${\eta }_E$ takes compact subsets of E to equicontinuous subsets of ${\left(E_c^{\prime }\right)}^{\prime }$, and hence

$$\beta :E\times V\to E,(x,A)\mapsto {\eta }_E^{-1}\left(\mathrm{\Gamma }({\eta }_E\left(x\right),A)\right)$$

is c-hypocontinuous in its first argument. By Lemma 19 (c), ${\beta }_{*}:C^{\infty }(U,V)\to C^{\infty }(U,E)$, $f\mapsto \beta \circ ({id}_U,f)$ is continuous linear. Moreover, the map $D:C^{\infty }(U,\mathbb{K})\to C^{\infty }(U,E_c^{\prime })$, $f\mapsto f^{\prime }$ is continuous linear by Lemma 17. Furthermore, $ad={[.,.]}^{\vee }:E_c^{\prime }\to L{(E_c^{\prime },E_c^{\prime })}_c$ is continuous linear since $[.,.]$ is c-hypocontinuous in its second argument (see Lemma 4 (b)), whence

$$C^{\infty }(U,ad):C^{\infty }(U,E_c^{\prime })\to C^{\infty }(U,L{(E_c^{\prime },E_c^{\prime })}_c),f\mapsto ad\circ f$$

is continuous linear (see, e.g., [26] (Lemma 4.13), or [13] (Corollary 1.7.13)). Hence, $\mathrm{\Psi }={\beta }_{*}\circ C^{\infty }(U,ad)\circ D$ is continuous and linear. □