Hilbert manifold structures on path spaces

Joa Weber; Urs Frauenfelder

REVIEW 4 major objections 3 minor 16 references

Hilbert manifold structures on path spaces

T0 review · 4 major / 3 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read The paper establishes that path spaces of tame two-level manifolds, and the L² completion of their tangent bundles, carry C¹ Hilbert manifold structures, proved by interpolation charts rather than an exponential map.

desk verdict The interpolation-based atlas and the analytic estimates are a real contribution, but Theorem A as stated is not proved: Section 4 uses a compact dense inclusion that Definition 2.10 and Theorem A do not assume. read the letter →

arxiv 2507.03782 v1 pith:TO772IVN submitted 2025-07-04 math.SG math.APmath.DGmath.FA

Urs Frauenfelder , Joa Weber This is my paper · ORCID

classification math.SGmath.APmath.DGmath.FA MSC 53D4058D1546T1046E35

keywords Hilbertmanifoldstwo-leveltamemapspathspacesFloerhomologySobolevweaktangentbundleFredholmoperators

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

In Floer theory one works with two-level manifolds: a Hilbert manifold $X_1$ carrying a dense second level $X_2$, such as $W^{1,2}$ loops together with $W^{2,2}$ loops. The paper asks whether the space of paths between two points of such a manifold, together with the $L^2$ completion of its tangent bundle, is a $C^1$ Hilbert manifold, so that differential-topological arguments become available for Floer gradient flow lines. It introduces a condition called tameness on the transition maps of the manifold and proves that, for tame two-level manifolds, the path space $P_{x_-x_+}$ and its weak tangent bundle $E_{x_-x_+}$ indeed carry $C^1$ Hilbert manifold structures. This matters because it supplies the missing manifold framework for studying the zero set of the Floer flow section and its vertical differential.

What carries the argument

The load-bearing object is a tame map: a $C^2$ map between open subsets of $H_1$ whose restriction sends $H_2$ into $H_2$ and whose second derivative satisfies the mixed-norm estimate $|d^2\phi|_y(\xi,\eta)|_2 \le \kappa(|\xi|_1|\eta|_2+|\xi|_2|\eta|_1+|y|_2|\xi|_1|\eta|_1)$. Tameness is preserved under composition, so it defines a consistent atlas, the tame two-level manifold. The proof machinery has three parts: Theorem B turns tameness into $C^1$ differentiability of composition maps on Sobolev spaces; a parametrized version handles time-dependent families; and an interpolation construction glues paths crossing several charts by convex interpolation in chart domains. The delicate step is showing that the inverse of each interpolation map is tame: compactness of the inclusion $H_2\hookrightarrow H_1$ is used to show the linearized interpolation operator on $H_2$ is upper semi-Fredholm of index zero, hence an isomorphism.

What would settle it

Construct a tame two-level manifold whose dense inclusion $H_2\to H_1$ is not compact and compute the transition map between two interpolating charts of a path that crosses three coordinate patches; if the derivative of that transition map fails to be continuous or invertible at some point, Theorem A cannot hold without compactness, which is exactly what Remark 1.1 leaves open.

Watch

Extended reading notes

Core claim

The central claim, Theorem A, is that for every tame two-level manifold $X$ and every pair of points $x_-,x_+\in X_2$, the space of paths $P_{x_-x_+}$ and the $L^2$ completion $E_{x_-x_+}$ of its tangent bundle have $C^1$ Hilbert manifold structures. The model space for the charts of $P_{x_-x_+}$ is $W^{1,2}(\mathbb{R},H_1)\cap L^2(\mathbb{R},H_2)$, and $E_{x_-x_+}$ is modelled on the product of this space with $L^2(\mathbb{R},H_1)$. Because an exponential map is not available on two-level manifolds, the charts are built around basic paths, which reach their endpoints $x_\pm$ in finite time, by convex interpolation in overlapping coordinate patches. The transition maps are $C^1$ by Theorem B, which says that composition with a tame map is a continuously differentiable map between the relevant Hilbert-space-valued Sobolev spaces, together with a parametrized version for time-dependent tame maps.

Load-bearing premise

The argument needs the inclusion from the second level $H_2$ into the first level $H_1$ to be compact as well as dense; without compactness the linearized interpolation map may fail to be an isomorphism and the transition maps are not known to be differentiable.

Editorial extensions

If this is right

The unregularized Floer gradient-flow section becomes a section of a $C^1$ Hilbert bundle over a $C^1$ Hilbert manifold, so its zeros (Floer trajectories) can be studied with its vertical differential $DF_u$.
The $C^1$ manifold structure gives a framework for proving that $DF_u$ is Fredholm, a step the paper identifies as crucial for abstract Floer homology constructions.
The result covers the loop space of a smooth finite-dimensional manifold as a tame two-level manifold, so the usual path-space Hilbert manifold structures follow as a special case.
The path space and weak tangent bundle are modelled on explicit Hilbert spaces, $W^{1,2}(\mathbb{R},H_1)\cap L^2(\mathbb{R},H_2)$ and its product with $L^2(\mathbb{R},H_1)$, which makes the manifold structure usable in concrete calculations.

Reading between the lines

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

A natural extension, not claimed in the paper, is that the same interpolation-chart construction may apply to other two-level mapping spaces, such as trajectory spaces with prescribed asymptotics, wherever an exponential map is unavailable but a compact dense inclusion holds.
The paper's Remark 1.1 suggests a testable boundary: Theorem B holds without compactness, so if a counterexample to Theorem A exists without compactness, it must arise in the transition-map step rather than in the composition calculus for tame maps.
The paper does not go on to prove that the vertical differential is Fredholm on its explicit model spaces; computing that differential on $W^{1,2}(\mathbb{R},H_1)\cap L^2(\mathbb{R},H_2)$ is a concrete next step for Floer-theoretic applications.

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.

Desk Editor's Note

read the letter

Here is my take on 2507.03782. The central idea is worth taking seriously: to avoid an exponential map on a two-level manifold, the authors build charts by interpolating between overlapping coordinate patches on level one, then prove that composition and inversion of these interpolation maps preserve a tameness condition. The analytic core (Theorems 3.1, 3.2, 3.4) is written out with explicit estimates, and the self-contained appendices on Hilbert-space-valued Sobolev spaces and the implicit function theorem are useful. If the proof goes through, this gives the first Hilbert manifold structure for W^{1,2}(R,H1)∩L2(R,H2) path spaces over tame two-level manifolds, which matters for abstract Floer theory and delay equations.

The soft spot is exactly where the stress-test points. Theorem A and Definition 2.10 only require a dense inclusion H2⊂H1. Section 4 starts with a compact dense inclusion, and Lemma 4.15 uses that compactness decisively: inequality (4.54) plus compactness yields upper semi-Fredholm, and the index argument upgrades it to an isomorphism. Without compactness, (4.54) alone does not imply closed range or finite kernel. The authors know this: Remark 1.1(a) concedes Theorem A is not known in the dense-only case. So as written, the main theorem overstates what the proof establishes. This is a genuine flaw, but it is not deep and not hidden. The fix is to state Theorem A, the abstract, and Definition 2.10 with "compact dense inclusion," or to rework Lemma 4.15 without compactness. A second, smaller mismatch: Theorem A says endpoints x±∈X, while the charts in Section 4 require x±∈X2. Since X2 is dense in X1, an extension argument may exist, but it is not supplied.

On citation pattern: the self-citations go to prior two-level-manifold work and are relevant, not padding. The paper deserves a serious referee. I would send it to review with the request to fix the compactness/endpoint mismatch, and I would expect the main construction to survive a careful check.

Referee Report

4 major / 3 minor

Summary. The paper introduces a notion of tameness for charts of two-level Hilbert manifolds modeled on a pair H2⊂H1, proves that the composition of tame maps is tame (Theorem 2.5), and then constructs C^1 Hilbert manifold structures on the path space P_{x−x+} and its L2 weak tangent bundle E_{x−x+} for tame two-level manifolds. The main analytic ingredient is Theorem B (and its parametrized version), which asserts that composition with a tame map defines a C^1 map on W^{1,2}(R,H1)∩L2(R,H2). Section 4 builds local parametrizations around basic paths via convex interpolation and shows that the transition maps are C^1 diffeomorphisms, relying on a semi-Fredholm argument for the linearized interpolation map.

Significance. If the main theorem is correct, it supplies the previously missing Hilbert manifold structures on path spaces and their L2 tangent completions in the two-level setting, which is a natural tool for abstract Floer-theoretic constructions. The paper is careful with analytic estimates in Section 3 and provides self-contained appendices on Hilbert-space-valued Sobolev spaces, the Bochner integral, and a quantitative implicit function theorem; these are strengths. The tameness condition is a new and nontrivial structural hypothesis, and the composition theorem for tame maps is proved in detail. The main theorem would be a useful foundational contribution to symplectic and Floer theory if the hypothesis gaps identified below are resolved.

major comments (4)

[Theorem A, Definition 2.10, Section 4] Theorem A is stated for an arbitrary tame two-level manifold, and Definition 2.10 defines a tame two-level manifold using only a dense inclusion H2⊂H1. However, Section 4 begins by assuming a compact dense inclusion, and this compactness is used in an essential way in Lemma 4.15: inequality (4.54) is converted into upper semi-Fredholmness of T = dS^j_s|v|H2 by invoking [MS04, Le. A.1.1] with the compact inclusion H2→H1, and the index argument then upgrades T to an isomorphism, yielding (4.51), which is needed for the tameness of the inverse interpolation map. Remark 1.1(a) explicitly concedes that Theorem A is not known when the inclusion is only dense. Therefore, as stated, Theorem A is not proved; the hypothesis of Theorem A, Definition 2.10, and the abstract must include compactness of the inclusion, or the proof of Lemma 4.15 must be reworked to avoid compactness.
[Theorem A, Section 4 opening] Theorem A states the result for every pair of points x±∈X, while the entire chart construction in Section 4 assumes x±∈X2. For example, Definition 4.1 requires a basic path x:R→X2 reaching the endpoints x∓, and Definition 4.11 defines P_{x−x+} using such basic paths. If the endpoints lie only in X1, the basic paths used to center the charts need not exist, and the path space as defined need not be covered by the constructed charts. The statement of Theorem A should be restricted to x±∈X2, or the construction must be extended to endpoints in X1.
[Theorem B, Theorem 3.1] Theorem B in the introduction states that for every tame ϕ:H1→H1 the map TΦ is well defined and continuously differentiable, but Theorem 3.1 requires the additional hypotheses 0∈U1 and ϕ(0)=0, and these hypotheses are used in Step 1 of its proof (for instance, to obtain estimate (3.13) from Lemma 2.7 with x0=0). Without them, even Φ(0) need not lie in L2(R,H2) when ϕ(0)≠0. The introduction should either state these hypotheses explicitly or explain how the general case is reduced to the case 0∈U1 and ϕ(0)=0.
[Theorem 4.14, equation (4.63)] In the proof of Step 3 of Theorem 4.14, the constant K(s) introduced in (4.63) is defined as K(s) := 2 max{µ, µ|S^j_s(v0)|2 + |v|2}, which depends on the variable v whose H2-norm is being estimated. Consequently the claimed uniform estimate |v|2 ≤ K(|S^j_s(v)|2+1) does not follow as written, and the subsequent constants C*(s) and the tameness estimate (4.64) are not uniform in v. This appears to be a typo for |v0|2, but as written it creates a genuine gap in the proof of the tameness of the inverse interpolation map, which is load-bearing for the C^1 property of the transition maps.

minor comments (3)

[Introduction, Section 2.2] The phrase 'two-level manifolds X = X1 ⊃ X2' appears in the Introduction before X2 is formally defined in Definition 2.10; a forward reference would improve readability.
[Remark 2.4] Remark 2.4 notes that the C^2 condition on the restriction ϕ|U2 is not used in Theorem 2.5 or Theorem B, yet Definition 2.1 retains it; this is acceptable but could be stated more explicitly as a deliberate choice rather than an oversight.
[Appendix C, Theorem C.2] In the displayed estimate around (C.100), the symbol 'Rn' appears where $\mathbb{R}^n$ is intended; this typesetting issue should be corrected.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the central theorems are proved from explicit estimates and independent external lemmas; the dense- versus-compact-inclusion gap is a correctness issue, not a circular reduction.

full rationale

The derivation is not circular. Tameness (Definition 2.1) is an explicit analytic hypothesis with estimates, not a restatement of the desired Hilbert-manifold conclusion. Theorem B is proved by direct Sobolev-space estimates in Section 3, using only the definition of tameness and standard Hilbert-space Sobolev theory developed in Appendix A. Section 4 constructs path-space charts by interpolation and then proves the transition maps are C^1 by showing the underlying map is parametrized tame; the decisive semi-Fredholm step in Lemma 4.15 invokes external, independent results [MS04, Le. A.1.1] and [Muel07] together with the compactness of the inclusion H2 -> H1, not a self-citation. The paper's self-citations ([FW24], [FW], [FW21], [FW25]) are motivational or supply minor standard facts; they are not load-bearing for Theorem A. The only notable issue is a hypothesis mismatch: Definition 2.10 and Theorem A require only a dense inclusion, while Section 4 opens by assuming a compact dense inclusion, and Remark 1.1(a) concedes that Theorem A is not known in the merely dense case. This is a correctness/coverage gap, not a circularity, because no equation or argument identifies the theorem's conclusion with its hypotheses or with a fitted input. Hence the circularity score is 0.

Assumptions & free parameters 0 free parameters · 4 assumptions · 1 invented entities

The central claim rests on the new tameness condition and on standard functional-analytic tools. There are no fitted numerical parameters. The compactness of the embedding is load-bearing: it is used in Lemma 4.15 to obtain a semi-Fredholm operator, and Remark 1.1 explicitly says the theorem is not known without it. The listed axioms are all hypotheses or standard background.

assumptions (4)

domain assumption H2 ⊂ H1 are separable Hilbert spaces with dense compact inclusion and |·|1 ≤ |·|2.
Set at the start of Section 2 and Section 4; compactness is explicitly needed for the semi-Fredholm argument in Lemma 4.15, density for tameness, and separability for Pettis-type measurability.
standard math Standard functional-analytic facts: Pettis theorem, Bochner integral, Sobolev embedding W^{1,2}(R,H) → C^0, convolution approximation, quantitative implicit function theorem, upper semi-Fredholm index local constancy.
Appendix A and Appendix B provide proofs or citations to [Pet38], [Nee07], [MS04], [Mül07], [Pol01].
ad hoc to paper X carries a tame (H1,H2)-atlas whose transition maps satisfy the tameness estimate (2.3).
Definition 2.10 introduces this new structure. It is a hypothesis of Theorem A, not a conclusion, so it is not circular, but it is an unverified condition for general two-level manifolds.
domain assumption Basic paths reach their endpoints x± in finite time and admit basic coverings with chart transition derivatives equal to Id at transition times.
Definitions 4.1, 4.2 and Lemma 4.4; these conditions are used to define chart domains and to make the interpolation construction work.

invented entities (1)

tame (H1,H2)-two-level manifold atlas
purpose: Provides the hypotheses under which interpolation charts on path spaces can be made differentiable; it is the core new structure of the paper.
A definition introduced in Section 2.2. There is no external falsifiable handle; its justification is that it enables the proof of Theorem A.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Hilbert manifold structures on path spaces." pith.science (2026). https://pith.science/paper/TO772IVN

@misc{pith2026250703782,
  author       = {Pith},
  title        = {Pith review of: Hilbert manifold structures on path spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/TO772IVN}},
  note         = {Machine review of arXiv:2507.03782}
}

abstract

In Floer theory one has to deal with two-level manifolds like for instance the space of $W^{2,2}$ loops and the space of $W^{1,2}$ loops. Gradient flow lines in Floer theory are then trajectories in a two-level manifold. Inspired by our endeavor to find a general setup to construct Floer homology we therefore address in this paper the question if the space of paths on a two-level manifold has itself the structure of a Hilbert manifold. In view of the two topologies on a two-level manifold it is unclear how to define the exponential map on a general two-level manifold. We therefore study a different approach how to define charts on path spaces of two-level manifolds. To make this approach work we need an additional structure on a two-level manifold which we refer to as tameness. We introduce the notion of tame maps and show that the composition of tame is tame again. Therefore it makes sense to introduce the notion of a tame two-level manifold. The main result of this paper shows that the path spaces on tame two-level manifolds have the structure of a Hilbert manifold.

Figures

Figures reproduced from arXiv: 2507.03782 by the authors.

**Figure 1.** Basic covering of x by k = 3 local parametrizations ψi : U i → V i Lemma 4.4. For each basic path x a basic covering exists. Proof. Choose a finite collection of local parametrizations {ψi : H1 ⊃ U i → V i ⊂ X1}i∈I ⊂ A which satisfies condition 1). If k = 1 we are done. Let k ≥ 2. To see that condition 2) can be achieved, too, we modify our charts inductively as follows. We replace U 2 by U˜ 2 defined as U˜ 2 := d(… view at source ↗

**Figure 2.** Manifold X1 and convex parametrization domains C j +, Cj+1 − ⊂ H1 We define basic covering transition maps (these are C 2 since X1 is) φj := ψ −1 j+1 ◦ ψj |U j + : H1 ⊃ U j + → U j+1 − ⊂ H1, (4.28) and points u j + := ψ −1 j (x(tj )) ∈ U j + ∩ H2, u j+1 − := ψ −1 j+1(x(tj )) ∈ U j+1 − ∩ H2. 29 [PITH_FULL_IMAGE:figures/full_fig_p029_2.png] view at source ↗

**Figure 3.** Cutoff function β j along interpolation interval [t − j , tj ] Remark 4.7 (Case k = 1). There is just one map ψ1 : U 1 → V 1 . Only 3. is non-void. It yields ψ −1 1 (xs) + ξs ∈ U 1 ∀s ∈ (−∞, ∞). Definition 4.8 (Local parametrization Ψx near basic path x). In Definition 4.6 for each j = 1, . . . , k − 1 pick a monotone smooth cutoff function β j : R → [0, 1] such that β j ≡ 0 on (−∞, t− j ] and β j ≡ 1 on [tj , ∞); s… view at source ↗

Figures from the paper (5 more)

**Figure 4.** Figure 4: , we define the corresponding path space transition map by Φ := Ψ˜ −1 ◦ Ψ|U0 : U0 → U˜ 0, U0, U˜ 0 ⊂ W 1,2 H1 ∩ L 2 H2 . (4.44) In view of Proposition 4.10 the map Φ: U0 → U˜ 0 is a bijection with inverse Φ −1 = Ψ−1 ◦ Ψ˜ |U0 : U˜ 0 → U0. (4.45) V˜ := Ψ( ˜ U˜) V := Ψ(U)…

**Figure 5.** Figure 5: illustrates the definition of φs := φ(s, ·) in case 2. The other three cases are similar, in the figure one just needs to interchange the interpolation maps S j s and the translation maps T. By construction of the map φ the identity (4.47) holds. This concludes the pro…

**Figure 6.** Figure 6: Transition map ΦΨΨ˜ for path space Px−x+ modeled on W 1,2 H1 ∩ L 2 H2 Theorem 4.17. The weak tangent bundle Ex−x+ is a C 1 manifold modeled on the Hilbert space W 1,2 H1 ∩ L 2 H2 × L 2 H1 . Proof. By Corollary 4.16 the transition maps are C 1 . 48 [PITH_FULL_IMAGE:f…

**Figure 7.** Figure 7: Exponential transition map Φxy : Uxy → Uyx, H1 x := W1,2 (S 1 , x∗TM) C.2.2 Transition maps and basic trivializations Theorem C.5 (Exponential parametrization transition maps). Assume that x and y are two basic paths in M connecting x− to x+. Consider the open Hilbert …

**Figure 8.** Figure 8: Charts about a basic path x in the atlases A(g) and A(˜g) Proof. First note that the notions of basic path and basic trivialization do not depend on the Riemannian metric. Suppose that x is a basic path. Let Ux and U˜ x be the open neighborhoods from Definition C.4 of …

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

16 extracted references · 15 canonical work pages

[1]

Analysis

Herbert Amann and Joachim Escher. Analysis. III . Birkh \"a user Verlag, Basel, 2009. Translated from the 2001 German original by Silvio Levy and Matthew Cargo

work page 2009
[2]

El asson

Halld\' o r I. El asson. Geometry of manifolds of maps. J. Differential Geometry , 1:169--194, 1967

work page 1967
[3]

The unregularized gradient flow of the symplectic action

Andreas Floer. The unregularized gradient flow of the symplectic action. Comm. Pure Appl. Math. , 41(6):775--813, 1988

work page 1988
[4]

Local gluing

Urs Frauenfelder and Joa Weber . Local gluing . Bulletin of the Brazilian Mathematical Society, New Series (to appear) . viXra:2401.0075 https://vixra.org/abs/2401.0075

work page arXiv
[5]

The shift map on Floer trajectory spaces

Urs Frauenfelder and Joa Weber. The shift map on Floer trajectory spaces . J. Symplectic Geom. , 19(2):351--397, 2021. arXiv:1803.03826 https://arxiv.org/abs/1803.03826

arXiv 2021
[6]

Growth of eigenvalues of Floer Hessians

Urs Frauenfelder and Joa Weber . Growth of eigenvalues of Floer Hessians . viXra e-prints https://vixra.org/author/joa_weber science, freedom, dignity , pages 1--50, August 2024. viXra:2411.0060 https://vixra.org/abs/2411.0060

work page arXiv 2024
[7]

Floeromorphisms and Floer functions

Urs Frauenfelder and Joa Weber . Floeromorphisms and Floer functions . viXra e-prints https://vixra.org/author/joa_weber science, freedom, dignity , pages 1--19, February 2025. viXra:2502.0011 https://vixra.org/abs/2502.0011

work page arXiv 2025
[8]

Fundamentals of differential geometry

Serge Lang . Fundamentals of differential geometry . Springer-Verlag, New York, corr. printing 2nd edition, 2001

work page 2001

Show all 16 references

[9]

Lieb and Michael Loss

Elliott H. Lieb and Michael Loss. Analysis , volume 14 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, second edition, 2001

2001
[10]

J -holomorphic curves and symplectic topology , volume 52 of American Mathematical Society Colloquium Publications

Dusa McDuff and Dietmar Salamon. J -holomorphic curves and symplectic topology , volume 52 of American Mathematical Society Colloquium Publications . American Mathematical Society, Providence, RI, 2004

2004
[11]

u ller. Spectral Theory of Linear Operators -- and Spectral Systems in Banach Algebras , volume 139 of Operator Theory: Advances and Applications . Birkh\

Vladimir M \" u ller. Spectral Theory of Linear Operators -- and Spectral Systems in Banach Algebras , volume 139 of Operator Theory: Advances and Applications . Birkh\" a user Verlag, Basel, 2nd edition, 2007

2007
[12]

Stochastic evolution equations

Neerven. Stochastic evolution equations. ISEM Lecture Notes 2007/08 pdf https://fa.ewi.tudelft.nl/ neerven/publications/notes/ISEM.pdf, 2007

2007
[13]

B. J. Pettis. On integration in vector spaces. Trans. Amer. Math. Soc. , 44(2):277--304, 1938

1938
[14]

B. T. Polyak. Convexity of nonlinear image of a small ball with applications to optimization. Set-Valued Analysis , 9(1):159--168, 2001

2001
[15]

Dietmar A. Salamon. Measure and integration . EMS Textbooks in Mathematics. European Mathematical Society (EMS), Z\"urich, 2016

2016
[16]

Morse homology , volume 111 of Progress in Mathematics

Matthias Schwarz. Morse homology , volume 111 of Progress in Mathematics . Birkh\"auser Verlag, Basel, 1993

1993

Pith tools

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

[1] [1]

Analysis

Herbert Amann and Joachim Escher. Analysis. III . Birkh \"a user Verlag, Basel, 2009. Translated from the 2001 German original by Silvio Levy and Matthew Cargo

work page 2009

[2] [2]

El asson

Halld\' o r I. El asson. Geometry of manifolds of maps. J. Differential Geometry , 1:169--194, 1967

work page 1967

[3] [3]

The unregularized gradient flow of the symplectic action

Andreas Floer. The unregularized gradient flow of the symplectic action. Comm. Pure Appl. Math. , 41(6):775--813, 1988

work page 1988

[4] [4]

Local gluing

Urs Frauenfelder and Joa Weber . Local gluing . Bulletin of the Brazilian Mathematical Society, New Series (to appear) . viXra:2401.0075 https://vixra.org/abs/2401.0075

work page arXiv

[5] [5]

The shift map on Floer trajectory spaces

Urs Frauenfelder and Joa Weber. The shift map on Floer trajectory spaces . J. Symplectic Geom. , 19(2):351--397, 2021. arXiv:1803.03826 https://arxiv.org/abs/1803.03826

arXiv 2021

[6] [6]

Growth of eigenvalues of Floer Hessians

Urs Frauenfelder and Joa Weber . Growth of eigenvalues of Floer Hessians . viXra e-prints https://vixra.org/author/joa_weber science, freedom, dignity , pages 1--50, August 2024. viXra:2411.0060 https://vixra.org/abs/2411.0060

work page arXiv 2024

[7] [7]

Floeromorphisms and Floer functions

Urs Frauenfelder and Joa Weber . Floeromorphisms and Floer functions . viXra e-prints https://vixra.org/author/joa_weber science, freedom, dignity , pages 1--19, February 2025. viXra:2502.0011 https://vixra.org/abs/2502.0011

work page arXiv 2025

[8] [8]

Fundamentals of differential geometry

Serge Lang . Fundamentals of differential geometry . Springer-Verlag, New York, corr. printing 2nd edition, 2001

work page 2001