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 43<br />

and, in particular,<br />

Xδ(θ,r,φ) = ∂<br />

∂φ for r ≥ 1 − ε0, (2.5)<br />

which implies that the Reeb vector fields Xδ converge as δ ↘ 0. In addition to λδ being<br />

contact forms for δ>0, we also want the given open book decomposition to support<br />

ker λδ, hence Xδ needs to be transverse to the pages of the open book decomposition<br />

which is equivalent to γ ′ 1 (r) = 0. A curve γ (r) fulfilling these conditions can clearly<br />

be constructed. <br />

The following result shows that we can always assume that a Giroux contact form is<br />

equal to any of the forms provided by Proposition 2.4.<br />

PROPOSITION 2.5<br />

Let M be a closed 3-dimensional manifold with contact structure ξ. Then, for every<br />

δ>0, there is a diffeomorphism ϕδ : M → M such that ker λδ = ϕ∗ξ where λδ is<br />

given by Proposition 2.4.<br />

Proof<br />

Existence of an open book decomposition supporting ξ follows from the existence<br />

part of Giroux’s theorem. On the other hand, Proposition 2.4 yields contact forms λδ<br />

such that ker λδ is also supported by the same open book decomposition as ξ for any<br />

δ>0. By the uniqueness part of Giroux’s theorem, ξ and ker λδ are diffeomorphic. <br />

It follows from our previous construction of the forms λδ that λ0 satisfies λ0 ∧dλ0 > 0<br />

on ∂W ×D1−ε0 and that λ0 = dφ otherwise. For δ → 0, the Reeb vector fields Xδ will<br />

converge to some vector field X0, which is the Reeb vector field of λ0 if r

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

Saved successfully!

Ooh no, something went wrong!