Index zero of the slope operator on the cylinder
ProvedFiniteEnergyPlane.crIndex_slope_eq_zerofredholm-theoryfunctional-analysispseudoholomorphic-curves
Let , , and smooth with for and for . Consider on the cylinder (functions on , -periodic in ) the Cauchy-Riemann type operator
i.e. crApply with the zero-order term , acting on (W1p p 1) with values in (LpCyl 1 p).
Then the index of (crIndex) is .
Role. Conjugating by the weight turns this operator into on exponentially weighted spaces whose weights have slopes and at the two ends. The statement covers weights that differ at the two ends, so it applies to the tangential part of perturbation problems for holomorphic curves with a removable point at one end and a nondegenerate asymptotic end at the other.
Preamble
import Definitions.Def_CauchyRiemannIndex_Setting import Mathlib.Analysis.Calculus.ContDiff.Basic
Formal statement
namespace FiniteEnergyPlane
open MeasureTheory Metric Filter Topology Set CauchyRiemannIndex
open scoped ContDiff ENNReal Real
/-- For slopes `a, b ∈ (0, 2π)` of a smooth weight `χ`, the operator `∂ₛ + J₀ ∂ₜ + χ'(s)` on the
cylinder has Fredholm index `0`. -/
theorem crIndex_slope_eq_zero (p : ℝ≥0∞) [Fact (1 ≤ p)] (hp : 1 < p) (hp' : p ≠ ⊤)
(a b : ℝ) (ha : a ∈ Ioo 0 (2 * π)) (hb : b ∈ Ioo 0 (2 * π))
(χ : ℝ → ℝ) (hχ : ContDiff ℝ ∞ χ) (hχa : ∀ s ≤ -1, deriv χ s = a)
(hχb : ∀ s ≥ 1, deriv χ s = b) :
crIndex p (fun x => deriv χ x.1 • (1 : Mat 1)) = 0 := by
sorry
end FiniteEnergyPlane
Source
Setting of C. Wendl, Lectures on Holomorphic Curves in Symplectic and Contact Geometry (arXiv:1011.1690), Ch. 4; used for U. Hryniewicz, Fast finite-energy planes in symplectizations and applications, Trans. AMS 364 (2012), arXiv:0812.4076