The results are useful in infinite-dimensional Lie theory, where they can be used to analyze the precise direct limit properties of test function groups and groups of compactly supported diffeomorphisms. Subject classification: 46F05, 46T20; 46A13, 46M40, 22E65 Let $E_1\subseteq E_2\subseteq \cdots$  be an ascending sequence of locally convex spaces which does not become stationary, and such that $E_{n+1}$  induces the given topology on $E_n$  , for each $n$  . It is a well-known phenomenon that the topology on $E:={\cup }_{n\in \mathbb{N}}{E}_n$  making $E$  the direct limit of the spaces $E_n$  in the category of locally convex spaces (and continuous linear maps) can be properly coarser than the topology making $E$  the direct limit of its subspaces $E_n$  in the category of topological spaces. For example, this phenomenon occurs whenever each $E_n$  is an infinite-dimensional Fréchet space (cf. [13,Prop.4.26(ii)] ). In particular, the locally convex direct limit topology on the space $C_c^{\infty }(\mathbb{R})=lim⟶C_{[-n,n]}^{\infty }(\mathbb{R})$  of test functions is properly coarser than the topology of direct limit topological space (cf. also [3,p.506] ).

So, for abstract reasons, discontinuous mappings on the space of test functions $C_c^{\infty }(\mathbb{R})$  are known to exist whose restriction to $C_{[-n,n]}^{\infty }(\mathbb{R})$  is continuous for each $n\in \mathbb{N}$  . In this article, we describe such a mapping explicitly, whose restriction to $C_{[-n,n]}^{\infty }(\mathbb{R})$  is not only continuous but actually smooth (Proposition  2.2 ). More generally, for every $\sigma$  -compact, non-compact, finite-dimensional smooth manifold $M$  of positive dimension and locally convex space $E\ne \left\{0\right\}$  , we construct a discontinuous map $f:C_c^{\infty }(M,E)\to C_c^{\infty }(M,\mathbb{R})$  whose restriction to $C_K^{\infty }(M,E)$  is smooth, for each compact subset $K$  of $M$  . An analogous result is obtained for the space $C_c^{\infty }(M,E)$  of compactly supported smooth sections in a bundle of locally convex spaces $E\to M$  over $M$  , with non-trivial fibre (Theorem  3.2 ).

Further developments. The preceding result is useful for the investigation of direct limit properties of infinite-dimensional Lie groups. As shown in [11] , it entails that there are discontinuous (and hence non-smooth) mappings on the Lie group ${\text{Diff}}_c\left(M\right)={\cup }_K{\text{Diff}}_K\left(M\right)$  of compactly supported smooth diffeomorphisms of $M$  (as in [14] or [10] ), whose restriction to ${\text{Diff}}_K\left(M\right):=\{\phi \in \text{Diff}(M):\phi {|}_{M\backslash K}={\text{id}}_{M\backslash K}\}$  is smooth, for each compact subset $K\subseteq M$  . A similar pathology occurs for the Lie group $C_c^{\infty }(M,G)={\cup }_K{C}_K^{\infty }(M,G)$  of compactly supported smooth maps with values in a non-discrete finite-dimensional Lie group (as in [5] ). In this way, we obtain one half of the following table, which describes whether ${\text{Diff}}_c\left(M\right)=lim⟶{\text{Diff}}_K\left(M\right)$  and $C_c^{\infty }(M,G)=lim⟶C_K^{\infty }(M,G)$  holds in the categories shown:

category $\backslash$  group	$C_c^{\infty }(M,G)$	${\text{Diff}}_c\left(M\right)$
Lie groups	yes	yes
topological groups	yes	yes
smooth manifolds	no	no
topological spaces	no	no

For the proof, see [11] (cf. also [18] for related results).

The present constructions of pathological mappings are complemented by investigations in [8] –[10] (cf. also [7] ). In these articles, a mild additional property is introduced which ensures that a map $f:C_c^{\infty }(M,E)\to C_c^{\infty }(N,F)$  between spaces of test functions (or compactly supported sections) satisfying this property (an “almost local” map) is indeed smooth if and only if it is smooth on $C_K^{\infty }(M,E)$  for each $K$  . In contrast to these mappings, the pathological examples presented here are extremely non-local.

In the final section, we describe examples of discontinuous bilinear mappings which are continuous (and hence analytic) on each step of a directed sequence of subspaces.

1 Preliminaries

In this article, we are working in the setting of infinite-dimensional differential calculus known as Keller's $C_c^{\infty }$  -theory, based on smooth maps in the sense of Michal-Bastiani (see [4] , [12] , [14] , [16] for further information).

Definition 1.1 Let $E$  , $F$  be locally convex spaces and $f:U\to F$  be a mapping, defined on an open subset $U$  of $E$  . We say that $f$  is of class $C^0$  if $f$  is continuous. If $f$  is a continuous map such that the two-sided directional derivatives $$df(x,v)={lim}_{t\to 0}\frac{1}{t}\left(f(x+tv)-f\left(x\right)\right)$$  exist for all $(x,v)\in U\times E$  , and the map $df:U\times E\to F$  so defined is continuous, then $f$  is said to be of class $C^1$  . Recursively, given $k\in \mathbb{N}$  we call $f$  a mapping of class $C^{k+1}$  if it is of class $C^1$  and $df$  is of class $C^k$  on the open subset $U\times E$  of $E\times E$  . We set $d^{k+1}f:=d\left(d^{k}f\right)=d^k\left(df\right):U\times E^{2^{k+1}-1}\to F$  in this case. The function $f$  is called smooth (or of class $C^{\infty }$  ) if it is of class $C^k$  for each $k\in {\mathbb{N}}_0$  .

Definition 1.2 Let $M$  be a finite-dimensional, $\sigma$  -compact smooth manifold and $E$  be a locally convex topological vector space. We equip the vector space $C^{\infty }(M,E)$  of $E$  -valued smooth mappings $\gamma$  on $M$  with the topology of uniform convergence of ${\partial }^{\alpha }(\gamma \circ {\kappa }^{-1})$  on compact subsets of $V$  , for each chart $\kappa :M\supseteq U\to V\subseteq {\mathbb{R}}^d$  of $M$  and multi-index $\alpha \in {\mathbb{N}}_0^d$  (where $d:=dim\left(M\right)$  ). Given a compact subset $K\subseteq M$  , we equip the vector subspace $C_K^{\infty }(M,E):=\{\gamma \in C^{\infty }(M,E):\gamma {|}_{M\backslash K}=0\}$  of $C^{\infty }(M,E)$  with the induced topology. We give $C_c^{\infty }(M,E):={\cup }_K{C}_K^{\infty }(M,E)=lim⟶C_K^{\infty }(M,E)$  the locally convex direct limit topology. We abbreviate $C_c^{\infty }\left(M\right):=C_c^{\infty }(M,\mathbb{R})$  , $C^{\infty }\left(M\right):=C^{\infty }(M,\mathbb{R})$  , and $C_K^{\infty }\left(M\right):=C_K^{\infty }(M,\mathbb{R})$  . Further details can be found, e.g., in [5] .

2 Example of a discontinuous mapping on ${\mathit{C}}_{\mathit{c}}^{\mathsf{\infty }}\mathbf{(}\mathbb{R}\mathbf{)}$ 

We show that the map $f:C_c^{\infty }(\mathbb{R})\to C_c^{\infty }(\mathbb{R})$  , $\gamma \mapsto \gamma \circ \gamma -\gamma \left(0\right)$  is discontinuous, although its restriction to $C_{[-n,n]}^{\infty }(\mathbb{R})$  is smooth, for each $n\in \mathbb{N}$  .

The following fact is essential for our constructions. It follows from [13,Cor.3.13] and is also a special case of [8,Prop.11.3] . For the convenience of the reader, we offer a direct, elementary proof as an appendix.

Lemma 2.1 The composition map $$\Gamma :C^{\infty }({\mathbb{R}}^n,{\mathbb{R}}^m)\times C^{\infty }(M,{\mathbb{R}}^n)\to C^{\infty }(M,{\mathbb{R}}^m),\Gamma (\gamma ,\eta ):=\gamma \circ \eta$$  is smooth, for each finite-dimensional, $\sigma$  -compact smooth manifold $M$  and $m,n\in {\mathbb{N}}_0$  . $\square$ 

For the following proof, recall that the sets $$\mathcal{V}(k,e):=\left\{\gamma \in C_c^{\infty }(\mathbb{R}):(\forall n\in \mathbb{Z})(\forall j\in \{0,\dots ,k_n\left\}\right)(\forall x\in [n-\frac{1}{2},n+\frac{1}{2}\left]\right)\left|{\gamma }^{\left(j\right)}\right(x\left)\right|<{\varepsilon }_n\right\}$$  form a basis of open zero-neighbourhoods for the topology on $C_c^{\infty }(\mathbb{R})$  , where $k=\left(k_n\right)\in ({\mathbb{N}}_0{)}^{\mathbb{Z}}$  and $e=\left({\varepsilon }_n\right)\in ({\mathbb{R}}^{+}{)}^{\mathbb{Z}}$  (cf. [17,§II.1] ; see [5,Prop.4.8] ).

Proposition 2.2 $f:C_c^{\infty }(\mathbb{R})\to C_c^{\infty }(\mathbb{R})$  , $\gamma \mapsto \gamma \circ \gamma -\gamma \left(0\right)$  has the following properties:

• (a) The restriction of $f$  to a map $C_{[-n,n]}^{\infty }(\mathbb{R})\to C_c^{\infty }(\mathbb{R})$  is smooth $($  and hence continuous $)$  , for each $n\in \mathbb{N}$  .
• (b) $f$  is discontinuous at $\gamma =0$  .

Proof. (a) Fix $n\in \mathbb{N}$  ; we have to show that $f{|}_{C_{[-n,n]}^{\infty }(\mathbb{R})}:C_{[-n,n]}^{\infty }(\mathbb{R})\to C_c^{\infty }(\mathbb{R})$  is smooth.

The image of this map being contained in the closed vector subspace $C_{[-n,n]}^{\infty }(\mathbb{R})$  of $C_c^{\infty }(\mathbb{R})$  , which also is a closed vector subspace of $C^{\infty }(\mathbb{R})$  (with the same induced topology), it suffices to show that the map $C_{[-n,n]}^{\infty }(\mathbb{R})\to C^{\infty }(\mathbb{R})$  , $\gamma \mapsto \gamma \circ \gamma -\gamma \left(0\right)$  is smooth (see [9,Prop.1.9] or [1,La.10.1] ). Now $\gamma \mapsto \gamma \left(0\right)$  being a continuous linear (and thus smooth) map, it suffices to show that $C_{[-n,n]}^{\infty }(\mathbb{R})\to C^{\infty }(\mathbb{R})$  , $\gamma \mapsto \gamma \circ \gamma$  is smooth. This readily follows from Lemma  2.1 .

(b) Consider the zero-neighbourhood $V:=\mathcal{V}\left(\right(\left|n\right|{)}_{n\in \mathbb{Z}},\left(1{)}_{n\in \mathbb{Z}}\right)$  in $C_c^{\infty }(\mathbb{R})$  . Let $k=\left(k_n\right)\in ({\mathbb{N}}_0{)}^{\mathbb{Z}}$  and $e=\left({\varepsilon }_n\right)\in ({\mathbb{R}}^{+}{)}^{\mathbb{Z}}$  be arbitrary. We show that $f(\mathcal{V}(k,e\left)\right)⊈V$  . Since $f\left(0\right)=0$  , this entails that $f$  is discontinuous at $\gamma =0$  . It is easy to construct a function $h\in C_c^{\infty }(\mathbb{R})$  such that $\text{supp}\left(h\right)\subseteq ]-\frac{1}{2},\frac{1}{2}[$  and $h\left(x\right)=x^{k_0+1}$  for all $x\in [-\frac{1}{4},\frac{1}{4}]$  . Then $rh\in \mathcal{V}(k,e)$  for some $r>0$  . For $m\in \mathbb{N}$  , we define $h_m\in C_c^{\infty }(\mathbb{R})$  via $$h_m\left(x\right):=\frac{r}{m^{k_0}}h\left(mx\right).$$  Then $\text{supp}\left(h_m\right)\subseteq ]-\frac{1}{2m},\frac{1}{2m}[$  and thus $h_m\in \mathcal{V}(k,e)$  since, for all $j=0,\dots ,k_0$  and $x\in [-\frac{1}{2},\frac{1}{2}]$  , we have $\left|h_m^{\left(j\right)}\right(x\left)\right|=\frac{r{m}^j}{m^{k_0}}\left|h^{\left(j\right)}\right(mx\left)\right|<{\varepsilon }_0$  . We now choose $n\in \mathbb{N}$  such that $n\ge k_0+2$  . It is easy to construct a function $\psi \in C_c^{\infty }(\mathbb{R})$  such that $\psi \left(x\right)=x-n$  for $x$  in some neighbourhood of $n$  in $\mathbb{R}$  , and $\text{supp}\left(\psi \right)\subseteq ]n-\frac{1}{2},n+\frac{1}{2}[$  . Then $\phi :=s\cdot \psi \in \mathcal{V}(k,e)$  for suitable $s>0$  . Choosing $s$  small enough, we may assume that $\text{im}\left(\phi \right)\subseteq [-1,1]$  .

The supports of $\phi$  and $h_m$  being disjoint, we easily deduce from $\phi ,h_m\in \mathcal{V}(k,e)$  that also ${\gamma }_m:=\phi +h_m\in \mathcal{V}(k,e)$  . Then ${\gamma }_m\left(0\right)=0$  , and since $\text{im}\left(\phi \right)\subseteq [-1,1]$  , we have $f\left({\gamma }_m\right)\left(x\right)=(h_m\circ \phi )\left(x\right)$  for all $x\in W:=]n-\frac{1}{2},n+\frac{1}{2}[$  . For $x\in W$  sufficiently close to $n$  , we have $\phi \left(x\right)=s\cdot (x-n)\in [-\frac{1}{4m},\frac{1}{4m}]$  and thus $f\left({\gamma }_m\right)\left(x\right)=r\cdot m\cdot s^{k_0+1}\cdot (x-n{)}^{k_0+1}$  , whence $f\left({\gamma }_m{)}^{(k_0+1)}\right(n)=r\cdot m\cdot s^{k_0+1}\cdot (k_0+1)!$  . Thus $f\left({\gamma }_m\right)\notin V$  for all $m\in \mathbb{N}$  such that $r\cdot m\cdot s^{k_0+1}\cdot (k_0+1)!\ge 1$  , and so $f(\mathcal{V}(k,e\left)\right)⊈V$  . As $k$  and $e$  were arbitrary, (b) follows. $\square$ 

Note that $\text{supp}\left(f\right(\gamma \left)\right)\subseteq \text{supp}\left(\gamma \right)$  here, for all $\gamma \in C_c^{\infty }(\mathbb{R})$  .

Remark 2.3 Although the map $f$  from Proposition  2.2 is discontinuous and thus not smooth in the Michal-Bastiani sense, it is easily seen to be smooth in the sense of convenient differential calculus (as any map $f$  on a “regular” countable strict direct limit $E=lim⟶E_n$  of complete locally convex spaces, all of whose restrictions $f{|}_{E_n}$  are smooth). ^$\text{1}$ 

3 Discontinuous mappings on ${\mathit{C}}_{\mathit{c}}^{\mathsf{\infty }}\mathbf{(}\mathit{M}\mathbf{,}\mathit{E}\mathbf{)}$ 

In this section, we generalize our discussion of $C_c^{\infty }(\mathbb{R})$  from Section  2 to the spaces $C_c^{\infty }(M,E)=lim⟶C_K^{\infty }(M,E)$  of compactly supported smooth mappings on a $\sigma$  -compact finite-dimensional smooth manifold $M$  with values in a locally convex space $E$  . We show:

Proposition 3.1 If $E\ne \left\{0\right\}$  , the manifold $M$  is non-compact, and $dim\left(M\right)>0$  , then there exists a mapping $f:C_c^{\infty }(M,E)\to C_c^{\infty }(M,\mathbb{R})$  such that

• (a) The restriction of $f$  to $C_K^{\infty }(M,E)$  is smooth, for each compact subset $K$  of $M$  .
• (b) $f$  is discontinuous at $0$  .

In particular, the locally convex direct limit topology on $C_c^{\infty }(M,E)=lim⟶C_K^{\infty }(M,E)$  is properly coarser than the topology making $C_c^{\infty }(M,E)$  the direct limit of the spaces $C_K^{\infty }(M,E)$  in the category of topological spaces.

Instead of proving this proposition directly, we establish an analogous result for spaces of sections in bundles of locally convex spaces, which is no harder to prove. Noting that the function space $C_c^{\infty }(M,E)$  is topologically isomorphic to the space $C_c^{\infty }(M,M\times E)$  of compactly supported smooth sections in the trivial bundle ${\text{pr}}_M:M\times E\to M$  , clearly Proposition  3.1 is covered by the ensuing discussions for vector bundles. For background material concerning bundles of locally convex spaces and the associated spaces of sections, the reader is referred to [9] (or also [8,Appendix F] ).

For the present purposes, we recall: if $\pi :E\to M$  is a smooth bundle of locally convex spaces over the finite-dimensional, $\sigma$  -compact smooth manifold $M$  , with typical fibre the locally convex space $F$  , then one considers on the space $C^{\infty }(M,E)$  of all smooth sections the initial topology with respect to the family of mappings $${\theta }_{\psi }:C^{\infty }(M,E)\to C^{\infty }(U,F),{\theta }_{\psi }\left(\sigma \right):={\sigma }_{\psi }:={\text{pr}}_F\circ \psi \circ \sigma {|}_U^{{\pi }^{-1}\left(U\right)},$$  which take a smooth section $\sigma$  to its local representation ${\sigma }_{\psi }:U\to F$  with respect to the local trivialization $\psi :{\pi }^{-1}\left(U\right)\to U\times F$  of $E$  . Given a compact subset $K\subseteq M$  , the subspace $C_K^{\infty }(M,E)\subseteq C^{\infty }(M,E)$  of sections vanishing off $K$  is equipped with the induced topology, and $C_c^{\infty }(M,E):={\cup }_K{C}_K^{\infty }(M,E)=lim⟶C_K^{\infty }(M,E)$  is given the locally convex direct limit topology.

Theorem 3.2 Let $M$  be a $\sigma$  -compact, non-compact, finite-dimensional smooth manifold of dimension $dim\left(M\right)>0$  , and $\pi :E\to M$  be a smooth bundle of locally convex spaces over $M$  , whose typical fibre is a locally convex topological vector space $F\ne \left\{0\right\}$  .

Then there exists a discontinuous mapping $f:C_c^{\infty }(M,E)\to C_c^{\infty }(M,\mathbb{R})$  whose restriction to $C_K^{\infty }(M,E)$  is smooth, for each compact subset $K$  of $M$  .

Proof. Let $d:=dim\left(M\right)$  .

Since $M$  is non-compact, there exists a sequence $(U_n{)}_{n\in {\mathbb{N}}_0}$  of mutually disjoint coordinate neighbourhoods $U_n\subseteq M$  diffeomorphic to ${\mathbb{R}}^d$  such that local trivializations ${\psi }_n:{\pi }^{-1}\left(U_n\right)\to U_n\times F$  of $E$  exist, and such that every compact subset of $M$  meets only finitely many of the sets $U_n$  . We define $${\theta }_{{\psi }_n}:C_c^{\infty }(M,E)\to C^{\infty }(U_n,F),{\theta }_{{\psi }_n}\left(\sigma \right):={\sigma }_{{\psi }_n}:={\text{pr}}_F\circ {\psi }_n\circ \sigma {|}_{U_n}^{{\pi }^{-1}\left(U_n\right)}.$$  By definition of the topology on $C_c^{\infty }(M,E)$  , the linear maps ${\theta }_{{\psi }_n}$  are continuous. For each $n\in {\mathbb{N}}_0$  , let ${\kappa }_n:U_n\to {\mathbb{R}}^d$  be a $C^{\infty }$  -diffeomorphism; define $x_n:={\kappa }_n^{-1}\left(0\right)$  . We choose a function $h\in C_c^{\infty }({\mathbb{R}}^d,\mathbb{R})$  such that $h{|}_{[-1,1{]}^d}=1$  ; we define $h_n\in C_c^{\infty }(M,\mathbb{R})$  via $h_n\left(x\right):=h\left({\kappa }_n\right(x\left)\right)$  if $x\in U_n$  , $h_n\left(x\right):=0$  if $x\in M\backslash U_n$  . Let $K_n:=\text{supp}\left(h_n\right)\subseteq U_n$  . We choose a continuous linear functional $0\ne \lambda \in F^{\prime }$  , and pick $v\in F$  such that $\lambda \left(v\right)=1$  . Note that $A:={\cup }_{n\in \mathbb{N}}{K}_n$  is closed in $M$  , the sequence $(K_n{)}_{n\in \mathbb{N}}$  of compact sets being locally finite. Let $\mu :\mathbb{R}\times F\to F$  be the scalar multiplication. The eventual definition of the mapping $f$  we are looking for will involve the map $\Phi :E\to M\times \mathbb{R}$  , defined via

$$\begin{array}{c}\Phi {|}_{{\pi }^{-1}\left(U_n\right)}:=(\pi {|}_{{\pi }^{-1}\left(U_n\right)},\lambda \circ \mu \circ ((h_n\circ \pi ){|}_{{\pi }^{-1}\left(U_n\right)},{\text{pr}}_F\circ {\psi }_n\left)\right)\end{array}$$

(1)

for $n\in \mathbb{N}$  , and $\Phi {|}_{E\backslash {\pi }^{-1}\left(A\right)}:=(\pi {|}_{E\backslash {\pi }^{-1}\left(A\right)},0)$  . Note that $\Phi$  is well-defined as the function in Equation ( 1 ) coincides with $(\pi ,0)$  on the set ${\cup }_{n\in \mathbb{N}}{\pi }^{-1}(U_n\backslash A)$  . Also note that $\Phi$  is a fibre-preserving mapping from $E$  into the trivial bundle $M\times \mathbb{R}$  . Furthermore, it is readily verified that $\Phi$  is a smooth. By [9,Thm.5.9] (or [8,Rem.F.25(a)] ), the pushforward $$C_c^{\infty }(M,\Phi ):C_c^{\infty }(M,E)\to C_c^{\infty }(M,M\times \mathbb{R}),\sigma \mapsto \Phi \circ \sigma$$  is smooth. For later use, we introduce the continuous linear map $$\Lambda :={\theta }_{{\text{id}}_{M\times \mathbb{R}}}:C_c^{\infty }(M,M\times \mathbb{R})\to C^{\infty }(M,\mathbb{R}).$$  Let $\iota :\mathbb{R}\to {\mathbb{R}}^d$  denote the embedding $t\mapsto (t,0,\dots ,0)$  . The mapping $f$  to be constructed will also involve the map $\Psi :C_c^{\infty }(M,E)\to C^{\infty }(\mathbb{R},\mathbb{R})$  defined via $$\Psi :=C^{\infty }(\mathbb{R},\lambda )\circ C^{\infty }({\kappa }_0^{-1}\circ \iota ,F)\circ {\theta }_{{\psi }_0},$$  where the pullback $C^{\infty }({\kappa }_0^{-1}\circ \iota ,F):C^{\infty }(U_n,F)\to C^{\infty }(\mathbb{R},F)$  , $\gamma \mapsto \gamma \circ {\kappa }_0^{-1}\circ \iota$  and the pushforward $C^{\infty }(\mathbb{R},\lambda ):C^{\infty }(\mathbb{R},F)\to C^{\infty }(\mathbb{R},\mathbb{R})$  , $\gamma \mapsto \lambda \circ \gamma$  are continuous linear mappings and thus smooth, by [5,La.3.3,La.3.7] . Being a composition of smooth maps, $\Psi$  is smooth.

We now define the desired map $f:C_c^{\infty }(M,E)\to C_c^{\infty }(M,\mathbb{R})$  via $$f:=\Gamma \circ (\Psi ,\Lambda \circ C_c^{\infty }(M,\Phi \left)\right)-\lambda \circ {\text{ev}}_{x_0}\circ {\theta }_{{\psi }_0}$$  (co-restricted from $C^{\infty }(M,\mathbb{R})$  to $C_c^{\infty }(M,\mathbb{R})$  ), where $$\Gamma :C^{\infty }(\mathbb{R},\mathbb{R})\times C^{\infty }(M,\mathbb{R})\to C^{\infty }(M,\mathbb{R}),\Gamma (\gamma ,\eta ):=\gamma \circ \eta$$  denotes composition, and ${\text{ev}}_{x_0}:C^{\infty }(U_0,F)\to F$  the evaluation map $\gamma \mapsto \gamma \left(x_0\right)$  . Here $\lambda \circ {\text{ev}}_{x_0}\circ {\theta }_{{\psi }_0}$  is a continuous linear map and thus smooth. Explicitly, for $\sigma \in C_c^{\infty }(M,E)$ 

$$\begin{array}{ccc}f\left(\sigma \right)\left(x\right)& =& \left(\lambda \circ {\sigma }_{{\psi }_0}\circ {\kappa }_0^{-1}\circ \iota \right)\left(\lambda \left(h_n\left(x\right){\sigma }_{{\psi }_n}\left(x\right)\right)\right)\end{array}$$

$$\begin{array}{ccc}& =& \lambda \left({\sigma }_{{\psi }_0}\left({\kappa }_0^{-1}\left(h_n\right(x)\cdot \lambda ({\sigma }_{{\psi }_n}\left(x\right)),0)\right)\right)-\lambda \left({\sigma }_{{\psi }_0}\right(x_0\left)\right)\end{array}$$

if $x\in U_n$  ( $n\in \mathbb{N}$  ), whereas $f\left(\sigma \right)\left(x\right)=0$  if $x\in M\backslash A$  .

Claim : The restriction of $f$  to $C_K^{\infty }(M,E)$  is smooth, for each compact subset $K$  of $M$  .

To see this, note that $f\left(C_K^{\infty }\right(M,E)\subseteq C_K^{\infty }(M,\mathbb{R})$  , where $C_K^{\infty }(M,\mathbb{R})$  is a closed vector subspace of $C^{\infty }(M,\mathbb{R})$  and $C_c^{\infty }(M,\mathbb{R})$  . Thus, it suffices to show that $f{|}_{C_K^{\infty }(M,E)}$  is smooth as a map into $C^{\infty }(M,\mathbb{R})$  ([9,Prop.1.9] , or [1,La.10.1] ). But this follows from the Chain Rule, as $\Gamma$  is smooth by Lemma  2.1 and also the other constituents of $f$  are smooth.

Claim : $f$  is discontinuous at the zero-section $\sigma =0$  . To see this, consider the set $V$  of all $\gamma \in C_c^{\infty }(M,\mathbb{R})$  such that, for all $n\in \mathbb{N}$  and multi-indices $\alpha \in {\mathbb{N}}_0^d$  of order $\left|\alpha \right|\le n$  , we have $\left|{\partial }^{\alpha }\right(\gamma \circ {\kappa }_n^{-1}\left)\right(0\left)\right|<1$  . It is easily verified that $V$  is a symmetric, convex zero-neighbourhood in $C_c^{\infty }(M,\mathbb{R})$  . Let $U$  be any convex zero-neighbourhood in $C_c^{\infty }(M,E)$  ; we claim that $f\left(U\right)⊈V$  . To see this, set $L_n:={\kappa }_n^{-1}\left(\right[-1,1{]}^d)$  for $n\in {\mathbb{N}}_0$  . Then $${\rho }_n:C_{L_n}^{\infty }(M,E)\to C_{[-1,1{]}^d}^{\infty }({\mathbb{R}}^d,F),\sigma \mapsto {\sigma }_{{\psi }_n}\circ {\kappa }_n^{-1}$$  is a topological isomorphism (cf. [9,La.3.9,La.3.10] or [8,La.F.9,La.F.15] ) whose inverse gives rise to a topological embedding $j_n:C_{[-1,1{]}^d}^{\infty }({\mathbb{R}}^d,F)\to C_c^{\infty }(M,E)$  . The linear mapping $\phi :\mathbb{R}\to F$  , $t\mapsto tv$  gives rise to a continuous linear map $C_{[-1,1{]}^d}^{\infty }({\mathbb{R}}^d,\phi ):C_{[-1,1{]}^d}^{\infty }({\mathbb{R}}^d,\mathbb{R})\to C_{[-1,1{]}^d}^{\infty }({\mathbb{R}}^d,F)$  , $\gamma \mapsto \phi \circ \gamma$  . Then $W_n:=(j_n\circ C_{[-1,1{]}^d}^{\infty }({\mathbb{R}}^d,\phi \left){)}^{-1}\right(\frac{1}{2}U)$  is a convex zero-neighbourhood in $C_{[-1,1{]}^d}^{\infty }({\mathbb{R}}^d,\mathbb{R})$  . Thus, there exists $k_n\in {\mathbb{N}}_0$  and ${\varepsilon }_n>0$  such that $W_{k_n,{\varepsilon }_n}\subseteq W_n$  , where $W_{k_n,{\varepsilon }_n}$  is the set of all $\gamma \in C_{[-1,1{]}^d}^{\infty }({\mathbb{R}}^d,\mathbb{R})$  such that $sup\left\{\right|{\partial }^{\alpha }\gamma \left(x\right)|:x\in [-1,1{]}^d\}<{\varepsilon }_n$  for all $\alpha \in {\mathbb{N}}_0^d$  such that $\left|\alpha \right|\le k_n$  . We let $g\in C_{[-1,1{]}^d}^{\infty }({\mathbb{R}}^d,\mathbb{R})$  be a function such that $g(y_1,\dots ,y_d)=y_1^{k_0+1}$  for all $y=(y_1,\dots ,y_d)\in [-\frac{1}{2},\frac{1}{2}{]}^d$  . Then $rg\in W_{k_0,{\varepsilon }_0}$  for some $r>0$  . It is clear from the definition of $W_{k_0,{\varepsilon }_0}$  that then also ${\gamma }_m\in W_{k_0,{\varepsilon }_0}$  for all $m\in \mathbb{N}$  , where $${\gamma }_m:{\mathbb{R}}^d\to \mathbb{R},{\gamma }_m(y_1,\dots ,y_d):=\frac{r}{m^{k_0}}g(m{y}_1,y_2,\dots ,y_d).$$  Thus ${\tau }_m:=j_0(\phi \circ {\gamma }_m)\in \frac{1}{2}U$  .

Let $\ell :=k_0+1$  ; we easily find $\eta \in W_{k_{\ell },{\varepsilon }_{\ell }}$  such that, for suitable $s>0$  , we have $\eta \left(y\right)=s\cdot y_1$  for $y=(y_1,\dots ,y_d)$  in some zero-neighbourhood in ${\mathbb{R}}^d$  . We define $\tau :=j_{\ell }(\phi \circ \eta )\in \frac{1}{2}U$  .

Then ${\sigma }_m:={\tau }_m+\tau \in U$  by convexity of $U$  . Consider $g_m:=f\left({\sigma }_m\right)\circ {\kappa }_{\ell }^{-1}:{\mathbb{R}}^d\to \mathbb{R}$  . For $y\in [-1,1{]}^d$  sufficiently close to $0$  , we have $\eta \left(y\right)=s{y}_1$  and $m\left|\eta \right(y\left)\right|\le \frac{1}{2}$  . Thus $$g_m\left(y\right)={\gamma }_m\left(\eta \right(y),0,\dots ,0)=r\cdot m\cdot s^{k_0+1}\cdot y_1^{k_0+1},$$  entailing that $\frac{{\partial }^{k_0+1}{g}_m}{\partial y_1^{k_0+1}}\left(0\right)=r\cdot m\cdot s^{k_0+1}\cdot (k_0+1)!$  . Hence $f\left({\sigma }_m\right)\notin V$  for each $m\in \mathbb{N}$  such that $r\cdot m\cdot s^{k_0+1}\cdot (k_0+1)!\ge 1$  . We have shown that $f\left(U\right)⊈V$  for any $0$  -neighbourhood $U$  in $C_c^{\infty }(M,E)$  , although $f\left(0\right)=0$  . Thus $f$  is discontinuous at $\sigma =0$  . $\square$ 

4 Further examples

We describe various pathological bilinear mappings.

Proposition 4.1 Let $\mathbb{K}\in \{\mathbb{R},\mathbb{C}\}$  .

The pointwise multiplication map $$\mu :C^{\infty }(\mathbb{R},\mathbb{K})\times C_c^{\infty }(\mathbb{R},\mathbb{K})\to C_c^{\infty }(\mathbb{R},\mathbb{K}),\mu (\gamma ,\eta ):=\gamma \cdot \eta$$  is a hypocontinuous bilinear $($  and thus sequentially continuous $)$  mapping on the locally convex direct limit $$C^{\infty }(\mathbb{R},\mathbb{K})\times C_c^{\infty }(\mathbb{R},\mathbb{K})=lim⟶\left(C^{\infty }\right(\mathbb{R},\mathbb{K})\times C_{[-n,n]}^{\infty }(\mathbb{R},\mathbb{K}\left)\right),$$  whose restriction to $C^{\infty }(\mathbb{R},\mathbb{K})\times C_{[-n,n]}^{\infty }(\mathbb{R},\mathbb{K})$  is continuous bilinear and thus $\mathbb{K}$  -analytic, for each $n\in \mathbb{N}$  . However, $\mu$  is discontinuous.

Proof. Using the Leibniz Rule for the differentiation of products of functions, it is easily verified that $\mu$  is separately continuous. ^$\text{2}$  The spaces $C^{\infty }(\mathbb{R},\mathbb{K})$  and $C_c^{\infty }(\mathbb{R},\mathbb{K})$  being barrelled, this entails that $\mu$  is hypocontinuous and thus sequentially continuous [19,Thm.41.2] . The restriction of $\mu$  to $C^{\infty }(\mathbb{R},\mathbb{K})\times C_{[-n,n]}^{\infty }(\mathbb{R},\mathbb{K})$  is a sequentially continuous bilinear mapping on a product of metrizable spaces and therefore continuous. To see that $\mu$  is discontinuous, consider the zero-neighbourhood $$W:=\{\gamma \in C_c^{\infty }(\mathbb{R},\mathbb{K}):(\forall x\in \mathbb{R}\left)\right|\gamma \left(x\right)|<1\}$$  in $C_c^{\infty }(\mathbb{R},\mathbb{K})$  . If $U$  is any zero-neighbourhood in $C^{\infty }(\mathbb{R},\mathbb{K})$  and $V$  any zero-neighbourhood in $C_c^{\infty }(\mathbb{R},\mathbb{K})$  , then there exists a compact subset $K$  of $\mathbb{R}$  such that $$(\forall \gamma \in C^{\infty }(\mathbb{R},\mathbb{K}\left)\right)\gamma {|}_K=0\Rightarrow \gamma \in U.$$  Pick any $x_0\in \mathbb{R}\backslash K$  . There is a function $\phi \in C_c^{\infty }(\mathbb{R},\mathbb{K})$  such that $\phi \left(x_0\right)\ne 0$  and $\text{supp}\left(\phi \right)\subseteq \mathbb{R}\backslash K$  . Then $r\phi \in V$  for some $r>0$  , and $t\phi \in U$  for all $t\in \mathbb{R}$  . Choosing $t\ge \frac{1}{r\cdot \left|\phi \right(x_0){|}^2}$  , we have $(t\phi ,r\phi )\in U\times V$  but $\left|\mu \right(r\phi ,t\phi \left)\right(x_0\left)\right|=rt\left|\phi \right(x_0){|}^2\ge 1$  , entailing that $\mu (U\times V)⊈W$  . Thus $\mu$  is discontinuous at $(0,0)$  . $\square$ 

Another instructive example is the following (compare also the examples in [2] ):

Example 4.2 Let $E_1\subset E_2\subset \cdots$  be a strictly ascending sequence of Banach spaces, such that $E_{n+1}$  induces the given topology on $E_n$  . Set $E:=lim⟶E_n$  and $F:=E_b^{\prime }$  . For example, we can take $E_n:=L^2[-n,n]$  , in which case $E=L_{\text{comp}}^2(\mathbb{R})$  and $F=L_{\text{loc}}^2(\mathbb{R})=lim⟵L^2[-n,n]$  . Then $A_n:=F\times E_n\times \mathbb{K}\times \mathbb{K}$  is a Fréchet space (and reflexive in the example $E_n=L^2[-n,n]$  ).

The evaluation map $E_n^{\prime }\times E_n\to \mathbb{R}$  being continuous as $E_n$  is a Banach space, it is easy to see that $A_n$  becomes a unital associative topological algebra via

$$\begin{array}{c}({\lambda }_1,x_1,z_1,c_1)\cdot ({\lambda }_2,x_2,z_2,c_2):=\left(c_1{\lambda }_2+c_2{\lambda }_1,c_1{x}_2+c_2{x}_1,c_1{z}_2+{\lambda }_1\left(x_2\right)+z_1{c}_2,c_1{c}_2\right).\end{array}$$

(2)

The multiplication can be visualized by considering $(\lambda ,x,z,c)\in A_n$  as the 3-by-3 matrix $$\left(\begin{array}{ccc}c& \lambda & z\\ 0& c& x\\ 0& 0& c\end{array}\right).$$  The topological algebras $A_n$  are very well-behaved: they have open groups of units, and inversion is a $\mathbb{K}$  -analytic map. We can also use Formula ( 2 ) to define a multiplication map $\mu :A\times A\to A$  turning the direct limit locally convex space $A:=F\times E\times \mathbb{K}\times \mathbb{K}=lim⟶A_n$  into a unital, associative algebra. However, although the restriction of $\mu$  to $A_n\times A_n$  is a continuous bilinear map for each $n\in \mathbb{N}$  , $\mu :A\times A=lim⟶(A_n\times A_n)\to A$  is discontinuous (since the evaluation map $E_b^{\prime }\times E\to \mathbb{R}$  is discontinuous, the space $E$  not being normable).

We refer to [6,Section 10] for more details.

Appendix: Proof of Lemma  2.1 We give a proof which is as elementary as possible, by reducing the assertion to the case $M={\mathbb{R}}^d$  . First, let $M$  be a finite-dimensional, $\sigma$  -compact smooth manifold, of dimension $d$  .

We choose an open cover $(U_j{)}_{j\in J}$  of $M$  and $C^{\infty }$  -diffeomorphisms ${\kappa }_j:U_j\to {\mathbb{R}}^d$  . Then $$\Phi :C^{\infty }(M,{\mathbb{R}}^m)\to {\prod }_{j\in J}{C}^{\infty }({\mathbb{R}}^d,{\mathbb{R}}^m)=:P,\Phi \left(\gamma \right):=(\gamma \circ {\kappa }_j^{-1}{)}_{j\in J}$$  is a topological embedding onto a closed vector subspace of the cartesian product $P$  (cf. [9,La.3.7] ). Therefore $\Gamma$  is smooth if and only if $\Phi \circ \Gamma$  is smooth ([9,Prop.1.9] or [1,La.10.1] ), if and only if each component ${\text{pr}}_j\circ \Phi \circ \Gamma$  is smooth [1,La.10.3] , where ${\text{pr}}_j:P\to C^{\infty }({\mathbb{R}}^d,{\mathbb{R}}^m)$  is the projection onto the $j$  -coordinate. But $${\text{pr}}_j(\Phi (\Gamma \left)\right)(\gamma ,\eta )=\gamma \circ \eta \circ {\kappa }_j^{-1}=\tilde{\Gamma }\left(\gamma ,C^{\infty }({\kappa }_j^{-1},{\mathbb{R}}^n)\left(\eta \right)\right)$$  for all $\gamma \in C^{\infty }({\mathbb{R}}^n,{\mathbb{R}}^m)$  and $\eta \in C^{\infty }(M,{\mathbb{R}}^n)$  , where $$\tilde{\Gamma }:C^{\infty }({\mathbb{R}}^n,{\mathbb{R}}^m)\times C^{\infty }({\mathbb{R}}^d,{\mathbb{R}}^n)\to C^{\infty }({\mathbb{R}}^d,{\mathbb{R}}^m)$$  is the composition map and $C^{\infty }({\kappa }_j^{-1},{\mathbb{R}}^n):C^{\infty }(M,{\mathbb{R}}^n)\to C^{\infty }({\mathbb{R}}^d,{\mathbb{R}}^n)$  , $\eta \mapsto \eta \circ {\kappa }_j^{-1}$  is continuous linear and thus smooth, by [5,La.3.7] . Hence ${\text{pr}}_j\circ \Phi \circ \Gamma$  (and thus $\Gamma$  ) will be smooth if so is $\tilde{\Gamma }$  .

By the reduction step just performed, it only remains to prove Lemma  2.1 for $M={\mathbb{R}}^d$  , which we assume now. We show by induction on $k\in {\mathbb{N}}_0$  that $\Gamma$  is $C^k$  .

The case $k=0$  . Let $\gamma \in C^{\infty }({\mathbb{R}}^n,{\mathbb{R}}^m)$  , $\eta \in C^{\infty }({\mathbb{R}}^d,{\mathbb{R}}^n)$  and $({\gamma }_i,{\eta }_i{)}_{i\in \mathbb{N}}$  be a sequence in $C^{\infty }({\mathbb{R}}^n,{\mathbb{R}}^m)\times C^{\infty }({\mathbb{R}}^d,{\mathbb{R}}^n)$  converging to $(\gamma ,\eta )$  . We have to show that

$$\begin{array}{ccc}{\delta }_i& :=& \Gamma ({\gamma }_i,{\eta }_i)-\Gamma (\gamma ,\eta )={\gamma }_i\circ {\eta }_i-\gamma \circ \eta \end{array}$$

$$\begin{array}{ccc}& =& ({\gamma }_i-\gamma )\circ {\eta }_i+(\gamma \circ {\eta }_i-\gamma \circ \eta )\end{array}$$

(3)

converges to $0$  in $C^{\infty }({\mathbb{R}}^d,{\mathbb{R}}^m)$  . To see this, we first check convergence in $C^0({\mathbb{R}}^d,{\mathbb{R}}^m)$  (equipped with the topology of uniform convergence on compact sets). Given a compact set $K\subseteq {\mathbb{R}}^d$  , the set ${\cup }_{i\in \mathbb{N}}{\eta }_i\left(K\right)$  is bounded and hence has compact closure $L$  in ${\mathbb{R}}^d$  . Now the first term in ( 3 ) converges uniformly to $0$  on $K$  since ${\gamma }_i-\gamma \to 0$  uniformly on $L$  as $i\to \infty$  . The second term converges uniformly to $0$  on $K$  since $\gamma {|}_L$  is uniformly continuous and ${\eta }_i\to \eta$  uniformly on $K$  . Using the Chain Rule, for each fixed multi-index $\alpha \in {\mathbb{N}}_0^d$  of order $\ge 1$  , we find polynomials $P_{\beta }\in \mathbb{R}\left[\right(X_{\gamma }{)}_{\gamma \le \alpha }]$  in indeterminates $X_{\gamma }$  , for multi-indices $\beta \in {\mathbb{N}}_0^n$  of order $\left|\beta \right|\le \left|\alpha \right|$  , such that

$$\begin{array}{ccc}{\partial }^{\alpha }{\delta }_i& =& {\sum }_{\left|\beta \right|\le \left|\alpha \right|}\left(\right({\partial }^{\beta }{\gamma }_i-{\partial }^{\beta }\gamma )\circ {\eta }_i)\cdot P_{\beta }\left(\right({\partial }^{\gamma }{\eta }_i{)}_{\gamma \le \alpha })\end{array}$$

$$\begin{array}{ccc}& & +{\sum }_{\left|\beta \right|\le \left|\alpha \right|}({\partial }^{\beta }\gamma \circ {\eta }_i)\cdot \left(P_{\beta }\right(\left({\partial }^{\gamma }{\eta }_i{)}_{\gamma \le \alpha }\right)-P_{\beta }\left(\right({\partial }^{\gamma }\eta {)}_{\gamma \le \alpha }\left)\right)\end{array}$$

$$\begin{array}{ccc}& & +{\sum }_{\left|\beta \right|\le \left|\alpha \right|}({\partial }^{\beta }\gamma \circ {\eta }_i-{\partial }^{\beta }\gamma \circ \eta )\cdot P_{\beta }\left(\right({\partial }^{\gamma }\eta {)}_{\gamma \le \alpha }).\end{array}$$

We easily deduce from this formula that ${\partial }^{\alpha }{\delta }_i$  converges to $0$  as $i\to \infty$  , uniformly on compact sets. We have shown that ${\delta }_i\to 0$  in $C^{\infty }({\mathbb{R}}^d,{\mathbb{R}}^m)$  . Thus $\Gamma$  is continuous.

Induction step. Suppose that $\Gamma$  is of class $C^k$  , where $k\in {\mathbb{N}}_0$  . Given $\gamma ,{\gamma }_1\in C^{\infty }({\mathbb{R}}^n,{\mathbb{R}}^m)$  , $\eta ,{\eta }_1\in C^{\infty }({\mathbb{R}}^d,{\mathbb{R}}^n)$  , we have

$$\begin{array}{c}\frac{1}{t}\left(\Gamma (\gamma +t{\gamma }_1,\eta +t{\eta }_1)-\Gamma (\gamma ,\eta )\right)=\frac{1}{t}\left(\gamma \circ (\eta +t{\eta }_1)-\gamma \circ \eta \right)+{\gamma }_1\circ (\eta +t{\eta }_1)\end{array}$$

(4)

for $0\ne t\in \mathbb{R}$  . Given $t\in \mathbb{R}$  , define $F_t:{\mathbb{R}}^d\to {\mathbb{R}}^m$  via $$F_t\left(x\right):={\int }_0^{1}H(x,st)ds,$$  where $H:{\mathbb{R}}^d\times \mathbb{R}\to {\mathbb{R}}^m$  , $H(x,r):=d\gamma \left(\eta \right(x)+r{\eta }_1(x);{\eta }_1(x\left)\right)$  . Clearly $H$  is smooth. It is easy to see that $F_t\left(x\right)\to F_0\left(x\right)$  uniformly for $x$  in a compact set, as $t\to 0$  . Furthermore, differentiating under the integral sign we find that ${\partial }^{\alpha }{F}_t\left(x\right)={\int }_0^1{\partial }^{(\alpha ,0)}H(x,st)ds$  for $\alpha \in {\mathbb{N}}_0^d$  , which converges uniformly for $x$  in a compact set to ${\partial }^{\alpha }{F}_0\left(x\right)$  as $t\to 0$  . Since $$F_t=\frac{1}{t}\left(\gamma \circ (\eta +t{\eta }_1)-\gamma \circ \eta \right)$$  for $t\ne 0$  , by the Mean Value Theorem, we see that the first term on the right hand side of ( 4 ) converges to $F_0=\left(d\gamma \right)\circ (\eta ,{\eta }_1)=\tilde{\Gamma }(d\gamma ,(\eta ,{\eta }_1\left)\right)$  in $C^{\infty }({\mathbb{R}}^d,{\mathbb{R}}^m)$  as $t\to 0$  , where $\tilde{\Gamma }:C^{\infty }({\mathbb{R}}^n\times {\mathbb{R}}^n,{\mathbb{R}}^m)\times C^{\infty }({\mathbb{R}}^d,{\mathbb{R}}^n\times {\mathbb{R}}^n)\to C^{\infty }({\mathbb{R}}^d,{\mathbb{R}}^m)$  is the composition map.

To tackle the second term, define $G_t:={\gamma }_1\circ (\eta +t{\eta }_1)=\Gamma ({\gamma }_1,\eta +t{\eta }_1)$  for $t\in \mathbb{R}$  . Since $\Gamma$  is continuous by the above, we have $G_t\to G_0={\gamma }_1\circ \eta$  in $C^{\infty }({\mathbb{R}}^d,{\mathbb{R}}^m)$  as $t\to 0$  . Thus the second term in Equation ( 4 ) converges to ${\gamma }_1\circ \eta$  .

Summing up, we have shown that $d\Gamma (\gamma ,\eta ;{\gamma }_1,{\eta }_1)$  exists, and is given by

$$\begin{array}{c}d\Gamma (\gamma ,\eta ;{\gamma }_1,{\eta }_1)=\tilde{\Gamma }(d\gamma ,(\eta ,{\eta }_1\left)\right)+\Gamma ({\gamma }_1,\eta ).\end{array}$$

(5)

The map $C^{\infty }({\mathbb{R}}^n,{\mathbb{R}}^m)\to C^{\infty }({\mathbb{R}}^n\times {\mathbb{R}}^n,{\mathbb{R}}^m)$  , $\gamma \mapsto d\gamma$  is continuous linear (cf. [5,La.3.8] ), and $\Gamma$  , $\tilde{\Gamma }$  are $C^k$  , by induction. Hence Equation ( 5 ) shows that $d\Gamma$  is $C^k$  . Thus $\Gamma$  is $C^{k+1}$  , as required.

Acknowledgement. The research was partially supported by DFG, FOR 363/1-1. References

1. Bertram, W., H. Glöckner and K.-H. Neeb, Differential calculus over general base fields and rings, Expo. Math. 22 (2004), 213–282.
2. Dierolf, S. and J. Wengenroth, Inductive limits of topological algebras, Linear Topol. Spaces Complex Anal. 3 (1997), 45–49.
3. Dudley, R. M., On sequential convergence, Trans. AMS 112 (1964), 483–507.
4. Glöckner, H., Infinite-dimensional Lie groups without completeness restrictions, pp. 43–59 in: Strasburger, A. et al. (Eds.), “Geometry and Analysis on Finiteand Infinite-Dimensional Lie Groups,” Banach Center Publications, Vol. 55, Warsaw, 2002.
5. —–, Lie group structures on quotient groups and universal complexifications for infinite-dimensional Lie groups, J. Funct. Analysis 194 (2002), 347–409.
6. —–, Algebras whose groups of units are Lie groups, Studia Math. 153 (2002), 147–177.
7. —–, $\text{Diff}\left({\mathbb{R}}^n\right)$  as a Milnor-Lie group, 11 pp, to appear in Math. Nachr. (cf. TU Darmstadt Preprint 2387, March 2005).
8. —–, Lie groups over non-discrete topological fields, preprint, arXiv:math.GR/0408008.
9. —–, Differentiable mappings between spaces of sections, submitted.
10. —–, Patched locally convex spaces, almost local mappings, and diffeomorphism groups of non-compact manifilds, manuscript in preparation.
11. —–, Direct limits of Lie groups compared to direct limits in related categories, manuscript in preparation.
12. Hamilton, R., The inverse function theorem of Nash and Moser, Bull. AMS 7 (1982), 65–222.
13. Kriegl, A. and P. W. Michor, “The Convenient Setting of Global Analysis,” AMS, 1997.
14. Michor, P. W., “Manifolds of Differentiable Mappings,” Shiva Publishing, 1980.
15. Milnor, J., On infinite-dimensional Lie groups, preprint, Institute for Advanced Studies, Princeton, 1982.
16. —–, Remarks on infinite-dimensional Lie groups, pp. 1008–1057 in: DeWitt, B., and R. Stora (Eds.), “Relativity, Groups and Topology II,” North-Holland, 1983.
17. Schwartz, L., “Théorie des Distributions, Tome I,” Hermann, Paris, 1957.
18. Tatsuuma, N., H. Shimomura and T. Hirai, On group topologies and unitary representations of inductive limits of topological groups and the case of the group of diffeomorphisms, Kyoto J. Math. 38 (1998), 551–578.
19. Treves, F., “Topological Vector Spaces, Distributions and Kernels,” Academic Press, 1967.

Helge Glöckner, TU Darmstadt, Fachbereich Mathematik AG 5, Schlossgartenstr. 7, 64289 Darmstadt, Germany. E-Mail: gloeckner@mathematik.tu-darmstadt.de