Scale Calculus and M-Polyfolds -- An Introduction
Joa Weber

TL;DR
This paper introduces scale calculus and M-polyfolds, providing foundational concepts and methods for advanced mathematical analysis in infinite-dimensional spaces, aimed at graduate students and researchers.
Contribution
It offers an accessible introduction to scale calculus and M-polyfolds, bridging the gap between theory and applications in symplectic field theory and related areas.
Findings
Clarifies the foundational aspects of scale calculus.
Introduces the concept of M-polyfolds for infinite-dimensional analysis.
Provides educational material for graduate courses and seminars.
Abstract
These are lecture notes on scale calculus and M-polyfolds written for a graduate course at UNICAMP March-June 2018 and an advanced mini-course given during the biannual meeting of Brazilian mathematicians, CBM-32, at IMPA in August 2019.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsGeometric and Algebraic Topology · Homotopy and Cohomology in Algebraic Topology · semigroups and automata theory
Scale Calculus and -Polyfolds
An Introduction
Joa Weber
UNICAMP
See pages 1 of capa-neutral-pr
*Dies ist das Geheimnis der Liebe,
daß sie solche verbinde,
deren jedes für sich sein könnte
und doch nichts ist und sein kann ohne das andere
*Friedrich Wilhelm Joseph von Schelling
1775–1854
Preface
This text originates from lecture notes written during the graduate course “MM805 Tópicos de Análise I” held from March through June 2018 at UNICAMP. The manuscript has then been slightly modified in order to serve as accompanying text for an advanced mini-course during the * Colóquio Brasileiro de Matemática*, CBM-32, IMPA, Rio de Janeiro, in August 2019.
Scope
Our aim is to give an introduction to the new calculus, called scale calculus, and the generalized manifolds, called M-polyfolds, that were introduced by Hofer, Wysocki, and Zehnder (2007, 2009a, 2009b, 2010) in their construction of a generalized differential geometry in infinite dimensions, called polyfold theory. In this respect we recall and survey in the appendix the incarnations of the usual (Fréchet) calculus in various contexts - from topological vector spaces (TVS) to complete normed vector spaces, that is Banach spaces.
Recently the construction of abstract polyfold theory has been concluded and made available in the form of a book by Hofer et al. (2017). The door is now open, not only to reformulate and reprove past moduli space problems using the new language and tools, but to approach open or new problems.
Content
There are two parts plus an appendix. Part one introduces scale calculus starting with the linear theory (scale Banach spaces, scale linear maps, in particular, scale Fredholm operators – these are related to scale shifts), then we define scale continuity and scale differentiability. The latter is compared to usual (Fréchet) differentiability, then the chain rule is established for scale calculus. Part one concludes with boundary and, more surprisingly, corner recognition in scale calculus and with the construction of scale manifolds.
Part two is concerned with the construction of M-polyfolds in analogy to manifolds, just locally modeled not only on Banach space (Banach manifolds), neither only on scale Banach space (scale manifolds), but on a generalization of retracts called scale retracts. This choice of local model spaces is motivated by Cartan’s last theorem which we therefore review first. Part two concludes with the construction of the scale version of vector bundles, called strong bundles over M-polyfolds, whose local models are strong trivial-bundle retracts. To accommodate Fredholm sections one introduces a double scale structure from which one then extracts two individual scales.
The appendix recalls and reviews relevant background and results in topology and analysis, particularly standard calculus.
Audience
The intended audience are graduate students. Recommended background is basic knowledge of functional analysis including the definition of Sobolev spaces such as .
Acknowledgements
It is a pleasure to thank Brazilian tax payers for the excellent research and teaching opportunities at UNICAMP and for generous financial support through Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP), processo 2017/19725-6. I am indebted to the selection committee of CBM-32 for giving me once more the opportunity to teach an advanced mini-course at these bi-annual meetings.
I’d like to thank Daniel Ferreira Machado, Darwin Gregorio Villar Salinas, and José Lucas Pereira Luiz for their interest and a very pleasant atmosphere in the graduate course “MM805 Tópicos de Análise I” held in the first semester of 2018 at UNICAMP.
Last not least, I am very grateful to Kai Cieliebak for handing me out his fine Lecture Notes Cieliebak (2018) while they were still in progress and to Helmut Hofer for a useful comment.
Campinas, Joa Weber
Contents
Chapter 1 Introduction
The central problem in areas of global analysis such as Morse, Floer, or Gromov–Witten theory is to study spaces of solutions to nonlinear ordinary or partial differential equations . The so-called moduli spaces
[TABLE]
consist in case of of parametrized solutions taking values in a manifold or – after localization – in a vector space , often divided out by a group that acts on by reparametrizing the domain manifold . The elements of are then called unparametrized solutions. In case of Morse and Floer homology an element of the group acts on the domain by time-shift
[TABLE]
for . The shift map is defined by . The peculiar different behavior in and in of this simple map, namely linearity, hence smoothness, in , whereas differentiation with respect to causes to loose a derivative, eventually led to the discovery of a new notion of smoothness in infinite dimensions – scale smoothness due to Hofer, Wysocki, and Zehnder (2007, 2017). Scale smoothness is connected to interpolation theory Triebel (1978). It was the crucial insight of Hofer, Wysocki, and Zehnder that requiring compactness of the scale embeddings causes that scale smoothness satisfies the chain rule and therefore is suitable to patch together pieces of scale Banach spaces to obtain scale manifolds, or more generally M-polyfolds – new spaces in infinite dimensions.
From holomorphic curves to polyfold theory.
In 1985 Gromov (1985) generalized holomorphic curves from complex analysis to symplectic geometry and thereby discovered that there is a symplectic topology. Right after Gromov’s seminal ideas Floer (1986, 1988b, 1989) “morsified” holomorphic curves. He used a perturbed holomorphic curve equation to construct a semi-infinite dimensional Morse homology, called Floer homology, which meanwhile has a huge range of applications, from Hamiltonian and contact dynamics through symplectic topology to topological field theories; cf. the survey Abbondandolo and Schlenk (2018). Floer’s construction also motivated further developments like the discovery of Fukaya -categories (Fukaya, 1993; Fukaya et al., 2009) and Symplectic Field Theory (Eliashberg et al., 2000).
All these applications face difficult transversality and compactness issues largely caused by the fact that one does not find oneself working in a single Banach manifold, but rather in a union of such and one has to deal with each strata individually and even do analysis across neighboring ones. To deal with these problems Fukaya and Ono (1999) discovered the notion of Kuranishi structures based on finite dimensional approximation.
In contrast Hofer, Wysocki, and Zehnder stay in infinite dimension and generalize calculus. Traditionally moduli spaces were studied by cumbersome ad-hoc methods all of whose steps had to be carried out, although rather analogous, for each moduli problem from scratch, usually filling hundreds of pages. Even in one specific setup, the differential operator might act on maps whose domains and targets vary, in general. Consequently cannot be defined on some single Banach manifold of maps with values in some single Banach bundle over . Therefore the occurring singular limits, e.g. broken trajectories or bubbling off phenomena, cause difficult compactness/gluing and transversality problems for when defined on many individual Banach manifolds that are at most strata of a common ambient space . While in traditional approaches the ambient spaces itself are usually inaccessible to calculus, in a series of papers Hofer, Wysocki, and Zehnder (2007, 2009a, 2009b, 2017) construct ambient spaces in the form of generalized manifolds, called M-polyfolds,111 The “M” is a reminder that M-polyfolds are constructed in analogy to Banach manifolds, just replace the local model Banach space by some (-retract of a) scale Banach space. The more general polyfolds are useful in problems having local symmetries.
which are accessible to a customized generalized calculus called scale or sc-calculus. Now polyfolds generalize M-polyfolds like orbifolds generalize manifolds.
Roughly speaking, polyfold theory is a mixture of a generalized differential geometry, a generalized non-linear analysis, and some category theory.
Shift map motivates scale calculus.
The discovery of scale calculus was triggered by the properties of the shift map. That map shows up already for one of the simplest non-trivial scenarios, namely, the downward gradient equation for paths and associated to a given Morse function on a closed Riemannian manifold. Given critical points of , the moduli space consists of all solutions of which asymptotically connect to , i.e. . Time shift by produces again a solution
[TABLE]
Having the same image in one calls and equivalent and denotes the space of equivalence classes by . While the quotient of a manifold by a free and smooth action inherits a manifold structure, unfortunately, the time shift action is not smooth at all.
To illustrate non-smoothness let us simplify the scenario in that we consider the time shift action of on the compact222 Compactness of the domain is crucial that inclusion is compact.
domain of where . The derivative of the shift map
[TABLE]
taken at does not respect the target space . Indeed
[TABLE]
takes values only in , because does. But then there is no reason to ask the second summand to be better than and for this the assumption suffices. While behaves terribly in it is extremely tame in , namely linear.
If one accepts different differentiability classes of domain and target spaces, the shift map has the following still respectable properties for .
- (a)
The shift map is continuous.
- (b)
The shift map as a map is pointwise differentiable in the usual sense with (Fréchet) derivative .
- (c)
At the derivative extends uniquely ( is dense in ) from to a continuous linear map , denoted by and called the scale derivative.
- (d)
The extension is continuous in the compact-open topology,333 But it is not continuous in the norm topology on ; see Remark 2.4.8.
equivalently, it is continuous as a map
[TABLE]
Properties (a–d) suggest that instead of considering as a map between one domain and one target, both of the same regularity (the same level), one should use the whole nested sequence (scale) of Banach spaces and consider as a map between scales.
The proof of (a–d) hinges on (i) compactness of the linear operator given by inclusion and (ii) on density of the intersection in each of the Banach spaces (levels) . A nested sequence of Banach spaces satisfying (i) and (ii) is called a Banach scale or an -Banach space and is called level of the scale.
Now one turns properties (a–d) into a definition calling maps between -Banach spaces satisfying them continuously -differentiable or of class ; cf. Remark 2.0.1 and Definition 2.4.6. The new class generalizes the usual class in the following sense: Suppose that is a map between Banach scales whose restriction to any domain level actually takes values in the corresponding level of the target and all the so-called level maps are of class . Then is of class ; see Lemma 2.5.6.
Sc-manifolds are modeled on scale Banach spaces.
In complete analogy to manifolds a scale or -manifold is a paracompact Hausdorff space just locally modeled on a scale Banach space , as opposed to an ordinary Banach space, and requiring the transition maps to be -diffeomorphisms. In finite dimension -calculus specializes to standard calculus and -manifolds are manifolds.
M-polyfolds are modeled on sc-retracts.
Motivated by Cartan’s last theorem (1986) M-polyfolds are described locally by retracts in scale Banach spaces, replacing the open sets of Banach spaces in the familiar local description of manifolds. As a consequence M-polyfolds may have locally varying dimensions; see Figure 3.1. Enlarging the class of smooth maps one risks loosing vital analysis tools such as the implicit function theorem – which indeed is not available for sc-smooth maps; see Filippenko et al. (2018). However, for moduli space problems one only needs to work in the subclass of sc-Fredholm maps on which an implicit function theorem is available.
Outlook.
Given abstract polyfold theory (Hofer et al., 2017), it is now up to the scientific community to work out and provide modules, or black boxes, also called LEGO pieces, that uniformly cover large classes of applications, say in Morse and Floer theory. A shift map LEGO has been provided by Frauenfelder and Weber (2018).
Appendix on topology and analysis.
In the appendix we review the incarnations of the usual (Fréchet) calculus in various contexts - from topological vector spaces (TVS) to Banach spaces. For self-consistency of the text we recall many results of standard calculus in topology and analysis which are used in the main body.
Notes to the Reader.
Each of the two chapters begins with a detailed summary and survey of its contents. Read both of these two chapter summaries first to get an idea of what about is this text.
In the end the present lecture notes only grew to two chapters plus an appendix providing some background of calculus – from topology to functional analysis. In class we also treated, though briefly, scale Fredholm theory and, as an application, the shift map LEGO (Frauenfelder and Weber, 2018) for Morse and Floer path spaces. In a planned extension we shall add these topics in the form of two additional chapters.
Unless mentioned differently, we (closely) follow Hofer, Wysocki, and Zehnder (2017). Two other great sources are Fabert, Fish, Golovko, and Wehrheim (2016) and Cieliebak (2018).
Chapter 2 Scale calculus
The ubiquitous “sc” a-priori abbreviates scale, but in the context of scale linear operators and maps it stands for scale continuous. The latter is denoted in the context of general, possibly non-linear, maps by or by for times scale continuously differentiable maps. In a linear context subspace means linear subspace.
Section 2.1 “Scale structures” introduces the notion of a Banach scale which is a nested sequence of sets called levels – each one being actually a Banach space – and subject to two more axioms. A subset of the top level generates, we also say induces, naturally a new nested sequence by intersecting with each level . The new levels form the nested sequence . Of course, not every nested sequence is of the form .
The three axioms for a Banach scale , also called a scale Banach space or an -Banach space, are the following: Each level is a Banach space under its own norm , all inclusions are compact linear operators, and the intersection of all levels is dense in every level Banach space . The points of are called points of regularity and those of smooth points. A Banach subscale of is a Banach scale whose levels are Banach subspaces of the corresponding levels of . Is every Banach subscale generated by its top level , i.e. is ? You bet. However, not every closed subspace of a scale Banach space generates a Banach subscale. In general, there is no reason that satisfies the density axiom, consider e.g. cases of trivial intersection . Those closed subspaces that do generate a Banach subscale are of crucial significance, they are called -subspaces.
Because Fredholm theory is a fundamental tool in the analysis of solution spaces of differential equations, -subspaces of finite dimension will be key players, as well as -subspaces of finite codimension. Finite dimensional -subspaces of an -Banach space are characterized as follows. For finite dimensional subspaces of it holds:
[TABLE]
Although simple to prove, this equivalence is far reaching. In particular, since due to finite dimension the generated Banach subscale is constant (all levels are necessarily equal).
Section 2.2 “Examples” presents a number of examples of Banach scales, e.g. Sobolev scales and weighted Sobolev scales, that arise frequently in the study of solution spaces of differential equations on manifolds. The desire to simplify and, most importantly, to unify the many cumbersome steps of the classical treatment of analyzing solution spaces actually was the motivation to invent scale calculus; see e.g. the introductions to Hofer et al. (2005) and Hofer (2006).
Section 2.3 “Scale linear theory” carries over fundamental notions of linear operators to Banach scales. For example a scale linear operator is a linear operator between -Banach spaces which preserves levels, that is . For such the restriction to level takes values in . The restriction as a map is called a level operator. Now one can carry over (some) standard notions and properties of linear operators, say continuity, compactness, projections, and so on, by requiring each level operator to have that property. For instance, a scale continuous operator, called -operator, is a scale linear operator such that all level operators are continuous, that is .
However, as soon as it comes to -Fredholm operators, not level preservation , but level – better regularity – improvement becomes a key property. The latter are called -operators. They have the property that all their level operators are compact.
Similarly, as mentioned earlier for Fredholm operators in the usual sense, finite dimensional and finite codimensional -subspaces will enter the definition of -Fredholm operators. Thus one needs the following two notions:
Firstly, the notion of -splitting of into an -direct sum of -subspaces and called -complements of one another. Just as for Banach spaces any finite dimensional -subspace admits an -complement.
Secondly, the notion of -quotient . This allows to establish for finite codimensional -subspaces existence of an -complement (Proposition 2.3.20) and characterize them as follows (Lemma 2.3.21). For finite codimensional subspaces of it holds:
[TABLE]
It seems that so far the literature missed to spell out these two facts explicitly.
An -Fredholm operator is an -operator such that there are -splittings with levels and with levels where is the kernel and is the image of and both and are of finite dimension. Looks fine already? Well, there is one condition missing yet.111 While as a map is an isomorphism, this is not yet guaranteed for the level operators as maps . Their images a-priori are only subspaces. To get isomorphisms one needs to exclude elements of higher levels getting mapped under to level , in symbols .
The operator as a map must be an -isomorphism (a bijective -operator whose inverse is level preserving). This enforces level regularity of in the sense that implies . And it assures that the levels generated by the -subspace coincide with the images of the level operators.
It is then a consequence that the level operators are all Fredholm with the same kernel and the same Fredholm index. Vice versa, if the level operators of an -operator are Fredholm and is level regular in the above sense, then is -Fredholm.
The classical stability result that Fredholm property and index are preserved under addition of a compact linear operator carries over this way: The -Fredholm property is preserved under addition of -operators.
Section 2.4 “Scale differentiability” is where the revolution happens. Free difference quotients! Away with Fréchet mainstream suppression! Hofer, Wysocki, and Zehnder (2017) just did it, at least in infinite dimensions..
Remark 2.0.1**.**
Let and be open subsets of -Banach spaces. An open subset of is given by . A scale continuous 222 Also called of class which by definition means level preserving and continuity of all restrictions as maps , called level maps.
map is called continuously scale differentiable or of class if
- •
the upmost so-called diagonal map (of height one), namely as a map is pointwise differentiable and
- •
its derivative admits a continuous linear extension
[TABLE]
from the dense subset to itself, called the -derivative of at and denoted by . Furthermore, it is required that
- •
the tangent map defined by
[TABLE]
is of class . Here the tangent bundle of is the open subset333 To get the shifted scale forget the first levels: Its level is .
[TABLE]
of the Banach scale .
The third axiom, the one requiring level preservation and continuity of the level maps associated to the tangent map , has a lot of consequences caused by the shift in the definition of the tangent bundle . For instance restricts at points of better regularity, say , to (continuous) level operators for all levels between [math] and down to level .
In general, the scale derivative only admits level operators for all levels down to the level right above the -level!
The -derivative viewed (horizontally) between equal levels enjoys only continuity with respect to the compact open topology444 If in , then for each fixed one has in .
whereas viewed as a diagonal map is continuous with respect to the operator norm topology, i.e. as a map
[TABLE]
where the target carries the operator norm. But for these domains pointwise, so implies that all diagonal maps of height one are of class in the usual sense and this brings us to
Section 2.5 “Differentiability – Scale vs Fréchet”. Here we will see that higher scale differentiability f\in{\mathrm{sc}}^{\color[rgb]{0,1,1}\definecolor[named]{pgfstrokecolor}{rgb}{0,1,1}\pgfsys@color@cmyk@stroke{1}{0}{0}{0}\pgfsys@color@cmyk@fill{1}{0}{0}{0}k}(U,V) implies that all () diagonal maps of height \ell\in\{0,\dots,{\color[rgb]{0,1,1}\definecolor[named]{pgfstrokecolor}{rgb}{0,1,1}\pgfsys@color@cmyk@stroke{1}{0}{0}{0}\pgfsys@color@cmyk@fill{1}{0}{0}{0}k}\} are of class in the usual Fréchet sense.555 Note: Level maps () of an -map are only guaranteed to be continuous () no matter what is the value of .
Vice versa, for a map there is the following criterion to be of class {\mathrm{sc}}^{k{\color[rgb]{1,0,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,0,0}+1}}: For each restriction produces height diagonal maps that are of class C^{\ell{\color[rgb]{1,0,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,0,0}+1}}.
Section 2.6 “Chain rule” proves this building block of calculus. It allows to construct scale manifolds by patching together local pieces of -Banach spaces. If and are both of class , then the composition is, too! The exclamation mark is due to the fact that applying an -derivative one looses one level (of regularity), so one might expect to loose two levels when composing two maps. One doesn’t! This relies on the compactness axiom for the inclusions in a Banach scale.
Section 2.7 “Boundary recognition” introduces the degeneracy index of a point in what is called a partial quadrant in a Banach scale . It takes the value [math] on interior points , value on boundary points in the usual sense, and points with are corner points. We state without proof invariance of under -diffeomorphisms, that is -maps with -inverses. It is remarkable that -smooth diffeomorphisms recognize boundary points and corners. In contrast, homeomorphisms also recognize boundaries, but not corners.
Section 2.8 “-manifolds ” defines an -manifold as a paracompact Hausdorff space endowed with an equivalence class of -smooth atlases. A continuous map between -manifolds is called -smooth if so are all representatives with respect to -charts of and . An -chart of takes values in an -Banach space and so, due to compatibility of -charts through -diffeomorphisms, the level structure of is inherited by the -manifold . An important class of -manifolds consists of loop spaces for finite dimensional manifolds . These are even strong -manifolds, or -manifolds, in the sense that already level maps are smooth, as opposed to only the diagonal maps as is required for . Given an -manifold , its tangent bundle is a map of the form that projects on the shifted -manifold (forget level [math] of ).
After this survey of Chapter 2 you could, upon first reading, skip the remainder of Chapter 2 and proceed with the introduction to Chapter 3.
2.1 Scale structures
Scales of sets
Definition 2.1.1** (Scales).**
A scale of sets or a scale structure on a set is a nested sequence of subsets
[TABLE]
The subset is called the level of the scale and its elements points of regularity . The elements of the intersection
[TABLE]
are called the smooth points of the scale. Given a level , the enclosing levels are called superlevels, the enclosed levels sublevels, of .
Definition 2.1.2** (Subscale).**
A subscale of a scale of sets is a scale of sets whose levels are subsets of the corresponding levels of , that is
[TABLE]
Definition 2.1.3** (Constant scale).**
The constant scale structure on a set is the one whose levels are all given by itself.
Definition 2.1.4** (Induced scale ).**
A scale structure on a set induces a scale structure on any subset , called the induced scale or subscale generated by , denoted by . By definition the level
[TABLE]
is the part of in level . Observe that .
Note that for an induced scale emptiness is possible, even if .
Example 2.1.5** (Not every subscale is an induced scale).**
[TABLE]
Definition 2.1.6** (Shifted scale ).**
Forget the first levels of a scale and use as the new level zero to obtain the shifted scale with levels
[TABLE]
We sometimes abbreviate .
Banach scales (-Banach spaces)
Definition 2.1.7** (Scale Banach space).**
A scale structure or an sc-structure on a Banach space , is a nested sequence of linear spaces
[TABLE]
called levels such that the following axioms are satisfied. {labeling}(Banach levels)
Each level is a Banach space (coming with a norm ).
The inclusions are compact linear operators for all .
The set of smooth points is dense in each level .
An sc-Banach space, also called a scale Banach space or a Banach scale, is a Banach space endowed with a scale structure.
Exercise 2.1.8** (sc-direct sum).**
The Banach space direct sum of two -Banach spaces and is a Banach scale with respect to the natural levels
[TABLE]
Exercise 2.1.9** (Finite dimensional Banach scales are constant).**
A finite dimensional Banach space has the unique -structure .
Exercise 2.1.10** (Infinite dimensional Banach scales ).**
Note that any inclusion operator is compact, hence continuous. Show that
- (i)
every level is a dense subset of each of its superlevel Banach spaces;
- (ii)
no level is a closed subset of any of its superlevel Banach spaces. Equivalently, every level has a non-empty set complement in each of its superlevel Banach spaces, in symbols
[TABLE]
whenever und .
Definition 2.1.11**.**
A Banach scale is called reflexive (resp. separable) if every level is a reflexive (resp. separable) Banach space.
Lemma 2.1.12** (Induced nested sequences).**
Any subset of an -Banach space induces via level-wise intersection a scale of sets; see (2.1.1). {labeling}(closed)**
A closed subset meets any level in a closed set . If is a closed subspace, then the inclusion is a compact linear operator between Banach spaces.
If is an open subset, then is open in and the set of smooth points is dense in every .
Proof.
The intersection is the pre-image under a continuous map; analogous for . (Compactness): Pick a bounded subset of . Then is a subset of all four spaces in the diagram
[TABLE]
The closure of in is compact since is a compact linear operator. But is a closed subspace of which contains . Thus the closure of is contained in as well. (Density): Pick . By density of in there is a sequence in . But and is open. ∎
-subspaces I
As a closed linear subspace of a Banach space is a Banach space itself under the restricted norm, it is natural to call it a Banach subspace. In view of this the following definition seems natural in the setting of Banach scales.
Definition 2.1.13** (Banach subscale).**
A Banach subscale of a Banach scale is a Banach scale whose levels are Banach subspaces of the corresponding levels of .
On the other hand, we just saw in Lemma 2.1.12 that a closed linear subspace in an -Banach space generates a nested sequence of Banach subspaces. So it is natural to ask
Does the intersection sequence always form a Banach scale?
Answer: No. (Even if ; see Lemma 2.1.16.)
- 2)
Is a Banach subscale generated by its top level ? In symbols, is every level given by intersection ?
Answer: Yes. (See Lemma 2.1.15.)
Definition 2.1.14** (Scale subspaces).**
An -subspace of an -Banach space is a closed subspace of whose intersections with the levels of form the levels of a Banach subscale of .666 The axioms (Banach levels) and (compactness) are automatically satisfied for any closed subspace of ; see Lemma 2.1.12. The problematic axiom is (density).
Speaking of an -subspace of implicitly carries the information that is the Banach subscale of whose levels are given by
[TABLE]
Alternatively denotes the Banach scale generated by an -subspace .
Lemma 2.1.15**.**
a) The top level of a Banach subscale of a Banach scale is, firstly, an -subspace of and, secondly, generates (). b) Every -subspace of arises this way.
Proof.
a) By (density) of the set in the Banach space , the closure with respect to the norm is the whole space . Hence
[TABLE]
where identity two, also three, holds since itself is a closed subspace of the Banach space by axiom (Banach levels). b) By definition an -subspace generates a Banach subscale. ∎
Lemma 2.1.16** (Finite dimensional -subspaces).**
Given a scale Banach space and a finite dimensional linear subspace . Then
[TABLE]
The -subspace generates the constant Banach scale with levels .
Proof.
’’ The finite dimensional linear subspace of is dense by the (density) axiom for the subspace scale generated by . Thus by finite dimension it is even equal to . ’’ By assumption , thus . So generates the constant scale which by Exercise 2.1.9 is a Banach scale since . ∎
Example 2.1.17** (Closed but not ).**
Let with the, even reflexive, Banach scale structure . Then the characteristic function generates a 1-dimensional, thus closed, subspace of . Since lies in , but not in for , the levels are trivial for , hence is not dense in .
Exercise 2.1.18**.**
Infinite dimensional -subspaces cannot lie inside .
[Hint: Given an -subspace , show , so . But embeds compactly in , whereas is closed in .]
The finding that for finite dimensional linear subspaces “being located in the set of smooth points” is equivalent to “generating a (constant) Banach subscale” is extremely useful. For instance, this enters the proofs of
- •
Prop. 2.3.17: Finite dimensional -subspaces are -complemented;
- •
Prop. 2.3.20: Finite codimension -subspaces are -complemented;
- •
Le. 2.3.21: Characterization of finite codimensional -subspaces.
This list shows that certain classes of scale subspaces have properties analogous to the corresponding class of Banach subspaces.
Suppose and are -subspaces of an -Banach space . How about the sum and the intersection ?
Is it possible, in general, to endow the sum and the intersection with the structure of Banach scales? So it is natural to ask the following.
Is the sum of -subspaces always an -subspace?
Answer: No. The sum of two closed subspaces, even in Hilbert space, is not even closed in general;777 The Hilbert space of square summarizable real sequences contains the closed subspaces and . The sum cannot be closed, because it is dense in (since it contains all sequences of compact support) and is not all of : Write in the form with and . Then . So for all , hence .
cf. Schochetman et al. (2001).
Answer: Yes, if and are finite dimensional.
Answer: Yes, if or is of finite codimension; see Exercise 2.3.23.
- 4)
Is the intersection of -subspaces an -subspace?
Answer: Yes, if or is finite dimensional.
Answer: Yes, if and are of finite codimension; see Exercise 2.3.23.
(General case: In each level the intersection is closed. How about density of in ?)
2.2 Examples
Throughout denotes the unit circle in or, likewise, the quotient space . It is convenient to think of functions as -periodic functions on the real line, that is such that for every .
By definition a counter-example is an example with negative sign.
Example 2.2.1** (Not a Banach scale).**
The vector space of times continuously differentiable functions which, together with their derivatives up to order , are bounded is a Banach space with respect to the norm. However, the scale whose (Banach levels) are satisfies (density) since is equal to , but it does not satisfy (compactness). A counter-example is provided by a bump running to infinity: Pick a bump, that is a compactly supported function on , and set . Then the set is bounded in , indeed , but there is no convergent subsequence with respect to the norm, i.e. in .
So non-compactness of the domain obstructs the (compactness) axiom. There are two ways to fix this. The obvious one is to use a compact domain; below we illustrate this by choosing the simplest one . Another way is to impose a decay condition when approaching infinity. This works well for domains which are a product of a compact manifold with . Concerning targets, replacing by makes no difference in the arguments.
Exercise 2.2.2** (The non-reflexive Banach scale ).**
Show that the Banach space endowed with the scale structure whose levels are the Banach spaces is a separable non-reflexive Banach scale.
[Hint: Concerning (compactness) use the Arzelà–Ascoli Theorem A.2.20. For separability see e.g. discussion in Weber (2017a, App. A).]
Example 2.2.3** (Sobolev scales – compact domain).**
Fix an integer and a real . The Sobolev space endowed with the scale structure whose levels are the Banach spaces is a Banach scale. These Sobolev scales are separable () and reflexive () by Theorem A.3.1.
[Hints: Sobolev embedding theorems and .]
Exercise 2.2.4** (Weighted Sobolev scales – non-compact domain ).**
Fix a monotone cutoff function with for and for , as illustrated by Figure 2.1.
Given a constant , define an exponential weight function by
[TABLE]
Let and pick a constant . Check that the set defined by
[TABLE]
is a real vector space on which
[TABLE]
defines a complete norm. Consider a strictly increasing sequence
[TABLE]
of reals. Prove that the levels defined by
[TABLE]
form a Banach scale structure on the Banach space .
Exercise 2.2.5** (Strictly increasing is necessary).**
Show that if two weights are equal in (2.2.4), then the (compactness) axiom fails.
Exercise 2.2.6** (Reflexivity and separability).**
Show that the weighted Sobolev space is a closed subspace of . Conclude that the weighted Sobolev scales in the previous example are separable () and reflexive ().
Example 2.2.7** (Completion scale – Hölder spaces are not Banach scales).**
Fix a constant . The sequence of Hölder spaces for satisfies the (compactness) axiom by the Arzelà–Ascoli Theorem A.2.20, but the set of smooth points is not dense in any level . However, taking the closure of in each level produces a Banach scale called the completion scale. This works for every nested sequence of Banach spaces that satisfy (compactness) as shown by Fabert et al. (2016, Le. 4.11); they also solve Exercise 2.2.4.
Exercise 2.2.8**.**
For which , if any, is endowed with the levels a Banach scale?
Definition 2.2.9** (Weighted Hilbert space valued Sobolev spaces).**
Let , , and . Suppose is a separable Hilbert space and define the space by (2.2.3) with replaced by . This is again a Banach space; see Frauenfelder and Weber (2018, Appendix).
Example 2.2.10** (Path spaces for Floer homology).**
A a monotone unbounded function is called a growth function. Common types of Floer homologies provide such , order refers to spatial order:
[TABLE]
Here Periodic and Lagrangian Floer homology refer, respectively, to the elliptic PDEs studied by Floer (1988b, 1989) on the cylinder and by Floer (1988a) imposing Lagrangian boundary conditions along the strip . Hyperkähler and Heat flow Floer homology refer to the theories established by Hohloch, Noetzel, and Salamon (2009), respectively, by Weber (2013a, b, 2017b). The heat flow is described by a parabolic PDE that relates to Floer’s elliptic PDE; see Salamon and Weber (2006).
Given a constant , let for be a sequence as in (2.2.4). Given a growth function , let be the fractal Hilbert scale on introduced by Frauenfelder and Weber (2018, Ex. 3.8). Then the Banach space is defined as intersection of Banach spaces, namely
[TABLE]
The norm on is the maximum of the individual norms. This is a complete norm. This endows with the structure of a Banach scale; see Frauenfelder and Weber (2018, Thm. 8.6).
2.3 Scale linear theory
2.3.1 Scale linear operators
Definition 2.3.1** **(Scale linear operators and their level
operators ).
- (i)
A scale linear operator is a linear operator between Banach scales which is level preserving, that is for every .
- (ii)
The restriction of a scale linear operator to a level of takes values in the corresponding level of . Hence viewed as a map between corresponding levels is a linear operator
[TABLE]
between Banach spaces, called the ** level operator**.
If a scale linear operator is, in addition, a bijective map, then each level operator is injective – but not necessarily surjective. It will be surjective if the inverse linear map is level preserving: In this case each level operator is injective. This proves
Lemma 2.3.2**.**
Suppose a scale linear operator is bijective and its inverse is level preserving. Then every level operator
[TABLE]
is a bijective linear map between Banach spaces.
Scale continuous operators
Definition 2.3.3** (-operators).**
A scale linear operator is called scale continuous or scale bounded or of class , if each level operator is a continuous linear operator between Banach spaces.
[TABLE]
Such is called an sc-operator between Banach scales. In the realm of scale linear operators does not abbreviate scale, but scale continuous. Let be the set of -operators between the Banach scales and .
Exercise 2.3.4**.**
Check that is a linear space.
Exercise 2.3.5**.**
Given , consider the sequence of Banach spaces under the operator norm. Characterize the case in which one has inclusions as a) sets and b) continuous maps between Banach spaces. In b) characterize the case in which c) the set is dense in each level and d) every inclusion operator is compact.
Definition 2.3.6** (-projections).**
An sc-projection is a scale continuous operator whose level operators are all projections, i.e. . Equivalently, the -projections are those -operators with .
Lemma 2.3.7** (Image and kernel of -projections are -subspaces).**
The image, hence the kernel, of any are -subspaces.
Proof.
As is an -projection whose image is the kernel of , it suffices to show that the images form a Banach subscale of . The inclusion holds by . And is a closed (linear) subspace of by continuity and linearity of . (Compactness) of the inclusion , together with being closed, tells that each inclusion takes bounded sets into pre-compact ones.
It remains to check (density) of in . To see this pick and, by density of in , pick some in convergent sequence . Since and by continuity of we get
[TABLE]
For each it holds that
[TABLE]
Here the first equality holds since and is the restriction of to , so . But preserves levels and lies in every , so lies in every and . Thus . ∎
Definition 2.3.8** (-isomorphisms).**
A (linear) sc-isomorphism is a bijective -operator whose inverse888 Inverses of bijective -operators are not automatically level preserving: Consider the identity operator from the forgetful Banach scale to
is level preserving.
Exercise 2.3.9**.**
For an -isomorphism all level operators
[TABLE]
are continuous bijections with continuous inverses.
[Hint: Bounded inverse theorem, equivalently, open mapping theorem.]
Scale compact operators include -operators
Definition 2.3.10** (Scale compact operators).**
An sc-compact operator is a scale linear operator whose level operators are all compact (hence bounded) linear operators between Banach spaces.
Scale compact operators are -operators, i.e. elements of .
Definition 2.3.11** (-operators).**
Suppose and are scale Banach spaces. Recall that denotes the Banach scale that arises from by forgetting the level and taking as the new level [math]. The elements are called -operators and we use the notation
[TABLE]
Remark 2.3.12** (-operators are scale compact).**
The (compactness) axiom not only shows , but also that any -operator is -compact: This follows from the commutative diagram
[TABLE]
since the composition of a bounded and a compact linear operator is compact.
Remark 2.3.13** (Are scale compact operators always -operators?).**
No: Let be an infinite dimensional Banach scale. The inclusion has compact level operators and it is an -operator, indeed . Now forget level one in and in , denote the resulting Banach scales by and , respectively. All level operators of the inclusion are still compact, but does not even map level zero to level one , let alone be continuous.
-subspaces II
Direct sum and -complements of -subspaces
Definition 2.3.14**.**
An -subspace of a Banach scale is called sc-complemented if there is an -subspace such that every Banach space direct sum of corresponding levels
[TABLE]
is equal to the ambient level . Such is called an sc-complement of . So the Banach space carries the natural Banach scale structure (2.1.2). Such a pair or such direct sum is called an sc-splitting of .
Exercise 2.3.15**.**
Let be an -complement of . Check that the Banach space together with the natural level structure (2.1.2) indeed satisfies the axioms of a Banach scale.
Exercise 2.3.16** (Sc-projections -split).**
There is an -splitting
[TABLE]
associated to any -projection, i.e. any idempotent .
[Hint: means . Lemma 2.3.7.]
Proposition 2.3.17**.**
Finite dimensional -subspaces are -complemented.
Proof.
We recall the proof given in Hofer et al. (2017, Prop. 1.1). Suppose is a finite dimensional -subspace of a Banach scale . Then by Lemma 2.1.16 and generates the constant Banach scale with levels by Exercise 2.1.9. Pick a basis of and let be the dual basis. By the Hahn–Banach Theorem A.2.15 any extends to a continuous linear functional on . The linear operator defined by is continuous and satisfies by straightforward calculation. Note that the image of is , that is , and that is contained in , hence in every level . This shows that is level preserving and admits level operators . By the continuous inclusion the restrictions, still denoted by , are continuous linear functionals on every level . By the same arguments as for every level operator is a continuous linear projection with image . Hence is an -projection.
Goal. Given the finite dimensional -subspace (generating the constant Banach scale ), find a closed subspace such that
- a)
are the levels of a Banach subscale ( is an -subspace);
- b)
for every .
Solution. The subspace of defined by is closed since and is continuous. a) By Lemma 2.1.12 only (density) remains to be checked. To see that is dense in any level pick . By density of in choose a sequence that converges in to . The sequence lies in and converges in to : Indeed {{\color[rgb]{0,1,1}\definecolor[named]{pgfstrokecolor}{rgb}{0,1,1}\pgfsys@color@cmyk@stroke{1}{0}{0}{0}\pgfsys@color@cmyk@fill{1}{0}{0}{0}e_{\nu}-g_{\nu}}=P_{m}e_{\nu}=P_{m}(e_{\nu}-g)}, since , so together with we get
[TABLE]
b) For one has for a , hence . So the intersection of subspaces is trivial, too. It remains to show the equality , . ’’ Obvious. ’’ Pick and set and . ∎
Exercise 2.3.18**.**
Give an example of a finite dimensional subspace of a Banach scale that is not -complemented. [Hint: Pick .]
Quotient Banach scales
If you are not familiar with the quotient construction for Banach spaces, have a look at the neighborhood of Proposition A.2.7 and its proof for definitions and explanations. Understanding that proof helps to prove
Proposition 2.3.19** (Quotient Banach scales).**
Let be a Banach scale and an -subspace. Then the quotient Banach space with levels
[TABLE]
and inclusions
[TABLE]
is a Banach scale.
By Proposition A.2.7 the norm on the coset space defined by
[TABLE]
is complete. It is called the quotient norm and measures the distance between the coset and the zero coset, the subspace itself.
Proof.
By the -subspace assumption on every level is a Banach subspace of , hence the quotient spaces endowed with the norms are (Banach levels). To prove that the natural inclusions (2.3.5) are compact linear operators pick a sequence in the unit ball of . (Note that .) This means that the distance of each to the zero coset of is not larger than . Hence for each there is a point in the zero coset at distance less than , that is . What we did is to choose for the given bounded sequence of cosets a sequence of new representatives which, most importantly, is bounded in . By compactness of the inclusion there is a subsequence, still denoted by , which converges to some element . By continuity of the quotient projection , , see Proposition A.2.7, we obtain that
[TABLE]
This proves the (compactness) axiom. The set of smooth points
[TABLE]
is dense in every level , because the image of a dense subset under the continuous surjection is dense in the target space by Lemma A.1.23. This proves the (density) axiom and Proposition 2.3.19. ∎
It seems that so far the literature misses out on the analogues for finite codimensional -subspaces of Proposition 2.3.17 (existence of -complement for finite dimensional -subspaces) and Lemma 2.1.16 (characterization of finite dimensional -subspaces). Let’s change this.
Proposition 2.3.20**.**
Finite codimension -subspaces are -complemented.
Of course, the asserted -complement in Proposition 2.3.20 has as dimension the mentioned finite codimension. Hence carries the constant Banach scale structure and consists of smooth points only; see Lemma 2.1.16.
Proof.
Let be an -subspace of a scale Banach space of finite codimension . By closedness and finite codimension the subspace of has a topological complement ; cf. Brezis (2011, Prop. 11.6). Since is the kernel of the quotient projection defined in (A.2.8) we get for any topological complement.
Recall that a finite dimensional -complement of is an -subspace , endowed with constant levels , such that
[TABLE]
Constructing such inside the vector space of smooth points, see Lemma 2.1.16, is equivalent to being an -subspace.
To define observe that the Banach scale and the -subspace give rise to the quotient Banach scale in Proposition 2.3.19. Because the top level is of finite dimension , all sublevels are finite dimensional and therefore the quotient Banach scale is actually constant. Note that
[TABLE]
because both sides are of the same finite dimension and there is the natural inclusion , . Pick a basis of
[TABLE]
say . Observe that each and define
[TABLE]
We show that is a topological complement of . To prove , pick . The quotient projection , , whose kernel is maps to the zero coset . On the other hand, the only element of that gets mapped to the zero coset under is . We prove that : “” Obvious since and . “” Pick and express in terms of the basis , let be the coefficients. Set . Then , hence lies in the kernel of which is . Hence is of the desired form. ∎
A finite codimensional closed subspace of an ordinary Banach space not only admits a topological complement, but there is even one in each dense subspace of ; see e.g. Hofer et al. (2007, Le. 2.12) or Brezis (2011, Prop. 11.6). This enters the proof of
Lemma 2.3.21** (Finite codimensional -subspaces).**
Suppose is a scale Banach space and is a linear subspace, then
[TABLE]
*whenever is of finite codimension . 999 A finite codimension subspace in Banach space need not be closed; see e.g. Brezis (2011, Prop. 11.5). *
Proof.
An -subspace is closed by definition. To prove the reverse implication, let be a closed subspace of of finite codimension, say . By the result mentioned above the subspace of admits a topological complement contained in the dense subset . In the proof of Proposition 2.3.20 we saw that topological complements satisfy .
We need to show that the levels defined by satisfy the three axioms of a Banach scale. As is closed in , by Lemma 2.1.12 only the (density) axiom remains to be shown: density of in each .
The inclusion means that is a constant Banach scale by Lemma 2.1.16 and Exercise 2.1.9. Before proving density we show that
[TABLE]
is a direct sum of closed subspaces of the Banach space : Firstly, closedness of we already know and is closed due to its finite dimension. Secondly, trivial intersection holds true since it even holds for the larger space . Thirdly, we prove . “” Obvious. “” Any is of the form for some and . But is also in (so we are done), because both and are and is a vector space.
We prove density of in . Given , by density of in there is some in the norm convergent sequence . On the other hand, by (2.3.6) there is the direct sum of Banach spaces , so is of the form with . Clearly in . But most importantly since the linear space contains and . So
[TABLE]
Since and are topological complements of one another, see (2.3.6), the norm in splits in the following sense. By Brezis (2011, Thm. 2.10) there is a constant such that for any element of the norms of its parts in and in are bounded above by . For we get that
[TABLE]
Hence in the norm. This proves Lemma 2.3.21. ∎
Corollary 2.3.22** (Closed finite codimensional subspaces -split ).**
Given a scale Banach space and a finite codimension subspace , then
[TABLE]
The -splitting has levels and .
Proof.
“” Lemma 2.3.21 and Proposition 2.3.20. “” An -subspace is closed by definition. ∎
Exercise 2.3.23** (Intersection and sum of -subspaces).**
a) If are finite dimensional -subspaces, so are and .
b) If are finite codimensional -subspaces, so are and .
[Hints: a) Lemma 2.1.16. b) By Lemma 2.3.21 it suffices to show for and for closedness101010 Brezis (2011, Prop. 11.5): A subspace containing a closed one of finite codimension is closed.
and finite codimension.111111 and .
2.3.2 Scale Fredholm operators
Definition 2.3.24** (-Fredholm operators).**
An sc-Fredholm operator is an -operator that satisfies the following axioms, namely {labeling}(-isomorphism)
there are -splittings , such that
is the kernel of and of finite dimension,
is the image of and is of finite dimension,
the operator viewed as a map is an -isomorphism.
The Fredholm index of is the integer
[TABLE]
By finite dimension the Banach subscales generated by and are constant. So trivially one gets the identities and . Combined with the equally trivial inclusions and they provide the precious information that and consist of smooth points.
Proposition 2.3.25**.**
-Fredholm operators are regularizing: If maps to level , then already was in level ; cf (2.3.10).
Proof.
Let and . But , so for some and . As and , the identity shows that both sides are zero. So e-x\in\ker T=K\mathop{{\color[rgb]{1,0,1}\definecolor[named]{pgfstrokecolor}{rgb}{1,0,1}\pgfsys@color@cmyk@stroke{0}{1}{0}{0}\pgfsys@color@cmyk@fill{0}{1}{0}{0}\text{\boldmath=}}}K_{\infty}\subset E_{\infty}\subset E_{m}. Therefore . ∎
Exercise 2.3.26** **(Intersection level
is image of level operator ).
Consider an -Fredholm operator where the -subspace is the image . Recall that an -subspace generates a Banach subscale whose levels are given by intersection . Show that for -Fredholm operators each intersection level is equal to the image of the corresponding level operator , i.e.
[TABLE]
[Hint: “\mathop{{\color[rgb]{1,0,1}\definecolor[named]{pgfstrokecolor}{rgb}{1,0,1}\pgfsys@color@cmyk@stroke{0}{1}{0}{0}\pgfsys@color@cmyk@fill{0}{1}{0}{0}\text{\boldmath\subset}}}” Suppose where .]
Exercise 2.3.27** (Isn’t the axiom (-isomorphism) superfluous?).**
In view of Exercise 2.3.26 the fourth axiom in Definition 2.3.24 seems to be a consequence of the previous three axioms. Is it?
Exercise 2.3.28**.**
The composition of two -Fredholm operators is an -Fredholm operator and .
Proposition 2.3.29** (Stability of -Fredholm property).**
Consider an -Fredholm operator and an -operator , then their sum is also an -Fredholm operator of the same Fredholm index.
Proof.
The sum is an -operator. How about -splittings?
Domain splitting. Both and provide level operators that are Fredholm and compact, respectively. Hence the sum level operators are Fredholm for each level . Note that the kernel of contains . To see the reverse inclusion pick . Then by the nature of . Thus by the regularity Proposition 2.3.25. Hence . Thus . So is finite dimensional and . Hence is an -subspace by Lemma 2.1.16 and generates a constant Banach scale. By Proposition 2.3.17 the kernel scale admits an -complement in . Summarizing, we have
[TABLE]
for every and where does not depend on .
Target splitting. Consider the image of the level zero Fredholm operator . But the image of a Fredholm operator is closed and of finite codimension, say . Hence is an -subspace of by Lemma 2.3.21 and admits an -dimensional -complement by Corollary 2.3.22. Summarizing, we have
[TABLE]
for every and where does not depend on .
-isomorphism. It is clear that as a map is bijective and level preserving with continuous level operators , still injective. But why are these surjective? Exercise. Continuity of the inverse of then follows from the bounded inverse theorem.
Fredholm-index. Adding a compact operator, say , to a Fredholm operator, say , does not change the Fredholm index. This concludes the proof that is an -Fredholm operator. ∎
Scale Fredholm operators –
naïve approach through level operators
Intuitively, if not naively, an -Fredholm operator should be a level preserving linear operator between Banach scales whose level operators are Fredholm operators: Each is linear and continuous, has a finite dimensional kernel , a closed image , and a finite dimensional cokernel . One calls the integer
[TABLE]
the Fredholm index of . (As we’ll find out, one more condition to come.)
Firstly, note that the kernels already form a nested sequence of (by continuity of ) closed subspaces . Note that since . For a Banach scale it only misses the (density) axiom saying that is dense in every level .
Before adding a density requirement to the intuitive definition of an -Fredholm operator let us investigate its consequences and see if a simpler condition could do the same job. If density holds, then is an -subspace and, by finite dimension, generates the constant Banach scale (see Lemma 2.1.16), still denoted by and called the kernel Banach scale.
Therefore we add to the intuitive definition of -Fredholm the requirement
[TABLE]
in symbols .121212 Constant dimension suffices by the inclusions .
By Proposition 2.3.17 the kernel -subspace admits an -complement in , say .
Secondly, the images form a nested sequence of closed subspaces of finite codimensions . What is missing that the image scale with levels is a Banach scale is I) (density) again, just as in case of the kernel scale. However, this time there is one more thing missing that was automatic for the kernel scale. Namely, we would like to have that II) the image scale is in fact generated by its top level , that is we wish that
[TABLE]
Suppose I) and II) hold. Namely, the image scale with levels is a Banach scale and arises by intersection with its top level . In other words, the closed finite codimensional subspace is an -subspace and the generated Banach subscale has intersection levels which are equal to the images of the level operators. Let be the codimension of . Then admits by Proposition 2.3.20 an dimensional -complement which necessarily generates the constant Banach scale . Lemma 2.1.16 tells that .
By Corollary 2.3.22 and Lemma 2.3.21 a sufficient condition that is an -subspace, thus generating a Banach subscale, is the following which we add as a requirement to the intuitive definition of -Fredholm:
[TABLE]
Thirdly, to enforce that the intersection levels of the Banach scale generated by coincide with the images of the level operators, i.e.
[TABLE]
we add to the intuitive definition of -Fredholm the requirement
[TABLE]
of level regularity. So and together imply . The next exercise shows that (2.3.10) implies all three conditions (2.3.7–2.3.9).
Exercise 2.3.30**.**
To the naïve notion of -Fredholm add (2.3.10) to prove
- a)
Constancy of kernel scale (2.3.7) holds true. (Thus is an -subspace of finite dimension and therefore admits an -complement .)
- b)
Equality of scales (2.3.9) holds true. (That is the image scale with levels equals the intersection scale with levels .)
- c)
The image scale is a Banach subscale of generated by its top level . (That is is an -subspace. So (2.3.8) is satisfied by Proposition 2.3.20 and by Lemma 2.1.16.)
- d)
Each level operator as a map is an isomorphism.
[Hints: a) trivial. b) “” easy, “” trivial. c) It only remains to show density of in . By a) generates a Banach subscale, so is dense in . Show that , then apply Lemma A.1.23. d) Equality (2.3.9).]
Definition 2.3.31** (-Fredholm operator – via level operators).**
An sc-Fredholm operator is a level preserving linear operator between Banach scales all of whose level operators are Fredholm and which satisfies the level regularity condition (2.3.10).
Exercise 2.3.32**.**
Show that Definitions 2.3.24 and 2.3.32 are equivalent.
2.4 Scale differentiability
Motivated by properties of the shift map, see our discussion in the introduction around (1.0.1), the notion of scale differentiability was introduced by Hofer, Wysocki, and Zehnder (2007); see also Hofer et al. (2010, 2017).
Scale continuous maps – class
An open subset of an -Banach space induces via level-wise intersection a nested sequence of open subsets of the corresponding Banach spaces ; cf. Lemma 2.1.12.
Definition 2.4.1**.**
A partial quadrant in a Banach scale is a closed convex subset of such that there is an -isomorphism , for some and some -Banach space , satisfying . Note that necessarily contains the origin [math] of .
An -triple consists of a Banach scale , a partial quadrant , and a relatively open subset . Observe that both and inherit from nested sequences of subsets whose levels are the closed subsets and the relatively open subsets .
The notion of partial quadrant is introduced to describe boundaries and corners. At first reading think of , so is an open subset of .
Definition 2.4.2** (Scale continuity).**
Let and be -triples. A map is called scale continuous or of class if
- (i)
islevel!preserving level preserving, that is for every , and
- (ii)
each restriction viewed as a map to level is continuous. The maps are called level maps.
Let us abbreviate terminology as follows.
Convention 2.4.3**.**
If we say “suppose is of class ” it means that is an map between -triples and – suppose at first reading between and ;-)
Given Banach scales and , an operator can have the property of being -linear between the Banach scales and , i.e. , or it can be continuous and linear in the usual sense between the Banach spaces and , i.e. . In the latter case, for extra emphasis, we often write and , instead of and , and .
Definition 2.4.4** (Diagonal maps of height ).**
Let be an -map. Pick . View a level map as a map into the higher level
[TABLE]
to obtain a continuous map given by restriction of and called a diagonal map of height . For simplicity one usually writes and calls it an induced map. The collection of all diagonal maps of of height is denoted by
[TABLE]
with level maps . It is of class , called the induced -map of height . If we just say diagonal map we mean one of height .
Continuously scale differentiable maps – class
To define scale differentiability let us introduce the notion of tangent bundle. The tangent bundle of a Banach scale is defined as the Banach scale
[TABLE]
If is a subset we denote by , as in Definition 2.1.6, the shifted scale of subsets whose levels are given by where .
Definition 2.4.5**.**
The tangent bundle of an -triple is the -triple where131313 The symbol actually denotes the subset of the -Banach space and is just meant to remind us that the ambient Banach space is a direct sum.
[TABLE]
Note that the levels, for instance of , are given by
[TABLE]
Definition 2.4.6** (Scale differentiability).**
Suppose is of class . Then is called continuously scale differentiable or of class if for every point in the first sublevel there is a bounded linear operator
[TABLE]
between the top level Banach spaces, called the -derivative of at or the -linearization, such that the following three conditions hold. {labeling}(ptw diff’able)
The upmost diagonal map is pointwise differentiable in the usual sense, notation ; see Definition A.2.22.
The -derivative extends from to , i.e. the diagram
[TABLE]
commutes.141414 So is compact. This implies ; see Lemma 2.5.2 (ii).
Motivated by the diagram let us call a diagonal derivative if the level index between domain and target drops by 1.
The tangent map defined by
[TABLE]
for is of class .
Remark 2.4.7** (A continuity property of ).**
Suppose . By there are continuous level maps , whereas the axiom ( is ) requires continuous level maps
[TABLE]
In particular, for each the second component map
[TABLE]
still denoted by , is continuous whenever . It is linear in .
Remark 2.4.8** (Continuity in compact-open, but not in norm, topology).**
The compact-open and the norm topologies are reviewed in great detail in Appendix A.1. Continuity of the map in (2.4.14) means that
[TABLE]
is continuous whenever the target carries the compact-open topology. Let’s refer to this as horizontal continuity in the compact-open topology, because both E_{{\color[rgb]{0,1,1}\definecolor[named]{pgfstrokecolor}{rgb}{0,1,1}\pgfsys@color@cmyk@stroke{1}{0}{0}{0}\pgfsys@color@cmyk@fill{1}{0}{0}{0}m}} and F_{{\color[rgb]{0,1,1}\definecolor[named]{pgfstrokecolor}{rgb}{0,1,1}\pgfsys@color@cmyk@stroke{1}{0}{0}{0}\pgfsys@color@cmyk@fill{1}{0}{0}{0}m}} are of the same level . It is crucial that the domain has better regularity , see Lemma 2.4.12.
In general, continuity is not true in the norm topology, that is with respect to {\mathcal{L}}(E_{{\color[rgb]{0,1,1}\definecolor[named]{pgfstrokecolor}{rgb}{0,1,1}\pgfsys@color@cmyk@stroke{1}{0}{0}{0}\pgfsys@color@cmyk@fill{1}{0}{0}{0}m}},F_{{\color[rgb]{0,1,1}\definecolor[named]{pgfstrokecolor}{rgb}{0,1,1}\pgfsys@color@cmyk@stroke{1}{0}{0}{0}\pgfsys@color@cmyk@fill{1}{0}{0}{0}m}}). The map which prompted the discovery of scale calculus, the shift map (1.0.1), provides a counterexample to continuity of
[TABLE]
for details see e.g. Frauenfelder and Weber (2018, §2).
Things improve drastically if instead of one starts at better regularity E_{m{\color[rgb]{.75,.5,.25}\definecolor[named]{pgfstrokecolor}{rgb}{.75,.5,.25}+1}}, see Lemma 2.4.12. Now the linear map Df(x):E_{m{\color[rgb]{.75,.5,.25}\definecolor[named]{pgfstrokecolor}{rgb}{.75,.5,.25}+1}}\to F_{m} changes level, we say “is diagonal”, and one has and norm continuity, that is
[TABLE]
referred to as diagonal continuity in the norm topology.
Remark 2.4.9** (Uniqueness of extension).**
Since is dense in the Banach space the scale derivative is uniquely determined by the requirement (2.4.12) to restrict along to . However, observe that the mere requirement that is pointwise differentiable does not guarantee that a bounded extension of from to exists. Here the B.L.T. Theorem A.2.8 does not help, because the completion of is itself.. Existence of such an extension is part of the definition of .
Exercise 2.4.10**.**
Show that for constant Banach scales and , in other words, for finite dimensional normed spaces equipped with the constant scale structure, a map is of class iff it is of class .
Exercise 2.4.11**.**
What changes in Exercise 2.4.10 if or are constant?
Scale derivative induces only
some level operators
Lemma 2.4.12** (Level preservation and continuity properties of ).**
Let be of class and . Then the following is true for every point of regularity , that is .
- (a)
Existence of level operators down to one level above :* That the -derivative is level preserving is guaranteed only for levels .*
- (b)
Continuity of these level operators:* The** induced** level operators are bounded linear operators, in symbols*
[TABLE]
- (c)
Horizontal continuity in compact-open topology:* By continuity of the map in (2.4.14), still denoted by or even , it holds that Df\in C^{0}(U_{m+1},\mathcal{L}_{\mathrm{c}}(E_{{\color[rgb]{0,1,1}\definecolor[named]{pgfstrokecolor}{rgb}{0,1,1}\pgfsys@color@cmyk@stroke{1}{0}{0}{0}\pgfsys@color@cmyk@fill{1}{0}{0}{0}m}},F_{{\color[rgb]{0,1,1}\definecolor[named]{pgfstrokecolor}{rgb}{0,1,1}\pgfsys@color@cmyk@stroke{1}{0}{0}{0}\pgfsys@color@cmyk@fill{1}{0}{0}{0}m}})). By** linearity** of this simply means that along any convergent sequence in the scale derivative applied to any individual converges, that is*
[TABLE]
- (d)
Diagonal continuity in norm topology:* The -derivative as a map*
[TABLE]
is continuous. Actually Df=df\colon U_{m+1}\to{\mathcal{L}}(E_{m{\color[rgb]{.75,.5,.25}\definecolor[named]{pgfstrokecolor}{rgb}{.75,.5,.25}+1}},F_{m}); see (2.5.22).
Corollary 2.4.13**.**
At smooth points -derivatives are -operators, that is
[TABLE]
Proof of Lemma 2.4.12.
Let be of class . Pick and . Hence and so for . The axiom ( is ) means by definition of that every level map , see (2.4.13), is continuous. In particular, for fixed the map between second components , , is continuous. This proves (a–b). Since in (2.4.14) is continuous so is for each fixed . This proves (c). Part (d) holds true by Proposition A.2.13 c) for the above map and the compact operator . ∎
Characterization of in terms of the
scale derivative
The next lemma and proof are taken from Frauenfelder and Weber (2018).
Lemma 2.4.14** **(Characterization of in terms of the
-derivative).
Let be . Then is iff the following conditions hold: {labeling}(level operators)*
(i) The restriction , that is the top diagonal map, is pointwise differentiable in the usual sense.
(ii) Its derivative at any has a continuous extension .
(iii) The continuous extension restricts, for all levels and base points , to continuous linear operators (called level operators)
[TABLE]
such that the corresponding maps
[TABLE]
are continuous.
Proof.
’’ Suppose is . Then statements (i) and (ii) are obvious and in statement (iii) the restriction assertion holds by Lemma 2.4.12 part (b), the continuity assertion by part (c).
’’ Suppose is and satisfies (i–iii). It remains to show that the tangent map is , namely, a) level preserving and b) admitting continuous level maps. a) To see that maps to for every , pick . Since is we have that . By (iii) we have that . Hence
[TABLE]
b) To see that as a map is continuous assume is a sequence which converges to . Because is , it follows that
[TABLE]
Continuity of provided by (iii) guarantees that
[TABLE]
Therefore
[TABLE]
This proves continuity b) and hence the lemma holds. ∎
Higher scale differentiability – class
For one defines higher continuous scale differentiability recursively as follows. In the definition of one requires a map between open subsets of Banach scales and to be and then defines a tangent map , again between open subsets of Banach scales and , which among other things is required to be , too. If the map itself is of class , that is if among other things is of class , one says that is of class , and so on.
Definition 2.4.15** (Higher scale differentiability).**
An -map is of class if and only if its tangent map is . It is called sc-smooth, or of class , if it is of class for every .
An -map has iterated tangent maps as follows. Recursively one defines the iterated tangent bundle as
[TABLE]
Let us consider the example . Recall that for an open subset of a Banach scale we set . Now consider the open subset of the Banach scale to obtain that
[TABLE]
For of class define its iterated tangent map recursively as
[TABLE]
For example
[TABLE]
is (as shown in the proof of Lemma 2.4.16 below) given by
[TABLE]
Here is the -Hessian of which we introduce next. The following lemma and proof are taken from Frauenfelder and Weber (2018).
Lemma 2.4.16** **(Characterization of in terms of
the -derivative).
Let be . Then is iff the following conditions hold:*
- (a)
*The restriction , that is the top diagonal map of height two, is pointwise twice differentiable in the usual sense. *
- (b)
Its second derivative at any has a continuous extension , the sc-Hessian of at .
- (c)
The continuous extension restricts, for all and , to continuous bilinear maps
[TABLE]
such that the corresponding maps
[TABLE]
are continuous.
Proof.
’’ Suppose is and satisfies the three conditions (a-c) of the Lemma. We need to show that is (meaning by definition that ). Since is we have a well defined tangent map
[TABLE]
of class . Suppose that
[TABLE]
Hypotheses (a) and (b) guarantee that the linear map
[TABLE]
defined for by
[TABLE]
is well defined and bounded. To see that this map is the -derivative of , see (2.4.11), we need to check the three axioms in the definition of scale differentiability for . Concerning the first two axioms we need to investigate differentiability of the ’diagonal map’, i.e. the restriction of to . It suffices to show that
[TABLE]
Since we already know that the first component of is it suffices to check the second component and show that
[TABLE]
We estimate
[TABLE]
Because is continuous by hypothesis (b) there exists an open neighborhood of in and such that for every and every and in , namely the -ball around the origin of , it holds
[TABLE]
By bilinearity of for any we get the estimate
[TABLE]
at each . We can assume without loss of generality that is convex. We rewrite the first term in (2.4) as follows
[TABLE]
From uniform boundedness (2.4.19) we conclude that
[TABLE]
where is a bound for the linear inclusion , so . Hence in view of (2.4) in order to show (2.4.17) we are left with showing
[TABLE]
Fix a constant where is the constant in (2.4.19). Now choose . By taking advantage of the fact that is dense in we can choose
[TABLE]
Choose a convex open neighborhood of with the property that for every it holds that
[TABLE]
Suppose that . We are now ready to estimate
[TABLE]
To obtain the first inequality we wrote each of the three terms in line one in the form , we used that for diagonal restrictions of , and we used formula (2.4.20) for . The second inequality uses, in particular, the estimate (2.4.19) on both terms. This proves (2.4.21) and therefore the first two axioms of scale differentiability of .
It remains to prove axiom three, namely that the tangent map of , i.e.
[TABLE]
is : the map must be level preserving and the corresponding level maps
[TABLE]
given by formula (2.4.16) must be continuous for all . For the part both assertions are true, because . Concerning the part there are three terms to be checked. Since part (iii) of Lemma 2.4.14 applies and asserts that term one exists as a map and is continuous, similarly for the map in term three. Concerning term two use hypothesis (c) to see that is well defined and continuous. This finishes the proof of the implication that under the assumptions (a-c) of the Lemma is .
’’ For the other implication, namely that if is it satisfies the conditions (a-c) of the Lemma, we point out that by a result of Hofer, Wysocki, and Zehnder Hofer et al. (2010, Prop. 2.3) it follows that is actually of class as a map for every . This in particular implies properties (a) and (b). Property (c) is straightforward; cf. proof of Lemma 2.4.14 (iii) based on Lemma 2.4.12 parts (b) and (c). This concludes the proof of Lemma 2.4.16. ∎
Exercise 2.4.17** (Symmetry of scale Hessian).**
Show that the scale Hessian is symmetric, that is for all .
[Hint: The usual second derivative is symmetric and is a dense subset of the Banach space .]
Applying the arguments in the proof of Lemma 2.4.16 inductively – Lemma 2.4.14 playing the role of the induction hypothesis – we obtain
Lemma 2.4.18** **(Characterizing by higher
-derivatives ).
Let and be . Then is iff the following conditions hold:
- (i)
The restriction , that is the top diagonal map of height , is pointwise times differentiable in the usual sense.
- (ii)
Its derivative at any has a continuous extension
[TABLE]
- (iii)
The continuous extension restricts, for all and , to continuous -fold multilinear maps
[TABLE]
such that the corresponding maps
[TABLE]
are continuous.
2.5 Differentiability – Scale vs Fréchet
First we investigate how the new class of continuously scale differentiable maps relates to continuous differentiability in the usual Fréchet sense of all diagonal maps of height . Then we investigate how the class of higher scale differentiable maps relates to differentiability of all diagonal maps of height , hence up to height of at most . For further details see Hofer et al. (2010).
Maps of class
Convention 2.5.1** (Topologies).**
Given Banach spaces and , then denotes the vector space of bounded linear maps equipped with the (complete) operator norm (Section A.2.2). By we denote the same vector space equipped with the compact-open topology.
Lemma 2.5.2** (Continuity properties of and the diagonal differential ).**
Let be of class . Then the following is true.
- (i)
The map , , is continuous.
- (ii)
The usual differential of the diagonal map is continuous, in symbols .
- (iii)
Every diagonal map is of class . In other words, its differential, the so-called* diagonal differential*
[TABLE]
is a continuous map.
- (iv)
At the diagonal derivative in (iii) extends to and the extension is the restriction of the -derivative (2.4.11); cf. Lemma 2.4.12 (b). That is, the diagram
[TABLE]
commutes. As a map the level scale derivative is continuous; cf. (2.4.15).
Of course, the lemma could be stated more economically, but we enlist the assertions in their order of proof.
Proof.
We follow essentially Cieliebak (2018). (i) By assumption is , so the induced map is pointwise differentiable and for every the usual derivative extends from to a map . Moreover, by axiom ( is ) the map
[TABLE]
is continuous, cf. (2.4.13), which is assertion (i).
(ii) As the inclusion is compact, continuity of the map
[TABLE]
holds by Proposition A.2.13 c). We used that along .
(iii+iv) For the assertions are true by (i) and (ii) and (ii) will be a key input for the present proof, see Step 1 below, that
- a)
as a map is of class , thereby proving (iii), and
- b)
its derivative is the -derivative applied to the elements of or, equivalently, the restriction to the dense subset of the level operator which exists by Lemma 2.4.12 (b).
By density part b) shows that the continuous extension of to is the level operator . The yet missing continuity assertion in (iv) holds true by (2.4.14). Step 2 below will prove a) and b) which then completes the proof of (iii+iv). Step 1 is just a preliminary.
Step 1. Given , let be sufficiently small such that the image of the map , , is contained in . Then
[TABLE]
Proof of Step 1. As by (ii), identity one is the integral form of the mean value theorem; see e.g. Lang (1993, XIII Thm. 4.2). Identity two holds since . Equality two is by (2.4.12) – by definition of the scale derivative restricted to is .
In the proof of Step 2 we will use Step 1 for the elements of the subset and for small . For such and the term even lies in , since is level preserving (it is of class by assumption). However, we shall only estimate the norm, as this gives us the opportunity to bring in compactness of the inclusion on the domain side of .
Step 2. the map is of class with derivative {\color[rgb]{.75,.5,.25}\definecolor[named]{pgfstrokecolor}{rgb}{.75,.5,.25}df=Df}.
Proof of Step 2. Pick and a non-zero short vector to get
[TABLE]
Here the equality holds by Step 1. Concerning inequality one note that the path , , is continuous by Lemma 2.4.12 (c) since and . So the map is in , hence the norm of the integral is less or equal than the integral along the norm; see e.g. Lang (1993, VI §4 (4)). Inequality two holds by definition of the operator norm.
We prove convergence to zero. This will follow from continuity of the map , see Lemma 2.4.12 (d). However, due to infinite dimension it is not just some compactness argument: Let be any in convergent sequence. Then the family of bounded linear operators
[TABLE]
generates, for each element , a bounded orbit
[TABLE]
Indeed by continuity of the map , as guaranteed by Lemma 2.4.12 (d), and convergence there is a radius such that the whole sequence of elements of lies in the ball of radius and centered at . But by convexity of all segments from the center to also lie in . The Banach–Steinhaus Theorem A.2.12 then provides a uniform upper bound for the operator norms of all members of . Now the constant function is integrable and dominates () each function
[TABLE]
The pointwise limit , as , is the constant function [math] on , again by continuity of and by continuity of the norm function. Thus the dominated convergence theorem applies, see e.g. Lang (1993, VI Thm. 5.8), and yields . This proves convergence to zero.
It remains to prove continuity of the map
[TABLE]
Continuity holds by Proposition A.2.13 c) for the by (2.4.13), cf. Lemma 2.4.14, continuous map , , and the compact inclusion . As any lies in , one has
[TABLE]
since the diagram (2.4.12) commutes. This proves Lemma 2.5.2. ∎
Lemma 2.5.3** **(Characterization of via
diagonal maps being of class ).
An -map is of class iff
- (i)
all diagonal maps are of class and for each of them
- (ii)
the derivative , at any , extends to a continuous linear operator on , notation , and
- (iii)
the extension as a map , , is continuous; cf. (2.4.15).
Proof.
’’ Lemma 2.5.2. ’’ By (i-ii) for the first two axioms of are satisfied. By (ii-iii) for all the axiom ( is ) is also satisfied. ∎
Remark 2.5.4**.**
For any map of class the induced map between Fréchet spaces is of class ; cf. Cieliebak (2018, Probl. 5.5).
Maps of class
It is an immediate consequence of Lemma 2.5.3, together with the identity , that for an map one can lift both indices equally and still have an map, say .
Lemma 2.5.5** (Lifting indices, Hofer et al. (2010, Prop. 2.2)).**
If is an -map, then the induced map is also of class .
Proof.
Induction over . Case : This holds true by Lemma 2.5.3 which characterizes by some conditions on all 151515 saying “all diagonal maps ” refers to the set
diagonal maps and their extensions . Replacing by means to simply forgetting the two maps for .
Induction step : Let be . By definition this means that is and is . So by induction hypothesis applied to that same map just between shifted spaces, namely , is as well of class . But , hence is . Note that is also of class as a consequence of the case applied to . But an map, say , whose tangent map is is of class by Definition 2.4.15. ∎
Lemma 2.5.6** (Necessary and sufficient conditions for -smoothness).**
Let be relatively open subsets of partial quadrants in -Banach spaces . {labeling}(Necessary)**
If is , then all diagonal maps of height are of class for all heights from [math] up to .
Assume that a map induces for every level and every height between [math] and a diagonal map which, moreover, is of class . Such a map is of class .
Sketch of proof.
Necessary. Suppose . Firstly, it suffices to prove the case , because an map is also an map for . Secondly, it suffices to prove the case , namely the
Claim. The map is of class .
Given , the claim implies that is of class and we are done. Indeed by Lemma 2.5.5 the map is also of class and for this map the claim asserts that is of class .
One proves the claim by induction over . For the map is as , for the map is by Lemma 2.5.2 (ii).
The induction step is very similar in character to the proof of Lemma 2.5.2 (iii+iv) just more technical as one is looking at -fold derivatives, thus -multilinear maps. For details see Hofer et al. (2010, Prop. 2.3).
Sufficient. Proof by induction over . Case . By assumption there is for each a level map . Together with the restriction of the linear, hence smooth, embedding one has a commutative diagram
[TABLE]
of maps, in particular, all diagonal maps are . By the chain rule one gets the identity
[TABLE]
for . The identity also shows that extends from to . Thus (i) and (ii) in Lemma 2.5.3 are satisfied and it remains to check (iii). But this follows by pre-composing the first variable of the (by the -assumption on ) continuous map , , with the continuous embedding . The step is very technical, see Hofer et al. (2010, Prop. 2.4). ∎
2.6 Chain rule
A key element of calculus, the chain rule, is also available in -calculus. This is rather surprising given the fact that the -derivative arises by differentiating the diagonal map thereby loosing one level, so for a composition one would expect the loss of two levels. However, using (compactness) of the embeddings one can avoid loosing two levels.
Theorem 2.6.1** (Chain rule Hofer et al. (2007, Thm. 2.16)).**
Suppose and are -maps. Then the composition is also and
[TABLE]
Equivalently, in terms of -derivatives it holds that
[TABLE]
Proof.
The main principles and tools of the proof have been detailed and referenced in the slightly simpler setting of proving Step 2 in the proof of Lemma 2.5.2 (iii+iv). Fix . Because is an open neighborhood of in the cone and because the level map is continuous, there is a radius open ball in centered at [math] such that is contained in and such that the map
[TABLE]
takes values in for all and . Because is , as a map it is of class by Lemma 2.5.3 (i). Apply the mean value theorem, observing that , and add zero to obtain
[TABLE]
Divide by , so the first integral becomes
[TABLE]
Since is the restriction of to is whenever , see (2.4.12), hence as by Definition A.2.22 of the Fréchet derivative . Now is continuous and , as , uniformly in . Since is Lemma 2.4.14 (iii) guarantees that the map , , is continuous. Thus , as , uniformly in . So the integral (2.6.24) vanishes in the limit as .
The second integral divided by becomes
[TABLE]
By (compactness) of the inclusion and continuity of the -derivative the set of all with has compact closure in .161616 images of compact sets under continuous maps are compact
Since the map , , is continuous by Lemma 2.4.14 (iii) – due to being – it follows as above that the integrand in (2.6.25) converges in to [math] uniformly in , so the integral (2.6.25) converges in to [math], both as .
This shows that the map given by the composition satisfies the first two axioms in Definition 2.4.6 of . Indeed as a map is pointwise differentiable and at the derivative has a continuous extension, namely the composition of bounded linear operators . So by definition this composition is the -derivative associated to . Thus . Because both and are , so is . Thus satisfies axiom three in Definition 2.4.6. So is . ∎
2.7 Boundary recognition
Let be a partial quadrant in an -Banach space . Pick a linear -isomorphism with . For write and define its degeneracy index by
[TABLE]
A point satisfying is an interior point of , a boundary point if , and a corner point if . See Figure 2.2.
Exercise 2.7.1**.**
The degeneracy index does not depend on the choice of linear -isomorphism .
Theorem 2.7.2** (Invariance under -diffeomorphisms).**
Let and be partial quadrants. Let be an -diffeomorphism, that is an -map with an -inverse, then for every one gets equality
[TABLE]
Proof.
Hofer et al. (2007, Thm. 1.19) ∎
2.8 Sc-manifolds
The new notion of differentiability of maps between the new linear spaces – differentiability of maps between -Banach spaces – allows to carry over the new calculus to topological spaces modeled locally on -Banach spaces. This results in a new class of manifolds, called -manifolds. Their construction parallels the definition of Banach manifolds; see Section A.2.4.
To complement Section A.2.4 (case ) we spell out here the smooth case (case ). Suppose is a topological space. An -chart for consists of an -triple and a homeomorphism between open subsets. Two -charts are called -smoothly compatible if the transition map (cf. Figure 2.3)
[TABLE]
is
an -smooth diffeomorphism (invertible -smooth map with -smooth inverse). An -smooth atlas for is a collection of pairwise -smooth compatible Banach -charts for such that the chart domains form a cover of . Two atlases are called equivalent if their union forms an atlas.
Exercise 2.8.1**.**
Let be a topological space endowed with an -smooth atlas . a) Is it true that is connected iff it is path connected? b) Show that if is connected, then all model -Banach spaces appearing in the charts of are (linearly) -isomorphic to one and the same -Banach space, say . In this case one says that is modeled on .
[Hint: b) Given a transition map between two -charts, observe that is a dense subset of and that -derivatives taken at smooth points are -operators by Corollary 2.4.13.]
Definition 2.8.2**.**
An -manifold is a paracompact Hausdorff space , see Definition A.1.21, endowed with an equivalence class of -smooth atlases. If all model spaces are -Hilbert spaces one speaks of an Hilbert -manifold.
Definition 2.8.3** (Sc-smooth maps between -manifolds).**
a) A continuous map between -manifolds is called -smooth if for all -charts and the chart representative
[TABLE]
is of class as a map from an open subset of the partial quadrant in the -Banach space
into the -Banach space . See Figure 2.4.
b) An -diffeomorphism between -manifolds is an invertible -smooth map whose inverse is -smooth.
Detecting boundaries and corners
Suppose is an -manifold. To define the degeneracy index of a point , pick an -chart about and set
[TABLE]
By Theorem 2.7.2 the definition does not depend171717 For M-polyfolds the definition might depend on the choice of chart. The way out will be to take the minimum over all charts.
on the choice of -chart. One calls a point of degeneracy index an interior point if , a boundary point if , and a corner point of complexity in case . This is illustrated by Figure 2.2 for .
Levels of -manifolds are
topological Banach manifolds
A point of an -manifold is said to be on level if lies on level for some (thus every) -chart about . Indeed the definition does not depend on the choice of chart, even for topological -manifolds (those of class ), since any transition map is of class , hence level preserving (with continuous level maps). Level of the -manifold is the set
[TABLE]
By levelwise continuity of transition maps each level of an -manifold is a topological Banach manifold (in general not ).
To summarize, an -manifold decomposes into a nested sequence of topological Banach manifolds
[TABLE]
whose intersection carries the structure of a smooth Fréchet manifold with boundaries and corners; cf. Cieliebak (2018, §5.3).
Furthermore, each level of an -manifold inherits the structure of an -manifold denoted by and called the shifted -manifold . By definition level of is level of .
Levels of strong -manifolds
are smooth Banach manifolds
Suppose and are -triples. The notion of scale differentiability is based on usual differentiability of all diagonal maps of height one. A natural way to strengthen this is to ask all level maps (height zero) to be (or ). Given or , an map between -triples is called strongly or of class if all level maps are of class . This means that on each level one works with the usual calculus on Banach spaces. Now one calls a paracompact Hausdorff space an -manifold if all transition maps are of class , that is if they are level-wise .
Important classes of function spaces fit into the framework of strong scale differentiability, for instance loop spaces of finite dimensional manifolds.
Example 2.8.4** (Loop spaces are -manifolds).**
Let be a manifold of finite dimension. Then the loop space
[TABLE]
that consists of all absolutely continuous maps of period one, that is for every , is a strongly -smooth manifold.
Example 2.8.5**.**
The previous example generalizes to where can be any compact manifold-with-boundary of finite dimension and where the numbers and must satisfy the condition (assuring continuity of the functions that are the elements of ).
Tangent bundle of -manifolds
Let be an -manifold. For an -chart we shall use the short notation with the understanding that is an open subset of a partial quadrant in an -Banach space . Recall that denotes the -manifold that arises from by forgetting level zero. Let denote the corresponding scale of levelwise open subsets generated by . Now consider tuples where is an -chart of , the point lies on level one, and is a vector in level zero of the -Banach space . Two tuples are called equivalent if the two points are equal and the two vectors correspond to one another through the -derivative, in symbols
[TABLE]
An equivalence class is called a tangent vector to the -manifold at a point on level one. There is a canonical projection defined on , the set of all tangent vectors at all points of , namely
[TABLE]
Exercise 2.8.6** (Tangent bundle as -manifold).**
Naturally endow the set with the structure of an -manifold such that the projection becomes -smooth as a map between -manifolds.
[Hint: See Remark A.2.24. Each chart of gives a bijection
[TABLE]
onto the open subset of where .]
Chapter 3 Sc-retracts – local models
Let us indoctrinate you right away to the intuition behind the key players and maps between them. Think of an -retract as a compressed open set – the image of some idempotent map , called a projection or retraction. Vice versa, think of the open set , likewise , as a decompression of . The great variety of possible properties of such – there can be corners and even jumping dimension – are desirable in applications, because solution spaces to PDEs often exhibit such behavior. In contrast, to do analysis it is desirable that domains of maps are open, so difference quotients, hence derivatives, can be defined. Idempotents combine and provide both of these, somehow contradictory, properties. One uses such as geometric model space and when it comes to analysis one just decompresses and uses the open set as domain. For instance, to define differentiability of a function one decompresses the domain and calls differentiable if the pre-composition is. In such context we often call or itself a decompression of . A second highly useful property of images of projections is that any such is precisely the fixed point set of .
In Chapter 3 our main source is again Hofer et al. (2017), together with Cieliebak (2018) and Fabert et al. (2016). Concerning terminology our convention is and was to assign the adjective -smooth (or the equivalent symbol ) to maps that are many times continuously scale differentiable. In case of sets, e.g. -manifolds or -retracts, the “” itself already indicates -smooth.
Outline of Chapter 3. In the present chapter M-polyfolds111 M-polyfolds are defined analogous to manifolds, just based on -differentiability and more general model spaces. In contrast, polyfolds correspond classically to orbifolds.
are constructed based on the new notion of scale differentiability and locally modeled on rather general topological spaces which might have corners, even jumping dimension along components, but they will still be accessible to the new weaker form of calculus – -calculus. The class of spaces are -retracts, generalizing smooth retracts in Banach manifolds. Section 3.1 “Cartan’s last theorem” deals with smooth retracts and is the motivation for the generalizations in the following sections. Section 3.2 “Sc-smooth retractions and their images ” provides the local model spaces for M-polyfolds. A key step is to extend -calculus from -Banach spaces to -smooth retracts . Section 3.3 “M-polyfolds and their tangent bundles” defines M-polyfolds, in analogy to manifolds, by patching together local models and asking transition maps to be -smooth (in the sense of the extended -calculus). Section 3.4 “Strong bundles over M-polyfolds” provides the environment to implement -Fredholm sections . The need for -sections requires fibers be shiftable in scale by leading to double scale structures. In practice arises as a differential operator of order leading to asymmetry in base and fiber levels.
Detailed summary of Chapter 3
Section 3.1 “Cartan’s last theorem” recalls and proves the surprising result that the image of a smooth idempotent map on a Banach manifold, called a smooth retraction, is a smooth submanifold.
Section 3.2 “Sc-smooth retractions and their images ” is at the heart of the whole theory. It introduces the local model spaces for M-polyfolds, called -retracts and denoted by , or simply . These are images of -smooth idempotents , called -retractions, defined on -triples . It is useful to observe that image and fixed point set of coincide and to think of as a projection onto its fixed point set, in symbols
[TABLE]
While the domain is a (relatively) open subset of a partial quadrant in an -Banach space , its image is a projected or compressed version of . Motivated by continuous retractions one might expect that the compressed set, the -retract has non-smooth properties, e.g. jumping dimension or having corners, as illustrated by Figure 3.1. In contrast, the images of in the usual sense smooth retractions on Banach manifolds are smooth Banach submanifolds by Theorem 3.1.1.
How can one do analysis and define a derivative on a possibly non-open set ? The key idea is to decompress and use the open subset of as domain. (We assume for illustration). Let us call , likewise , a decompression of . Of course, if one defines a property of using a decompression one needs to check independence of the chosen decompression of . For instance, one defines -smoothness of a map between -retracts
[TABLE]
if some, hence by Lemma 3.2.4 any, decompression
[TABLE]
of is an -smooth map in the ordinary sense; see Definition 2.4.15. Such is called an -smooth retract map – the future M-polyfold transition maps. Given an -retract , the tangent map of a decompression of is an -smooth retraction itself
[TABLE]
Hence the image
[TABLE]
is an -retract in the tangent -triple . Here is independent of the choice of the decompression of by Lemma 3.2.6. The tangent bundle of the -retract is the natural surjection
[TABLE]
It is an -smooth map between -retracts. The tangent space at
[TABLE]
is a Banach subspace, even an -subspace for , by Corollary 2.4.13.
The tangent map of an -smooth retract map is defined as the restriction to of the tangent map
[TABLE]
of some, by Lemma 3.2.10 any, decompression . Here since and on . Section 3.2 on -retracts is rounded off by the chain rule for compositions of -smooth retract maps.
Section 3.3 “M-polyfolds and their tangent bundles” defines M-polyfolds in analogy to Banach manifolds just using the rather general class of -retracts as local models and requiring only scale smoothness of the transition maps. In particular, to define an M-polyfold one starts with a paracompact Hausdorff space . E.g. -manifolds are M-polyfolds ( and ) and so are open subsets of M-polyfolds. Sc-smoothness of maps
[TABLE]
between M-polyfolds is defined in terms of local coordinate representatives of which are required to be -smooth retract maps. An M-polyfold inherits a set scale structure from the local model spaces. Let , called level of , consist of all points of which are mapped in some, hence any, coordinate chart into level of model space. Each level is a topological Banach manifold and inherits the structure of an M-polyfold denoted by .
To construct the tangent bundle one first defines as a set and then a natural map , using the local coordinate charts of to define bijections denoted by . Given an atlas of , these bijections induce the collection
[TABLE]
of subsets of . It forms a basis of a paracompact Hausdorff topology. Endowing with that topology the bijections become homeomorphisms and one gets a natural M-polyfold atlas for .
Sub-M-polyfolds. A subset of an M-polyfold is a sub-M-polyfold if around any point there is an open neighborhood and an -smooth retraction such that . Such is called a local generator for the sub-M-polyfold . Viewed as a map a local generator is -smooth and at any point . At smooth points the tangent space is -complemented in .
Boundaries and corners – tameness. Recall from (2.7.26) that the degeneracy index of a point of a partial quadrant tells whether is an interior point (), a boundary point (), or a corner point of complexity . Unfortunately, for points of M-polyfolds the degeneracy index defined in terms of an M-polyfold chart may depend on the chart; see Figure 3.4. Thus one introduces a new class, the so-called tame M-polyfolds, for which there is no dependence on .
Section 3.4 “Strong bundles over M-polyfolds” provides the environment to implement partial differential operators whose zero sets will represent the moduli spaces which are under investigation in many different geometric analytic situations. Often moduli spaces, hence zero sets, are of finite dimension and are modeled on the kernels of surjective Fredholm operators. To achieve surjectivity in a given geometric PDE scenario one usually perturbs some already present, but inessential, quantity. These perturbations should be related to bounded operators, so the overall Fredholm property is preserved.
Recall from Proposition 2.3.29 that the -Fredholm property of a linear map is preserved under addition of -operators . The latter operators are characterized by the property of improving their output regularity by one level, that is . As a consequence all level operators are compact.
Motivation. Replacing now the linear domain by an M-polyfold as domain of a partial differential operator of order, say , the task at hand222 freely borrowed from one of my favorite authors
is to construct vector bundles with fibers modeled on an -Banach space , so that the differential operator becomes a section . Concerning the implementation of Fredholm properties one has to allow for fiber level shifts by , that is all fibers should be identifiable with the -Banach space , as well as with the shifted one ; cf. Remark 2.3.12. In practice, the level indices correspond to the degree of differentiability of the level elements. So the domain of should be in which case takes values in level , sometimes even . Then one can exploit composition with compact embeddings up to level [math]; see Remark 3.4.2. This motivates the following asymmetric double scale structure which must be subsequently reduced to two versions of individual scales, in order to be accessible to scale calculus (there is no double scale calculus).
Trivial-strong-bundle retracts – the local models. Let be Banach scales and be open. The non-symmetric product is the subset of the Banach space endowed with the double scale, also called double filtration, defined by
[TABLE]
Projection onto the first component
[TABLE]
is called the trivial-strong-bundle projection. However, for -calculus one needs one scale structure, not a double scale. Consider the -manifolds
[TABLE]
For projection on component one is an -smooth map
[TABLE]
between -manifolds called a trivial strong sc-bundle. A trivial-strong-bundle retraction is an idempotent **trivial-strong-bundle map333 i.e. double scale preserving and with being linear in **
[TABLE]
The first component of is necessarily an -smooth retraction on , called associated base retraction. Its image, the -retract , is called the associated base retract. A **trivial-strong-bundle retract444 ’strong’ indicates ’doubly scaled’ and the retraction acts on a ’trivial bundle’ ** is the image
[TABLE]
of a trivial-strong-bundle retraction on where is the associated base retract. One likewise calls the natural surjection
[TABLE]
a trivial-strong-bundle retract. Call tame if is tame. As a subset of the doubly scaled space there is an induced double scale
[TABLE]
for and . The spaces
[TABLE]
with levels are -retracts, hence M-polyfolds. The surjections
[TABLE]
are -smooth maps between -retracts.
A section of a trivial-strong-bundle retract is a map that satisfies . If is -smooth as an -retract map
[TABLE]
it is called an -section (case ) or an -section (case ). The map {\text{\boldmaths}}^{[i]}\colon O\to F^{i} is called the principal part of the section.
Strong bundles. A strong bundle over an M-polyfold is a continuous surjection defined on a paracompact Hausdorff space such that each pre-image is a Banachable space, together with an equivalence class of strong bundle atlases.
As usual, one patches together local model bundles which in our case are the trivial-strong-bundle retracts outlined above. A strong bundle atlas for consists of suitably compatible strong bundle charts
[TABLE]
Such tuple consists of
- •
a trivial-strong-bundle retract , that is where is the associated base retract;
- •
a homeomorphism between an open subset of the base M-polyfold of and the base retract of ;
- •
a homeomorphism which covers in the sense that the diagram
[TABLE]
commutes. Consequently, for every point the restriction of to takes values in . It is also required that as a map
[TABLE]
is a continuous linear bijection between the Banach/able space fibers.
A strong bundle atlas for provides a double scale structure on induced by local charts. As earlier, one extracts two individual scale structures and obtains two induced -bundle atlases and for -bundles555 The definition of -bundles is indicated around (3.4.7).
[TABLE]
A section of a strong bundle is a map that satisfies . If is -smooth as a map between M-polyfolds
[TABLE]
then is called in case an -section of and in case an -section of .
3.1 Cartan’s last theorem
In the realm of continuous linear operators on a Banach space an idempotent is called a projection. Note that the image is equal to the fixed point set of . (Both inclusions are immediate, only ’’ uses idempotency.) But the image of a linear operator is a linear subspace and the fixed point set of a continuous map is a closed subset. So the image of a projection is a closed linear subspace which, furthermore, is complemented by the (again due to continuity) closed linear subspace . To summarize
[TABLE]
More generally, given a topological space , a continuous idempotent map is called a retraction on and the closed subset
[TABLE]
is called a retract of .
Theorem 3.1.1** (Cartan (1986)).**
The image of a smooth retraction on a Banach manifold is a topologically closed smooth submanifold of .
Proof.
We follow Cieliebak (2018). Closedness of the set holds by continuity of . To be a submanifold is a local property. Pick and a Banach chart about with ; cf. Section A.2.4. It suffices to show that is locally near the image under a diffeomorphism, say , of an open subset of a linear subspace, say for some , of the Banach space . This takes three steps.
Step 1. (Localize) The retraction on descends to a smooth retraction on an open subset of the local model Banach space, still denoted by
[TABLE]
The derivative is a projection and the maps
[TABLE]
take on the same value at the origin.
Proof of Step 1. Observe that is not only an open neighborhood of the fixed point , but it is also invariant under : Indeed
[TABLE]
where both inclusions are immediate, only the second one uses . Hence the local representative , hereafter still denoted by , is a smooth retraction on and it maps to itself. The latter fixed point property enters the identity .
Step 2. (Local diffeomorphism) The map conjugates and
[TABLE]
and it holds that and .
Proof of Step 2. The retraction properties of and imply the identities
[TABLE]
and
[TABLE]
These two identities imply, respectively, the identities
[TABLE]
and
[TABLE]
Thus . Hence and
[TABLE]
Step 3. (Conjugation to linearization) There is an open subset of such that is a diffeomorphism onto its image and . Moreover, the linear retraction restricts to a smooth retraction on and coincides with the composition
[TABLE]
Proof of Step 3. Since is invertible there is by the inverse function theorem an open neighborhood of the fixed point of and such that the restriction is a diffeomorphism onto its image. To obtain, in addition, invariance under replace by . To see this repeat the arguments that led to (3.1.1).
Step 4. (Diffeomorphism to open set in Banach space) Step 3 shows
[TABLE]
Step 4 proves Theorem 3.1.1: Indeed is an open neighborhood in of the fixed point [math] of and is a (closed) linear subspace of . So the intersection is an open neighborhood of [math] in the Banach space . But that intersection is diffeomorphic, under , to the part of in the open set . ∎
3.2 Sc-smooth retractions and their images
In this section the local model spaces for M-polyfolds are constructed and the maps between them are endowed with an adequate notion of -smoothness, namely, -smoothness when viewed as maps between decompressed domains. The model spaces are images of -smooth retractions on -triples . It is useful to observe that image and fixed point set of coincide and to think of as a projection onto its image
[TABLE]
Sc-retracts and sc-smoothness of maps between them
Definition 3.2.1** (Sc-retracts ).**
An sc-smooth retraction on an -triple is an -smooth idempotent map . Note that
[TABLE]
is (relatively) closed by continuity of . An sc-retract in a partial quadrant in a Banach scale is the image (fixed point set)
[TABLE]
of some -smooth retraction whose domain is (relatively) open. Usually we abbreviate the notation of an -retract by simply writing . As pointed out in Hofer et al. (2017, before Prop. 2.3), the ambient partial quadrant matters, because it is possible that is an -retract with respect to some non-trivial , but not for Think of as local models for M-polyfolds in regions without boundary and as such near boundaries with corners; cf. Hofer et al. (2010, after Def. 1.13).
Lemma 3.2.2**.**
If is an -smooth retraction, then all level maps are continuous retractions
[TABLE]
and is equal to the image . In terms of shifted scales
[TABLE]
Proof.
To be shown is the equality of sets . ’’ Pick , then . ’’ Pick , then since and is level preserving, respectively. ∎
Whereas the image of a smooth retraction on a Banach manifold is a smooth submanifold by Cartan’s last theorem, Theorem 3.1.1, an -retract can be connected and nevertheless have pieces of various dimensions; see Figure 3.1.
How can one ever do analysis on such spaces? Let’s see:
Decompression. To start with, given a map between -retracts, one can “decompress” or “unpack” the, possibly “cornered”, domain of the map into an open set by pre-composing with an -smooth retraction whose image is . Indeed the map has the same image as , but lies within the reach of -calculus since domain and target are (relatively) open subsets of partial quadrants and in -Banach spaces.
Definition 3.2.3** **(Sc-smooth maps among -retracts –
decompress domain).
A map between -retracts is called an -smooth retract map if the composition is -smooth666 Sc-smoothness of implies continuity of .
for some, thus by Lemma 3.2.4 for every, -smooth retraction whose image is . Let us refer to such pre-composition process as decompressing (the domain of) . Sc-smooth retract maps are continuous.
Lemma 3.2.4**.**
Given -smooth retractions with equal image and a map , then if one of the maps
[TABLE]
is -smooth, so is the other one.
Proof.
By assumption and , hence
[TABLE]
By hypothesis is -smooth. If also is -smooth, so is by the chain rule their composition . But . ∎
Tangent bundle of sc-retracts and tangent map
of sc-retract maps
Lemma 3.2.5** (Tangent map of retraction is itself a retraction).**
Let be an -smooth retraction on an -triple . Then its tangent map
[TABLE]
is an -smooth retraction on the tangent -triple
[TABLE]
Proof.
The tangent map of an -smooth map is -smooth by the iterative definition of -smoothness; see Definition 2.4.15. It remains to show that
[TABLE]
’’ A fixed point of a map lies in its image. ’’ An element of is of the form (y,{\color[rgb]{.75,.5,.25}\definecolor[named]{pgfstrokecolor}{rgb}{.75,.5,.25}\eta})=(r(x),{\color[rgb]{.75,.5,.25}\definecolor[named]{pgfstrokecolor}{rgb}{.75,.5,.25}Dr|_{x}\,\xi}) for some . Hence and
[TABLE]
where we used the chain rule (2.6.23). Hence . ∎
Lemma 3.2.6** (Tangent maps of two decompressions have same image).**
Assume an -smooth retract is the image of two -smooth retractions
[TABLE]
Then both tangent maps have equal image .
Proof.
We need to show . ’’ Pick . Then {\color[rgb]{.75,.5,.25}\definecolor[named]{pgfstrokecolor}{rgb}{.75,.5,.25}\xi\in{\rm Fix}\,Dr|_{x}}\subset E and with (3.2.2) for and we conclude
[TABLE]
So lies in the domain of and we get that
[TABLE]
Here we used twice the identity which holds since by hypothesis. ’’ Same argument. ∎
Definition 3.2.7** (Tangent of -retract).**
If is an -retract, then
[TABLE]
is an -retract, too. Notation . The definition of does not depend on the choice of by Lemma 3.2.6.
Lemma 3.2.8** (Tangent bundle of -retract ).**
The natural projection
[TABLE]
is an open surjective -smooth retract map, cf. Definition 3.2.3, called tangent bundle of the -retract . The pre-image of a point, denoted by
[TABLE]
is a Banach subspace of , an -subspace whenever .
Proof.
Let . Then where . Hence the first component of is the map on the domain , see (3.2.3). But by Lemma 3.2.2 which proves surjectivity of . The decompression
[TABLE]
of is constant in , and in it is the map which is -smooth by Lemma 2.5.5, since is -smooth by assumption. The pre-image
[TABLE]
is the fixed point set of a linear operator on the Banach space and therefore it is a linear subspace. It is a closed linear subspace, because the linear operator is continuous. For simplicity we shall simply write
[TABLE]
The -derivative at any restricts to a continuous linear operator on every level by Corollary 2.4.13. Hence are the levels of a Banach scale by Exercise 3.2.9. ∎
Exercise 3.2.9**.**
a) Show that is an -subspace of whenever . b) Show that the projection is an open map.
[Hint: a) Let . Show that equals and satisfies the three axioms (Banach levels), (compactness), and (density) of a Banach scale. b) First consider the case , decompress .]
Lemma 3.2.10**.**
Let be an -smooth retract map. If and are -smooth retractions with image , then the restrictions
[TABLE]
a) coincide and b) take values in and c) are -smooth retract maps.
Proof.
a) For (x,\xi)\in TO={\color[rgb]{.75,.5,.25}\definecolor[named]{pgfstrokecolor}{rgb}{.75,.5,.25}{\rm Fix}\,Ts}, as (), we get
[TABLE]
b) Let , then it suffices to show . Observe that since . Hence provides a fixed point
[TABLE]
c) The decompression of given by
[TABLE]
is -smooth, because is -smooth due to the assumption that is an -smooth retract map, see Definition 3.2.3. ∎
Definition 3.2.11** **(Tangent of retract maps via domain
decompression).
The tangent map of an -smooth retract map is the restriction
[TABLE]
of the tangent map for a decompression of .
Some remarks are in order. Firstly, by Lemma 3.2.10 the definition of does not depend on the -smooth retraction with image . Secondly, concerning component one since . Thirdly, concerning component two
[TABLE]
since is the fixed point set of .
Theorem 3.2.12** (Chain rule for -smooth retract maps).**
Let and be -smooth retract maps. Then the composition is also a -smooth retract map and the tangent maps satisfy
[TABLE]
Proof.
Sc-smoothness of the retract maps and by definition means -smoothness of and where and are -smooth retractions with images and , respectively. The inclusion provides the identity . Hence is a composition of two -smooth maps, so it is -smooth itself by the chain rule for -smooth maps, Theorem 2.6.1. By definition of , the chain rule, and we get . ∎
In Section 3.3 the next exercise will be useful a) to show that open subsets of M-polyfolds are M-polyfolds and b) to construct sub-M-polyfold charts.
Exercise 3.2.13**.**
Given an -retract , prove the following.
- a)
Open subsets of the -retract are -retracts in .
- b)
Suppose is an open subset of and is an idempotent -smooth retract map. The image of such is an -retract .
[Hints: Let . a) How about and ? b) Let , then . How about and the -smooth map ?]
3.2.1 Special case: Splicings and splicing cores
Following Hofer et al. (2017, Def. 2.18), an -smooth splicing on an -Banach space consists of the following data. A relatively open neighborhood of [math] in a partial quadrant in and a family of -projections such that the map
[TABLE]
is -smooth. Note that in this case each projection restricts to a continuous linear operator on every level. But in the operator norm these operators do not, in general, depend continuously on . The subset of composed of the images (fixed points) of each projection, i.e.
[TABLE]
is called the splicing core of the splicing.
Exercise 3.2.14** (Induced sc-smooth retraction).**
Given an -smooth splicing on an -Banach space , consider the map given by
[TABLE]
Show that the map defines an -smooth retraction on the -triple and that its image is the splicing core .
As remarked in Fabert et al. (2016, previous to Def. 5.6), this setup of splicing with finitely many “gluing” parameters covers the -retractions relevant for Morse theory and holomorphic curve moduli spaces.
3.2.2 Splicing core with jumping finite dimension
Fix a smooth bump function on supported in of unit norm. For consider the family of left translates of by – huge left translations for near [math] and almost no translation for . Fix a strictly increasing sequence of reals starting at and let be the -Hilbert space whose levels are given by the weighted Sobolev spaces introduced in Exercise 2.2.4. Consider the family
[TABLE]
of linear operators on . Note that the image of is whenever , whereas for each the image of is , hence one dimensional.
Exercise 3.2.15**.**
Check that each linear operator is continuous and a projection, that is .
Proposition 3.2.16**.**
The map , , is -smooth.
Proof.
The result and details of the (hard) proof of -smoothness are given in Hofer et al. (2010, Ex. 1.22 and Le. 1.23); see also Cieliebak (2018, Prop. 6.8). ∎
To summarize, the family of projections defines an -smooth splicing on . The corresponding splicing core is represented in Figure 3.1 as a subset of homeomorphic to . Although connected, there are parts of dimension one and two.
3.3 M-polyfolds and their tangent bundles
M-polyfolds are defined analogous to -manifolds, just use as local models instead of -triples -retracts in .
Recall two standard methods to define manifolds. Method 1 starts with a topological space , then one defines a collection of homeomorphisms to open sets in model Banach spaces, whose domains are open subsets of which together cover . The collection must be suitably compatible on overlaps. Method 2 starts with only a set , then one defines a collection of bijections between subsets of onto open subsets of local model Banach spaces, again the domains together must cover . Now one uses the bijections to define a topology on the set , essentially by declaring pre-images of open sets in model space to be open sets in .
In practice one often employs Method 1 to define a manifold . Then one employs Method 2 in order to define the tangent bundle . Namely, as a set called of equivalence classes whose definition utilizes the manifold charts of and their tangent maps. The latter are used to define the required bijections that endow the set of equivalence classes with a topology.
M-polyfolds and maps between them
Definition 3.3.1**.**
Let be a topological space. An M-polyfold chart , often abbreviated , consists of
- •
an open set in ;
- •
an -retract in a partial quadrant ;
- •
a homeomorphism (open sets in -retracts are -retracts).
Two M-polyfold charts are -smoothly compatible if the transition map
[TABLE]
and its inverse are both -smooth retract maps777 Indeed open subsets of -retracts are -retracts by Exercise 3.2.13.
(i.e. -smooth after domain decompression). An M-polyfold atlas for is a collection of pairwise -smoothly compatible M-polyfold charts whose domains cover . Two atlases are called equivalent if their union is again an M-polyfold atlas.
Definition 3.3.2**.**
An M-polyfold is a paracompact Hausdorff space endowed with an equivalence class of M-polyfold atlases.
Definition 3.3.3**.**
A map between M-polyfolds is called an -smooth M-polyfold map if every local M-polyfold chart representative
[TABLE]
of is an -smooth retract map. An -smooth diffeomorphism between M-polyfolds
is a bijective -smooth map between M-polyfolds whose inverse is also -smooth.
Exercise 3.3.4**.**
a) Sc-manifolds are M-polyfolds.
b) Open subsets of M-polyfolds are M-polyfolds.
c) Check that and in Figure 3.3 are M-polyfolds.
d) Use the -retract in Figure 3.1 to built further fun M-polyfolds.
e) It is an open problem, Hofer et al. (2017, Quest. 4.1), whether there is an -smooth retract so that is homeomorphic to the letter T in .
Definition 3.3.5**.**
One defines level of an M-polyfold to be the set that consists of all points which are mapped to level in some, hence any,888 transition maps are -smooth, thus level preserving
M-polyfold chart.
Thus for an M-polyfold there is the nested sequence of levels
[TABLE]
Each level inherits the structure of an M-polyfold, notation , see Hofer et al. (2017, p. 21) for charts, and each inclusion is continuous (as a map between topological spaces), see Hofer et al. (2017, Le. 2.1).
Construction of the M-polyfold tangent bundle
The base M-polyfold. Let be an M-polyfold, in particular, a paracompact Hausdorff space, with M-polyfold atlas .
The tangent bundle as a set. By definition is the set of equivalence classes of tuples , abbreviated , that consist of
- •
a point on level 1;
- •
an M-polyfold chart for about ;
- •
a tangent vector , see (3.2.4).
Two tuples are said equivalent if
[TABLE]
The natural projection. There is a natural projection
[TABLE]
The pre-image of any point , denoted by
[TABLE]
and called the tangent space of at , is a linear space over the reals:
[TABLE]
To represent the two input equivalence classes choose the same M-polyfold chart about for both of them (choose any two representatives and restrict to the intersection of their domains). This way and are both in the same vector space, here , and so adding them makes sense.
The induced bijections. For every M-polyfold chart , say where for some -smooth retraction on an -triple , the map named and defined by
[TABLE]
is a bijection. For a given level 1 point the map
[TABLE]
is a bijection (the identity) on the Banach subspace of ; cf. (3.2.4). So inherits the Banach space structure of . At smooth points is an -subspace of by Exercise 3.2.9, so the linear bijection endows with the structure of an -Banach space.
The induced topology. Consider the collection that consists of all subsets of that are pre-images under of all open subsets in the target space , for all M-polyfold charts of , in symbols
[TABLE]
Exercise 3.3.6**.**
Show that is a basis for a topology; cf. Theorem A.1.14.
By definition the topology on is the topology generated by the basis : The open sets in are arbitrary unions of members of .
Proposition 3.3.7**.**
The topology on is Hausdorff and paracompact.
Proof.
Hofer et al. (2017, § 2.6.3) ∎
Exercise 3.3.8**.**
The map in (3.3.5) is continuous and open.
The M-polyfold charts. For any M-polyfold chart of , where say, the bijection defined by (3.3.6) is an M-polyfold chart for :
- •
is open by definition of ;
- •
is an -retract by Definition 3.2.7;
- •
is a homeomorphism by definition of .
Furthermore, if are compatible for , then are compatible for : We need to show that the map given by
[TABLE]
is an -smooth retract map. But is an -smooth retract map by the chain rule, Theorem 3.2.12, and so is the tangent map. This shows that an M-polyfold atlas for induces an M-polyfold atlas for , namely
[TABLE]
Let us then summarize the previous constructions and findings in form of
Theorem 3.3.9**.**
Let be an M-polyfold. Then is an M-polyfold and
[TABLE]
is an -smooth map between M-polyfolds.
M-polyfold tangent maps
Definition 3.3.10**.**
The tangent map of an -smooth M-polyfold map is the -smooth M-polyfold map defined by
[TABLE]
where is any M-polyfold chart about .
Exercise 3.3.11**.**
Show that is -smooth as a map between M-polyfolds. Show that for the map
[TABLE]
is a continuous linear operator and is an -operator whenever .
3.3.1 Sub-M-polyfolds
An M-polyfold is locally modeled on the images of -smooth retractions in an -Banach space . Thus it is natural to define a sub-M-polyfold of as a subset that is locally the image of an -smooth retraction acting on an open subset of .
Definition 3.3.12**.**
A subset of an M-polyfold is called a sub-M-polyfold if around any point there is an open neighborhood and an -smooth retraction such that . Such is called a local generator for the sub-M-polyfold .
Proposition 3.3.13**.**
Suppose is a sub-M-polyfold.
- (i)
A sub-M-polyfold inherits an M-polyfold structure from the ambient .
- (ii)
The inclusion is an -smooth map between M-polyfolds and a homeomorphism onto its image.
- (iii)
A local generator for , viewed as a map , is -smooth and at any point .
- (iv)
At points the tangent space is -complemented in .
Proof.
Hofer et al. (2017, Prop. 2.6). ∎
3.3.2 Boundary and corners – tameness
Unfortunately, on M-polyfolds the degeneracy index of a point, defined through an M-polyfold chart, might depend on the choice of chart, as this example shows: For a real parameter define the orthogonal projection
[TABLE]
The image of the retraction is the half line in the quadrant . On the M-polyfold we choose the global chart shown in Figure 3.4. In this chart the degeneracy index, see Section 2.7, of each point (also depending on whether or ) is given by
[TABLE]
On the other hand, representing in the obvious global M-polyfold chart
[TABLE]
the degeneracy indices of points are the rather different, but
expected, values
[TABLE]
Of course, the discrepancy between and could be caused by incompatibility of charts. However, this is not the case, both transition retract maps are -smoothly compatible. Indeed the decompression of
[TABLE]
is even smooth and so is , .
Definition 3.3.14** (Degeneracy index on M-polyfolds ).**
Given a point , just take the minimum
[TABLE]
over all M-polyfold charts about the point .
Degeneracy index stratification of quadrant – Tameness
To see what went wrong for the chart in the example above note that the quadrant C={\color[rgb]{.75,.5,.25}\definecolor[named]{pgfstrokecolor}{rgb}{.75,.5,.25}C_{0}}\mathop{\cup}{\color[rgb]{0,1,1}\definecolor[named]{pgfstrokecolor}{rgb}{0,1,1}\pgfsys@color@cmyk@stroke{1}{0}{0}{0}\pgfsys@color@cmyk@fill{1}{0}{0}{0}C_{1}}\mathop{\cup}{\color[rgb]{1,0,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,0,0}C_{2}} decomposes into disjoint subsets , the strata of the degeneracy index stratification. Now one identifies two problems:
- a)
The -retraction does not preserve the degeneracy index strata.
- b)
The -retract is in a certain sense not transverse to the degeneracy index stratification of the quadrant .
One avoids the problem by giving a name to retractions that do not have the defects a) and b) and then considers only such in theorems.
Definition 3.3.15**.**
An -smooth retraction on an -triple is called tame if
- a)
the map preserves the -stratification: ;
- b)
the image of is transverse to the -stratification: For every smooth point in the image there must be an -complement of the -subspace of , cf. (3.2.4) and Exercise 3.2.9, with where is the stratum of .
If in b) above such exists, then one can choose by Hofer et al. (2017, Prop. 2.9). So for tame -smooth retractions with image one has the -splittings
[TABLE]
one for each smooth point of .
Remark 3.3.16** (Fixed origin).**
Consider the quadrant in and suppose is a tame smooth retraction. Then the origin is fixed by . Indeed is the only point in with . Moreover, the image is an open neighborhood of [math] in ; cf. Cieliebak (2018, Problem 6.5).
Definition 3.3.17**.**
An -retract is called tame if is the image of a tame -smooth retraction . An M-polyfold is called tame if admits an equivalent M-polyfold atlas modeled on tame -smooth retracts.
For tame M-polyfolds the degeneracy index of a point defined via an M-polyfold chart about does not depend on the choice of the chart; see Hofer et al. (2017, Eq. (2.12)).
3.4 Strong bundles over M-polyfolds
We recall the notion of a vector bundle over a manifold and sketch how to generalize the base to M-polyfolds (bringing in scale and retracts) and accommodate Fredholm sections via -sections (bringing in double scales).
Motivation and comparison of old and new concepts
The following overview is not meant to be, and is not, rigorous.
Classical vector bundles over manifolds – trivial bundles .
A classical vector bundle over a manifold is locally modeled by trivial bundles . Here is an open subset of a linear space , the model space of the manifold, and is a linear space, the model of the fibers of the vector bundle. Any two local models must be related by a diffeomorphism
[TABLE]
called a vector bundle transition map, whose second component restricts at every point to a vector space isomorphism . So the building blocks for classical vector bundles are trivial bundles
[TABLE]
Sc-bundles over M-polyfolds – trivial-bundle sc-retracts .
To define -bundles over M-polyfolds one needs to generalize trivial bundles taking into account that now one deals with -triples and -Banach spaces . A useful notation for trivial bundles is which indicates that the set sits inside the -direct sum and thereby inherits the scale structure .
Because local models for the base M-polyfold are -retracts , one should replace by its image under an -retraction. It is suggesting to replace the whole space by its image under an -retraction
[TABLE]
for which , is linear, at any . Such retraction
- •
produces a local M-polyfold model in the component and
- •
also respects the linear structure of the second component .
A crucial observation is that along idempotency of implies that the linear map is also idempotent, hence a projection. Choose the identity retraction and forget scale structures to recover trivial bundles , hence classical vector bundles. The building blocks
[TABLE]
for -bundles over M-polyfolds are called trivial-bundle sc-retracts. Projection onto the second component provides an -smooth surjection
[TABLE]
onto an -retract, the local model of an M-polyfold. Each pre-image is a closed linear subspace of .
To summarize, the local models for -bundles over M-polyfolds, called trivial-bundle sc-retracts, are -retracts in that are families
[TABLE]
of projection images in parametrized by local M-polyfold models . To construct -bundles over M-polyfolds one defines -bundle charts as in Definition 3.4.12 disregarding double scales – just replace the double scale symbol by the -direct sum . Compatibility of charts and -bundle atlases are defined as usual.
Definition 3.4.1** (Sc-bundles over M-polyfolds).**
An sc-bundle over an M-polyfold is an -smooth surjection between M-polyfolds endowed with an equivalence class of -bundle atlases.
Accommodating Fredholm sections: double scale gives two scales and .
The local model building blocks for strong bundles over M-polyfolds are trivial-strong-bundle retracts . These come with a double scale structure by definition and a natural projection where the -retract is called the associated base retract and the -retraction is the first component of . Reducing the double scale in two ways to a scale one obtains two -bundles
[TABLE]
over the M-polyfold . The sections of generalize operators.
3.4.1 Trivial-strong-bundle retracts - the local models
Throughout is an -Banach space and an -triple, that is is a relatively open subset of the partial quadrant in the -Banach space .
Remark 3.4.2** (Motivation for non-symmetric product and shift by ).**
At first sight the introduction of a double scale/filtration in Definition 3.4.3, even an asymmetric one, and its immediate reduction to a single scale in Definition 3.4.4, in two versions though, might be confusing and even appear superfluous given that the two versions inherit their scale structure as subsets of the simple and well known -direct sums and .
a) To perceive the need to shift the vector space part of by one, recall stability of the -Fredholm property under addition of -operators; see Proposition 2.3.29.
b) In practice, when implementing a differential operator of order the level indices of indicate differentiability, simply speaking. So one needs to forget the first levels and choose , or any sublevel of it, as domain for . More precisely, one chooses the shifted scale . Then and one can subsequently exploit composition with the compact embeddings .
Definition 3.4.3** (Non-symmetric product – double scale).**
The non-symmetric product is the subset of the Banach space endowed with the double scale, also called double filtration, defined by999 We use the symbol , as opposed to , since the levels of are unlimited, any is allowed, whereas the ones of depend on and are restricted to .
[TABLE]
Non-symmetric products serve as total spaces of strong trivial bundles. Projection onto the first component
[TABLE]
is called the trivial-strong-bundle projection. However, for -calculus one needs one scale structure, not a double scale. To achieve this substitute by a useful function of , say or .
Definition 3.4.4** (Trivial strong bundles: Two relevant scale structures).**
Motivated by Hofer et al. (2017, §2.5) we denote the -manifolds and by the symbols
[TABLE]
By definition of shifted scales the levels are101010 cf. Definition 2.1.6
[TABLE]
The projections onto the first component
[TABLE]
are -smooth maps between -manifolds called trivial strong bundles. We often write for simplicity and because the values do not depend on the choice of shift for the second component . If the domain matters we shall write .
Definition 3.4.5** (Morphisms of trivial strong bundles).**
a) A trivial-strong-bundle map is a map that preserves the double scale and is of the form
[TABLE]
where is linear in . Moreover, it is required that both induced maps between -manifolds
[TABLE]
are -smooth. b) A trivial-strong-bundle isomorphism is an invertible strong trivial bundle map whose inverse is also a strong trivial bundle map.
It is the previous definition where double scale preservation is required.
Exercise 3.4.6**.**
Check that the second component of a strong trivial bundle map gives rise to an -operator along the smooth points .
Definition 3.4.7** (Trivial-strong-bundle retraction).**
A trivial-strong-bundle retraction is an idempotent trivial-strong-bundle map
[TABLE]
The first component of is necessarily an -smooth retraction on , called the associated base retraction, whose image -retract is called the associated base retract. One calls tame in case the associated base retraction is tame.
Exercise 3.4.8**.**
Let be a strong trivial bundle retraction. Check that is an -smooth retraction on and that is a projection for , even an -projection at smooth points, i.e. .
Definition 3.4.9** (Trivial-strong-bundle retracts – the local models).**
A **trivial-strong-bundle retract111111 ’strong’ indicates ’doubly scaled’ and the retraction acts on a ’trivial bundle’ ** , or simply , is given by the image
[TABLE]
of a trivial-strong-bundle retraction on where is the associated base retract. One likewise calls the natural surjection
[TABLE]
trivial-strong-bundle retract. For simplicity we identify point pre-images
[TABLE]
with the Banach subspace of , an -subspace for smooth points, called the fiber of over . Call tame if is tame.
Being a subset of the doubly scaled space a trivial-strong-bundle retract inherits the double scale
[TABLE]
for and . Note that the spaces121212 the symbol abbreviates
[TABLE]
with levels are -retracts, so M-polyfolds. The surjections
[TABLE]
are both -smooth maps between -retracts. Indeed by Definition 3.2.3 this requires that some, hence any, decompression, say
[TABLE]
be -smooth. But the associated base retraction is -smooth by assumption.
Definition 3.4.10** (Strong retract maps).**
A map of the form
[TABLE]
between trivial-strong-bundle retracts is called a strong retract map if is linear in the fibers, that is is linear, if preserves the double filtrations, and if both induced maps between -retracts
[TABLE]
are -smooth (meaning -smoothness after decompression).
Definition 3.4.11** **(- and -sections of trivial-strong-bundle
retracts).
A section of a trivial-strong-bundle retract is a map that satisfies . If is -smooth as an -retract map
[TABLE]
it is called in case an -section and in case an -section. The map {\text{\boldmaths}}^{[i]}\colon O\to F^{i} is called the principal part of the section.
Note that a section is -smooth iff its principal part is. For simplicity we sometimes omit the superscript**[i]** if the level shift is clear from the context.
3.4.2 Strong bundles
Throughout is an -Banach space and an -triple, that is is a relatively open subset of the partial quadrant in the -Banach space .
Definition 3.4.12** (Strong bundle charts).**
Let be a continuous surjection from a paracompact Hausdorff space onto an M-polyfold such that every pre-image has the structure of a Banachable space.131313 A Banachable space is an equivalence class that consists of all Banach spaces with pairwise equivalent norms.
A strong bundle chart for is a tuple
[TABLE]
that consists of
- •
a trivial-strong-bundle retract where is the associated base retract;
- •
a homeomorphism between an open subset of the base M-polyfold of and the base retract of ;
- •
a homeomorphism that covers , that is the diagram
[TABLE]
commutes. As a consequence, for every point the restriction of to takes values in . One also requires that viewed as a map
[TABLE]
is a continuous linear bijection141414 making sense although the domain is just Banachable
between fibers.151515 strictly speaking, the target is
Definition 3.4.13** (Strong bundle atlases).**
Two strong bundle charts are called compatible if, firstly, the transition map
[TABLE]
is a strong retract map, thus preserves the double scales, and, secondly, the two induced maps and between open subsets of -retracts (cf. (3.4.8)), hence M-polyfolds, are -smooth diffeomorphisms. A strong bundle atlas consists of pairwise compatible strong bundle charts covering . Two such atlases are called equivalent if their union is again a strong bundle atlas.
Definition 3.4.14** (Strong bundles over M-polyfolds).**
A strong bundle over an M-polyfold is a continuous surjection from a paracompact Hausdorff space equipped with an equivalence class of strong bundle atlases.
Exercise 3.4.15** (A strong bundle provides two M-polyfolds).**
Check that a strong bundle atlas for naturally provides two M-polyfold atlases and for M-polyfolds and , respectively.
Exercise 3.4.16** (A strong bundle provides two -bundles).**
A strong bundle atlas for naturally provides two induced -bundle atlases and for -bundles and , respectively.
Induced double scale and section types
A strong bundle carries an asymmetric double scale structure , where and , transmitted from the local models by the strong bundle charts. Here it enters that the transition maps are strong retract maps, thus preserve the double scale of the local models .
Definition 3.4.17** (- and -sections of strong bundles).**
A section of a strong bundle is a map that satisfies . If a section of is -smooth as a map between M-polyfolds
[TABLE]
then is called an -section (case ) or an -section (case ).
Pull-back bundle
Suppose is an -smooth map between M-polyfolds and is a strong bundle over . The pull-back bundle consists of the subset of defined by
[TABLE]
and projection onto the first component. Together with projection onto the second component, denoted by , the diagram
[TABLE]
commutes.
Exercise 3.4.18** (Induced strong bundle structure).**
Given an -smooth map between M-polyfolds, show that a strong bundle structure on induces naturally a strong bundle structure on the pull-back bundle .
Appendix A Background from Topology and
Functional Analysis
A.1 Analysis on topological vector spaces
All vector spaces will be over the real numbers . Let us first repeat
Some basics about sets
The elements of a set are often called points. If a set contains only finitely many elements it is called finite. The number of elements of a finite set is denoted by . The set with no element is called the empty set, denoted by or, in order to indicate the ambient universe , by . We avoid terminology like a set of sets, instead we shall speak of a family of sets or of a collection of sets. Let be the collection of all subsets of . The empty set is a subset of any set , in symbols or . Our use of allows for equality, otherwise we write . For more basics on set theory and logic see e.g. Munkres (2000, Ch. I). See also Ch. I, in particular I.9 on axiomatics, in Dugundji (1966).
Definition A.1.1**.**
Let be a set. Given a family of subsets of , union and intersection of the members of are the subsets of defined by
[TABLE]
and
[TABLE]
Exercise A.1.2**.**
For show , but
[TABLE]
[Hint: Final assertion – empty truth.]
Maps and exponential law
Suppose are sets. A map from to , in symbols , is determined by a subset such that for each domain element the set has precisely 1 element. The unique such that is denoted by and called the image of under . The set is the domain of and the codomain or the target. The subset is called the graph of . A function is a map that takes values in the set of real numbers .
Let , or , denote the set of all maps from to . Motivated by the exponential notation the bijection
[TABLE]
is called the exponential map or the exponential law.
A.1.1 Topological spaces
For an elementary overview see e.g. Munkres (2000, Ch. II), for an exhaustive treatment Dugundji (1966), we also found extremely useful Müger (2016).
Definition A.1.3** (Topology).**
A topology on a set is a family of subsets , called the open!sets, such that the following axioms hold.
- (i)
Both the empty set and itself are open.
- (ii)
Arbitrary unions of open sets are open.
- (iii)
Finite intersections of open sets are open.
Such pair is called a topological space. The complements of the open sets form the family of closed sets.
Exercise A.1.4**.**
The intersection of a collection of topologies is a topology.
A topology on a set induces on any subset a topology which consists of the intersections of with all the members of the family of subsets of . The topology is called the subset topology or the induced topology on a subset . A subspace is a subset of a topological space endowed with the subset topology.
Properties of topological spaces that are inherited by subspaces are called hereditary properties.
A topological space is called compact if every open cover admits a finite sub-cover. A subset of a topological space is called compact if the topology on induced by is compact. A subset is called pre-compact if its closure is compact.
One often writes, instead of the pair , simply and calls it a topological space. An open neighborhood of a subset is an open set that contains , in symbols . Any subset that contains an open neighborhood of is called a neighborhood of . If is a point set we speak of a neighborhood of a point . It is convenient to write to indicate that a set contains the point . With this convention “for any open neighborhood of ” becomes “for any open ”.
Basis of a given topology
Definition A.1.5** (Basis).**
Given a sub-collection of a topology, let
[TABLE]
be the collection of all unions of elements of . If a sub-collection satisfies , i.e. if all open sets are unions of elements of , one calls a basis of the topology and says that the topology is generated by .
The elements of a basis are called basic open sets. Any open set is a union of basic ones. Uniqueness of a basis fails as badly, as existence is trivial: Given , pick . Often in practice, the smaller a basis, the better. So a criterion for being a basis is desirable.
Lemma A.1.6**.**
For a subset of a topology the following are equivalent:
- (i)
The collection is a basis of , in symbols .
- (ii)
The collection is dominated by in the following sense: Each point of an open set also lies in a collection member that is contained in , in symbols .
Proof.
See e.g. Dugundji (1966, III.2). ∎
Definition A.1.7** (Sub-basis).**
For a sub-collection of a topology, let
[TABLE]
be the collection of all finite intersections of elements of . If is a basis of , i.e. if all open sets are arbitrary unions of finite intersections of elements of , one calls a sub-basis of the topology and the basis generated by .
Definition A.1.8**.**
A topological space is called second countable if it admits a countable basis. This property is hereditary.
Definition A.1.9**.**
A subset of a topological space is called dense if it meets (has non-empty intersection with) every non-empty open set or, equivalently, if its closure is equal to the whole space. A topological space is called separable if it admits a dense sequence (countable subset). Separability is not hereditary.
Exercise A.1.10**.**
Show that second countability is hereditary, whereas separability is not, that second countable implies separable and that in metric spaces (endowed with the metric topology ) the converse is true, too.
Definition A.1.11** (Local basis).**
Let be a topological space and . A collection of open neighborhoods of is called a local basis of the topology at if every open neighborhood of contains a member of , in symbols .
Exercise A.1.12**.**
Let be a topological space.
- (i)
Given a basis of , for every the family of all open neighborhoods of is a local basis of at .
- (ii)
Vice versa, given for every point of a local basis for at , show that their union forms a basis of .
From sets to topologies
Starting with just a set , let be any collection of subsets of . The definitions above still provide collections . Note that always and (pick ). It is a natural question to ask under what conditions on the collections or are topologies on .
Exercise A.1.13** (Any collection is a sub-basis of some topology).**
Let be a set and any collection of subsets. Then is a topology on , the smallest topology that contains , and is a basis.
[Hints: Let be the intersection of all topologies containing (for example ). Show . See e.g. Dugundji (1966, III.3).]
While any collection of subsets of is a sub-basis of some topology on , a sufficient condition for being a basis of some topology is the following.
Theorem A.1.14** (Being a basis of some topology).**
Given a set , let be a collection of subsets of such that
- (i)
* is a cover of (the union of all members of is ) and*
- (ii)
every point in an intersection of two members simultaneously belongs to a member contained in the intersection.
Under these conditions is a topology on , the smallest topology containing , and is a basis.
Proof.
See e.g. Dugundji (1966, III Thm. 3.2). ∎
Exercise A.1.15**.**
Let be a set. The three collections , , lead, respectively, to the three bases , , each of which generates the trivial, also called indiscrete, topology .
Here is another method to topologize a set starting with a family of candidates for local bases, one candidate at each point of the set. It is a two step process. Firstly, at every point we wish to specify a collection of subsets in such a way that, secondly, we can construct a unique topology on for which the collection will be a local basis at and this is true for every . Since prior to step two there is no topology, hence no notion of local basis, we call a local pre-basis at .
Definition A.1.16**.**
Let be a set and . Suppose is the union of a collection of non-empty families of subsets of , one family associated to each point of , such that the following is satisfied at all points .
- (1)
Every member of contains . ()
- (2)
The intersection of any two members of contains a -member .111 Note that (2) makes sense since any intersection is non-empty.
( downward directed)
- (3)
For any -member each of its points belongs to a -member contained in , i.e. any is a union of -members. ()
The family is called a local pre-basis at , the union of all of them is called a pre-basis on the set . The family of subsets
[TABLE]
is called the topology generated by the pre-basis on the set .
Exercise A.1.17**.**
a) Under conditions (1) and (2) show that is a topology on .222 While under conditions (1) and (2) is already a topology, only in combination with (3) every member of will be an open set – a necessary condition for a local basis.
From now on suppose in addition condition (3). b) Show . c) For each point show that is a local basis of at . (Hence by Exercise A.1.12 (ii), i.e. is a basis of .)
The conditions in Definition A.1.16 are related to the theory of filters; see e.g. Narici and Beckenstein (2011, §1.1.2). See also Narici and Beckenstein (2011, Thm. 2.3.1).
Convergence and continuity
Definition A.1.18** (Convergence).**
A subset sequence in a topological space is said to converge to a point , in symbols , if any open neighborhood of contains all but finitely many of the sequence members.333 In symbols, there is such that whenever .
Definition A.1.19** (Continuity).**
A map between topological spaces is called continuous at a point if the pre-image of any open neighborhood of the image point contains an open neighborhood of . A continuous map is one that is continuous at every point of its domain. Let denote the set of continuous maps from to .
Exercise A.1.20**.**
a) A map between topological spaces is continuous at iff the pre-image of any open neighborhood is open.
b) A map is continuous iff pre-images of open sets are open.
Hausdorffness and paracompactness
A cover of a topological space is a family of subsets of whose union is . The members (elements) of such family are called the sets of the cover or simply the cover sets. A cover is called locally finite if every point of admits an open neighborhood which meets (intersects) only finitely many cover sets. A cover is called a refinement of another cover if every member of the former is a subset of some member of the latter. A cover is called open if every cover set is open, in symbols .
Definition A.1.21**.**
A topological space is called Hausdorff or whenever the topology separates points: Any two points admit disjoint open neighborhoods. Such a topology is called a Hausdorff topology. If the topology separates any two closed sets, then is called normal or .
A topological space is called paracompact if every open cover admits a locally finite open refinement .
Exercise A.1.22** (Hausdorff property).**
Show the following.
- a)
The Hausdorff property () is hereditary, normality () is not.444 However, closed subspaces of normal spaces are normal; cf. Müger (2016, Exc. 8.1.25).
- b)
In Hausdorff spaces points and, more generally, compact sets are closed. Thus normal implies Hausdorff. ( )
- c)
In Hausdorff spaces limits are unique:
[TABLE]
- d)
Metric spaces are normal (). (With respect to the metric topology.)
[Hints: a) Counter-example Müger (2016, Cor. 8.1.47). b) Show the complement of a point is open. c) By contradiction . d) Müger (2016, Le. 8.1.11).]
Whereas already Hausdorff by itself is useful to avoid pathological spaces like a real line with two origins, for a Hausdorff space paracompactness is equivalent to existence of a continuous partition of unity subordinate to any given open cover. For a concise presentation including proofs we recommend Cieliebak (2018, §2.2).
Surjections
Lemma A.1.23**.**
Let be a dense subset of a topological space . Then the image of under any continuous surjection is a dense subset of the target topological space .
Proof.
Suppose by contradiction that there is a non-empty open set disjoint to . Then the pre-image
[TABLE]
is an open subset of by continuity of and non-empty as is surjective. But
[TABLE]
which contradicts density of in . ∎
Compact-open topology
Let be the set of continuous functions between topological spaces and . Any pair given by a compact subset and an open subset determines a collection of continuous functions
[TABLE]
Let be the family of all such collections and denote by the associated topology on the set ; cf. Exercise A.1.13. It consists of arbitrary unions of finite intersections of elements of . One calls the compact-open topology on , cf. Narici and Beckenstein (2011, Ex. 2.6.9), notation
[TABLE]
Exercise A.1.24**.**
a) Show that is Hausdorff if the target is.
b) For metric spaces convergence in is equivalent to uniform convergence on compact sets: Show that in if and only if
[TABLE]
for every compact subset .
[Hints: a) Dugundji (1966, Ch. XII) or Müger (2016, Le. 7.9.1). b) Cf. Proposition A.1.59.]
Remark A.1.25** (Only sub-basis).**
In general, the collections do not form a basis for the compact-open topology
[TABLE]
in symbols , in general. Indeed it is not necessarily true that any non-empty intersection
[TABLE]
contains a non-empty family member (let alone one that contains a given point; cf. Theorem A.1.14). Hence cannot be a basis: Indeed if was a basis, then the non-empty LHS was open, hence a union of members of – at least one of which non-empty. We encountered two basis counter-examples on math.stackexchange.com:
Counter-example A. Let with the discrete topology and let and . Then contains only one element, the identity map. The inclusion implies , hence . Thus non-emptiness of requires . But is not a subset of, equivalently equal to, the singleton in any of the three possibilities .
Counter-example B. with the standard topology. One can show that there are no subsets compact and open such that
[TABLE]
by constructing certain continuous functions subject to (non-linear) pointwise constraints.
A.1.2 Topological vector spaces
For topological vector spaces and, most importantly, topologies on the vector space of continuous linear maps between them we recommend the books by Rudin (1991), Schaefer and Wolff (1999, III §3), Narici and Beckenstein (2011, §2.6) (here the additive topological group is investigated first and scalar multiplication is superimposed only from Ch. 4 onward), and Treves (1967). There is a book of counter-examples by Khaleelulla (1982, CH. 2). The present section was originally inspired by the excellent Lecture Notes by Kai Cieliebak (2018).
Definition A.1.26**.**
A topological vector space (TVS) is a vector space endowed with a topology compatible with the vector space operations in the sense that both scalar multiplication and addition , are continuous maps. Also it is required that points are closed.555Many books on topological vector spaces do not require closedness of points.
Lemma A.1.27**.**
For a TVS (without using closedness of points) it holds:
- (i)
The closure of a linear subspace is again a linear subspace.
- (ii)
Given a vector and a scalar , translation and dilation are linear homeomorphisms. Consequence:
Invariance under translation and dilation.* If is an open subset of , then so are and for all and .*666 Consequently the open sets containing [math] determine all open sets, hence the topology. **
- (iii)
Any* open neighborhood of [math] contains an open neighborhood of [math] which is symmetric and fits into “twice” .*
- (iv)
Closed and compact subsets are separated in a strong sense.* For any closed set and any disjoint compact set there is an open neighborhood of [math] such that the open neighborhoods of and of are still disjoint,777 Disjointness remains true if one takes the closure of either or of . * in symbols .
Proof.
(i) Narici and Beckenstein (2011, Thm. 4.4.1). (ii) Narici and Beckenstein (2011, Thm. 4.3.1). (iii) By continuity of addition and as there are open sets and with . The open set satisfies . The open set is symmetric and . (iv) Rudin (1991, Thm. 1.10). ∎
Because of the requirement that points of a TVS are closed, part (iv) of the previous lemma applies to and and yields disjoint open neighborhoods of any two points of . This proves
Corollary A.1.28**.**
A TVS is Hausdorff.
Definition A.1.29**.**
(i) A subset of a TVS is called a bounded set if for each open neighborhood of [math] there is a constant such that is contained in the rescaled neighborhood for all 888 If for some , isn’t the inclusion automatically true for all larger values of ?
parameters .
(ii) A linear map between topological vector spaces is called bounded if it takes bounded sets to bounded sets and it is called compact if it takes bounded sets to pre-compact sets (compact closure).
Exercise A.1.30** (Bounded sets).**
Subsets of a bounded set are clearly bounded. If and are bounded sets, so are , and whenever .
[Hint: If you get stuck consult Schaefer and Wolff (1999, I § 5.1).]
Lemma A.1.31**.**
In a TVS compact subsets are closed and bounded, whereas the reverse holds iff .
Proof.
Exercise A.1.22 b) and Rudin (1991, Thm. 1.15 b)). ∎
Spaces of linear maps as topological vector spaces
– -topologies
Given topological vector spaces and , the set
[TABLE]
of all continuous linear operators is a vector space under addition of two operators , defined by , and scalar multiplication with real numbers , defined by , both whenever .
We will review the standard abstract machinery that produces various topologies on for which both operations are continuous, see e.g. Narici and Beckenstein (2011, §11.2) or Schaefer and Wolff (1999, III.3). For some of them points are closed, so the operator space endowed with such topology is a TVS: An example is one of the most popular topologies, namely, the compact-open topology or c-topology on . Replacing the family of compact sets by any non-empty family of bounded sets closed under finite unions still guarantees that the generated topology is compatible with addition and scalar multiplication. Hausdorffness might be lost if the sets in the family are not any more compact, but it can be recovered by assumptions on , e.g. being normed.
Actually all one needs are topological spaces and ; cf. Exercise A.1.24. How one arrives at the c-topology by generalizing a natural construction which provides the point-open topology, or p-topology, is nicely explained in Müger (2016, § 7.9.1).
Exercise A.1.32**.**
Let be a linear map between topological vector spaces. (i) Show that is continuous iff it is continuous at [math], meaning that the pre-image of every open neighborhood of [math] is open. (ii) Show that continuity implies boundedness of . (The reverse holds if the domain is a Fréchet space.)
Let and be topological vector spaces. Let \text{\boldmath{\mathfrak{S}}}\subset 2^{X} be a non-empty family of subsets of , closed under finite unions, that is
[TABLE]
Examples are the families
[TABLE]
Definition A.1.33** (Basic collections).**
For and any element of the family of open neighborhoods of [math] in consider the collection of all continuous linear operators which map into , in symbols
[TABLE]
Collections of the form are called basic collections.
Lemma A.1.34**.**
*a) Any basic collection contains the zero operator.
b) Any intersection of two basic collections contains one, i.e.*
[TABLE]
*for some and some open origin neighborhood .
c) If , then .
d) If , then .*
Proof.
Let . a) Obvious. b) . c) . d) and . ∎
We denote by the family of all basic collections,999 A collection of non-empty sets such that the intersection of any two of them contains another one is called a filter base. So is a filter base and so is each translate .
in symbols
[TABLE]
The notation reminds us that each element of contains the zero operator. For let be the translated family. We denote by
[TABLE]
the family of all translated basic collections.
Theorem A.1.35**.**
*Let and be topological vector spaces. Let be the collection of open sets containing the origin of . Suppose is a non-empty family of bounded 101010 Boundedness leads to -continuity of “” and scalar multiplication on .
subsets of which is closed under finite unions. Then the following is true (not using closedness of points in ). {labeling}*(local basis)**
The family of all basic collections forms a local basis at [math] of a topology on for which addition and scalar multiplication are continuous; cf. Remark A.1.37.
*The family is a basis for a topology on .
The topology on , called -topology, is*
- –
Hausdorff whenever the linear span of is dense in and if is Hausdorff;
- –
locally convex whenever is.
Proof.
See e.g. Narici and Beckenstein (2011, Thm. 11.2.2). ∎
By Exercise A.1.57 any normed vector space is a locally convex TVS, i.e. a TVS such that any neighborhood of [math] contains a convex111111 A subset of a vector space is called a convex set if contains every line segment connecting two of its points .
one.
In contrast to the basis property of in the linear setting, recall from Remark A.1.25 that in the general case of topological spaces even for the family of compact subsets the basic collections do not form a basis, only a sub-basis.
Corollary A.1.36**.**
Let and be topological vector spaces. If covers (e.g. if ), then is a TVS.
The following topologies associated to the indicated families are called
point-open or p-topology
- -
compact-open or c-topology
- -
bounded-open or b-topology
Remark A.1.37** (Continuous vector operations).**
Suppose and are topological vector spaces. Continuity of addition and scalar multiplication under a -topology is equivalent to boundedness of every image where and ; see e.g. Schaefer and Wolff (1999, III §3.1) or Bourbaki (1987, III §3 Prop. 1).
Exercise A.1.38** (Families of compact sets).**
For each of the three families show the particular assertion of Theorem A.1.35 that is a topology on and is a basis – in contrast to Remark A.1.25.
[Hints: Theorem A.1.14 or Exercise A.1.17. Lemma A.1.27 iv).]
Continuity properties
Proposition A.1.39**.**
Suppose is a topological space and are topological vector spaces. Then the following is true.
- a)
If the map is continuous and, moreover, linear in the second variable, then the induced map
[TABLE]
is continuous, in symbols .
- b)
If is a compact linear operator, then the induced map
[TABLE]
is continuous.
- c)
For and as in a) and b) the induced map
[TABLE]
is continuous. (Juxtaposition of linear maps means composition.)
For normed vector spaces and both topological vector spaces and with the operator norm topology coincide by Proposition A.1.59.
Operators similar to the one in (A.1.7) are well known in non-linear analysis under the name Nemitski operators associated to ; see e.g. Ambrosetti and Prodi (1993, §1.2).
Proof of Proposition A.1.39.
a) is even true for topological spaces and continuous functions , not necessarily linear in the second variable; see e.g. Dugundji (1966, XII.3.1) or Müger (2016, Le. 7.9.5). Now the conclusion is that is continuous as a map ; cf. (A.1.2).
To prove this we must show that for all and sub-basis elements that contain there is an open neighborhood of in whose image under lies in , too. Equivalently, we have to show that implies for some open set . Continuity of guarantees an open pre-image which contains by assumption. By compactness of the Slice Lemma, see e.g. Dugundji (1966, XI.2.6) or Müger (2016, Prop. 7.5.1), provides an open neighborhood of such that the thickening of is still contained in .
b) Let’s show that the pre-image of any (open) basis element of the bounded-open topology is open in , i.e. contains some basis element of the compact-open topology. Given bounded and open, note that where by definition the compact set is the closure of the pre-compact set .
c) The composition of continuous maps is continuous. But composing the continuous maps (A.1.5) and (A.1.6) is the map (A.1.7). ∎
Fréchet and Gâteaux derivative on TVS
Definition A.1.40** (Fréchet derivative on TVS).**
Suppose is a map between topological vector spaces defined on an open subset .
In case and one says that has derivative zero at [math] if for each open neighborhood of [math] there is an open neighborhood of [math] and a function such that
[TABLE]
for every .
In general, one calls differentiable at if there is a continuous linear operator such that the map
[TABLE]
has derivative zero at [math]. In this case is called the derivative of at . If is differentiable at every point of one calls (Fréchet) differentiable on . In this case the map
[TABLE]
into the vector space of continuous linear maps is called the (Fréchet) differential of .
By Corollary A.1.36 endowing with the topology associated to any of the families results in a TVS denoted by . Hence is a map between TVS and one defines iteratively the higher order differentials
[TABLE]
For normed vector spaces and the bounded-open topology and the operator norm topology on coincide by Proposition A.1.59 below.
We say that a map admits directional derivative at in direction , if there are and such that the map
[TABLE]
has derivative zero at [math]. In this case is called the derivative of at in direction . If the map , , is defined for every and is linear and continuous, then is said Gâteaux differentiable at with Gâteaux derivative .
The (Fréchet) derivative on topological vector spaces enjoys some basic properties such as the chain rule and the fact that Fréchet differentiability implies continuity and Gâteaux differentiability. However, other fundamentals are not available, for instance the implicit function theorem and Cartan’s last theorem may fail on TVS; see examples in Cieliebak (2018, §4.2).
A.1.3 Metric spaces
Definition A.1.41**.**
A metric on a set is a function that satisfies the following three axioms whenever .
- (i)
(Symmetry) 2. (ii)
(Triangle inequality) 3. (iii)
(Non-degeneracy)
Such pair is called a metric space.
The prototype example of a metric is the distance between two points in euclidean space. Hence a metric is also called a distance function. We often use the notation for a metric space, meaning that is a set endowed with the metric .
Definition A.1.42**.**
A metric space comes naturally with the metric topology whose basis consists of the open balls of all radii about all points of . A metric space will be automatically endowed with the metric topology, unless mentioned otherwise.
Exercise A.1.43** (Metric topology).**
Check that the collection of all open balls in indeed forms a basis for a topology, and not just a sub-basis.
As mentioned earlier, metric spaces are normal, thus Hausdorff. Moreover, second countability (countable basis) is equivalent to separability (dense sequence).
Exercise A.1.44** (Convergent sequence).**
Check that , in the sense of Definition A.1.18, if and only if any -ball about contains all but finitely many sequence members , in symbols
[TABLE]
Sequential convergence properties
Proposition A.1.45**.**
Let be a compact topological space and a metric space. Then the compact-open topology on coincides with the metric topology associated to the supremum metric
[TABLE]
Proof.
Müger (2016, Prop. 7.9.2). (To show equality of two topologies one shows that the members of a basis, or of a sub-basis, of the first topology are open with respect to the second topology, and vice versa.) ∎
Exercise A.1.46**.**
If is compact, then is a metric on .
[Hint: If stuck, consult e.g. Müger (2016, Prop. 2.1.25).]
Convergence with respect to , that is
[TABLE]
is called uniform convergence on the compact set .
Exercise A.1.47**.**
Let be a topological space. If is a metric space, the compact-open topology on coincides with the topology
[TABLE]
of uniform convergence on all compact subsets of .
[Hint: If compact, then .]
Definition A.1.48** (Equicontinuous family).**
Let be a topological space and a metric space. A family of maps, a-priori continuous or not, is called equicontinuous if for every and every there is an open neighborhood of such that for all neighborhood elements and family members both values and are -close, in symbols
[TABLE]
Exercise A.1.49**.**
The members of an equicontinuous family are continuous.
Complete metric spaces –
Theorem of Baire and Arzelà–Ascoli
Definition A.1.50**.**
A sequence in a metric space is called a Cauchy sequence if for every there is a sequence member such that any two subsequent members are within distance of one another, in symbols
[TABLE]
Exercise A.1.51**.**
Check that every convergent sequence in a metric space is a Cauchy sequence, but the converse is not true.
Definition A.1.52** (Complete metric space).**
A metric space in which every Cauchy sequence converges is called complete and so is the metric.
Exercise A.1.53**.**
Let be a compact topological space. Then the metric space is complete iff the target metric space is complete.
[Hint: If stuck, consult e.g. Müger (2016, Prop. 3.1.18 and Rmk. 5.2.12).]
Theorem A.1.54** (Baire’s Theorem).**
Let be a complete metric space and a sequence of open and dense subsets. Then the intersection
[TABLE]
is dense in .
Proof.
See e.g. Müger (2016, Thm. 3.3.1). ∎
Among the many applications of Baire’s Theorem are the open mapping theorem and the Banach–Steinhaus Theorem A.2.12, also called the principle of uniform boundedness.
Theorem A.1.55** (Arzelà–Ascoli Theorem).**
Let be a compact topological space and a complete metric space. Then the following is true. A family
[TABLE]
of continuous maps is pre-compact (with respect to the supremum metric ) if and only if the family is equicontinuous and the -orbit through each domain point , namely each subset
[TABLE]
is pre-compact.
Proof.
See e.g. Müger (2016, Thm. 7.7.67). ∎
A.1.4 Normed vector spaces
Definition A.1.56**.**
A norm on a (real) vector space is a function that satisfies the following three axioms
- (i)
(Homogeneity) 2. (ii)
(Triangle inequality) 3. (iii)
(Non-degeneracy)
for all and . Such pair is called a normed vector space, often just denoted by . If one drops the requirement in (iii), one obtains the definition of a semi-norm on .
The prototype example of a norm is the distance of a point in euclidean space from the origin.
Exercise A.1.57** (Normed metric and TVS with convex basis).**
Suppose is a normed vector space. Show the following.
a) The definition
[TABLE]
provides a (translation invariant: ) metric on .
(So normed vector spaces are endowed with a natural topology, the metric topology . Because metric topologies are Hausdorff, limits are unique.)
b) Both vector operations, addition and scalar multiplication, are continuous.
(So any normed vector space is a TVS.)
c) Open balls of radius centered at are convex sets. So the natural basis of the topology of a TVS given by all open balls consists of convex sets.
(So by Theorem A.1.35 the space of continuous linear operators between normed vector spaces is a locally convex TVS under the point-open, compact-open, and bounded-open topologies; with respect to the latter it is even normed as we will see.)
[Hints: b) Addition: triangle inequality, scalar multiplication: homogeneity.]
Exercise A.1.58** (The normed vector space ).**
Let and be normed vector spaces. Recall Definition A.1.29 on boundedness. Show that
a) A linear map is continuous iff it is bounded iff it maps the open unit ball about [math] into one of finite radius , in symbols .
b) Now consider the vector space that consists of all bounded linear operators with addition and scalar multiplication for . Taking the infimum of all radii of balls still containing the image under of the unit ball defines a norm
[TABLE]
called the operator norm. Alternatively, it is given by
[TABLE]
[Hints: a) Cf. Rudin (1991, 1.29).]
By Exercise A.1.57 the normed vector space carries a natural metric and is a locally convex TVS. The metric topology is called the operator norm topology or theoperator norm!topology uniform topology, also indicated by .
Convention: Whenever we speak of as a normed vector space it is automatically endowed with the operator norm topology.
Proposition A.1.59** (Operator norm topology is bounded-open topology).**
For normed vector spaces and the bounded-open and the operator norm topology on coincide, in symbols .
Proof.
Let be the operator norm on . Balls are centered at [math].
It suffices to show that norm open balls are open with respect to . This means that must contain together with any element a whole -open neighborhood where with bounded and open; cf. (A.1.3).
To see this abbreviate and let be the closed unit ball in and the open ball in of radius . For we get
[TABLE]
Hence the -open neighborhood of is contained in .
By translation invariance of both topologies it suffices to show121212 We could have localized to [math] already in order to prove above.
that each element of the local basis of at [math] contains an open ball about [math]. Given bounded and open, pick open balls and . Then implies that . Indeed . ∎
Sequential convergence properties
Lemma A.1.60** **(Convergence in compact-open topology means
convergence of the orbit through each point).
Let and be normed vector spaces. Consider operators . Then in iff for each domain element the image sequence converges to in .
A.2 Analysis on Banach spaces
All vector spaces are over the real numbers. Throughout any linear structure is with respect to the real numbers and, as a rule of thumb, by and we denote normed linear spaces and by and Banach spaces. In the context of linear spaces subspace means linear subspace.
A.2.1 Banach spaces
Definition A.2.1**.**
A Cauchy sequence is a sequence in a normed linear space such that whenever . The norm is called complete if every Cauchy sequence converges (admits a limit). A linear space endowed with a complete norm131313 also called a complete normed linear space
is called a Banach space. Any closed linear subspace endowed with the norm of is a Banach space itself, called a Banach subspace.
Relevant examples of Banach spaces are enlisted in Theorem A.3.1.
Direct sum and topological complements
Definition A.2.2** (Direct sum).**
The direct sum of Banach spaces is the set of pairs which is equipped with and complete under the norm .141414 Alternatively, use any of the equivalent norms for or .
Definition A.2.3** (Banach space complement).**
A closed subspace of a Banach space is said to be complemented if there is a closed subspace of such that and . In this case we write and call a Banach space complement or a topological complement of , one also says that the Banach space splits.
Example A.2.4** (Not every closed subspace is complemented).**
Consider the Banach space \ell^{\infty}:=\{\text{x\colon{\mathbb{N}}\to{\mathbb{R}}\nu\mapsto x_{\nu}, bounded}\} of bounded real sequences equipped with the sup norm. The subspace of sequences that converge to zero is closed, but does not admit a topological!complement: There is no closed subspace such that ; see Whitley (1966).
Quotient spaces
Definition A.2.5** (Quotient space).**
Suppose is a normed linear space and is a closed linear subspace. The quotient space of by is the set of cosets151515 equivalently, the set of equivalence classes where if
denoted and defined by
[TABLE]
The function given by the distance of any point representing the coset to the closed subspace , namely
[TABLE]
is called the quotient norm. Often we use the shorter notation .
Exercise A.2.6**.**
a) Check that the operations for and are well defined on and endow the set of cosets with the structure of a linear space. Here closedness of is actually not needed. b) Check that whenever or, equivalently, whenever . c) Show that the function is a norm on the linear space .
[Hint: c) Non-degeneracy ( ) relies on closedness of .]
Proposition A.2.7** (Quotient Banach spaces).**
Suppose is a Banach space and is a closed subspace. Then the following is true.
- (i)
The quotient norm on is complete.
- (ii)
The map between Banach spaces defined by
[TABLE]
is linear,* surjective, continuous, and of norm at most one. It is called the** projection onto the quotient space .*
- (iii)
Suppose, in addition, that is reflexive, then is reflexive.
Proof.
(i) Given a Cauchy sequence in the coset space , by the Cauchy property it suffices to extract a subsequence that converges to a limit element in . Forgetting sequence members, if necessary, there is a subsequence, still denoted by , that satisfies
[TABLE]
Thus there is a sequence of points whose distance to satisfies . Consider the partial sum sequence . As the sequence is Cauchy in , indeed
[TABLE]
it admits a limit in the Banach space . It follows that the sequence converges to in and we are done. Indeed
[TABLE]
(ii) The map is linear by definition of addition in the coset space . Surjectivity is obvious. To see continuity and , given , pick to get that . (iii) Brezis (2011, Prop. 11.11). ∎
For more details about quotients see e.g. Brezis (2011, §11.2) or Rudin (1987, §18.14).
A.2.2 Linear operators
Given normed linear spaces and , recall that a linear map is continuous iff it is continuous at one point iff it is bounded; see e.g. Reed and Simon (1980, Thm. I.6). To be bounded means that the operator norm of , defined by
[TABLE]
is finite. By we denote the linear space of continuous linear operators . Juxtaposition denotes composition. The invertible elements of , that is and for some (unique) , are called isomorphisms or **toplinear isomorphisms161616 A toplinear isomorphism is a continuous linear bijection whose inverse is continuous, too. The notion makes sense in the general context of topological vector spaces. ** to emphasize context. In case of Banach spaces and invertible elements of , aka toplinear isomorphisms, aka isomorphisms, are precisely the continuous linear bijections; cf. e.g. Lang (2001, I §2) and Lang (1993, IV §1). (The inverse is continuous by the closed graph theorem.)
Abbreviate . By we denote the linear space of -fold multilinear maps . If the norm of is complete, then the operator norm is complete, so is a Banach space. Thus the dual space of a normed linear space is a Banach space.
Unique extension
Theorem A.2.8** (B.L.T. theorem).**
Suppose is a bounded linear map from a normed linear space to a complete normed linear space . Then extends uniquely to a bounded linear map from the completion of to .
Proof.
See e.g. Reed and Simon (1980, Thm. I.7). ∎
Compact operators and projections
Definition A.2.9** (Compact operator).**
A linear operator between normed linear spaces is called compact if for every bounded sequence in the domain, the image sequence has a convergent subsequence or, equivalently, if it maps bounded sets to pre-compact sets (sets whose closure is compact). Compact linear operators are automatically continuous.
Definition A.2.10** (Projection).**
A continuous linear operator is called a projection if it is idempotent, in symbols .
Exercise A.2.11** (Continuous projections split).**
Let be a Banach space and a projection. Then the image is closed and complemented by the closed image of the continuous projection , that is
[TABLE]
[Hint: Kernels of continuous maps are closed and and vice versa.]
Principle of uniform boundedness
The Hahn–Banach theorem and the Banach–Steinhaus theorem are two pillars of functional analysis. The latter is also known as the principle of uniform boundedness. Its proof is based on the Baire category theorem which requires a non-empty complete metric space, for instance a Banach space .
Theorem A.2.12** (Banach–Steinhaus).**
Suppose is a Banach space. Let be a family of bounded linear operators to some normed linear space. Suppose that the -orbit through each point , namely each set
[TABLE]
is a bounded subset of . Then the operator norm is uniformly bounded along the family : There is a constant such that
[TABLE]
Proof.
See e.g. Reed and Simon (1980, Thm. III.9). ∎
Recall that carries the operator norm topology. How to utilize the principle of uniform boundedness is illustrated in the proof of
Proposition A.2.13**.**
Suppose are Banach spaces and is an open subset. Then the following is true.
- a)
Let the map , , be continuous and, moreover, linear in the second variable. Then the induced map
[TABLE]
*is continuous. (The target carries the compact-open topology.)*171717 The target carrying the compact-open topology means that a sequence converges to an element iff for each domain element the sequence converges to in ; see Lemma A.1.60. **
- b)
If is a compact linear operator, then the induced map
[TABLE]
is continuous. (The target carries the norm topology.)
- c)
For and as in a) and b) the induced map
[TABLE]
is continuous.
Proof.
a) Proposition A.1.39 a).
b) Given and a sequence with in for each , assume by contradiction that there is a constant and a sequence in of bounded norm, say , such that . Because the linear operator is compact, there is and subsequences, still denoted by and , such that in . Hence
[TABLE]
Contradiction. Here the two inequalities are obtained by first adding twice zero and applying the triangle inequality, then using the definition of the operator norm. It remains to understand the vanishing of the three limits. For limit three this is obvious and limit two vanishes by hypothesis. Concerning limit one consider the family . Each orbit
[TABLE]
is bounded in , even compact, as by hypothesis. By the Banach–Steinhaus Theorem A.2.12 the family is bounded in the operator norm.
c) The composition of continuous maps is continuous. But composing the continuous maps (A.2.9) and (A.2.10) is the map (A.2.11). ∎
Dual spaces and Reflexivity
Definition A.2.14** (Dual space).**
Given a normed linear space , its dual space is the Banach space of continuous linear functionals .
Theorem A.2.15** (Hahn–Banach).**
Suppose is a linear subspace, closed or not, of a Banach space and is a continuous linear functional on . Then there is a linear functional that extends and such that
[TABLE]
Proof.
See e.g. Brezis (2011, Cor. 1.2). ∎
Definition A.2.16** (Reflexive).**
A normed linear space is called reflexive if the canonical isometric linear map given by evaluation
[TABLE]
is surjective; see e.g. Bühler and Salamon (2018, §2.4). (Note that any linear isometry is injective.)
Remark A.2.17**.**
We highly recommend Brezis (2011, §3.5).
- a)
Kakutani’s Theorem: Reflexivity of a Banach space is equivalent to compactness of the closed unit ball of in the weak topology.
- b)
Closed linear subspaces of reflexive Banach spaces are reflexive.
- c)
A uniformly convex Banach space, so any Hilbert space, is reflexive.
Example A.2.18** (Non-reflexive Banach spaces).**
- (i)
The closed linear subspace of the Banach space in Example A.2.4 is not reflexive; see e.g. Salamon (2016, Exc. 4.37). Hence is not reflexive either by Remark A.2.17 b).
- (I)
More generally, let be the space of bounded continuous functions on a locally compact topological space endowed with the sup norm (e.g. ). Then the Banach space is reflexive iff is a finite set. See e.g. Conway (1985) (III 11 Exc. 2 and V 4 Exc. 3).
- (ii)
Consequently is not reflexive for compact manifolds of . Neither is for ; this follows by reduction to the case using the graphs maps of differentials, see e.g. Weber (2017a, App. A).
The following theorem can be viewed as a substitute in the Banach space universe of the orthogonal projections available in the Hilbert space world.
Theorem A.2.19** (Projection theorem for reflexive Banach spaces).**
Let be a reflexive Banach space and a closed convex subset. For every there is an element which minimizes the distance to , that is
[TABLE]
Proof.
The proof uses Kakutani’s theorem, see e.g. Brezis (2011, Cor. 3.23). ∎
Arzelà–Ascoli – convergent subsequences
Theorem A.2.20** (Arzelà–Ascoli Theorem).**
*Suppose is a compact metric space and is the Banach space of continuous functions on equipped with the sup norm. Then the following is true. A subset of is pre-compact if and only if the family is equicontinuous 181818 such that whenever and .
and pointwise bounded 191919 for every . .*
For a proof see e.g. Rudin (1991, Thm. A.5) or Salamon (2017, App. C). By Theorem A.2.20 this generalizes to maps taking values in a metric space.
A.2.3 Calculus
An efficient presentation of the Fréchet derivative in Banach spaces is given in §1.1 of Ambrosetti and Prodi (1993) where §2.2 deals with the implicit function theorem (IFT). We follow Lang (1993, PART FOUR).
Fréchet or total derivative
Consider Banach spaces and and let be open in . One says that a map is differentiable at a point of if there is a continuous linear map and a map defined for all sufficiently small elements in and with values in such that
[TABLE]
and such that near is given by the sum
[TABLE]
Set to see that it makes sense to set . Equivalently, denoting the condition becomes
[TABLE]
Exercise A.2.21**.**
a) Differentiability at implies continuity at . b) If satisfies (A.2.12), then it is uniquely determined by and .
Definition A.2.22** (Derivative and differential).**
Let be differentiable at a point . Then the unique continuous linear operator satisfying (A.2.12) is called the (Fréchet) derivative of at and denoted by . If is differentiable at every point of one says that is differentiable on . In this case the map
[TABLE]
into the Banach space of continuous linear maps endowed with the operator norm is called the (Fréchet) differential of . If is continuous one says that ** is of class **, in symbols . Higher derivatives
[TABLE]
are defined iteratively. If they exist and are continuous for , one says that is of class . Here denotes the Banach space of -fold multilinear maps . One says that is a smooth map, or of class , if is of class for every .
Gâteaux or all-directional derivative
A map between Banach spaces with open is said Gâteaux differentiable at if for each the directional derivative
[TABLE]
exists and defines a continuous linear map , .
Exercise A.2.23**.**
Show that a) (Fréchet) differentiable implies Gâteaux differentiable, but b) not vice versa.
[Hint: b) Define by and by off the origin. Show that for every . So each directional derivative not only exists, but also the map is linear. Is continuous at ?]
A.2.4 Banach manifolds
Roughly speaking, a Banach manifold is a topological space (Hausdorff and paracompact) which is locally modeled on some Banach space such that all transition maps between the local models are differentiable. Differentiability of maps between Banach manifolds is defined in terms of differentiability of the corresponding maps between the local model Banach spaces. We recommend the book by Lang (2001) concerning differential geometry on Banach manifolds.
Suppose is a topological space and or . A Banach chart for consists of a Banach space and a homeomorphism
[TABLE]
between open subsets. Two charts are called ** compatible** if the transition map
[TABLE]
is a ** diffeomorphism** (an invertible map with inverse). A ** Banach atlas for ** is a collection of pairwise compatible Banach charts for such that the chart domains form a cover of . Two atlases are called equivalent if their union forms an atlas.
Given such pair , then is connected iff it is path connected. Furthermore, for connectedness of implies that all model Banach spaces in the charts of are isomorphic to one and the same Banach space . In this case we say that is modeled on .
Remark A.2.24** (Starting from just a set ).**
Alternatively starting with just a set one can construct a Banach atlas as follows. Choose a collection of bijections (the future coordinate charts)
[TABLE]
from a subset of onto an open subset of a Banach space . There are two requirements: Firstly, the sets of all the charts must cover and, secondly, for each pair of charts the set must be open in . The notions compatibility and Banach atlas are unchanged. Given a Banach atlas , consider the collection of all subsets of where runs through all charts of and runs through all open subsets of . One checks that is a basis of a topology and endows with that topology. Then is an atlas on the topological space in the earlier sense. For an application see Exercise 2.8.6.
Definition A.2.25**.**
A ** Banach manifold** is a paracompact Hausdorff space endowed with an equivalence class of Banach atlases. If one speaks of a topological and if of a smooth Banach manifold. We often abbreviate smooth Banach manifold by Banach manifold. In case all model spaces are Hilbert spaces one speaks of a Hilbert manifold.
Definition A.2.26** (Maps between Banach manifolds).**
A continuous map
[TABLE]
between Banach manifolds is said to be of class if for all charts and the chart representative is of class as a map between open subsets of the Banach spaces and .
A.3 Function spaces
Theorem A.3.1** (Properties of and Sobolev spaces).**
{labeling}*(separable)**
Fischer–Riesz Theorem: The spaces with norm are Banach spaces whenever .
*The spaces are separable202020 A topological space is called separable if it admits a dense sequence.
for , but not separable for .*
The spaces are reflexive for , but not reflexive for .
The Sobolev spaces have analogous properties in .
For proofs of the three properties of see e.g. Theorems 4.8, 4.13, and 4.10, respectively, in Brezis (2011), for see Brezis (2011, Prop. 8.1). Concerning Sobolev spaces see also Adams and Fournier (2003).
Index
-
(extension) Lemma 2.4.14, Definition 2.4.6
-
(level operators) Lemma 2.4.14
-
(ptw diff’able) Lemma 2.4.14
-
(ptw diff) Definition 2.4.6
-
(-isomorphism) Definition 2.3.24
-
(-splittings) Definition 2.3.24
-
( is ) Definition 2.4.6
-
-triple Definition 2.4.1
-
non-symmetric product Definition 3.4.3
-
norm in Banach scale level Definition 2.1.7
-
number of elements of finite set §A.1
-
collection of all subsets of set §A.1
-
, , for Exercise A.1.2
-
directional derivative §A.2.3
-
empty set in ambient universe §A.1
-
operator norm Exercise A.1.58
-
sc-bundle Definition 3.4.1
-
, §A.1
-
is endowed with compact-open topology §A.1.1
-
Fredholm index §2.3.2
-
scale continuous Definition 2.4.2
-
scale differentiability Definition 2.4.15
-
-manifold §2.8
-
Banach scale generated Definition 2.1.14
-
shifted scale with levels Definition 2.1.6
-
associated
-
base retract Definition 3.4.7
-
base retraction Definition 3.4.7
-
atlas
-
strong bundle – Definition 3.4.13
-
induced sc-bundle atlas Exercise 3.4.16
-
strong bundle atlas Definition 3.4.13
-
b-topology item -
-
family of all basic collections §A.1.2
-
subscale of generated by Definition 2.1.4
-
set of all maps §A.1
-
Baire’s Theorem Theorem A.1.54
-
Banach
-
manifold Definition A.2.25
-
space Definition A.2.1
-
splits Definition A.2.3
-
subscale Definition 2.1.13
-
subspace Definition A.2.1
-
Banach scale Definition 2.1.7
-
completion – Example 2.2.7
-
reflexive – Definition 2.1.11
-
separable – Definition 2.1.11
-
Banachable space footnote 13
-
base retract
-
associated – Definition 3.4.7
-
base retraction
-
associated – Definition 3.4.7
-
basic
-
collection Definition A.1.33
-
open sets §A.1.1
-
basis of the topology Definition A.1.5
-
boundary point §2.8
-
bounded
-
linear map between TVS’s Definition A.1.29
-
linear operator §A.2.2
-
subset of TVS Definition A.1.29
-
bounded-open topology item -
-
bundle chart
-
strong – Definition 3.4.12
-
open ball of radius about Definition A.1.42
-
c-topology item -
-
is the compact-open topology §A.1.2
-
continuous maps from to Definition A.1.19
-
Cauchy sequence Definition A.1.50, Definition A.2.1
-
chart
-
Banach – §A.2.4
-
is a Banach scale Exercise 2.2.2
-
is not a Banach scale Example 2.2.1
-
closed set Definition A.1.3
-
codimension §2.3
-
codomain §A.1
-
cokernel §2.3.2
-
collection §A.1
-
compact
-
linear operator Definition A.1.29, Definition A.2.9
-
pre- – §A.1.1
-
set §A.1.1
-
compact-open topology footnote 17, item -, §A.1.1, item (c)
-
compatible topology Definition A.1.26
-
complement
-
of Banach subspace Definition A.2.3
-
topological – Example A.2.4
-
complete
-
metric space Definition A.1.52
-
norm Definition A.2.1
-
completion scale Example 2.2.7
-
constant scale Definition 2.1.3
-
continuity
-
diagonal – in norm Remark 2.4.8
-
horizontal – in compact-open topology Remark 2.4.8
-
w.r.t. compact-open topology item (c)
-
continuous
-
at [math] Exercise A.1.32
-
at a point Definition A.1.19
-
continuously scale differentiable Definition 2.4.6
-
convergence in topological space Definition A.1.18
-
convex set footnote 11
-
corner point of complexity §2.8
-
counter-examples:
-
bump running to infinity Example 2.2.1
-
not a Banach scale Example 2.2.1, Example 2.2.7
-
not complemented Example A.2.4
-
sub-basis only Remark A.1.25
-
cover §A.1.1
-
sets §A.1.1
-
supremum metric Proposition A.1.45
-
decompress Chapter 3
-
decompressing domain Definition 3.2.3
-
decompression of Chapter 3
-
degeneracy index §2.7
-
stratification §3.3.2
-
dense Definition A.1.9
-
dense subset Definition A.1.9
-
derivative Definition A.1.40
-
diagonal – Definition 2.4.6
-
directional – §A.2.3
-
Gâteaux – §A.2.3
-
of at Definition A.2.22
-
on Banach space Definition A.2.22
-
on TVS Definition A.1.40
-
-derivative Definition 2.4.6
-
derivative of at Definition A.2.22
-
diagonal
-
continuity in norm Remark 2.4.8
-
derivative Definition 2.4.6
-
differential item (iii)
-
map Definition 2.4.4
-
diffeomorphism §A.2.4
-
differentiable
-
at a point §A.2.3
-
map between TVS Definition A.1.40
-
differential
-
diagonal – item (iii)
-
direct sum
-
of Banach spaces Definition A.2.2
-
directional derivative §A.2.3
-
distance function §A.1.3
-
domain §A.1
-
double
-
filtration Definition 3.4.3
-
scale Definition 3.4.3
-
dual space Definition A.2.14
-
degeneracy index on M-polyfold Definition 3.3.14
-
empty set §A.1
-
equicontinuous Definition A.1.48, Theorem A.2.20
-
exponential
-
law §A.1
-
map §A.1
-
pre-image §A.1.1
-
map §A.1
-
-smooth retract map Definition 3.2.3
-
is of class Convention 2.4.3
-
orbit through Theorem A.1.55
-
direct sum Banach scale Exercise 2.1.8
-
family §A.1
-
equicontinuous Theorem A.2.20
-
equicontinuous – Definition A.1.48
-
of all basic collections §A.1.2
-
pointwise bounded Theorem A.2.20
-
filter base footnote 9
-
finite set §A.1
-
Floer homology Chapter 1
-
Fréchet derivative
-
on Banach space Definition A.2.22
-
on TVS Definition A.1.40
-
Fredholm
-
index §2.3.2, Definition 2.3.24
-
operator §2.3.2
-
freedom of speech Figure 3.3
-
function §A.1
-
Gâteaux
-
derivative §A.1.2
-
differentiable §A.1.2
-
at §A.2.3
-
graph of a map §A.1
-
growth function
-
of Floer PDE Example 2.2.10
-
Hausdorff (or ) Definition A.1.21
-
topology Definition A.1.21
-
hereditary properties §A.1.1
-
Hessian
-
scale – Exercise 2.4.17
-
Hilbert manifold Definition A.2.25
-
horizontal continuity in compact-open topology Remark 2.4.8
-
implicit function theorem (IFT) §A.2.3
-
index
-
degeneracy – §2.7
-
indices
-
lifting – Lemma 2.5.5
-
induced
-
map Definition 2.4.4
-
-map of height Definition 2.4.4
-
scale Definition 2.1.4
-
topology §A.1.1
-
interior point §2.8
-
isomorphism
-
of trivial-strong-bundles Definition 3.4.5
-
toplinear §A.2.2
-
iterated
-
tangent bundle §2.4
-
tangent map §2.4
-
kernel Banach scale §2.3.2
-
bounded linear operators with operator norm topology §A.2.2
-
cont.lin.ops. §A.1.2
-
bounded-open topology item -
-
compact-open topology Convention 2.5.1
-
compact-open topology item -
-
Lemma
-
Slice – §A.1.2
-
level Definition 2.1.7
-
of a scale Definition 2.1.1
-
operator Chapter 2, item (ii), Lemma 2.4.14
-
of -derivative item (b)
-
regularity §2.3.2, Proposition 2.3.25
-
levels of sc-manifolds §2.8
-
lifting indices Lemma 2.5.5
-
linear operator
-
bounded Exercise A.1.58
-
-fold multilinear maps §A.2.2
-
local basis of the topology at Definition A.1.11
-
local generator
-
of sub-M-polyfold Definition 3.3.12
-
locally
-
convex TVS §A.1.2
-
finite §A.1.1
-
loop space Example 2.8.4
-
point-open topology item -
-
-operators Definition 2.3.3
-
-operators Definition 2.3.11
-
M-polyfold Definition 3.3.2
-
atlas Definition 3.3.1
-
atlases
-
equivalent Definition 3.3.1
-
charts Definition 3.3.1
-
diffeomorphism Definition 3.3.3
-
levels Definition 3.3.5
-
sub –
-
local generator Definition 3.3.12
-
sub- – Definition 3.3.12
-
tame – Definition 3.3.17
-
M-polyfold charts
-
compatible – Definition 3.3.1
-
transition map Definition 3.3.1
-
M-polyfold map
-
“freedom of speech” Figure 3.3
-
sc-smooth – Definition 3.3.3
-
manifolds
-
methods to define – §3.3
-
map
-
between sets §A.1
-
continuous – Definition A.1.19
-
metric Definition A.1.41
-
space Definition A.1.41
-
complete – Definition A.1.52
-
topology Definition A.1.42
-
moduli spaces Chapter 1
-
neighborhood §A.1.1
-
symmetric – item (iii)
-
Nemitski operator §A.1.2
-
non-symmetric product Definition 3.4.3
-
norm Definition A.1.56
-
operator – Exercise A.1.58, §A.2.2
-
semi- – Definition A.1.56
-
normed vector space Definition A.1.56
-
-smooth retract Definition 3.2.1
-
open
-
cover §A.1.1
-
sets Definition A.1.3
-
open problem Exercise 3.3.4
-
operator
-
compact linear – Definition 2.1.7
-
sc-linear item (i)
-
operator norm Exercise A.1.58, §A.2.2
-
topology §A.1.4
-
orbit
-
family - – Theorem A.1.55
-
p-topology item -
-
is the point-open topology §A.1.2
-
trivial-strong-bundle retract Definition 3.4.9
-
tangent bundle of -retract Chapter 3
-
strong bundle Definition 3.4.14
-
paracompact Definition A.1.21
-
parametrized
-
solutions Chapter 1
-
part of in level Definition 2.1.4
-
partial quadrant Definition 2.4.1
-
point-open topology item -
-
points §A.1
-
of regularity Definition 2.1.1
-
pointwise bounded Theorem A.2.20
-
polyfolds Chapter 1
-
pre-basis on a set Definition A.1.16
-
pre-compact §A.1.1
-
sets Definition A.2.9
-
pre-compact set Definition A.1.29
-
pre-image §A.1.1
-
principal part of section Definition 3.4.11
-
projection Definition A.2.10, Definition 2.3.6, §3.1
-
onto quotient space item (ii)
-
theorem for Banach spaces Theorem A.2.19
-
quotient
-
norm Definition A.2.5, §2.3
-
space Definition A.2.5
-
projection onto – item (ii)
-
refinement §A.1.1
-
reflexive Definition A.2.16
-
Banach scale Definition 2.1.11
-
regularity Lemma 2.4.12
-
level – §2.3.2, Proposition 2.3.25
-
regularizing §2.3.2, Proposition 2.3.25
-
retract §3.1
-
retract map
-
decompressing a – Definition 3.2.3
-
sc-smooth – Chapter 3
-
strong – Definition 3.4.10
-
retraction §3.1
-
revolution
-
the – happens here Chapter 2
-
-family §A.1.2
-
-topology on Theorem A.1.35
-
sc abbreviates
-
scale Chapter 2
-
scale continuous Chapter 2
-
sc-Banach space Definition 2.1.7
-
tangent bundle of – §2.4
-
sc-bundle Definition 3.4.1
-
atlases
-
induced – Exercise 3.4.16
-
sc-bundles over M-polyfolds §3.4
-
sc-charts §2.8
-
sc-compatible – §2.8
-
sc-compact operator Definition 2.3.10
-
sc-complement Definition 2.3.14, Definition 2.3.14
-
sc-continuous map Definition 2.4.2
-
sc-derivative
-
of at Definition 2.4.6
-
sc-diffeomorphism Theorem 2.7.2, §2.8
-
between sc-manifolds Definition 2.8.3
-
sc-differentiable
-
strongly – §2.8
-
sc-direct sum Exercise 2.1.8
-
sc-Fredholm operator Definition 2.3.24, Definition 2.3.31
-
sc-Hessian item (b)
-
sc-isomorphism Definition 2.3.8
-
sc-manifold Definition 2.8.2
-
Hilbert – Definition 2.8.2
-
levels of – §2.8
-
shifted – §2.8
-
tangent bundle of – Exercise 2.8.6
-
tangent vector to – §2.8
-
sc-operator Definition 2.3.3
-
sc-projection Definition 2.3.6
-
induced sc-splitting Exercise 2.3.16, Lemma 2.3.7
-
sc-retract Definition 3.2.1
-
tame – Definition 3.3.17
-
tangent bundle of – Chapter 3
-
sc-section
-
of strong bundle Definition 3.4.17
-
of trivial-strong-bundle Definition 3.4.11
-
principal part of – Definition 3.4.11
-
sc-smooth Definition 2.4.15
-
map Definition 2.8.3
-
retract
-
tangent bundle of – Lemma 3.2.8
-
retract map Chapter 3, Definition 3.2.3
-
retraction Definition 3.2.1
-
tame – Definition 3.3.15
-
splicing §3.2.1
-
sc-splitting Definition 2.3.14
-
sc-structure Definition 2.1.7
-
sc-subspace Definition 2.1.14
-
sc-triple Definition 2.4.1
-
tangent – Lemma 3.2.5
-
sc+-operator Definition 2.3.11
-
sc+-section
-
of strong bundle Definition 3.4.17
-
of trivial-strong-bundle Definition 3.4.11
-
scale Definition 2.1.1
-
Banach space Definition 2.1.7
-
Banach sub– Definition 2.1.13
-
bounded Definition 2.3.3
-
continuous Definition 2.3.3, Definition 2.4.2
-
double – Definition 3.4.3
-
Hessian Exercise 2.4.17
-
linear operator item (i)
-
structure Definition 2.1.1
-
on a Banach space Definition 2.1.7
-
scale calculus
-
history Chapter 1
-
motivated by shift map Chapter 1
-
second countable Definition A.1.8
-
section
-
of strong bundle Definition 3.4.17
-
of trivial-strong-bundle Definition 3.4.11
-
principal part of – Definition 3.4.11
-
semi-norm Definition A.1.56
-
separable footnote 20, Definition A.1.9
-
Banach scale Definition 2.1.11
-
separating points Definition A.1.21
-
set
-
finite – §A.1
-
shift map Chapter 1
-
shifted scale Definition 2.1.6
-
Slice Lemma §A.1.2
-
smooth
-
points Definition 2.1.1
-
Sobolev spaces
-
Hilbert space valued – Definition 2.2.9
-
solutions
-
parametrized Chapter 1
-
unparametrized Chapter 1
-
splicing
-
core §3.2.1
-
sc-smooth – §3.2.1
-
splitting
-
of Banach space Definition A.2.3
-
unit circle §2.2
-
ssc-manifold §2.8
-
stratification
-
degeneracy index – §3.3.2
-
strong bundle Definition 3.4.14
-
atlas Definition 3.4.13
-
chart Definition 3.4.12
-
compatible – Definition 3.4.13
-
sc-section of – Definition 3.4.17
-
-section Definition 3.4.17
-
section of – Definition 3.4.17
-
trivial Definition 3.4.4
-
total space §3.4.1
-
trivial– Definition 3.4.9
-
strong retract map Definition 3.4.10
-
strongly scale differentiable §2.8
-
sub-basis of the topology Definition A.1.7
-
sub-M-polyfold Chapter 3, Definition 3.3.12
-
sublevels Definition 2.1.1
-
subscale Definition 2.1.2
-
Banach – Definition 2.1.13
-
generated by Definition 2.1.4
-
subset
-
bounded – Definition A.1.29
-
topology §A.1.1
-
superlevels Definition 2.1.1
-
supremum metric Proposition A.1.45
-
symmetric
-
neighborhood item (iii)
-
subset topology §A.1.1
-
– Hausdorff topological space Definition A.1.21
-
– normal topological space Definition A.1.21
-
M-polyfold atlas for §3.3
-
tame
-
M-polyfold Definition 3.3.17
-
retract Definition 3.3.17
-
retraction Definition 3.3.15
-
tangent bundle §2.4
-
iterated – §2.4
-
of sc-manifold Exercise 2.8.6
-
of -smooth retract Lemma 3.2.8
-
of -triple Definition 2.4.5
-
tangent map Definition 2.4.6
-
iterated – §2.4
-
of M-polyfold map Definition 3.3.10
-
tangent vector to sc-manifold §2.8
-
target §A.1
-
metric topology Definition A.1.42
-
tangent map Definition 2.4.6
-
theorem
-
projection – for Banach spaces Theorem A.2.19
-
Theorem of
-
Arzelà–Ascoli Theorem A.1.55, Theorem A.2.20
-
Baire Theorem A.1.54
-
Banach–Steinhaus Theorem A.2.12
-
Fischer-Riesz Theorem A.3.1
-
Kakutani item a)
-
time shift Chapter 1
-
level operator item (ii)
-
tangent bundle of -smooth retract Lemma 3.2.8
-
toplinear isomorphism §A.2.2
-
topological
-
complement Example A.2.4
-
space Definition A.1.3
-
Hausdorff (or ) Definition A.1.21
-
normal (or ) Definition A.1.21
-
paracompact Definition A.1.21
-
subspace of – §A.1.1
-
vector space Definition A.1.26
-
topology Definition A.1.3
-
basis for some – Theorem A.1.14
-
basis of the – Definition A.1.5
-
bounded-open – item -
-
c- – §A.1.2
-
compact-open – footnote 17, item -, item (c)
-
compatible with vector space operations Definition A.1.26
-
discrete – Remark A.1.25
-
indiscrete – Exercise A.1.15
-
induced – §A.1.1
-
local basis of – Definition A.1.11
-
on §3.3
-
p- – §A.1.2
-
point-open – item -
-
pre-basis for a – Definition A.1.16
-
- – Theorem A.1.35
-
sub-basis of the – Definition A.1.7
-
subset – §A.1.1
-
trivial – Exercise A.1.15
-
transition map §A.2.4
-
vector bundle – §3.4
-
trivial strong bundles Definition 3.4.4
-
trivial-strong-bundle
-
isomorphism Definition 3.4.5
-
map Definition 3.4.5
-
retract Definition 3.4.9, Definition 3.4.9
-
retraction Definition 3.4.7
-
sc-section of – Definition 3.4.11
-
-section Definition 3.4.11
-
section of – Definition 3.4.11
-
total space §3.4.1
-
TVS
-
bounded linear map between – Definition A.1.29
-
locally convex – §A.1.2
-
topological vector space Definition A.1.26
-
M-polyfold tangent space §3.3
-
complement Definition A.1.3
-
uniform
-
convergence §A.1.3
-
on compact subsets Exercise A.1.47
-
topology §A.1.4
-
unparametrized
-
solutions Chapter 1
-
means §A.1.1
-
vector space
-
normed – Definition A.1.56
-
is a Banach scale Example 2.2.3
-
is a Banach scale Exercise 2.2.4
-
dual space Definition A.2.14
-
shifted sc-manifold structure §2.8
-
level of sc-manifold §2.8
-
in topological space Definition A.1.18
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1Abbondandolo and Schlenk (2018) Alberto Abbondandolo and Felix Schlenk. Floer homologies, with applications. Ar Xiv e-prints. Jahresbericht der Deutschen Mathematiker-Vereinigung , Nov 2018. ISSN 1869-7135. doi: 10.1365/s 13291-018-0193-x . URL https://doi.org/10.1365/s 13291-018-0193-x . · doi ↗
- 2Adams and Fournier (2003) Robert A. Adams and John J. F. Fournier. Sobolev spaces , volume 140 of Pure and Applied Mathematics (Amsterdam) . Elsevier/Academic Press, Amsterdam, second edition, 2003. ISBN 0-12-044143-8.
- 3Ambrosetti and Prodi (1993) Antonio Ambrosetti and Giovanni Prodi. A primer of nonlinear analysis , volume 34 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 1993. ISBN 0-521-37390-5.
- 4Bourbaki (1987) N. Bourbaki. Topological vector spaces. Chapters 1–5 . Elements of Mathematics (Berlin). Springer-Verlag, Berlin, 1987. ISBN 3-540-13627-4. doi: 10.1007/978-3-642-61715-7 . URL https://doi.org/10.1007/978-3-642-61715-7 . Translated from the French by H. G. Eggleston and S. Madan. · doi ↗
- 5Brezis (2011) Haïm Brezis. Functional analysis, Sobolev spaces and partial differential equations . Universitext. Springer, New York, 2011. ISBN 978-0-387-70913-0.
- 6Bühler and Salamon (2018) Theo Bühler and Dietmar A. Salamon. Functional analysis , volume 191 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2018. ISBN 978-1-4704-4190-6. Manuscript .
- 7Cartan (1986) Henri Cartan. Sur les rétractions d’une variété. C. R. Acad. Sci. Paris Sér. I Math. , 303(14):715, 1986. ISSN 0249-6291.
- 8Cieliebak (2018) Kai Cieliebak. Nonlinear Functional Analysis. Lecture Notes, manuscript in progress, February 2018.
