The Linearized Floer Equation in a Chart

1. Problem Statement

The paper addresses a fundamental gap in the analytical foundations of Floer theory, specifically regarding the Fredholm property of the linearized Floer operator (the Robbin–Salamon operator) when working in non-Darboux charts.

• Context: In standard Floer theory, calculations are often performed in Darboux charts where the symplectic form is constant ($\omega = \sum dx_j \wedge dy_j$). In this setting, the Hessian of the action functional is a constant operator ($A_0 = i\partial_t$), and the associated linearized operator is well-understood.
• The Challenge: The authors consider the Hessian of the area functional in a general (non-Darboux) chart. Here, the symplectic form $\omega$ and its primitive $\lambda$ vary with position. Consequently, the Hessian operator acquires an additional term involving the derivatives of the symplectic potential.
• The Obstacle: In this general setting, the resulting Hessian field is not necessarily continuous with respect to the loop parameter $s$ (the time variable of the connecting trajectory). Specifically, the map $s \mapsto A(s)$ fails to be continuous in the operator norm topology required by classical theorems.
• Limitation of Existing Theory: The classical Robbin–Salamon theorem (and its improvement by Rabier) guarantees the Fredholm property for operators of the form $\partial_s + A(s)$ provided $A(s)$ is continuous. Since the Hessian in a non-Darboux chart lacks this continuity, standard methods fail to prove that the linearized operator is Fredholm. This is critical for defining Floer homology for Hamiltonian delay equations and other problems requiring non-standard charts.

2. Methodology

To overcome the lack of continuity, the authors develop a new structural framework based on scale geometry and operator decomposition.

A. The Concept of "Almost Extendable Weak Hessian Fields"

The authors introduce a new class of operator fields called almost extendable weak Hessian fields.

• Decomposition Strategy: They decompose the non-continuous Hessian operator $A$ into two parts:
  $$A = F + C$$
  • $F$ (The Continuous Part): Contains the principal differential part (e.g., $\partial_t$) and terms that remain continuous with respect to the loop parameter.
  • $C$ (The Lower Order Part): Contains the "bad" terms arising from the non-Darboux geometry (specifically involving products of the loop and its derivative). While $C$ causes the total operator $A$ to be discontinuous, it is of lower order (it does not contain the time derivative $\partial_t$).

B. Key Technical Tools

1. Rabier's Theorem: The authors utilize a generalization of the Robbin–Salamon theorem by Rabier, which establishes the Fredholm property for $\partial_s + A(s)$ under continuity assumptions. They apply this to the continuous component $F$.
2. Compact Perturbation Theory: They prove that the lower-order component $C$, despite causing discontinuity in the operator family, acts as a compact multiplication operator when viewed as a map between specific Sobolev spaces ($W^{1,2} \cap L^2 \to L^2$).
3. Scale Lipschitz Estimates: To prove the compactness of the multiplication operator induced by $C$, the authors derive specific "scale Lipschitz" estimates. These estimates control the behavior of the tensor field $\bar{L}$ (derived from the symplectic potential) in fractional Sobolev spaces, utilizing theorems on the multiplication of Sobolev functions (e.g., $W^{1,2} \times L^2 \to L^2$).
4. Spectral Flow and Homotopy: They use homotopy arguments to show that the Fredholm index of the full operator matches that of the continuous part, relying on the invariance of the index under compact perturbations.

3. Key Contributions

1. Introduction of "Almost Extendable Weak Hessian Fields":
   This is the paper's primary conceptual contribution. It provides a rigorous definition for operator fields that are not continuous but can be decomposed into a continuous Fredholm part and a compact lower-order part. This structure is identified as crucial for understanding Floer theory in general geometric settings.

2. Proof of the Fredholm Property for Non-Continuous Operators:
   The authors prove that the Robbin–Salamon operator $D_u = \partial_s + A_u$ is Fredholm even when the Hessian field $A_u$ is discontinuous. This is achieved by showing:

   • The continuous part $F$ yields a Fredholm operator (via Rabier's theorem).
   • The discontinuous part $C$ yields a compact operator.
   • The sum of a Fredholm operator and a compact operator is Fredholm.

3. Application to Para-Darboux Charts:
   The paper explicitly constructs this decomposition for the Para-Darboux Hessian (the Hessian of the area functional in a general chart). They verify that the tensor field $L$ arising from the non-Darboux geometry satisfies the necessary scale Lipschitz estimates to ensure the compactness of the perturbation.

4. Extension to Perturbed Action Functionals:
   The results are extended to perturbed action functionals (involving Hamiltonian perturbations), which are necessary for making the functional Morse-Bott or Morse, a prerequisite for defining Floer homology.

4. Main Results

• Theorem 5.6 (Main Result): For a connecting path $u$ between non-degenerate critical points in a non-Darboux chart, the linearized operator $D_u = \partial_s + A_u$ acting between appropriate Sobolev spaces ($W^{1,2} \cap L^2 \to L^2$) is a Fredholm operator.
• Index Equality: The Fredholm index of the operator on the level of $H_1$ (loops) is equal to the index of the operator on the level of $H_2$ (smooth loops), i.e., $\text{index}(D_u) = \text{index}(D_{u,2})$.
• Theorem 7.6: The perturbed para-Darboux weak Hessian field is almost extendable, confirming that the specific geometric structure of the area functional in a general chart fits the abstract framework developed in the paper.

5. Significance

• Broadening the Scope of Floer Theory: By removing the dependency on Darboux charts, this work enables the application of Floer theory to a broader class of problems, specifically Hamiltonian delay equations and other systems where global Darboux coordinates do not exist or are impractical.
• Foundational Rigor: It resolves a technical obstruction that previously prevented the rigorous definition of Floer homology in non-standard symplectic charts. The "almost extendable" structure provides a new tool for analyzing operators with low regularity.
• Mathematical Structure: The identification of the "almost extendable weak Hessian field" suggests a deeper geometric structure underlying Floer theory that was previously obscured by the assumption of continuity. This may have implications for other areas of geometric analysis involving scale-invariant operators.
• Memorial Context: As a contribution to the special issue honoring Will Merry, this work continues the legacy of advancing the analytical foundations of symplectic geometry and dynamics.

In summary, Frauenfelder and Weber successfully generalize the analytical machinery of Floer theory to non-Darboux settings by introducing a novel decomposition technique that handles discontinuous Hessians, thereby securing the Fredholm property essential for the existence of Floer homology in these broader contexts.