The Linearized Floer Equation in a Chart

1. Problemstellung und Motivation

Der Artikel adressiert ein fundamentales technisches Hindernis bei der Anwendung der Floer-Theorie auf Probleme, die über den klassischen Rahmen hinausgehen, insbesondere im Kontext von Hamiltonschen Verzögerungsgleichungen (Hamiltonian delay equations).

• Der Kontext: In der klassischen Floer-Theorie wird die lineareisierte Floer-Gleichung typischerweise in einer Darboux-Karte betrachtet. In einer solchen Karte ist die Hesse-Matrix des Flächenfunktionals (Area Functional) ein konstanter Operator $A_0 = i\partial_t$. Dies ermöglicht die Anwendung etablierter Fredholm-Theoreme (insbesondere von Robbin und Salamon).
• Das Problem: In einer nicht-Darboux-Karte (d.h. in allgemeinen Koordinatensystemen, die nicht symplektisch standardisiert sind) ist die Hesse-Matrix des Funktionals nicht mehr konstant. Sie enthält einen zusätzlichen Summanden, der von der Ableitung der Kurve abhängt und unstetig sein kann.
• Die Herausforderung: Die Unstetigkeit der Hesse-Matrix verhindert die direkte Anwendung der klassischen Fredholm-Theoreme von Robbin–Salamon sowie deren Verallgemeinerung durch Rabier, da diese Theoreme üblicherweise eine Stetigkeit der Operatorfamilie in Abhängigkeit vom Parameter $s$ (der Zeit entlang der Verbindungstrajektorie) voraussetzen. Da die Trajektorien in den relevanten Sobolev-Räumen nur $L^2_{loc}$-Regulärität aufweisen, ist die Abbildung $s \mapsto A(s)$ im Allgemeinen nicht stetig.

2. Methodik und neuer mathematischer Ansatz

Um dieses Problem zu lösen, führen die Autoren eine neue mathematische Struktur ein und nutzen eine spezifische Zerlegung des Operators.

A. Fast erweiterbare schwache Hesse-Felder (Almost Extendable Weak Hessian Fields)

Die Autoren definieren den Begriff des fast erweiterbaren schwachen Hesse-Feldes (almost extendable weak Hessian field). Dies ist eine Verallgemeinerung des Konzepts eines „erweiterbaren" Feldes, das für nicht-stetige Situationen notwendig ist.

Ein schwaches Hesse-Feld $A$ wird als fast erweiterbar bezeichnet, wenn es eine Zerlegung in zwei Operatoren erlaubt:
$$A = F + C$$
wobei:

1. $F$ (Der stetige Teil): Ein stetiges Feld von Operatoren ist, das die Hauptstruktur behält und die Fredholm-Eigenschaft trägt.
2. $C$ (Der kompakte Teil): Ein Operator ist, der „niedrigerer Ordnung" ist (lower order). Obwohl $C$ selbst unstetig sein kann, wirkt er als Multiplikationsoperator, der aufgrund der Kompaktheit der Einbettungen in den verwendeten Sobolev-Räumen einen kompakten Operator darstellt.

B. Die Zerlegung des Operators

Im konkreten Fall des para-Darboux-Hessians wird der Operator $A_u$ wie folgt zerlegt:
$$A_u \eta = \underbrace{B_u^{-1} \dot{\eta}}_{F} + \underbrace{\bar{L}_u(\eta, \dot{u})}_{C} - a_u \eta$$

• Der Term $F$ enthält die Ableitung $\partial_t$ und ist stetig in $s$, da er die unstetige Abhängigkeit von $\dot{u}$ vermeidet.
• Der Term $C$ enthält die Tensor-Komponente $\bar{L}$, die von $\dot{u}$ abhängt. Da $\dot{u}$ unstetig sein kann, ist $C$ unstetig. Allerdings ist $C$ von niedrigerer Ordnung (keine Ableitung von $\eta$) und führt zu einem kompakten Multiplikationsoperator.

C. Anwendung des Satzes von Rabier

Die Autoren nutzen einen Satz von Rabier, der die Fredholm-Eigenschaft für Operatoren der Form $D = \partial_s + A$ garantiert, sofern $A$ stetig ist.

• Da $F$ stetig ist, ist der Operator $D_F = \partial_s + F$ nach Rabier Fredholm.
• Da $C$ einen kompakten Operator $M_C$ definiert, ist der ursprüngliche Operator $D = D_F + M_C$ eine kompakte Störung von $D_F$.
• Da die Fredholm-Eigenschaft und der Index unter kompakten Störungen invariant sind, ist auch $D$ Fredholm.

3. Wichtige Ergebnisse

1. Hauptsatz (Fredholm-Theorem): Der linearisierte Floer-Operator (Robbin–Salamon-Operator) $D_u = \partial_s + A_u$, der mit einem Pfad in einem fast erweiterbaren schwachen Hesse-Feld assoziiert ist, ist ein Fredholm-Operator. Dies gilt auch dann, wenn die Hesse-Matrix $A_u$ unstetig ist.
2. Index-Gleichheit: Der Fredholm-Index des Operators auf dem Raum $W^{1,2}_{H_0} \cap L^2_{H_1}$ ist identisch mit dem Index des Operators auf dem Raum $W^{1,2}_{H_1} \cap L^2_{H_2}$.
3. Konstruktion der Zerlegung: Es wird explizit gezeigt, dass der para-Darboux-Hessian (sowohl im ungestörten als auch im gestörten Fall) tatsächlich die Eigenschaft der „fast erweiterbaren" Struktur besitzt. Dies erfordert detaillierte Abschätzungen in Sobolev-Räumen (insbesondere die Multiplikationseigenschaften von $W^{1,2}$ und $L^2$).
4. Kompaktheit unstetiger Störungen: Ein zentrales technisches Ergebnis ist der Beweis (Theorem B.3), dass ein Multiplikationsoperator mit einer $L^2$-Funktion (die nicht stetig sein muss) als Operator von $W^{1,2} \cap L^2$ nach $L^2$ kompakt ist. Dies ist entscheidend, um die Unstetigkeit des Terms $C$ zu „absorbieren".

4. Bedeutung und Ausblick

• Erweiterung der Floer-Theorie: Die Arbeit legt den Grundstein für die Anwendung der Floer-Theorie auf eine breitere Klasse von Problemen, insbesondere solche, die durch Hamiltonsche Verzögerungsgleichungen beschrieben werden. In diesen Fällen sind die natürlichen Koordinaten oft nicht Darboux-Koordinaten, und die Unstetigkeit der Hesse-Matrix ist unvermeidbar.
• Strukturelles Verständnis: Die Einführung des Konzepts der „fast erweiterbaren schwachen Hesse-Felder" bietet ein neues Werkzeug, um die Struktur der Floer-Theorie in allgemeinen geometrischen Settings zu verstehen, jenseits der idealisierten Darboux-Umgebungen.
• Mathematische Strenge: Der Artikel löst das Problem der Unstetigkeit rigoros, indem er die klassische Stetigkeitsforderung durch eine Zerlegung in einen stetigen Hauptteil und einen kompakten Störteil ersetzt. Dies ermöglicht die Nutzung der mächtigen Werkzeuge der spektralen Theorie und des Spectral Flow auch in nicht-glatten Settings.

Zusammenfassend stellt dieser Artikel einen bedeutenden methodischen Fortschritt dar, der die technischen Barrieren für die Anwendung der Floer-Homologie in nicht-standardisierten symplektischen Koordinaten und bei Verzögerungsgleichungen beseitigt.