Alphabeta Math
LemmaStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedprecheck passverified 2026-11-04 (gpt-6.1-sol)
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Exponential energy decay on small-gradient almost complex cylinder necks

Statement

Assume Countable Choice. Fix a compact smooth Riemannian manifold (X,g) and a period T>0. Consider smooth families J(σ,τ,x)2=−I on cylinders [a,b]×(R/TZ), with uniform bounds for J and its first two target covariant derivatives. There are constants ε,c,C>0 depending only on these data such that the following holds. If uσ+J(σ,τ,u)uτ=0,sup⁡∣du∣g+sup⁡(∣∂σJ∣+∣∂τJ∣)≤ε, then a fixed smooth embedding F:X→RN can be chosen once for the target so that, for V=F∘u and e(σ)=12∫0T∣Vτ∣2dτ, e′′≥c2e,e(σ)≤e(a)e−c(σ−a)+e(b)e−c(b−σ). Consequently, for 0≤R≤(b−a)/2, Eg(u;[a+R,b−R]×ST1)≤C(e(a)+e(b))e−cR. Here Eg=12∫∣du∣g2. The energy density at either endpoint is bounded by CTε2. Thus central neck energies tend to zero as R→∞, uniformly in neck length, for maps satisfying these hypotheses. This statement concerns closed cylinders, not boundary necks.

Facts & Assumptions

Given: The compact target, uniform coefficient bounds, fixed angular period, equation, and smallness hypotheses of the statement.

[F1]

The direct covariant computation in Interior small-energy gradient control for almost complex maps proves, writing q=uσ, ∇σuσ+∇τuτ=(∇JqJ)q+J(∇qJ)q+(∂τJ+J∂σJ)q. In particular its norm is at most C∣du∣g2+Cκ∣du∣g, where κ=sup⁡(∣∂σJ∣+∣∂τJ∣) denotes only explicit source derivatives.

[F2]

The Countable Choice proof of The Fourier basis and Parseval's identity on the finite torus gives periodic Wirtinger: for a smooth mean-zero vector-valued periodic w, ∫0T∣wτ∣2≥(2π/T)2∫0T∣w∣2, by applying Parseval componentwise and observing that the zero Fourier coefficient vanishes.

Proof

1.1givenconstructalgebra

Choose a finite chart cover and smooth subordinate functions ϕi with compact supports in those charts and sum one, obtained by Euclidean bumps and normalization. The map F(x)=(ϕi(x),ϕi(x)xi(x))i is a smooth embedding: at an index where ϕi>0, equality of the displayed coordinates recovers the original chart point, and vanishing of all their derivatives recovers a zero tangent vector. Compactness makes it a homeomorphism onto its image and makes its differential uniformly comparable with the metric g. Its first and second covariant derivatives have uniform bounds. This fixes F independently of the cylinder and its map.

2.1F1step 1.1givenalgebra

Let H=ΔV, taking the ordinary flat source Laplacian componentwise. The composition rule and [F1] give H=dF(∇σuσ+∇τuτ)+(∇dF)(uσ,uσ)+(∇dF)(uτ,uτ). Uniform coefficient and embedding bounds therefore give ∣H∣≤C0(∣du∣g+κ)∣du∣g. The original equation and the bound for J give ∣du∣g≤C1∣uτ∣g≤C2∣Vτ∣. After imposing the stated smallness, ∣H∣≤C3ε∣Vτ∣. This is a pointwise estimate on actual maps into X; no ambient extension of J or model moduli equation is assumed.

3.1F2step 2.1constructalgebra

Put w=Vτ. It has zero angular mean because V is periodic, and Δw=∂τH because derivatives of a smooth Euclidean map commute. Twice differentiating e=12∫∣w∣2 and integrating by parts only in the periodic angular direction gives e′′=∫0T(∣wσ∣2+∣wτ∣2−⟨wτ,H⟩)dτ. There are no endpoint terms in this integration. By step 2.1 and Young's inequality this is at least ∫0T∣wσ∣2+12∣wτ∣2−12C32ε2∣w∣2 dτ. Let λ=(2π/T)2 and choose ε>0 so that C32ε2≤λ/2. Then [F2] gives e′′≥(λ/4)∫∣w∣2=(λ/2)e. Set c=λ/2.

4.1step 3.1constructalgebra

Let h(σ)=e(a)e−c(σ−a)+e(b)e−c(b−σ). It satisfies h′′−c2h=0 and dominates e at both endpoints. If e−h had a positive value, it would have a positive interior maximum; there its second derivative is nonpositive, contrary to (e−h)′′≥c2(e−h)>0. Thus e≤h throughout the cylinder, giving the claimed pointwise exponential bound. The argument also covers vanishing endpoint values, since e is nonnegative and smooth.

5.1step 1.1step 2.1step 4.1algebra∎

The equation and uniform metric comparability give Eg(u;[a+R,b−R]×ST1)≤C4∫a+Rb−Re(σ)dσ. Integrating the two exponentials from step 4.1 bounds the last integral by c−1(e(a)+e(b))e−cR. Finally ∣Vτ∣≤C∣uτ∣g≤Cε, so e(a)+e(b)≤CTε2. This proves all assertions, including uniform decay of central neck energy. A boundary neck has angular endpoint terms and is not covered by the periodic argument.

Depends on

Used by

Dependency tree · two levels

22 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources