Pith. sign in

REVIEW 1 major objections 3 minor 51 references

Scale Calculus and M-Polyfolds -- An Introduction

T0 review · 1 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Compact level embeddings save the chain rule in scale calculus

desk verdict Useful lecture notes on scale calculus and M-polyfolds, but a false foundational lemma (2.1.15) needs to be fixed before they should be used without warning. read the letter →

arxiv 1908.04398 v1 pith:LEVQLZAH submitted 2019-08-04 math.SG math.DG

Joa Weber This is my paper · ORCID
classification math.SGmath.DG MSC 46T0546T2058D05
keywords scalecalculusM-polyfoldspolyfoldtheorysc-Banachspacessc-smoothmapssc-Fredholmoperatorssc-retractsmoduli
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper is a graduate-level introduction to scale calculus and M-polyfolds, the infinite-dimensional calculus and manifold theory developed for moduli spaces of nonlinear PDEs. It argues that a compactness axiom on the nested Banach spaces—each higher-regularity level embeds compactly into the previous one—is what makes scale-differentiable maps patch together, because it prevents a composition from losing two levels of regularity when each differentiation loses one. The text builds the theory from linear scales through sc-Fredholm operators, sc-manifolds, sc-retracts, and M-polyfolds, and it supplies proofs of results the author says were missing or scattered in the literature: the scale chain rule, invariance of boundary and corner degeneracy index, and existence of sc-complements for finite-codimensional sc-subspaces. A sympathetic reader should come away with the insight that allowing domains with corners and jumping dimensions is compatible with doing calculus, as long as one decompresses an sc-retract to an open set for differentiation.

What carries the argument

The central object is the Banach scale, a nested sequence $E=E_0\supset E_1\supset E_2\supset\cdots$ of Banach spaces whose inclusions are compact and whose total intersection $E_\infty$ is dense in every level. This compactness axiom is what makes the chain rule hold for $sc^{1}$ maps: the derivative of an $sc^{1}$ map is defined on the full level zero but only comes from one level of differentiability, and the compact inclusion prevents a two-level drop when two such maps are composed. The other key mechanism is the sc-retract, defined as the image $O=r(U)$ of an sc-smooth idempotent retraction $r=r^2:U\to U$, which provides the local model for M-polyfolds; analysis on $O$ is performed by pre-composing with $r$ to work on the open set $U$. The same idempotent mechanism produces tangent bundles, and a double-scale version produces strong bundles whose sc^+-sections encode Fredholm operators.

What would settle it

Construct a nested sequence of Banach spaces satisfying the density axiom but with a non-compact inclusion at some level, compose two simple $sc^{1}$ maps on it, and check whether the derivative of the composition is defined on level one or only on level two; the notes themselves identify the non-compact domain $C^k(\mathbb{R})$ as the place where compactness fails, so a derivative computation there is the natural test.

Watch

Extended reading notes

Core claim

The discovery being presented is that a small change in the ambient structure—demanding that the inclusions $E_{m+1}\hookrightarrow E_m$ be compact—turns a seemingly pathological situation into a calculus. A map between Banach scales is $sc^{1}$ when its top diagonal restriction $f: U_1\to V_0$ is differentiable and the derivative extends continuously from level 1 to level 0. Since each derivative loses one level of regularity, a composition of two $sc^{1}$ maps might be expected to lose two; the paper proves (Theorem 2.6.1) that compactness of the level inclusions saves one level, so the composition is again $sc^{1}$ and $T(g\circ f)=Tg\circ Tf$. On this foundation the notes construct sc-manifolds and M-polyfolds, whose local models are images $O=r(U)$ of sc-smooth idempotent retractions; these retracts can have corners and even jumping dimension, yet functions on them are studied by decompressing the domain to the open set $U$. The notes also record original or hard-to-find results: finite-codimensional sc-subspaces are sc-complemented, finite-dimensional sc-subspaces are exactly those lying in the smooth points $E_\infty$, and the degeneracy index of a boundary or corner point is invariant under $sc^{1}$-diffeomorphisms.

Load-bearing premise

The load-bearing premise is that each higher-regularity level of a Banach scale is compactly contained in the previous level, so that bounded sets in the higher level have convergent subsequences in the lower level; without this, two consecutive differentiations lose two levels of regularity and the chain rule need not hold.

Editorial extensions

If this is right

  • If the compactness axiom is accepted, compositions of sc-smooth retract maps are sc-smooth, so charts patch consistently into M-polyfolds and their tangent bundles are again M-polyfolds.
  • The sc-Fredholm property is stable under addition of sc^+-operators, meaning that linearized PDE sections remain Fredholm after compact perturbations; this underpins transversality arguments in moduli-space problems.
  • Boundary and corner recognition implies that sc-smooth diffeomorphisms cannot smooth away a corner, so the degeneracy index is a chart-independent invariant that stratifies an M-polyfold into interior, boundary, and corner pieces.
  • Finite-codimensional sc-subspaces are sc-complemented, and a closed finite-codimensional subspace is an sc-subspace; this gives the linear algebra needed to define and compute Fredholm indices in scale calculus.
  • Because sc-retracts can have locally varying dimension, M-polyfolds can encode bubbling, broken trajectories, and other singular limits as parts of one ambient space rather than as separate strata requiring different analyses.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Extension: the chain-rule proof suggests a design principle for any infinite-dimensional calculus—if a derivative lowers regularity by one level, the ambient scale must have compact inclusions or some interpolation device to prevent a two-level loss; one could test this by constructing a calculus on interpolation spaces with compact embeddings and checking whether the same theorem holds.
  • Extension: boundary and corner recognition implies that topological data about the stratified structure of a moduli space, such as which strata meet which corner components, might be read off directly from sc-charts; the notes do not pursue this, but it connects polyfold theory to stratified homotopy theory.
  • Extension: if the scale-calculus framework is adopted widely, many moduli-space proofs could be modularized—each differential operator supplies a section of a strong bundle, and the Fredholm and regularity work is done once by the calculus rather than re-derived for every example.
  • A testable extension: the compactness axiom could be weakened to a family of compact inclusions with explicit control on the compactness constants; the chain rule proof in Section 2.6 indicates where that control would enter, and one could check numerically whether the composition loses differentiability when those constants degrade.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 3 minor

Summary. This manuscript is a graduate-level introduction to scale (sc-) calculus and M-polyfolds, based on lecture notes for courses at UNICAMP and IMPA. Part I defines Banach scales, scale-continuous and scale-Fredholm operators, sc^1/sc^k differentiability, proves a chain rule, discusses boundary/corner recognition, and constructs sc-manifolds. Part II introduces sc-retracts as local models, defines M-polyfolds and their tangent bundles, tameness, and strong bundles, with an eye toward sc-Fredholm sections. An appendix reviews point-set topology, TVS, normed spaces, and Banach-space calculus. The text follows Hofer-Wysocki-Zehnder and explicitly marks several key results as quoted from the literature.

Significance. The text fills a useful niche: it collects in one place the definitions and many technical details of scale calculus that are scattered in long papers, and it proves some auxiliary results that are genuinely useful, such as the finite-codimension sc-complement statements (Prop. 2.3.20 and Lemma 2.3.21). The proof of the chain rule (Thm. 2.6.1) is a highlight: it is careful and it makes explicit exactly how the compactness axiom for the level inclusions prevents the expected loss of two derivatives. If the foundational issue in Section 2.1 is repaired, this would be a valuable starting point for students and for researchers entering polyfold theory.

major comments (1)
  1. [Section 2.1, Lemma 2.1.15] The assertion that every Banach subscale B is generated by its top level, i.e. B_m = B_0 ∩ E_m for all m, is false as stated. The proof uses the identity E_m ∩ closure(B_m in B_0-norm) = E_m ∩ B_m, but closure in the B_0-norm need not agree with closure in the E_m-norm. A concrete Sobolev-scale counterexample is E_m = W^{m,2}(S^1) with B_0 = L^2(S^1) and B_m = {u ∈ W^{m,2}(S^1) : u(0)=0} for m ≥ 1; evaluation at 0 is continuous for m ≥ 1, the inclusions are compact, and the intersection of the levels is dense in each level, while B_0 ∩ E_1 = W^{1,2}(S^1) properly contains B_1. This invalidates the narrative before the lemma and the implicit claim in Definition 2.1.14 that restricting to top-level-generated subscales loses no generality. The later constructions in Sections 2.3 and 3 mostly work directly with sc-subspaces rather than arbitrary Banach subscales, so the main theory may survive, but the foundational exposition must be corrected, either by replacing the lemma with the true statement that only certain Banach subscales are generated, or by adding the missing compatibility hypothesis on the level closures.
minor comments (3)
  1. [Section 2.1, Exercise 2.1.10] The phrase 'Equivalently, every level E_m has non-empty set complement in each superlevel' is not an equivalent reformulation of non-closedness; in this setting non-closedness follows from density together with properness, and the displayed non-emptiness is only a consequence of properness.
  2. [Section 2.7, Theorem 2.7.2] This key invariance theorem is quoted from Hofer-Wysocki-Zehnder without proof. Since the text proves most other foundational results, I suggest adding at least a short paragraph explaining the role of sc^1-regularity in the proof and referring to the precise location of the argument, so the reader does not mistake it for a new contribution.
  3. [Section 3.3, Proposition 3.3.7] The Hausdorff and paracompactness of the tangent bundle topology are important for the definition of M-polyfold maps; quoting them from the literature is acceptable for lecture notes, but a brief sketch of the Hausdorff argument would improve self-containedness.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the notes prove their foundational claims from definitions or cite external sources, and the self-citations are not load-bearing.

full rationale

This is an expository text on scale calculus and M-polyfolds, not a paper that fits parameters and then predicts derived quantities. The central results are either proved in-line from the axioms of Banach scales (e.g. the chain rule, Theorem 2.6.1; the characterization of sc^1 and sc^2 maps, Lemmas 2.4.14 and 2.4.16; the finite-codimensional sc-complement statements, Proposition 2.3.20 and Lemma 2.3.21) or explicitly cited to external sources such as Hofer, Wysocki, and Zehnder (2007, 2017), Cieliebak (2018), and Fabert et al. (2016). The reader's take and the skeptic headline agree that the only substantive issue raised, namely Lemma 2.1.15, concerns the correctness of the proof as written, not circularity: the lemma is asserted and an attempted proof is given from the density and closedness axioms, without assuming the target statement. The self-citations to Frauenfelder and Weber (2018) appear as source credits for proofs that are also reproduced in the text and as illustrative examples, such as the Banach-scale structure of weighted path spaces in Example 2.2.10; none of these self-citations carries the burden of a later 'prediction' or of the main derivation. No fitted input is renamed as a prediction, no uniqueness theorem from the authors' own prior work is invoked to force a choice, and no known result is repackaged as an organizational discovery. Accordingly, the derivation chain is self-contained with respect to circularity, and the score is 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No free parameters and no invented entities. The paper depends on standard theorems from functional analysis and on the defining properties of Banach scales, all taken from the cited literature. The two small original lemmas are proved from these foundations.

assumptions (5)
  • standard math Hahn-Banach Theorem (extending dual basis functionals)
    Used in proof of Proposition 2.3.17 to construct a projection onto a finite-dimensional sc-subspace.
  • standard math Arzelà-Ascoli Theorem
    Used to prove compactness of inclusions for examples like C^k(S^1) and in proof of Lemma 2.5.2.
  • standard math Banach-Steinhaus Theorem
    Used in proof of Lemma 2.5.2 Step 2 to get uniform bounds on derivatives.
  • standard math Dominated Convergence Theorem
    Used in proof of Lemma 2.5.2 to interchange limit and integral.
  • domain assumption Compactness and density axioms for Banach scales
    Definition 2.1.7 imposes these as the foundation of scale calculus; the chain rule relies on compactness of inclusions.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Scale Calculus and M-Polyfolds -- An Introduction." pith.science (2026). https://pith.science/paper/LEVQLZAH

@misc{pith2026190804398,
  author       = {Pith},
  title        = {Pith review of: Scale Calculus and M-Polyfolds -- An Introduction},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LEVQLZAH}},
  note         = {Machine review of arXiv:1908.04398}
}
read the original 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.

Figures

Figures reproduced from arXiv: 1908.04398 by the authors.

Figure 2.1
Figure 2.1. Exponential weight function γδ and monotone cutoff function β to impose a decay condition when approaching infinity. This works well for domains which are a product of a compact manifold with R. Concerning targets, replacing R by R n makes no difference in the arguments. Exercise 2.2.2 (The non-reflexive Banach scale C k (S 1 )). Show that the Banach space C k (S 1 ) endowed with the scale structure whose levels are… view at source ↗
Figure 2.2
Figure 2.2. Quadrant C ⊂ R 2 and points of degeneracy index two, one, zero 2.8 Sc-manifolds The new notion of differentiability of maps between the new linear spaces – sck differentiability of maps between sc-Banach spaces – allows to carry over the new calculus to topological spaces modeled locally on sc-Banach spaces. This results in a new class of manifolds, called sck -manifolds. Their construc￾tion parallels the definition… view at source ↗
Figure 2.3
Figure 2.3. Transition map between sc-charts of sc-manifold [PITH_FULL_IMAGE:figures/full_fig_p062_2_3.png] view at source ↗
Figures from the paper (5 more)
Figure 2.4
Figure 2.4. Figure 2.4: Local representative of sc-smooth map between sc-manifolds [PITH_FULL_IMAGE:figures/full_fig_p063_2_4.png]
Figure 3.1
Figure 3.1. Figure 3.1: Jumping dimension along sc-retract O = im rπ in Section 3.2.2 and Om := O ∩ Em is equal to the image r(Um). In terms of shifted scales O k = r(U k ) = Fix [r : U k → U k ], k ∈ N0. (3.2.2) Proof. To be shown is the equality of sets Om = r(Um). ’⊂’ Pick x ∈ O ∩ Em ⊂ U…
Figure 3.2
Figure 3.2. Figure 3.2: Transition map between M-polyfold charts of M-polyfold [PITH_FULL_IMAGE:figures/full_fig_p085_3_2.png]
Figure 3.3
Figure 3.3. Figure 3.3: Freedom of speech among M-polyfolds – local representative ;-) [PITH_FULL_IMAGE:figures/full_fig_p086_3_3.png]
Figure 3.4
Figure 3.4. Figure 3.4: Global M-polyfold chart φa : X = [0,∞) → O = La ⊂ C 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 parame…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

51 extracted references · 34 canonical work pages

  1. [1]

    Floer homologies, with applications

    Alberto Abbondandolo and Felix Schlenk. Floer homologies, with applications. ArXiv e-prints. https://arxiv.org/abs/1709.00297 Jahresbericht der Deutschen Mathematiker-Vereinigung , Nov 2018. ISSN 1869-7135. doi:10.1365/s13291-018-0193-x. URL https://doi.org/10.1365/s13291-018-0193-x

    work page Pith review arXiv 2018

  2. [2]

    Adams and John J

    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

    work page 2003

  3. [3]

    A primer of nonlinear analysis, volume 34 of Cambridge Studies in Advanced Mathematics

    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

    work page 1993

  4. [4]

    Bourbaki

    N. Bourbaki. Topological vector spaces. C hapters 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:10.1007/978-3-642-61715-7 1987

  5. [5]

    Functional analysis, S obolev spaces and partial differential equations

    Ha \" m Brezis. Functional analysis, S obolev spaces and partial differential equations . Universitext. Springer, New York, 2011. ISBN 978-0-387-70913-0

    work page 2011

  6. [6]

    Theo B\" u 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 https://people.math.ethz.ch/ salamon/PREPRINTS/funcana-ams.pdf

    work page 2018

  7. [7]

    Sur les r\'etractions d'une vari\'et\'e

    Henri Cartan. Sur les r\'etractions d'une vari\'et\'e. C. R. Acad. Sci. Paris S\'er. I Math., 303 0 (14): 0 715, 1986. ISSN 0249-6291

    work page 1986

  8. [8]

    Nonlinear Functional Analysis

    Kai Cieliebak. Nonlinear Functional Analysis . Lecture Notes, manuscript in progress, February 2018

    work page 2018

Show all 51 references
  1. [9]

    John B. Conway. A course in functional analysis , volume 96 of Graduate Texts in Mathematics. Springer-Verlag, New York, 1985. ISBN 0-387-96042-2. doi:10.1007/978-1-4757-3828-5. URL http://dx.doi.org/10.1007/978-1-4757-3828-5

    1985 doi

  2. [10]

    Topology

    James Dugundji. Topology. Allyn and Bacon, Inc., Boston, Mass., 1966

    1966

  3. [11]

    Eliashberg, A

    Y. Eliashberg, A. Givental, and H. Hofer. Introduction to symplectic field theory. Geom. Funct. Anal., Special Volume, Part II: 0 560--673, 2000. ISSN 1016-443X. doi:10.1007/978-3-0346-0425-3_4. URL http://dx.doi.org/10.1007/978-3-0346-0425-3_4. GAFA 2000 (Tel Aviv, 1999)

    doi

  4. [12]

    Fish, Roman Golovko, and Katrin Wehrheim

    Oliver Fabert, Joel W. Fish, Roman Golovko, and Katrin Wehrheim. Polyfolds: a first and second look. EMS Surv. Math. Sci., 3 0 (2): 0 131--208, 2016. ISSN 2308-2151. doi:10.4171/EMSS/16. URL http://dx.doi.org/10.4171/EMSS/16

    2016 doi

  5. [13]

    Filippenko , Z

    B. Filippenko , Z. Zhou , and K. Wehrheim . Counterexamples in Scale Calculus . ArXiv e-prints, July 2018. URL https://arxiv.org/abs/1807.02591

    2018 arXiv

  6. [14]

    Proof of the A rnol ' d conjecture for surfaces and generalizations to certain K \"ahler manifolds

    Andreas Floer. Proof of the A rnol ' d conjecture for surfaces and generalizations to certain K \"ahler manifolds. Duke Math. J., 53 0 (1): 0 1--32, 1986. ISSN 0012-7094. doi:10.1215/S0012-7094-86-05301-9. URL http://dx.doi.org/10.1215/S0012-7094-86-05301-9

    1986 doi

  7. [15]

    Morse theory for L agrangian intersections

    Andreas Floer. Morse theory for L agrangian intersections. J. Differential Geom., 28 0 (3): 0 513--547, 1988 a . ISSN 0022-040X. URL http://projecteuclid.org/euclid.jdg/1214442477

    1988

  8. [16]

    The unregularized gradient flow of the symplectic action

    Andreas Floer. The unregularized gradient flow of the symplectic action. Comm. Pure Appl. Math., 41 0 (6): 0 775--813, 1988 b . ISSN 0010-3640. doi:10.1002/cpa.3160410603. URL http://dx.doi.org/10.1002/cpa.3160410603

    1988 doi

  9. [17]

    Symplectic fixed points and holomorphic spheres

    Andreas Floer. Symplectic fixed points and holomorphic spheres. Comm. Math. Phys., 120 0 (4): 0 575--611, 1989. ISSN 0010-3616. URL http://projecteuclid.org/euclid.cmp/1104177909

    1989

  10. [18]

    The shift map on Floer trajectory spaces

    Urs Frauenfelder and Joa Weber. The shift map on Floer trajectory spaces . ArXiv e-prints 1803.03826 https://arxiv.org/abs/1803.03826 , March 2018

    2018 arXiv

  11. [19]

    Morse homotopy, A^ -category, and F loer homologies

    Kenji Fukaya. Morse homotopy, A^ -category, and F loer homologies. In Proceedings of GARC W orkshop on G eometry and T opology '93 ( S eoul, 1993) , volume 18 of Lecture Notes Ser., pages 1--102. Seoul Nat. Univ., Seoul, 1993

    1993

  12. [20]

    Arnold conjecture and G romov-- W itten invariant

    Kenji Fukaya and Kaoru Ono. Arnold conjecture and G romov-- W itten invariant. Topology, 38 0 (5): 0 933--1048, 1999. ISSN 0040-9383. doi:10.1016/S0040-9383(98)00042-1. URL http://dx.doi.org/10.1016/S0040-9383(98)00042-1

    1999 doi

  13. [21]

    Lagrangian intersection F loer theory: anomaly and obstruction

    Kenji Fukaya, Yong-Geun Oh, Hiroshi Ohta, and Kaoru Ono. Lagrangian intersection F loer theory: anomaly and obstruction. P art I , volume 46 of AMS/IP Studies in Advanced Mathematics. American Mathematical Society, Providence, RI; International Press, Somerville, MA, 2009. ISB...

    2009

  14. [22]

    M. Gromov. Pseudo holomorphic curves in symplectic manifolds. Invent. Math., 82: 0 307--347, 1985. doi:10.1007/BF01388806

    1985 doi

  15. [23]

    A general F redholm theory and application

    Helmut Hofer . A general F redholm theory and application. In Current developments in mathematics, 2004, pages 1--71. (See also arXiv:0509366 https://arxiv.org/abs/math/0509366). Int. Press, Somerville, MA, 2006

    2004 arXiv

  16. [24]

    Polyfolds and Fredholm Theory Part 1

    Helmut Hofer , Krzysztof Wysocki, and Eduard Zehnder. Polyfolds and Fredholm Theory Part 1 . Workshop SFT I, manuscript http://www.mathematik.uni-leipzig.de/ schwarz/sft/manuscriptHWZ-leipzig.pdf, 2005. URL http://www.mathematik.uni-leipzig.de/ schwarz/sft/

    2005

  17. [25]

    A general F redholm theory

    Helmut Hofer, Krzysztof Wysocki, and Eduard Zehnder. A general F redholm theory. I . A splicing-based differential geometry. J. Eur. Math. Soc. (JEMS), 9 0 (4): 0 841--876, 2007. ISSN 1435-9855. doi:10.4171/JEMS/99. URL http://dx.doi.org/10.4171/JEMS/99

    2007 doi

  18. [26]

    A general F redholm theory

    Helmut Hofer, Krzysztof Wysocki, and Eduard Zehnder. A general F redholm theory. II . I mplicit function theorems. Geom. Funct. Anal., 19 0 (1): 0 206--293, 2009 a . ISSN 1016-443X. doi:10.1007/s00039-009-0715-x. URL http://dx.doi.org/10.1007/s00039-009-0715-x

    2009 doi

  19. [27]

    A general F redholm theory

    Helmut Hofer, Krzysztof Wysocki, and Eduard Zehnder. A general F redholm theory. III . F redholm functors and polyfolds. Geom. Topol., 13 0 (4): 0 2279--2387, 2009 b . ISSN 1465-3060. doi:10.2140/gt.2009.13.2279. URL http://dx.doi.org/10.2140/gt.2009.13.2279

    2009 doi

  20. [28]

    Sc-smoothness, Retractions and New Nodels for Smooth Spaces

    Helmut Hofer, Krzysztof Wysocki, and Eduard Zehnder. Sc-smoothness, Retractions and New Nodels for Smooth Spaces . Discrete Contin. Dyn. Syst., 28 0 (2): 0 665--788, 2010. ISSN 1078-0947. doi:10.3934/dcds.2010.28.665. URL http://dx.doi.org/10.3934/dcds.2010.28.665

    2010 doi

  21. [29]

    Polyfold and Fredholm Theory

    Helmut Hofer, Krzysztof Wysocki, and Eduard Zehnder. Polyfold and Fredholm Theory . 714 pages, ArXiv e-prints, page arXiv:1707.08941 https://arxiv.org/abs/1707.08941, July 2017

    2017 arXiv

  22. [30]

    Sonja Hohloch, Gregor Noetzel, and Dietmar A. Salamon. Hypercontact structures and F loer homology. Geom. Topol., 13 0 (5): 0 2543--2617, 2009. ISSN 1465-3060. doi:10.2140/gt.2009.13.2543. URL http://dx.doi.org/10.2140/gt.2009.13.2543

    2009 doi

  23. [31]

    S. M. Khaleelulla. Counterexamples in topological vector spaces, volume 936 of Lecture Notes in Mathematics. Springer-Verlag, Berlin-New York, 1982. ISBN 3-540-11565-X

    1982

  24. [32]

    Real and functional analysis, volume 142 of Graduate Texts in Mathematics

    Serge Lang. Real and functional analysis, volume 142 of Graduate Texts in Mathematics. Springer-Verlag, New York, third edition, 1993. ISBN 0-387-94001-4. doi:10.1007/978-1-4612-0897-6. URL http://dx.doi.org/10.1007/978-1-4612-0897-6

    1993 doi

  25. [33]

    Fundamentals of differential geometry

    Serge Lang . Fundamentals of differential geometry . Springer-Verlag, New York, corr. printing 2nd edition, 2001. ISBN 0-387-98593-X/hbk

    2001

  26. [34]

    Topology for the working mathematician (Working title), last accessed 13/10/2017 on Webpage http://www.math.ru.nl/ mueger/topology.pdf, Manuscript v19/10/2016 , 2016

    Michael M \"u ger. Topology for the working mathematician (Working title), last accessed 13/10/2017 on Webpage http://www.math.ru.nl/ mueger/topology.pdf, Manuscript v19/10/2016 , 2016. URL http://www.math.ru.nl/ mueger/

    2017

  27. [35]

    James R. Munkres. Topology. Prentice Hall, Inc., Upper Saddle River, NJ, 2000. ISBN 0-13-181629-2. Second edition of [ MR0464128]

    2000

  28. [36]

    Topological vector spaces, volume 296 of Pure and Applied Mathematics (Boca Raton)

    Lawrence Narici and Edward Beckenstein. Topological vector spaces, volume 296 of Pure and Applied Mathematics (Boca Raton). CRC Press, Boca Raton, FL, second edition, 2011. ISBN 978-1-58488-866-6

    2011

  29. [37]

    Methods of modern mathematical physics

    Michael Reed and Barry Simon. Methods of modern mathematical physics. I . Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York, second edition, 1980. ISBN 0-12-585050-6. Functional analysis

    1980

  30. [38]

    Real and complex analysis

    Walter Rudin. Real and complex analysis. McGraw-Hill Book Co., New York, third edition, 1987. ISBN 0-07-054234-1

    1987

  31. [39]

    Functional analysis

    Walter Rudin. Functional analysis. International Series in Pure and Applied Mathematics. McGraw-Hill, Inc., New York, second edition, 1991. ISBN 0-07-054236-8

    1991

  32. [40]

    Analysis II

    Dietmar Salamon. Analysis II . Vorlesungsmanuskript https://people.math.ethz.ch/ salamon/PREPRINTS/analysis2.pdf, ETH Z\"urich, 09 2017. URL https://people.math.ethz.ch/ salamon/PREPRINTS/analysis2.pdf

    2017

  33. [41]

    Floer homology and the heat flow

    Dietmar Salamon and Joa Weber. Floer homology and the heat flow. Geom. Funct. Anal., 16 0 (5): 0 1050--1138, 2006. ISSN 1016-443X. doi:10.1007/s00039-006-0577-4. URL http://dx.doi.org/10.1007/s00039-006-0577-4

    2006 doi

  34. [42]

    Dietmar A. Salamon. Measure and integration. EMS Textbooks in Mathematics. European Mathematical Society (EMS), Z\"urich, 2016. ISBN 978-3-03719-159-0. doi:10.4171/159. URL http://dx.doi.org/10.4171/159

    2016 doi

  35. [43]

    H. H. Schaefer and M. P. Wolff. Topological vector spaces, volume 3 of Graduate Texts in Mathematics. Springer-Verlag, New York, second edition, 1999. ISBN 0-387-98726-6. doi:10.1007/978-1-4612-1468-7. URL https://doi.org/10.1007/978-1-4612-1468-7

    1999 doi

  36. [44]

    Schochetman, Robert L

    Irwin E. Schochetman, Robert L. Smith, and Sze-Kai Tsui. On the closure of the sum of closed subspaces. Int. J. Math. Math. Sci., 26 0 (5): 0 257--267, 2001. ISSN 0161-1712. doi:10.1155/S0161171201005324. URL https://doi.org/10.1155/S0161171201005324

    2001 doi

  37. [45]

    Topological vector spaces, distributions and kernels

    Fran c ois Treves. Topological vector spaces, distributions and kernels. Academic Press, New York-London, 1967

    1967

  38. [46]

    H. Triebel. Interpolation theory, function spaces, differential operators. VEB Deutscher Verlag der Wissenschaften, Berlin, 1978

    1978

  39. [47]

    M orse homology for the heat flow -- L inear theory

    Joa Weber. M orse homology for the heat flow -- L inear theory. Math. Nachr., 286 0 (1): 0 88--104, 2013 a . ISSN 0025-584X. doi:10.1002/mana.201100319. URL http://dx.doi.org/10.1002/mana.201100319

    2013 doi

  40. [48]

    M orse homology for the heat flow

    Joa Weber. M orse homology for the heat flow. Math. Z., 275 0 (1-2): 0 1--54, 2013 b . ISSN 0025-5874. doi:10.1007/s00209-012-1121-x. URL http://dx.doi.org/10.1007/s00209-012-1121-x

    2013 doi

  41. [49]

    Topological methods in the quest for periodic orbits

    Joa Weber. Topological methods in the quest for periodic orbits. Publica c \ oes Matem\'aticas do IMPA. [IMPA Mathematical Publications]. Instituto Nacional de Matem\'atica Pura e Aplicada (IMPA), Rio de Janeiro, 2017 a . ISBN 978-85-244-0439-9. 31 ^ o Col\'oquio Brasileiro de...

    2017 arXiv

  42. [50]

    S table foliations and semi-flow M orse homology

    Joa Weber. S table foliations and semi-flow M orse homology. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5), Vol. XVII 0 (3): 0 853--909, 2017 b . doi:10.2422/2036-2145.201510_017

    2017

  43. [51]

    Mathematical N otes: P rojecting m onto c_0

    Robert Whitley. Mathematical N otes: P rojecting m onto c_0 . Amer. Math. Monthly, 73 0 (3): 0 285--286, 1966. ISSN 0002-9890. doi:10.2307/2315346. URL https://doi.org/10.2307/2315346

    1966 doi

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.