pith. sign in

arxiv: 2606.27953 · v1 · pith:2CW2BMW7new · submitted 2026-06-26 · 🧮 math.SG

An Abstract Perturbation Theorem for Compact Moduli Spaces

Peter Albers , Irene Seifert , Tom Stalljohann This is my paper

Pith reviewed 2026-06-29 01:54 UTC · model grok-4.3

classification 🧮 math.SG
keywords Fredholm sectionperturbation theoremcompact moduli spacescobordism argumentsHamiltonian action functionalsymplectically aspherical manifoldstransversality
0
0 comments X

The pith

A theorem guarantees that any compact zero set of a Fredholm section admits a nearby perturbed compact smooth manifold, unchanged wherever transversality already holds.

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

The paper establishes an abstract perturbation theorem that takes a compact zero set of a Fredholm section and produces a nearby compact smooth manifold as the zero set of a small perturbation. The construction leaves the original zero set fixed in any region where transversality is already achieved. This feature makes standard cobordism arguments available even when the initial section is not transverse everywhere. The authors apply the result to recover Schwarz's theorem on the existence of critical points of the Hamiltonian action functional with distinct action values on symplectically aspherical manifolds.

Core claim

Given a compact zero set of a Fredholm section, the theorem guarantees the existence of a perturbed compact smooth manifold nearby, leaving the original zero set unaltered wherever transversality is already achieved. Such abstract perturbations allow for typical cobordism arguments. The authors illustrate this by re-proving a well-known theorem of Schwarz asserting the existence of critical points of the Hamiltonian action functional of different action values on symplectically aspherical manifolds.

What carries the argument

The abstract perturbation theorem for compact zero sets of Fredholm sections, which produces a nearby compact smooth manifold while preserving already transverse loci.

If this is right

  • Standard cobordism arguments become available for moduli spaces whose defining sections are compact but not everywhere transverse.
  • The zero set remains unchanged on any open set where the original section is already transverse.
  • The construction directly supports proofs that count or compare solutions with distinct numerical invariants such as action values.
  • The same abstract statement applies to any Fredholm section whose zero set happens to be compact, independent of the specific geometric context.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The theorem may shorten existing perturbation arguments in Floer-type theories by replacing case-by-case transversality constructions with a single abstract step.
  • It could be combined with existing gluing or neck-stretching techniques to handle moduli spaces that are compact only after suitable compactification.
  • Analogous statements might hold for sections of bundles over manifolds with boundary, provided the boundary behavior is controlled.
  • The result suggests that compactness of the zero set, rather than any special algebraic structure, is the essential ingredient for obtaining a smooth perturbed manifold.

Load-bearing premise

The zero set of the Fredholm section is compact.

What would settle it

A compact zero set of a Fredholm section for which every sufficiently small perturbation either fails to be transverse or produces a non-compact zero set would disprove the theorem.

Figures

Figures reproduced from arXiv: 2606.27953 by Irene Seifert, Peter Albers, Tom Stalljohann.

Figure 1
Figure 1. Figure 1: The closed subset D of the manifold with boundary B is shaded in a darker gray. The compact zero set SF of the section F : B → E is colored black. Since F is already transverse on D , the black lines within D are smooth. Outside D smoothness does not hold in general (indicated by the zigzag lines and irregular shapes). The zero set SFλ of the perturbed section Fλ is a smooth submanifold. It is colored red … view at source ↗
Figure 2
Figure 2. Figure 2: Bump functions βR for parameters 0 < r < 1 < R1 < R1 + 1 < R2 . 0 ∞ 1 u q0 = u(1) u(∞) u(0) s = R + 1 s = R s = −R s = −R − 1 [PITH_FULL_IMAGE:figures/full_fig_p023_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Element u : S 2 = CP 1 → M of the moduli space MR for R ≥ 1 . Via the embedding R × S 1 ,→ CP 1 , (s, t) 7→ e 2π(s+it) , the point (s, t) = (0, 0) corresponds to 1 ∈ CP 1 . For |s| ≥ R + 1 the curve u is J-holomorphic. The restriction u| [−R,R]×S1 is a Floer cylinder for Hamil￾tonian H. Lemma 4.11. M0 consists of exactly one point, namely the constant sphere u0 : S 2 → M through q0 . Proof. Because β0 vani… view at source ↗
Figure 4
Figure 4. Figure 4: Situation in Proposition 5.3. The upper triangle with corners E, E 1 , B and the lower trapezoid with corners D, D ∩ SFλ , SFλ , M com￾mute. 5.3. Cobordisms and Evaluation Maps. We will apply Proposition 5.3 to derive our last main result, Theorem D, below. Suppose we are given • a Banach manifold B without boundary which admits smooth bump functions, • a B-bundle pair (E, E 1 ) over B , • a real number R … view at source ↗
read the original abstract

Given a compact zero set of a Fredholm section, our theorem guarantees the existence of a perturbed compact smooth manifold nearby, leaving the original zero set unaltered wherever transversality is already achieved. Such abstract perturbations allow for typical cobordism arguments. We illustrate this by re-proving a well-known theorem of Schwarz asserting the existence of critical points of the Hamiltonian action functional of different action values on symplectically aspherical manifolds.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 1 minor

Summary. The paper presents an abstract perturbation theorem asserting that, given a compact zero set of a Fredholm section, there exists a perturbation yielding a nearby compact smooth manifold as the zero set, without altering the zero set in regions where transversality is already achieved. The theorem is illustrated by re-proving a theorem of Schwarz on the existence of critical points of different action values for the Hamiltonian action functional on symplectically aspherical manifolds.

Significance. If the result holds, it provides a valuable general tool for achieving transversality in compact moduli spaces arising from Fredholm sections in symplectic geometry. This facilitates cobordism arguments without disturbing existing transverse loci and is demonstrated through the re-proof of Schwarz's theorem, which could streamline similar existence results in the field.

major comments (1)
  1. [Abstract] Abstract / theorem statement: The central claim requires the perturbed zero set to remain compact. However, the statement does not specify or construct the perturbation to have compact support (vanishing outside a neighborhood of the original zero set). Without this, new zeros could appear at large distances in the ambient space, violating the compactness conclusion. This is load-bearing for the theorem's main assertion.
minor comments (1)
  1. [Abstract] The re-proof of Schwarz's theorem is referenced as an illustration but the abstract provides no mapping of the application to the theorem hypotheses; the full manuscript should make this verification explicit.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for identifying a key point that requires clarification in the theorem statement. We address the major comment below.

read point-by-point responses

  1. Referee: The central claim requires the perturbed zero set to remain compact. However, the statement does not specify or construct the perturbation to have compact support (vanishing outside a neighborhood of the original zero set). Without this, new zeros could appear at large distances in the ambient space, violating the compactness conclusion. This is load-bearing for the theorem's main assertion.

    Authors: We agree that the theorem statement must explicitly ensure the perturbation has compact support to rigorously preserve compactness of the zero set. In the revised manuscript we will update both the abstract and the formal theorem statement to require that the perturbation vanishes outside a neighborhood of the original zero set. The proof will be adjusted to construct the perturbation via a localized cutoff, ensuring no new zeros appear at large distances in the ambient space. This change strengthens the result without affecting its applications or the re-proof of Schwarz's theorem. revision: yes

Circularity Check

0 steps flagged

Abstract perturbation theorem is self-contained with no circular reductions

full rationale

The paper presents a general existence theorem for perturbing a Fredholm section with compact zero set to obtain a nearby compact smooth manifold, without altering already transverse points. No equations, fitted parameters, self-citations, or ansatzes are quoted that reduce any claim to its own inputs by construction. The re-proof of Schwarz's theorem is an application, not a load-bearing step in the derivation. This matches the default case of an independent mathematical result with no detectable circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based solely on the abstract, the result rests on standard background from infinite-dimensional differential geometry; no free parameters, invented entities, or ad-hoc axioms are identifiable.

axioms (1)
  • standard math Fredholm sections on Banach manifolds have well-defined zero sets with standard transversality theory
    Invoked implicitly by the statement of the theorem for Fredholm sections.

pith-pipeline@v0.9.1-grok · 5588 in / 1012 out tokens · 31677 ms · 2026-06-29T01:54:40.864603+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

72 extracted references · 45 canonical work pages

  1. [1]

    Albers, Peter and Hein, Doris , TITLE =. J. Topol. Anal. , FJOURNAL =. 2016 , NUMBER =. doi:10.1142/S1793525316500102 , URL =

    work page doi:10.1142/s1793525316500102 2016

  2. [2]

    Pacific J

    Cieliebak, Kai and Frauenfelder, Urs Adrian , TITLE =. Pacific J. Math. , FJOURNAL =. 2009 , NUMBER =. doi:10.2140/pjm.2009.239.251 , URL =

    work page doi:10.2140/pjm.2009.239.251 2009

  3. [3]

    Albers, Peter and Frauenfelder, Urs , TITLE =. J. Topol. Anal. , FJOURNAL =. 2010 , NUMBER =. doi:10.1142/S1793525310000276 , URL =

    work page doi:10.1142/s1793525310000276 2010

  4. [4]

    Albers, Peter and Momin, Al , TITLE =. Math. Proc. Cambridge Philos. Soc. , FJOURNAL =. 2010 , NUMBER =. doi:10.1017/S0305004110000435 , URL =

    work page doi:10.1017/s0305004110000435 2010

  5. [5]

    2018 , eprint=

    The contact property for magnetic flows on surfaces , author=. 2018 , eprint=

    2018

  6. [6]

    Abbondandolo, Alberto , TITLE =. J. Fixed Point Theory Appl. , FJOURNAL =. 2013 , NUMBER =. doi:10.1007/s11784-013-0128-1 , URL =

    work page doi:10.1007/s11784-013-0128-1 2013

  7. [7]

    McDuff, Dusa and Salamon, Dietmar , TITLE =. 2017 ,. doi:10.1093/oso/9780198794899.001.0001 , URL =

    work page doi:10.1093/oso/9780198794899.001.0001 2017

  8. [8]

    Audin, Mich\`ele and Damian, Mihai , TITLE =. 2014 ,. doi:10.1007/978-1-4471-5496-9 , URL =

    work page doi:10.1007/978-1-4471-5496-9 2014

  9. [9]

    Weber, Joa , TITLE =. 2017 ,

    2017

  10. [10]

    A beginner’s overview of symplectic homology , author=

  11. [11]

    Schwarz, Matthias , TITLE =. 1993 ,. doi:10.1007/978-3-0348-8577-5 , URL =

    work page doi:10.1007/978-3-0348-8577-5 1993

  12. [12]

    Albers, Peter and Frauenfelder, Urs , TITLE =. J. Fixed Point Theory Appl. , FJOURNAL =. 2013 , NUMBER =. doi:10.1007/s11784-013-0126-3 , URL =

    work page doi:10.1007/s11784-013-0126-3 2013

  13. [13]

    , TITLE =

    Lee, John M. , TITLE =. 2013 ,

    2013

  14. [14]

    , TITLE =

    Lee, John M. , TITLE =. 2018 ,

    2018

  15. [15]

    [2023] 2023 ,

    Magnus, Robert , TITLE =. [2023] 2023 ,. doi:10.1007/978-3-031-11531-8 , URL =

    work page doi:10.1007/978-3-031-11531-8 2023

  16. [16]

    2001 , eprint=

    Perturbation theory of dynamical systems , author=. 2001 , eprint=

    2001

  17. [17]

    Lang, Serge , TITLE =. 1993 ,. doi:10.1007/978-1-4612-0897-6 , URL =

    work page doi:10.1007/978-1-4612-0897-6 1993

  18. [18]

    Lang, Serge , TITLE =. 1999 ,. doi:10.1007/978-1-4612-0541-8 , URL =

    work page doi:10.1007/978-1-4612-0541-8 1999

  19. [19]

    arXiv: Symplectic Geometry , year=

    Rabinowitz-Floer homology on Brieskorn manifolds , author=. arXiv: Symplectic Geometry , year=

  20. [20]

    Duke Math

    Bourgeois, Fr\'ed\'eric and Oancea, Alexandru , TITLE =. Duke Math. J. , FJOURNAL =. 2009 , NUMBER =. doi:10.1215/00127094-2008-062 , URL =

    work page doi:10.1215/00127094-2008-062 2009

  21. [21]

    Siefring, Richard , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 2008 , NUMBER =. doi:10.1002/cpa.20224 , URL =

    work page doi:10.1002/cpa.20224 2008

  22. [22]

    and Wysocki, K

    Hofer, H. and Wysocki, K. and Zehnder, E. , TITLE =. Ann. Inst. H. Poincar\'e. 1996 , NUMBER =. doi:10.1016/s0294-1449(16)30108-1 , URL =

    work page doi:10.1016/s0294-1449(16)30108-1 1996

  23. [23]

    and Wysocki, K

    Hofer, H. and Wysocki, K. and Zehnder, E. , TITLE =. Contact and symplectic geometry (. 1996 , ISBN =

    1996

  24. [24]

    Uherka, D. J. and Sergott, Ann M. , TITLE =. Amer. Math. Monthly , FJOURNAL =. 1977 , NUMBER =. doi:10.2307/2319971 , URL =

    work page doi:10.2307/2319971 1977

  25. [25]

    1982 , PAGES =

    Palis, Jr., Jacob and de Melo, Welington , TITLE =. 1982 , PAGES =

    1982

  26. [26]

    McDuff, Dusa and Salamon, Dietmar , TITLE =. 2012 ,

    2012

  27. [27]

    Hofer, Helmut and Wysocki, Krzysztof and Zehnder, Eduard , TITLE =. 2021 ,. doi:10.1007/978-3-030-78007-4 , URL =

    work page doi:10.1007/978-3-030-78007-4 2021

  28. [28]

    2017 , url=

    Irene Seifert , title =. 2017 , url=

    2017

  29. [29]

    , TITLE =

    Milnor, J. , TITLE =. 1963 ,

    1963

  30. [30]

    2016 , eprint=

    Lectures on Symplectic Field Theory , author=. 2016 , eprint=

    2016

  31. [31]

    2015 , url =

    Lectures on Holomorphic Curves in Symplectic and Contact Geometry , author =. 2015 , url =

    2015

  32. [32]

    and Fournier, John J

    Adams, Robert A. and Fournier, John J. F. , TITLE =. 2003 , PAGES =

    2003

  33. [33]

    doi: 10.1090/gsm/019

    Evans, Lawrence C. , TITLE =. 1998 , PAGES =. doi:10.1090/gsm/019 , URL =

    work page doi:10.1090/gsm/019 1998

  34. [34]

    , TITLE =

    Nicolaescu, Liviu I. , TITLE =. 2021 ,

    2021

  35. [35]

    and Eliashberg, Y

    Bourgeois, F. and Eliashberg, Y. and Hofer, H. and Wysocki, K. and Zehnder, E. , TITLE =. Geom. Topol. , FJOURNAL =. 2003 , PAGES =. doi:10.2140/gt.2003.7.799 , URL =

    work page doi:10.2140/gt.2003.7.799 2003

  36. [36]

    , TITLE =

    Eliasson, Halldor I. , TITLE =. J. Differential Geometry , FJOURNAL =. 1967 , PAGES =

    1967

  37. [37]

    , TITLE =

    Smale, S. , TITLE =. Amer. J. Math. , FJOURNAL =. 1965 , PAGES =. doi:10.2307/2373250 , URL =

    work page doi:10.2307/2373250 1965

  38. [38]

    2025 , eprint=

    Fredholm notions in scale calculus and Hamiltonian Floer theory , author=. 2025 , eprint=

    2025

  39. [39]

    Albers, Peter and Seifert, Irene , TITLE =. Comment. Math. Helv. , FJOURNAL =. 2022 , NUMBER =. doi:10.4171/CMH/533 , URL =

    work page doi:10.4171/cmh/533 2022

  40. [40]

    , TITLE =

    Banyaga, Augustin and Hurtubise, David E. , TITLE =. Expo. Math. , FJOURNAL =. 2004 , NUMBER =. doi:10.1016/S0723-0869(04)80014-8 , URL =

    work page doi:10.1016/s0723-0869(04)80014-8 2004

  41. [41]

    and Wysocki, K

    Hofer, H. and Wysocki, K. and Zehnder, E. , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2017 , NUMBER =. doi:10.1090/memo/1179 , URL =

    work page doi:10.1090/memo/1179 2017

  42. [42]

    Discrete Contin

    Hofer, Helmut and Wysocki, Kris and Zehnder, Eduard , TITLE =. Discrete Contin. Dyn. Syst. , FJOURNAL =. 2010 , NUMBER =. doi:10.3934/dcds.2010.28.665 , URL =

    work page doi:10.3934/dcds.2010.28.665 2010

  43. [43]

    Robbin, Joel and Salamon, Dietmar , TITLE =. Bull. London Math. Soc. , FJOURNAL =. 1995 , NUMBER =. doi:10.1112/blms/27.1.1 , URL =

    work page doi:10.1112/blms/27.1.1 1995

  44. [44]

    , TITLE =

    Bott, Raoul and Tu, Loring W. , TITLE =. 1982 ,

    1982

  45. [45]

    Abbondandolo, Alberto and Schwarz, Matthias , TITLE =. Adv. Nonlinear Stud. , FJOURNAL =. 2009 , NUMBER =. doi:10.1515/ans-2009-0402 , URL =

    work page doi:10.1515/ans-2009-0402 2009

  46. [46]

    Symplectic geometry and topology (

    Salamon, Dietmar , TITLE =. Symplectic geometry and topology (. 1999 , ISBN =. doi:10.1016/S0165-2427(99)00127-0 , URL =

    work page doi:10.1016/s0165-2427(99)00127-0 1999

  47. [47]

    Salamon, Dietmar and Zehnder, Eduard , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 1992 , NUMBER =. doi:10.1002/cpa.3160451004 , URL =

    work page doi:10.1002/cpa.3160451004 1992

  48. [48]

    Kato, Tosio , TITLE =. 1995 ,

    1995

  49. [49]

    1980 , PAGES =

    Reed, Michael and Simon, Barry , TITLE =. 1980 , PAGES =

    1980

  50. [50]

    , TITLE =

    B\"uhler, Theo and Salamon, Dietmar A. , TITLE =. 2018 ,. doi:10.1090/gsm/191 , URL =

    work page doi:10.1090/gsm/191 2018

  51. [51]

    Liu, Chun-Gen , TITLE =. J. Differential Equations , FJOURNAL =. 2005 , NUMBER =. doi:10.1016/j.jde.2004.05.001 , URL =

    work page doi:10.1016/j.jde.2004.05.001 2005

  52. [52]

    Schwarz, Matthias , TITLE =. Invent. Math. , FJOURNAL =. 1998 , NUMBER =. doi:10.1007/s002220050248 , URL =

    work page doi:10.1007/s002220050248 1998

  53. [53]

    Pacific J

    Lu, Guangcun , TITLE =. Pacific J. Math. , FJOURNAL =. 2004 , NUMBER =. doi:10.2140/pjm.2004.213.319 , URL =

    work page doi:10.2140/pjm.2004.213.319 2004

  54. [54]

    Pacific J

    Schwarz, Matthias , TITLE =. Pacific J. Math. , FJOURNAL =. 2000 , NUMBER =. doi:10.2140/pjm.2000.193.419 , URL =

    work page doi:10.2140/pjm.2000.193.419 2000

  55. [55]

    Abbondandolo, Alberto and Majer, Pietro , TITLE =. J. Topol. Anal. , FJOURNAL =. 2023 , NUMBER =. doi:10.1142/S1793525321500527 , URL =

    work page doi:10.1142/s1793525321500527 2023

  56. [56]

    and Guillemin, V

    Golubitsky, M. and Guillemin, V. , TITLE =. 1973 , PAGES =

    1973

  57. [57]

    , TITLE =

    Albers, Peter and Fuchs, Urs and Merry, Will J. , TITLE =. Compos. Math. , FJOURNAL =. 2015 , NUMBER =. doi:10.1112/S0010437X15007642 , URL =

    work page doi:10.1112/s0010437x15007642 2015

  58. [58]

    Cieliebak, Kai and Frauenfelder, Urs , TITLE =. J. Korean Math. Soc. , FJOURNAL =. 2011 , NUMBER =. doi:10.4134/JKMS.2011.48.4.749 , URL =

    work page doi:10.4134/jkms.2011.48.4.749 2011

  59. [59]

    , TITLE =

    Seeley, Robert T. , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 1973 , PAGES =. doi:10.2307/2039498 , URL =

    work page doi:10.2307/2039498 1973

  60. [60]

    Lebrun, Claude and Mason, L. J. , TITLE =. J. Differential Geom. , FJOURNAL =. 2002 , NUMBER =

    2002

  61. [61]

    orner, Max and Geiges, Hansj\

    D\"orner, Max and Geiges, Hansj\"org and Zehmisch, Kai , TITLE =. Eur. J. Math. , FJOURNAL =. 2017 , NUMBER =. doi:10.1007/s40879-017-0158-0 , URL =

    work page doi:10.1007/s40879-017-0158-0 2017

  62. [62]

    Cannas da Silva, Ana , TITLE =. 2001 ,. doi:10.1007/978-3-540-45330-7 , URL =

    work page doi:10.1007/978-3-540-45330-7 2001

  63. [63]

    Anna Maria Vocke , title =

  64. [64]

    Topology at infinity of discrete groups , SERIES =

    Axon, Liam and Calcut, Jack , TITLE =. Topology at infinity of discrete groups , SERIES =. [2025] 2025 , ISBN =. doi:10.1090/conm/812/16261 , URL =

    work page doi:10.1090/conm/812/16261 2025

  65. [65]

    and McManus, S

    Fry, R. and McManus, S. , TITLE =. Expo. Math. , FJOURNAL =. 2002 , NUMBER =. doi:10.1016/S0723-0869(02)80017-2 , URL =

    work page doi:10.1016/s0723-0869(02)80017-2 2002

  66. [66]

    and Troyanski, S

    Godefroy, G. and Troyanski, S. and Whitfield, J. H. M. and Zizler, V. , TITLE =. J. Funct. Anal. , FJOURNAL =. 1983 , NUMBER =. doi:10.1016/0022-1236(83)90073-3 , URL =

    work page doi:10.1016/0022-1236(83)90073-3 1983

  67. [67]

    , TITLE =

    Palais, Richard S. , TITLE =. Topology , FJOURNAL =. 1966 , PAGES =. doi:10.1016/0040-9383(66)90002-4 , URL =

    work page doi:10.1016/0040-9383(66)90002-4 1966

  68. [68]

    and Wysocki, K

    Hofer, H. and Wysocki, K. and Zehnder, E. , TITLE =. J. Eur. Math. Soc. (JEMS) , FJOURNAL =. 2007 , NUMBER =. doi:10.4171/JEMS/99 , URL =

    work page doi:10.4171/jems/99 2007

  69. [69]

    Current developments in mathematics, 2006 , PAGES =

    Seidel, Paul , TITLE =. Current developments in mathematics, 2006 , PAGES =. 2008 , ISBN =

    2006

  70. [70]

    Bonic, Robert and Frampton, John , TITLE =. J. Math. Mech. , FJOURNAL =. 1966 , PAGES =

    1966

  71. [71]

    Salamon, Dietmar , title =

  72. [72]

    Abbondandolo, Alberto and Haug, Carsten and Schlenk, Felix , TITLE =. Enseign. Math. , FJOURNAL =. 2019 , NUMBER =. doi:10.4171/lem/65-1/2-7 ,

    work page doi:10.4171/lem/65-1/2-7 2019