NEAR OPTIMAL BOUNDS IN FREIMAN'S THEOREM
NEAR OPTIMAL BOUNDS IN FREIMAN'S THEOREM
NEAR OPTIMAL BOUNDS IN FREIMAN'S THEOREM
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λ;