Research proof index

The vanishing order of F at infinity is 2. Blueprint: F = 720² * q² * (1 + O(q)), so F / q² → 720² as im(z) → ∞.

F₁ has exponential decay at infinity (it's essentially D E₄ which decays).

The error terms satisfy f₂ + f₄ = f₃ (from Jacobi identity)

From g = 0 and h = 0, deduce f₂ = 0. Proof: From g = 0 we get a relation between f₂ and f₄. Combined with h = 0, we show f₄² · (3 · H_sum_sq) = 0. Since H_sum_sq → 1 ≠ 0, we get f₄ = 0, then f₂ = 0 follows from h = f₂² = 0.

f₂ transforms under S as f₂|S = -f₄. Proof outline using serre_D_slash_equivariant: 1. (serre_D 2 H₂)|[4]S = serre_D 2 (H₂|[2]S) = serre_D 2 (-H₄) = -serre_D 2 H₄ 2. (H₂(H₂ + 2H₄))|[4]S = (-H₄)((-H₄) + 2(-H₂)) = H₄(H₄ + 2H₂) 3. f₂|[4]S = -serre_D 2 H₄ - (1/6)H₄(H₄ + 2H₂) = -f₄ Key lemmas used: - serre_D_slash_equivariant: (serre_D k F)|[k+2]γ = serre_D k...

f₂ transforms under T as f₂|T = -f₂. Proof outline: 1. (serre_D 2 H₂)|[4]T = serre_D 2 (H₂|[2]T) = serre_D 2 (-H₂) = -serre_D 2 H₂ 2. (H₂(H₂ + 2H₄))|[4]T = (-H₂)((-H₂) + 2H₃) Using Jacobi H₃ = H₂ + H₄: -H₂ + 2H₃ = -H₂ + 2(H₂ + H₄) = H₂ + 2H₄ So: (H₂(H₂ + 2H₄))|[4]T = (-H₂)(H₂ + 2H₄) 3. f₂|[4]T = -serre_D 2 H₂ - (1/6)(-H₂)(H₂ + 2H₄) = -serre_D 2 H₂ + (1/6)...