20.07.2013 Views

NEAR OPTIMAL BOUNDS IN FREIMAN'S THEOREM

NEAR OPTIMAL BOUNDS IN FREIMAN'S THEOREM

NEAR OPTIMAL BOUNDS IN FREIMAN'S THEOREM

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

HOLOMORPHIC OPEN BOOK DECOMPOSITIONS 33<br />

Hence a is a harmonic function on S and therefore constant. So far, we also know that<br />

the image of u lies on a Reeb trajectory, and it remains to show that this trajectory is<br />

actually periodic.<br />

Let τ : ˜S → S be the universal covering map. The complex structure j lifts to a<br />

complex structure ˜j on ˜S. Now pick smooth functions f, g on ˜S such that<br />

dg = τ ∗ γ =: ˜γ, −df = τ ∗ (γ ◦ j) = ˜γ ◦ ˜j.<br />

Then the map u ◦ τ : ˜S → M satisfies<br />

(u ◦ τ) ∗ λ = df.<br />

Theimageofu◦ τ lies on a trajectory x of the Reeb vector field in view of<br />

<br />

D(u ◦ τ)(z)ζ = Df (z)ζ · Xλ (u ◦ τ)(z) ,<br />

hence (u ◦ τ)(z) = x(h(z)) for some smooth function h on ˜S, and it follows that, after<br />

maybe adding a constant to f ,wehave<br />

(u ◦ τ)(z) = x f (z) .<br />

The function f does not descend to S. If it did, it would have to be constant since it<br />

is harmonic. On the other hand, this would imply that u is constant in contradiction to<br />

our assumption that it is not. Therefore, there is a point q ∈ S and two lifts z0,z1 ∈ ˜S<br />

such that f (z0) >f(z1).Letℓ : S 1 → S be a loop which lifts to a path α :[0, 1] → ˜S<br />

with α(0) = z0 and α(1) = z1. Considering the map<br />

v := u ◦ ℓ : S 1 −→ M,<br />

we see that v(t) = (u ◦ τ ◦ α)(t) = x f (α(t)) and x(f (z0)) = x(f (z1)), that is, the<br />

trajectory x is a periodic orbit. Hence the image of u is a periodic orbit for the Reeb<br />

vector field. <br />

The following is the main result of this paper.<br />

<strong>THEOREM</strong> 1.6<br />

Let M be a closed 3-dimensional manifold, and let λ ′ be a contact form on M. Then<br />

the following holds for a suitable contact form λ = fλ ′ ,wheref is a positive function<br />

on M. There exists a smooth family (S,jτ ,Ɣτ , ũτ = (aτ ,uτ ),γτ )τ∈S 1 of solutions to<br />

(1.1) for a suitable compatible complex structure J :kerλ → ker λ such that<br />

• all maps uτ have the same asymptotic limit K at the punctures, where K is a<br />

finite union of periodic trajectories of the Reeb vector field Xλ;

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!