finite - dimensional manifolds , whether smooth , real- or complex - analytic , are commonly defined via charts and atlases .
the other standard way of defining them relies on a dual point of view , focussing on the functions rather than on the points themselves , and this is achieved via a sheaf - theoretical approach .
more precisely , a smooth @xmath0-dimensional manifold @xmath1 is then defined as a locally ringed space @xmath2 that is locally isomorphic to the locally ringed space @xmath3 .
the sheaf - theoretical approach is hardly avoidable when one wants to deal with singular generalizations of manifolds ( varieties or schemes for instance ) , or with  non - reduced situations " , such as supermanifolds , where the rings of  functions " have nilpotents . in this last example
, a section of the structural sheaf is not determined by its values on the points of the underlying topological space , which makes the sheaf - theoretical approach particularly relevant in defining supermanifolds .
+ in finite dimensions , the two definitions of manifolds ( via atlases and as certain locally ringed spaces ) are well - known to be equivalent . in infinite dimensions ,
the situation is quite different .
infinite - dimensional manifolds , whether locally modeled on banach spaces , frchet spaces or general locally convex spaces , have almost always been defined in terms of charts and atlases .
one reason for that is the belief , following the thesis of douady @xcite , that the sheaf of scalar - valued functions does not give sufficient information to define the morphisms ( contrary to the finite - dimensional case , where defining the smooth functions valued in @xmath4 suffices to determine the morphisms valued in @xmath5 for every natural number @xmath6 ) . in @xcite
, mazet defines a category of infinite - dimensional analytic spaces , precisely in terms of ringed spaces .
however , his category leads to pathologies ( such as the sum of two analytic maps not necessarily being analytic ) .
douady avoids these pathologies by introducing a third approach for capturing the notion of space , which he uses to define his category of banach analytic spaces .
namely , given a category @xmath7 , douady defines a _ @xmath7-functored space _
@xmath8 to be a pair @xmath9 where @xmath10 is a topological space , and @xmath11 is a covariant functor from @xmath7 to the category of sheaves of sets on @xmath10 . in this way , for every object @xmath12 in @xmath7 ( thought of as a possible target )
, one associates a sheaf of sets @xmath13 ( thought of as the sheaf of @xmath12-valued morphisms on @xmath10 ) .
compared to a ringed space , a functored space encodes already in its  structural functor " the definition of the morphisms valued in any target space ( from a certain category ) .
+ the functored space approach obviously adds a supplementary  technical layer " , which can be felt already when defining the local models for banach analytic spaces ( as functored spaces ) . thus ,
unless the recourse to functored spaces is absolutely necessary , it is preferable to deal with the more traditional setting of ringed spaces , i.e. to associate only a single structure sheaf instead of a sheaf - valued functor to each space .
we are thus lead to the question whether the insufficiency of the sheaf of scalar - valued functions pointed out by douady ( and the related pathologies ) appears also in the non - singular setting of infinite - dimensional smooth manifolds .
+ in this paper , we address this question by observing that the obstruction to define infinite - dimensional manifolds as ringed spaces boils down to the failure of a _ scalarwise smooth _ map between open sets of locally convex spaces to be smooth . more precisely , given two locally convex spaces @xmath14 and @xmath12 , and given an open subset @xmath15 of @xmath14 , we adopt a standard notion of smoothness for maps @xmath16 ( _ cf . _ definition [ bhmn ] ) , following bastiani , hamilton , milnor , neeb , ... then , a map @xmath17 is said to be _ scalarwise smooth _ if the function @xmath18 is smooth for every smooth function @xmath19 .
the chain rule implies clearly that smooth maps are scalarwise smooth .
the converse is easily seen to be true in finite dimensions ( just take the linear forms @xmath20 dual to a basis @xmath21 ) .
in infinite dimensions , the converse is non - trivial . in the first main result of this paper ( theorem [ scalarwise smoothness implies smoothness ] )
, we prove that it is true whenever @xmath12 is mackey - complete and the mackey - closure topology on @xmath14 coincides with the given topology ( the necessary definitions will be recalled throughout the paper , but let us already note that the assumption on @xmath14 corresponds to a large class of locally convex spaces which contains frchet spaces and duals of frchet - schwartz spaces , and that every complete locally convex space is mackey - complete ) . in the second main result of the paper ( theorem [ smooth equals ringed morphism ] and corollary [ manifolds = structure sheaf - smooth manifolds ] ) , we show that for infinite - dimensional manifolds modeled on locally convex spaces @xmath14 satisfying the assumptions of theorem [ scalarwise smoothness implies smoothness ] , the definition via charts and atlases is equivalent to the definition via ringed spaces . finally , we complete our comparison of the various definitions of infinite - dimensional manifolds by showing that the definition via charts and atlases is equivalent to the one based on functored spaces . +
our paper is organized as follows . in section 2
, we present a proof of the special case of theorem [ scalarwise smoothness implies smoothness ] , when the domain is @xmath4 .
more precisely , we show that for a mackey - complete locally convex space @xmath14 , a curve @xmath22 is smooth if and only if it is scalarwise smooth .
while this result and its idea of proof are not new ( compare @xcite ) , they are crucial to our proof of theorem [ scalarwise smoothness implies smoothness ] : we recall them in a concise but self - contained way for the convenience of the reader , which gives us also the opportunity to introduce our notations for the rest of the paper .
in section 3 , we recall the definition of smooth maps that we will be using , and prepare and prove theorem [ scalarwise smoothness implies smoothness ] , using as an intermediate step the calculus of _ convenient smoothness _ studied by kriegl and michor . in section 4 ,
we present in detail the three definitions of infinite - dimensional manifolds under investigation here , and prove the comparison results ( theorem [ smooth equals ringed morphism ] and corollary [ manifolds = structure sheaf - smooth manifolds ] ) mentioned above . + _ acknowledgements .
_ we would like to thank alexander alldridge for discussions on douady s  espaces foncts " .
the goal of this section is to recall the proof of the following result : if @xmath23 is a map from @xmath4 to a complete real ( hausdorff ) locally convex space @xmath14 , and @xmath24 is the continuous dual of @xmath14 , then smoothness of @xmath25 for every @xmath26 implies the smoothness of @xmath23 ( theorem [ weak smoothness of curves ] ) . while this is obvious if @xmath14 is finite - dimensional ( it is enough to take the projections @xmath27 where @xmath28 is an arbitrary basis of @xmath14 ) , proving that it remains true in the general case requires more work . the strategy ( essentially taken from @xcite ) , is the following .
+ in any locally convex space , there is a natural notion of bounded set .
the collection of these bounded sets (  the von neumann bornology " ) is not very sensitive to the locally convex topology : a classical theorem of mackey in functional analysis shows that if one varies the topology while keeping the same dual space , the bounded sets remain the same . as a consequence , one can view the bounded sets from the perspective of the weak topology instead of the given topology . in the weak topology
, it is natural and immediate that a subset of @xmath14 whose image by every linear functional is bounded must be itself bounded .
+ on the other hand , for curves , being @xmath29 is ultimately a bornological concept : the @xmath29 curves remain the same if one changes the locally convex topology , while keeping the same underlying bornology .
this follows from the fact that a @xmath30 curve is locally lipschitz ( by the mean value theorem ) , and the lipschitz condition ( which is essentially bornological ) , implies continuity . translating smoothness in terms of lipschitz conditions ( involving bounded sets ) , it becomes possible to use the dual characterization of boundedness given by mackey s theorem , to obtain a dual characterization of smoothness .
+ in what follows , we recall , for the convenience of the reader and for later reference , the details of the above arguments , starting with mackey s theorem , the cornerstone in proving theorem [ weak smoothness of curves ] as well as other results in this paper . for a proof of the former theorem ,
see , e.g. , theorem 36.2 in @xcite or theorem 8.3.4 in @xcite .
+    ( mackey s theorem ) let @xmath14 be a locally convex space , and @xmath31 a subset of @xmath14 .
if @xmath32 is bounded for every @xmath26 , then @xmath31 is bounded .
+    let @xmath14 be a locally convex space , and @xmath22 a curve .    1 .
if @xmath33 is an open subset of @xmath4 , we say that @xmath23 is * lipschitz * on @xmath33 if the @xmath34 is bounded in @xmath14 .
we say that @xmath23 is * locally lipschitz * if every point in @xmath4 has a neighborhood on which @xmath23 is lipschitz .
+    let @xmath14 be a locally convex space , and @xmath22 a curve . for @xmath35
, we say that @xmath23 is * of class @xmath36 * if all the derivatives of @xmath23 up to order @xmath6 exist , and @xmath37 is locally lipschitz .
+    if @xmath38 is any subset of @xmath14 , we will denote by @xmath39 the absolute convex hull of the closure of @xmath38 .
we will need the following version of the mean value theorem , for curves in a locally convex space .
+    ( mean value theorem ) let @xmath14 be a locally convex space , and @xmath40\longrightarrow e$ ] a curve which is continuous on @xmath41 $ ] , and differentiable on @xmath42a , b[$ ] . then @xmath43    * proof  :* _ cf .
_ @xcite , i.1.4 .
@xmath44 +    let @xmath14 be a locally convex space , and @xmath22 a curve which is differentiable on an open interval @xmath45 .
if @xmath46 is bounded on @xmath33 , then @xmath23 is lipschitz on @xmath33 .
* proof  :* let @xmath47 with @xmath48 .
by the mean value theorem , @xmath49 so @xmath50 , and this last set is bounded since the absolute convex hull of any bounded set is bounded .
@xmath44 +    [ c^k and lip^k ] let @xmath14 be a locally convex space , and @xmath22 a curve .    1 .   if @xmath23 is of class @xmath51 , then @xmath23 is of class @xmath52 .
if @xmath23 is of class @xmath52 , then @xmath23 is of class @xmath53 .
* proof  :* 1 .
if @xmath23 is @xmath51 , then @xmath54 is @xmath30 .
this implies ( via the preceding corollary ) that @xmath54 is locally lipschitz .
thus , @xmath23 is @xmath52 .
if @xmath23 is @xmath52 , then @xmath54 is locally lipschitz .
this implies that @xmath54 is continuous .
thus , @xmath23 is @xmath53 .
@xmath44 +    let @xmath14 be a locally convex space , and @xmath22 a curve
. then @xmath23 is of class @xmath29 if and only if @xmath23 is of class @xmath55 for all @xmath35 .    * proof  :* if @xmath23 is smooth , then @xmath23 is @xmath51 for every @xmath6 .
the first part of proposition [ c^k and lip^k ] implies then that @xmath23 is @xmath52 for every @xmath6 .
conversely , if @xmath23 is @xmath55 for every @xmath6 , then the second part of proposition [ c^k and lip^k ] implies that @xmath23 is @xmath56 for every @xmath6 , and so @xmath23 is smooth .
@xmath44 +    let @xmath14 be a locally convex space .
a curve @xmath22 is said to be * weakly smooth * if @xmath25 is smooth for every @xmath26 .
+    let @xmath14 be a locally convex space .    1 .
a sequence @xmath57 in @xmath14 is said to be * mackey - convergent * to a point @xmath58 if there exists an absolutely convex bounded set @xmath59 , and a sequence @xmath60 of real numbers converging to 0 , such that @xmath61 for all @xmath0 .
2 .   a sequence @xmath57 in @xmath14
is said to be * mackey - cauchy * if there exists an absolutely convex bounded set @xmath59 , and a double sequence @xmath62 of real numbers converging to 0 , such that @xmath63 for all @xmath64 . +
we also have the same notions for nets ( just replace  sequence " by  net " everywhere in the preceding definition ) .
@xmath14 is called * mackey - complete * if every mackey - cauchy net in @xmath14 converges .
+    every complete locally convex space is sequentially complete , and in turn sequential completeness implies mackey - completeness . for metrizable locally convex spaces the three notions of completeness coincide . given a locally convex space @xmath14
, the completion @xmath65 yields a complete ( and thus mackey - complete ) locally convex space together with a continuous linear embedding @xmath66 having dense image .
( compare , e.g. theorem 5.2 in @xcite . ) a continuous curve @xmath67 yields then a continuous curve @xmath68 , and @xmath23 is weakly smooth if and only if @xmath69 is weakly smooth
. +    [ weak smoothness of curves ] let @xmath14 be a mackey - complete locally convex space and @xmath22 a curve . then @xmath23 is smooth if and only if it is weakly smooth .    * proof  :* if @xmath23 is smooth , then it is clear by chain rule that @xmath25 is smooth for every @xmath26 . to prove the converse ,
suppose that for every @xmath26 , the function @xmath25 is smooth .
we first prove that @xmath23 is differentiable .
let @xmath70 , and @xmath33 a compact interval about @xmath71 .
set @xmath72 for all @xmath73 .
we need to show that @xmath74 has a limit as @xmath75 .
let @xmath76 .
then @xmath77 .
now for each @xmath73 , we have + @xmath78 .
since @xmath25 is smooth , the same must be true for @xmath79 .
in particular , the mean value theorem implies the existence of @xmath800,1[$ ] such that @xmath81 .
now @xmath82 for every @xmath830,1[$ ] ( by convexity of @xmath33 ) .
since @xmath84 is continuous and @xmath33 is compact , we deduce that there is @xmath85 such that @xmath86 for all @xmath870,1[$ ] . but
then , @xmath88 .
thus , @xmath32 is bounded .
since @xmath89 was arbitrary , we deduce by mackey s theorem that @xmath31 is bounded as well , i.e. @xmath74 is lipschitz on @xmath90
. otherwise stated , the net @xmath91 with @xmath92 is mackey - cauchy .
mackey - completeness of @xmath14 implies that @xmath74 has a continuous extension to @xmath33 , which allows us to define @xmath93 as @xmath94 .
thus , @xmath23 is differentiable , and for every @xmath26 , we have @xmath95 ( by chain rule and linearity of @xmath89 ) .
+ second , we prove that @xmath46 is locally lipschitz .
let @xmath70 , and @xmath33 a compact interval about @xmath71 . then for every @xmath26 , the function @xmath96 is lipschitz on @xmath33 ( since @xmath97 , being continuous , is bounded on @xmath33 ) .
let @xmath98 . then , since @xmath99 , we have @xmath100 . since @xmath96 is lipschitz on @xmath33 , we have that @xmath101 is bounded .
but @xmath89 is arbitrary . using again mackey s theorem
, we deduce that @xmath102 is bounded , hence @xmath46 is lipschitz on @xmath33 , and so @xmath46 is locally lipschitz , that is , @xmath23 is @xmath103 .
+ replacing @xmath23 by @xmath46 in the above chain of arguments , we arrive at the conclusion that @xmath46 is @xmath103 as well , i.e. @xmath23 is @xmath104 . by induction
, we conclude that @xmath23 is @xmath36 for all @xmath6 , i.e. @xmath23 is smooth .
in this section , we start by recalling the notion of a smooth map from an open subset @xmath15 of a locally convex space @xmath14 into a locally convex space @xmath12 . among the various existing notions of ( differentiable and ) smooth maps , we choose what is called @xmath105 in the book of keller ( @xcite ) , going back at least to bastiani ( compare definitions ii.3.1 and ii.2.2 in @xcite ) .
this definition of smoothness turns out to be appropriate for the construction of an applicable theory of infinite - dimensional manifolds and lie groups , compare notably @xcite , @xcite , @xcite , @xcite .
the goal of this section is to generalize theorem [ weak smoothness of curves ] to maps having infinite - dimensional source .
namely , we want to show that if @xmath14 is for example a frchet space or the continuous dual of a frchet - schwartz space ( _ cf . _ below for details ) , a map @xmath106 is smooth if and only if it is scalarwise smooth . by _
scalarwise smooth _ ,
we mean that @xmath107 for every @xmath108 .
+ as a matter of fact , this result is very easy to prove if we replace the notion of smoothness of bastiani et al . by another one : the  convenient smoothness " considered by frlicher , kriegl and michor ( compare notably @xcite ) .
a map @xmath16 is said to be _ conveniently smooth _ if it sends smooth curves to smooth curves .
since the notion of convenient smoothness relies on curves , theorem [ weak smoothness of curves ] immediately yields the equivalence between convenient smoothness and scalarwise convenient smoothness of maps . + for applications , it is thus highly desirable to establish that convenient smoothness coincides with smoothness in the sense of bastiani - hamilton - milnor - neeb , for relevant classes of locally convex spaces (  generalized boman theorem " ) . that this is indeed the case
was already observed in @xcite in case where the source @xmath14 is a frchet space . below we will first prove a more general result of this type , before giving our crucial characterization of smoothness in terms of weak resp .
scalarwise smoothness .
+ let @xmath14 and @xmath12 be locally convex spaces , and @xmath15 an open subset of @xmath14 . for a continuous map @xmath16
, the _ gteaux derivative _ of @xmath17 at a point @xmath109 in the direction of a vector @xmath110 is defined by @xmath111 provided the limit exists .
+    [ bhmn ] the map @xmath17 is said to be * of class @xmath30 * if @xmath112 , @xmath113 exists and is continuous .
we define inductively a map @xmath17 to be * of class @xmath114 * if it is of class of class @xmath30 and @xmath115 is of class @xmath56
. furthermore , a map is called being * of class @xmath29 * or * smooth * if it is @xmath56 for all @xmath116 .
+    if @xmath14 and @xmath12 are banach spaces , being @xmath30 in the above sense is weaker than the usual notion of @xmath30 in the sense of frchet differentiability , which requires the map @xmath117 to be continuous as map from @xmath15 to @xmath118 , equipped with the operator norm topology .
however , @xmath119 in the above sense implies @xmath30 in the usual frchet differentiability sense ( _ cf . _
proposition 2.7.1 in @xcite , or theorem i.7 in @xcite ) , so that in banach spaces , the two definitions lead to the same smooth maps .
+    next we turn to the notion of convenient smoothness .
before we recall its definition and main properties , let us already note that in general , it is possible to find conveniently smooth maps which are not even continuous !
this hints to the fact that there should be a different topology which is more adapted to convenient smoothness , and for which conveniently smooth maps are automatically continuous . since the definition of convenient smoothness relies on smooth curves , it is natural to use smooth curves to define this topology .
+    let @xmath14 be a locally convex space .
the * mackey - closure topology * ( also called * @xmath120-topology * ) is the finest topology on @xmath14 making all the smooth curves @xmath22 continuous . +    the @xmath120-topology on @xmath14 is clearly finer than the given locally convex topology .
note that if @xmath14 is a frchet space or the dual of a frchet - schwartz space , then the two topologies coincide ( @xcite , theorem i.4.11 ) .
for frchet spaces , we give a short and elementary derivation of this fact in this appendix .
note also that there are locally convex spaces such that the mackey - closure topology is not even a vector space topology and thus _ a fortiori _ does not equal the initially given topology .
examples of this phenomenon are strict inductive limits of strictly increasing sequences of infinite - dimensional frchet spaces , as e.g. @xmath121 , the space of compactly supported smooth functions on a noncompact finite - dimensional smooth manifold .
( compare @xcite , proposition i.4.26 . )
+    in section 2 , we have seen that smoothness of curves is ultimately a bornological concept , in the sense that the requirement of continuity of the derivatives can be replaced by that of being locally lipschitz , a notion that relies on the bounded sets .
consequently , it should not be very surprising that the @xmath120-topology can be characterized , as the next two propositions will show , in terms of mackey - convergent sequences ( which , by the following lemma , can be thought of as the sequential counterpart of locally lipschitz maps ) .
+    [ lipschitz preserves mackey - convergence ] let @xmath14 be a locally convex space , and @xmath22 a locally lipschitz curve . for any convergent sequence of real numbers @xmath122 ,
the sequence @xmath123 in @xmath14 is mackey - convergent .
* proof  :* let @xmath124 .
since @xmath23 is locally lipschitz , there exists a neighborhood @xmath33 of @xmath125 such that the set @xmath126 is bounded .
let @xmath127 be such that @xmath128 implies @xmath129
. then @xmath130 is bounded , which proves that @xmath123 mackey - converges to @xmath131 .
@xmath44 + recall that a sequence @xmath132 of points of a locally convex space @xmath14 _ converges fast _ to a point @xmath58 if for every @xmath133 , the set @xmath134 is bounded in @xmath14 .
therefore , a sequence @xmath132 converges fast to @xmath135 if and only if , for each @xmath133 , there exists a bounded subset @xmath136 of @xmath14 such that @xmath137 for every @xmath138 .
in particular , @xmath132 mackey - converges to @xmath135 .
+    [ special curve lemma ] ( special curve lemma ) let @xmath14 be a locally convex space , @xmath132 a sequence in @xmath14 , and @xmath135 a point of @xmath14 . if @xmath132 converges fast to @xmath135
, then there exists a smooth curve @xmath22 such that @xmath139 for every @xmath138 and @xmath140 .
* proof  :* _ cf .
_ @xcite , i.2.8 .
@xmath44 +    let @xmath14 be a locally convex space .
every sequence in @xmath14 that mackey - converges to some point @xmath58 has a subsequence that converges fast to @xmath135 .
* proof  :* let @xmath57 be a sequence in @xmath14 that mackey - converges to some point @xmath58 . by definition , there exists an absolutely convex bounded set @xmath59 , and a sequence @xmath60 of real numbers converging to 0 , such that @xmath141 for all @xmath0 .
the @xmath142 can be chosen to be positive .
since @xmath60 converges to 0 , there exists a positive integer @xmath143 such that @xmath144 .
then , there exists a positive integer @xmath145 such that @xmath146 . by induction ,
one obtains in this way a strictly increasing sequence of positive integers @xmath147 such that @xmath148 for every @xmath149 .
since @xmath31 is balanced , this implies that @xmath150 for every @xmath149 . for each @xmath133 , choose @xmath151 such that @xmath152 for every @xmath149 , and set @xmath153 . using again the fact that @xmath31 is balanced , we deduce that @xmath154 .
since @xmath136 is bounded , this shows that the subsequence @xmath155 converges fast to @xmath135 .
@xmath44 +    let @xmath14 be a locally convex space .
a subset @xmath15 of @xmath14 is @xmath120-open if and only if for every point @xmath109 and every sequence @xmath57 in @xmath14 that mackey - converges to @xmath135 , there exists @xmath127 such that @xmath128 implies @xmath156 .    * proof  :* suppose @xmath15 is @xmath157-open , let @xmath109 and @xmath57 a sequence in @xmath14 that mackey - converges to @xmath135 .
assume that the set @xmath158 is infinite .
then there exists @xmath159 , a subsequence of @xmath57 , such that none of its points @xmath160 is in @xmath15 .
a fortiori , @xmath155 mackey - converges to @xmath135 as well .
it follows from the above lemma that @xmath155 has a subsequence @xmath161 that converges fast to @xmath135 . by lemma [ special curve lemma ]
, there exists a smooth curve @xmath22 such that @xmath162 for every @xmath163 and @xmath140 .
since @xmath15 is @xmath157-open , @xmath164 is open in @xmath4 .
moreover , @xmath165 .
therefore , there exists @xmath127 such that @xmath166 implies @xmath167 .
consequently , @xmath166 implies @xmath168 .
this contradicts the fact that none of the @xmath160 belongs to @xmath15 .
conversely , suppose that for every point @xmath109 and every sequence @xmath57 in @xmath14 that mackey - converges to @xmath135 , there exists @xmath127 such that @xmath128 implies @xmath156 .
let @xmath23 be a smooth curve , @xmath169 , and @xmath122 a sequence of real numbers converging to @xmath170 .
being smooth , @xmath23 is locally lipschitz , and so by lemma [ lipschitz preserves mackey - convergence ] , the sequence @xmath171 mackey - converges to @xmath172 . by our assumption
, there exists @xmath127 such that @xmath128 implies @xmath173 .
thus , @xmath128 implies @xmath174 , which shows that @xmath164 is open in @xmath4 .
@xmath44 +    let @xmath14 be a locally convex space .
a subset @xmath38 of @xmath14 is @xmath120-closed if and only if for every mackey - convergent sequence @xmath57 of points of @xmath38 , the limit of @xmath57 belongs to @xmath38 .    *
proof  :* suppose @xmath38 is @xmath120-closed , and let @xmath135 be the limit of a mackey - convergent sequence @xmath57 of points of @xmath38 . let @xmath175 , so that @xmath15 is @xmath120-open . if @xmath176 , then @xmath109 , and so there exists @xmath127 such that @xmath128 implies @xmath156 .
this clearly contradicts the fact that @xmath177 for all @xmath0 .
thus , @xmath178 .
conversely , suppose @xmath38 has the stated property .
if @xmath38 is not @xmath120-closed , then @xmath175 is not @xmath120-open .
this implies the existence of a point @xmath109 and a sequence @xmath57 in @xmath14 that mackey - converges to @xmath135 , such that the set @xmath179 is infinite .
this is tantamount to the existence of a subsequence @xmath155 of @xmath57 whose terms belong to @xmath38 .
since @xmath57 mackey - converges to @xmath135 the same holds true for @xmath155 .
since @xmath180 for each @xmath6 , the property assumed on @xmath38 implies that @xmath178 , contradiction .
@xmath44 + we are ready to recall the precise definition and some of the properties of conveniently smooth maps .
_ notably @xcite ) .
+    let @xmath14 and @xmath12 be locally convex spaces , @xmath15 a @xmath120-open subset of @xmath14 , and @xmath16 a map .
we say that @xmath17 is * conveniently smooth * if for every smooth curve @xmath181 , the curve @xmath182 is smooth .
+    it is easy to see that the composition of two conveniently smooth maps is conveniently smooth .
+    [ convenient smoothness implies c - infinity continuity ]    let @xmath14 and @xmath12 be locally convex spaces , and @xmath15 an open subset of @xmath14 .
any conveniently smooth map @xmath16 is continuous when @xmath14 is equipped with the @xmath120-topology .
* proof  :* let @xmath183 be an open subset of @xmath12 . to show that @xmath184 is @xmath120-open in @xmath15 , we need to show that @xmath185 is open in @xmath4 for every @xmath186 . but
@xmath187 , which is clearly open in @xmath4 since the curve @xmath188 is smooth , and therefore continuous .
@xmath44 + we denote by @xmath189 the set of conveniently smooth maps from @xmath15 to @xmath12 . + the equivalence between smoothness and convenient smoothness , when it holds , is not trivial to establish , even for functions from @xmath190 to @xmath4 . in this case , it was first proved by boman in 1967 @xcite .
+    ( boman s theorem ) @xmath191    * proof  :* _ cf .
_ @xcite or @xcite , i.3.4 .
@xmath44 + now we concentrate on the structure of @xmath189 .
+    let @xmath14 and @xmath12 be locally convex spaces , @xmath15 a @xmath120-open subset of @xmath14 . then @xmath189 is a locally convex space for the coarsest topology making the maps @xmath192 , @xmath193 for all @xmath194 continuous .
* proof  :* it is not difficult to check that this topology on @xmath189 is defined by the family of seminorms @xmath195 , where we set @xmath196 for @xmath197 .
moreover , if @xmath198 , let @xmath109 be such that @xmath199 , and @xmath200 the constant curve at @xmath135 .
there exists a continuous seminorm @xmath74 on @xmath12 such that @xmath201 .
take @xmath202 and @xmath203 . then @xmath204
thus , @xmath205 is separating .
@xmath44 + one of the major benefits of working with conveniently smooth maps is the fact that they give rise to a cartesian closed category , as the next theorem will show .
+    [ cartesian closedness ] let @xmath206 , @xmath207 and @xmath12 be locally convex spaces , @xmath208 and @xmath209 @xmath120-open subsets of @xmath206 and @xmath207 respectively . then , as sets , @xmath210    * proof  :* _ cf . _ theorem i.3.12 in @xcite .
@xmath44 + a first consequence of cartesian closedness is a the following generalization of boman s theorem .
+    [ conveniently smooth on r^n = smooth on r^n ] let @xmath14 be a locally convex space .
then , @xmath211    * proof  :* let @xmath212 . by theorem [ cartesian closedness ]
, we have @xmath213 @xmath214 . in particular , for every @xmath215 , the partial map @xmath216 , @xmath217 lies in @xmath218 .
then @xmath219 + @xmath220 + @xmath221 .
thus , all first - order partial derivatives of @xmath17 exist .
inductively , one obtains the existence of all higher - order partial derivatives of @xmath17 .
this proves that @xmath222 .
conversely , if @xmath223 , then @xmath212 by the chain rule .
@xmath44 + another consequence of cartesian closedness is the convenient smoothness of the differential .
+    let @xmath14 and @xmath12 be locally convex spaces , @xmath15 a @xmath120-open subset of @xmath14 , and @xmath224 . for every @xmath109 and @xmath110 , set @xmath225
. then @xmath226 .
* proof  :* we claim that the map @xmath227 defined by @xmath228 is conveniently smooth .
indeed , let @xmath229 be a smooth curve , and set @xmath230 . then @xmath231 + @xmath232 . since @xmath233 is clearly conveniently smooth ( and smooth by corollary [ conveniently smooth on r^n = smooth on r^n ] )
, we deduce that the curve @xmath234 is smooth .
thus , @xmath235 , and therefore @xmath236 .
in particular , @xmath226 .
@xmath44 + an immediate consequence of the above proposition , already observed in @xcite for frchet spaces , is a further generalization of boman s theorem , stating that for a reasonable class of locally convex spaces , convenient smoothness coincides with smoothness ( in the sense of the above definition ) .
+    let @xmath14 and @xmath12 be locally convex spaces , and @xmath15 an open subset of @xmath14 .
assume that the given topology on @xmath14 coincides with the mackey - closure topology .
then @xmath237    * proof  :* by the chain rule , smoothness implies convenient smoothness . for the nontrivial direction , suppose @xmath16 is conveniently smooth . by the preceding proposition , @xmath112 is conveniently smooth as well .
proposition [ convenient smoothness implies c - infinity continuity ] implies then that @xmath115 is continuous for the @xmath120-topology , therefore continuous by our assumption on @xmath14 .
thus , @xmath17 is @xmath30 , and by induction , one obtains that @xmath17 is smooth .
@xmath44 + we are ready to state and prove the main result of this section . +    [ scalarwise smoothness implies smoothness ] let @xmath14 and @xmath12 be locally convex space spaces , and @xmath15 an open subset of @xmath14 .
assume that the given topology on @xmath14 coincides with the mackey - closure topology and that f is mackey - complete .
let @xmath16 be a continuous map
. then the following are equivalent :    1 .
@xmath17 is smooth .
2 .   for every open subset @xmath183 of @xmath12 containing @xmath238 and every @xmath239
, we have @xmath240 .
3 .   for every @xmath241
, we have @xmath240 ( i.e. @xmath17 is scalarwise smooth ) .
4 .   for every @xmath242
, we have @xmath243 ( i.e. @xmath17 is weakly smooth ) .
* proof  :* @xmath244 is evident by chain rule , and @xmath245 follows upon taking @xmath246 .
@xmath247 follows from the fact that every continuous linear map is smooth .
it remains to show @xmath248 .
suppose that for every @xmath242 , we have @xmath249 . for every smooth curve @xmath181 ,
the function @xmath250 is smooth since @xmath251 . by theorem [ weak smoothness of curves ]
, the curve @xmath182 is smooth .
this means that the map @xmath16 is conveniently smooth . by the above proposition ,
we conclude that @xmath17 must be smooth .
a * class of l.c . model spaces or l.c .
models * is a subclass @xmath252 of the class of real ( hausdorff ) locally convex spaces such that @xmath252 contains the numerical spaces @xmath253 for all @xmath254 .
+    typical examples are the class of numerical spaces @xmath253 for all @xmath254 , the class of finite - dimensional vector spaces , the class of banach spaces , the class of frchet spaces , and the class of all locally convex spaces .
+    [ atlas ] let @xmath252 be a class of l.c .
model spaces , and @xmath255 a hausdorff topological space .    1 .   a * smooth @xmath252-atlas * on @xmath255 is a family of pairs @xmath256 such that @xmath257 is an open cover of @xmath255 and for every @xmath258 , there exists a space @xmath259 from the class @xmath252 and a homeomorphism @xmath260 such that the following compatibility condition is satisfied : for every @xmath261 such that @xmath262 , the transition map @xmath263 is smooth ( in the sense of definition [ bhmn ] ) .
2 .   given a * smooth @xmath252-atlas
* @xmath264 on @xmath255 , a * ( compatible ) chart * on @xmath255 is a pair @xmath265 where @xmath15 is an open subset of @xmath255 and @xmath266 is a homeomorphism from @xmath15 onto an open subset @xmath267 of some space from the class @xmath252 such that the transition map between @xmath265 and every @xmath268 is smooth .
a smooth @xmath252-atlas @xmath264 is said to be * maximal * if any chart @xmath265 compatible with @xmath264 belongs already to @xmath264 .
a maximal atlas is also called a * smooth structure * , the class @xmath252 being understood .
+    let @xmath252 be a class of l.c .
model spaces .
a * smooth @xmath252-manifold * is a pair @xmath269 where @xmath255 is a hausdorff topological space and @xmath264 is a maximal smooth @xmath252-atlas on @xmath255 .
+    1 .   especially in finite dimensions , @xmath255 is often required to be second countable . however , as we are mainly interested in the generalization to infinite dimensions , we do not insist on this condition here .
let us remark that we can not insist on first countability neither , since a non - metrizable locally convex space is not first countable ( see e.g. @xcite , proposition 25.1 ) .
2 .   given a smooth @xmath252-atlas @xmath264 , there is always a unique maximal smooth @xmath252-atlas containing @xmath264 , obtained by adjoining to @xmath264 all the charts that are compatible with @xmath264 .
3 .   if @xmath252 and @xmath270 are classes of l.c .
models such that @xmath271 , then a smooth @xmath252-manifold is obviously a smooth @xmath270-manifold . denoting the class of all locally convex spaces by @xmath272 ,
every smooth @xmath252-manifold is then a smooth @xmath272-manifold .
+    given classes @xmath252 and @xmath273 of l.c .
models , let @xmath269 , resp .
@xmath274 be a smooth @xmath252- resp .
@xmath273-manifold , and @xmath275 a continuous map .
we say that @xmath17 is * smooth * if the following condition is fulfilled : for every @xmath276 and every @xmath277 such that @xmath278 , the following map ( between open sets in locally convex spaces ) is smooth : @xmath279    1 .   if @xmath280 resp .
@xmath281 is a smooth atlas ( not necessarily maximal ) of @xmath1 resp .
@xmath282 , it is enough to check the above condition for charts in @xmath283 and @xmath284 .
we notably obtain the notion of a smooth function @xmath285 on @xmath1 , namely a function @xmath286 such that for every chart @xmath287 ( atlas contained in @xmath264 ) , @xmath288 is a smooth function on the open set @xmath267 ( contained in some space from the class @xmath252 ) .
since an open subset @xmath289 inherits obviously a smooth structure upon restricting the smooth structure to @xmath15 , we have a notion of smooth map / function defined on @xmath15
. +    given a class of l.c .
model spaces @xmath252 , let @xmath269 be a smooth @xmath252-manifold .
the * sheaf @xmath290 of smooth functions * on @xmath1 is the subsheaf of the sheaf @xmath291 of continuous ( real - valued ) functions on the topological space @xmath255 , defined as the contravariant functor @xmath292 assigning to every open subset @xmath15 of @xmath255 the commutative @xmath4-algebra @xmath293 of smooth functions on @xmath15 . here
, @xmath294 is the category of open subsets of @xmath255 with inclusions as morphisms , and @xmath295 is the category of unital commutative associative @xmath4-algebras with unital @xmath4-algebra homomorphisms as morphisms .
+    [ manifolds are ringed ] obviously , @xmath296 is a ringed space , with the stalks @xmath297 ( for @xmath298 ) being local unital @xmath4-algebras with maximal ideals @xmath299 . in short , @xmath296 is a locally ringed space .
furthermore , @xmath296 is , as a locally ringed space , locally isomorphic to models @xmath300 , where @xmath14 is a space from the class @xmath252 , and @xmath301 is an open subset of @xmath14 . the atlas @xmath302 , where @xmath303 is the canonical inclusion , is obviously smooth and thus contained in a maximal atlas @xmath304 .
calling @xmath305 the smooth manifold given by @xmath306 , we obviously have @xmath307 .
+    recall that if @xmath308 and @xmath309 are locally ringed spaces , a _ morphism of locally ringed spaces _ between them is a pair @xmath310 , where @xmath311 is a continuous map and @xmath312 is a morphism of sheaves of unital @xmath4-algebras such that for every @xmath313 , the induced unital @xmath4-algebra homomorphism @xmath314 is _ local _
, i.e. sends maximal ideal to maximal ideal .
let us also recall that @xmath315 can be equivalently viewed upon as a sheaf morphism @xmath316 . in the sequel , we apply both formulations without further comment .
+ a locally ringed space @xmath308 is here said to be _ reduced _ if @xmath317 is a subsheaf of the sheaf of continuous functions @xmath318 .
if @xmath319 is a morphism between _ reduced _ locally ringed spaces , then @xmath315 is given by @xmath320 , the pullback by @xmath321 ( and so the morphism @xmath17 is completely determined by the underlying continuous map @xmath321 ) .
consequently , we often write @xmath17 instead of @xmath321 when the spaces are reduced . of course , we never do so in the non - reduced case , since @xmath315 is then part of the data .
+    let @xmath252 be a class of l.c
a * structure sheaf - smooth @xmath252-manifold * is a reduced locally ringed space which , as a locally ringed space , is locally isomorphic to models @xmath322 , where @xmath301 is an open subset of a space from the class @xmath252 .
+    by remark [ manifolds are ringed ] , every smooth @xmath252-manifold is , in a natural way , a structure sheaf - smooth @xmath252-manifold .
the converse is nontrivial . using the preceding section
, we can nevertheless show the following results . +    the class of l.c .
models made of all the mackey - complete locally convex spaces will be denoted by @xmath323 .
+    [ smooth equals ringed morphism ] let @xmath252 be the class of locally convex spaces whose topology coincides with the mackey - closure topology . if @xmath269 is a smooth @xmath252-manifold , @xmath274 a smooth @xmath323-manifold , and @xmath275 a continuous map , then @xmath17 is smooth if and only if @xmath324 is a morphism of locally ringed spaces .
* proof  :* by the chain rule , smooth maps are morphisms of locally ringed spaces .
assume now that @xmath17 is a morphism of locally ringed spaces .
let @xmath265 and @xmath325 be charts of @xmath1 ( resp .
@xmath282 ) with values in @xmath326 ( resp .
@xmath327 ) such that @xmath278 .
the continuous map @xmath328 is then a morphism of locally ringed spaces as well ( with respect to the natural structure sheaves ) .
thus , @xmath329 satisfies condition ( ii ) of theorem [ scalarwise smoothness implies smoothness ] , which in turn implies that @xmath329 is smooth .
it follows that @xmath17 itself is smooth .
@xmath44 + the above theorem has the following very important consequence . +    [ manifolds = structure sheaf - smooth manifolds ] let @xmath252 be again the class of locally convex spaces whose topology coincides with the mackey - closure topology . for every smooth @xmath252-manifold in the structure - sheaf sense @xmath2 , there is a canonical maximal atlas @xmath264 on @xmath255 such that @xmath269 is a smooth @xmath252-manifold , and @xmath330 .
* proof  :* let @xmath331 be a family of pairs such that @xmath257 is a covering of @xmath255 and for all @xmath258 , @xmath332 ( with @xmath333 and @xmath334 ) is an isomorphism of locally ringed spaces .
furthermore , the continuous transition map @xmath335 , the latter map is an isomorphism of the locally ringed spaces @xmath336 and @xmath337 . by the preceding theorem , the map @xmath338 is then already smooth .
it follows that @xmath283 is a smooth atlas on @xmath255 .
we observe that the unique maximal atlas @xmath264 containing @xmath283 is canonically associated to the given locally ringed space .
furthermore , the corresponding sheaf of smooth functions @xmath290 is equal to the structure sheaf @xmath339 .
@xmath44 +    the preceding theorem and its corollary show that for important classes of l.c .
model spaces , as e.g. the class of frchet spaces , we can encode smoothness completely in sheaf - theoretic language .
this approach simplifies the verification and application of smoothness in infinite dimensions , and allows generalizations to the non - reduced case , as e.g. for  frchet supermanifolds " .
in general , i.e. , for arbitrary classes of l.c . model spaces , resp . for our ( regular ) local models replaced by more general local models , as e.g. , complex - analytic sets in open subsets of complex locally convex spaces ,
this encoding might not be possible anymore . in order to circumvent this problem , douady introduced in @xcite the notions of the next definition .
+    let @xmath7 be a category , and denote , for a topological space @xmath340 , the category of sheaves ( of sets ) on @xmath340 by @xmath341 .
if @xmath311 is a continuous map of topological spaces and @xmath342 is a covariant functor , then @xmath343 defined by @xmath344 is a covariant functor , called the * inverse image of @xmath345 by @xmath321*. +    let @xmath7 be a category .    1 .
a * @xmath7-functored space * is a pair @xmath346 where @xmath10 is a topological space , and @xmath347 is a covariant functor from @xmath7 to the category of sheaves on @xmath10 .
we say that @xmath348 is the * structure functor * of @xmath346 .
if @xmath9 and @xmath349 are @xmath7-functored spaces , a * morphism of @xmath7-functored spaces * between them is a pair @xmath310 where @xmath311 is a continuous map and @xmath350 is a natural transformation between the two functors @xmath351 and @xmath352 .
+    given a class @xmath273 of l.c .
models , we continue to use the symbol @xmath273 , by a slight abuse of notation , to denote the category whose objects are open subsets of spaces from the class @xmath273 , and whose morphisms are the smooth maps between them ( in the sense of definition [ bhmn ] ) .
such a category @xmath273 will be referred to as a  category of l.c .
models " . +    given a category of l.c .
models @xmath273 , an @xmath273-functored space @xmath353 is said to be * reduced * if for every @xmath354 and every open set @xmath355 , we have @xmath356 , and @xmath357 is a sheaf having local unital @xmath4-algebras as stalks . +    if @xmath353 is a reduced @xmath273-functored space , then @xmath308 is a reduced locally ringed space .
+    given a class of l.c .
models @xmath252 , let @xmath269 be a smooth @xmath252-manifold . for any category of l.c .
models @xmath273 , consider the functor @xmath358 defined as follows : for every @xmath354 and every open set @xmath289 , let @xmath359 .
then @xmath360 is called the * canonical @xmath273-functored space associated to @xmath1*. +    [ manifolds are functored ] obviously , for any smooth @xmath252-manifold @xmath1 , @xmath360 is a reduced @xmath273-functored space .
furthermore , @xmath360 is , as a @xmath273-functored space , locally isomorphic to model @xmath273-functored spaces @xmath361 , where @xmath301 is an open subset of a space from the class @xmath252 .
+    let @xmath252 be a class of l.c
a * structure functor - smooth @xmath252-manifold * is a reduced @xmath362-functored space @xmath363 which , as a @xmath272-functored space , is locally isomorphic to model functor spaces @xmath364 , where @xmath301 is an open subset of a space from the class @xmath252 .
+    by remark [ manifolds are functored ] , for @xmath365 , every smooth @xmath252-manifold is , in a natural way , a structure functor - smooth @xmath252-manifold .
+    let @xmath252 be a class of l.c
. models . if @xmath269 and @xmath274 are smooth @xmath252-manifolds , and @xmath275 a continuous map , then @xmath17 is smooth if and only if @xmath366 is a morphism of @xmath272-functored spaces .
* proof  :* note that a morphism @xmath367 between _ reduced _ functored spaces is completely determined by the underlying continuous map @xmath321 , the information contained in the natural transformation @xmath315 being that of all possible pullbacks by @xmath321 . consequently , as in the case of
_ reduced _ locally ringed spaces , we write @xmath17 instead of @xmath367 .
suppose now that @xmath368 is smooth .
then , for any open subset @xmath183 of a locally convex space @xmath12 and for any open subset @xmath369 of @xmath370 , the pullback @xmath371 is well - defined by the chain rule .
we claim that @xmath372 , which assigns to every @xmath183 the sheaf map @xmath373 given by the pullbacks @xmath374 , is a natural transformation .
indeed , we have to show that given @xmath375 ( resp .
@xmath376 ) open subset of a locally convex space @xmath377 ( resp .
@xmath378 ) , and given a smooth map @xmath379 , we have @xmath380 for every open set @xmath369 in @xmath370 . but
this is true since both lhs and rhs , when evaluated at an element @xmath381 , are equal to @xmath382 .
thus , @xmath17 is a morphism of @xmath272-functored spaces .
now we prove the converse of the theorem .
assume that @xmath17 induces , via the pullbacks @xmath374 , a morphism of @xmath272-functored spaces .
this means that for a germ of a smooth map defined on @xmath370 having values in an open subset of an arbitrary locally convex space , the pullback is the germ of a smooth map on @xmath255 . since this property as well as the condition of smoothness are local
, we replace w.l.o.g .
@xmath255 and @xmath370 by open subsets @xmath15 resp .
@xmath383 in locally convex spaces @xmath384 in @xmath252 .
taking now @xmath385 , the pullback @xmath386 equals @xmath17 and thus @xmath17 is smooth .
@xmath44 + the above theorem has the following important consequence .
+    let @xmath252 be a class of l.c
. models . for every structure
functor - smooth @xmath252-manifold @xmath387 , there is a canonical maximal atlas @xmath264 on @xmath255 such that @xmath269 is a smooth @xmath252-manifold , and @xmath388 .
* proof  :* mutatis mutandis the proof of corollary [ manifolds = structure sheaf - smooth manifolds ] shows this corollary as well .
@xmath44 + one could also take @xmath252 to be the class of all complex locally convex spaces .
the notion of smooth @xmath252-manifold is then replaced by that of _ complex - analytic locally convex manifold_. to such a manifold @xmath269 , one can then associate a _ complex - analytic locally convex manifold in the structure - sheaf sense _ @xmath389 , where @xmath390 is the sheaf of complex - analytic functions on @xmath1 .
one has then the following result .
+    let @xmath269 and @xmath274 be complex - analytic locally convex manifolds , and @xmath275 a continuous map .
then @xmath17 is complex - analytic if and only if @xmath391 is a morphism of locally ringed spaces .
+    * proof  :* by the chain rule , analytic maps are morphisms of locally ringed spaces .
assume now that @xmath17 is a morphism of locally ringed spaces .
since the condition of analyticity is local , we can proceed as in the proof of theorem [ smooth equals ringed morphism ] , which amounts to replace @xmath255 and @xmath370 by open subsets @xmath392 and @xmath393 of complex locally convex spaces @xmath14 and @xmath12 respectively .
this gives a map @xmath394 which is scalarwise analytic .
in particular , viewed as a map from @xmath392 to @xmath12 , @xmath329 is weakly analytic . by @xcite ( part ii , proposition 1.6 )
, we deduce that @xmath329 is analytic .
it follows that @xmath17 itself is analytic .
@xmath44 +    if , instead of complex - analytic locally convex manifolds , one considers more generally complex - analytic subsets of locally convex spaces ( and analytic spaces modelled on such analytic sets ) , then pathologies appear .
there are examples of reduced analytic sets ( in the ringed space - sense ) with continuous maps into some complex banach space which are weakly analytic but not analytic ( see e.g. @xcite , pp .
73 - 80 ) .
this phenomenon is avoided by defining analytic sets and spaces as functored spaces in @xcite .
for the reader s convenience , we give a simple proof of the fact that the mackey - closure topology on a frchet space coincides with the given topology .
+      * proof  :* we know that the @xmath120-topology is finer than the given topology . we need to show that conversely , any @xmath120-open subset of @xmath14 is open .
let @xmath15 be an absolutely convex @xmath120-neighborhood of 0 .
first we show that being @xmath120-open , @xmath15 must absorb every bounded set .
+ suppose that there exists a bounded set @xmath31 which is not absorbed by @xmath15 .
then for every @xmath395 , we have that @xmath31 is not contained in @xmath396 . in particular , if we consider a sequence @xmath60 of positive real numbers converging to 0 , then for every @xmath0 , the set @xmath31 is not contained in @xmath397 .
so for every @xmath0 , we can choose @xmath398 such that @xmath399 .
now @xmath400 for every @xmath0 , therefore the sequence @xmath401 mackey - converges to 0 .
since @xmath15 is @xmath120-open , this implies the existence of @xmath402 such that @xmath403 . on the other hand , since @xmath404 , there exists @xmath405 such that @xmath406 . for @xmath407
, we have @xmath408 , and so @xmath409 , contradiction .
thus , @xmath15 absorbs every bounded set .
+ now assume @xmath15 is not a neighborhood of 0 . since @xmath14 is frchet , it is metrizable and therefore first - countable .
let @xmath410 be a decreasing countable basis of neighborhoods of 0 in @xmath14 .
we may assume each @xmath411 to be balanced , in which case @xmath412 is also a basis of neighborhoods of 0 . since @xmath15 is not a neighborhood of 0 , for every @xmath0 , the basic neighborhood @xmath413 is not contained in @xmath15 . for each @xmath0
, choose @xmath414 such that @xmath415 .
it is easy to see that @xmath416 , and so the set @xmath417 is bounded . by what we have seen above , @xmath15 will absorb this set , and so there exists @xmath395 such that @xmath418 for all @xmath0 . for @xmath0
sufficiently large , we will then have @xmath419 , contradiction . @xmath44 +