Disk-like surfaces of section and symplectic capacities

We prove that the cylindrical capacity of a dynamically convex domain in $\mathbb{R}^4$ agrees with the least symplectic area of a disk-like global surface of section of the Reeb flow on the boundary of the domain. Moreover, we prove the strong Viterbo conjecture for all convex domains in $\mathbb{R}^4$ which are sufficiently $C^3$ close to the round ball. This generalizes a result of Abbondandolo-Bramham-Hryniewicz-Salom\~{a}o establishing a systolic inequality for such domains.

We will be mainly concerned with symplectic capacities of domains in Euclidean space R 2n = C n equipped with the standard symplectic form ω 0 := n j=1 dx j ∧ dy j .
We define the ball B(a) and cylinder Z(a) of symplectic width a > 0 to be the sets A symplectic capacity is called normalized if it satisfies Two examples of normalized symplectic capacities which are easy to define are the Gromov width c G and the cylindrical capacity c Z .We use the notation A Studying the dynamical properties of Reeb flows, such as the existence of periodic orbits, is a topic of great interest in symplectic geometry.Contact forms naturally arise on the boundaries of convex or, more generally, star-shaped domains X ⊂ R 2n .We equip R 2n with the radial Liouville vector field Z 0 and the associated Liouville 1-form λ 0 (1.1) (x j dy j − y j dx j ).
They are related to the symplectic form ω 0 via dλ 0 = ω 0 and ι Z 0 ω 0 = λ 0 .Consider a closed, connected hypersurface Y ⊂ R 2n .The restriction of λ 0 to Y is a contact form if and only if the Liouville vector field Z 0 is transverse to Y .If Y has this property, we call it a star-shaped hypersurface and the domain bounded by Y a star-shaped domain.Note that all star-shaped hypersurfaces are contactomorphic to the sphere S 2n−1 equipped with its standard contact structure.Moreover, any contact form on S 2n−1 defining the standard contact structure is strictly contactomorphic to the restriction of λ 0 to some star-shaped hypersurface.Thus studying starshaped hypersurfaces is equivalent to studying contact forms on S 2n−1 defining the standard contact structure.
It was proved by Rabinowitz in [38] that there exists a periodic Reeb orbit on the boundary of any star-shaped domain X ⊂ R 2n .If γ is a periodic orbit on ∂X, we define its action A(γ) to be The capacities c HZ , c SH , c EH k and c CH k have the following important property: Their value on a star-shaped domain X ⊂ R 2n is equal to the action A(γ) of some (possibly multiply covered) periodic orbit γ on ∂X.The capacities c ECH k have a similar property.Their values can be represented as the sum of the actions of finitely many periodic orbits.1.2.Viterbo's conjecture.In [41], Viterbo stated the following fascinating conjecture concerning normalized symplectic capacities.
Note that inequality (1.2) holds for the Gromov width c G .This is an easy consequence of the fact that symplectomorphisms are volume preserving.For all other normalized capacities introduced above, Conjecture 1.1 is open.It was proved by Artstein-Avidan-Karasev-Ostrover [5] that Conjecture 1.1 implies Mahler's conjecture, an old conjecture in convex geometry.This is one of the reasons for the recent increase in interest in Viterbo's conjecture.There is a stronger version of Viterbo's conjecture.
Conjecture 1.2 (Strong Viterbo conjecture).Let X ⊂ R 2n be a convex domain.Then all normalized symplectic capacities agree on X.
The strong Viterbo conjecture together with the above observation that Conjecture 1.1 holds for c G immediately implies that Conjecture 1.1 is true for all normalized symplectic capacities.It is an easy consequence of the definitions that any normalized symplectic capacity c satisfies c G ≤ c ≤ c Z .Thus Conjecture 1.2 is equivalent to saying that Gromov width c G and cylindrical capacity c Z agree on convex domains.The convexity assumption in Viterbo's conjectures is essential.Even within the class of star-shaped domains there exist domains X with arbitrarily small volume such that the cylindrical capacity satisfies c Z (X) ≥ 1 (see Hermann's paper [24]).We refer to Gutt-Hutchings-Ramos [21] for a recent account on Viterbo's conjectures.1.3.Embeddings into cylinders.Except for the Gromov width c G and the cylindrical capacity c Z , the construction of most, if not all, known normalized capacities is based on Hamiltonian dynamics.There has been a significant amount of work showing that many of these dynamical capacities agree.For example, it follows from work of Ekeland, Hofer, Zehnder, Abbondandolo, Kang and Irie that the values of the capacities c HZ , c SH , c EH 1 and c CH 1 on a convex domain X ⊂ R 2n all agree with A min (X), the minimal action A(γ) of a periodic orbit γ on ∂X.We refer to Theorem 1.12 in [21] for a summary.On the other hand, except for the obvious inequalities c G ≤ c ≤ c Z , almost nothing is known about the relationship between the dynamical capacities and the embedding capacities c G and c Z .The purpose of our work is to bridge the gap between dynamics and symplectic embeddings.
While it is a well established strategy to use dynamics to obstruct symplectic embeddings, in this paper we go in the opposite direction and use dynamical information to construct symplectic embeddings.The dynamical information is given in terms of global surfaces of section, an important concept in dynamics going back to Poincaré.Let α be a contact form on a closed 3-manifold Y .We call an embedded surface (with boundary) Σ ⊂ Y a global surface of section for the Reeb flow if the boundary ∂Σ is embedded and consists of closed, simple Reeb orbits, the Reeb vector field R is transverse to the interior int(Σ), and every trajectory not contained in ∂Σ meets int(Σ) infinitely often forward and backward in time.Surfaces of section are an extremely useful tool in three dimensional Reeb dynamics.For example, they have been used to show that every (non-degenerate) Reeb flow on a closed contact 3-manifold must have either two or infinitely many periodic orbits (see [26], [10] and [9]).In this paper, we will be concerned with disk-like global surfaces of section, i.e. the case that Σ is diffeomorphic to the 2-dimensional closed disk.This implies that the underlying contact manifold must be the 3-sphere S 3 with its unique tight contact structure.For more details on surfaces of section we refer to section 2.2.
Let us begin by stating the following general dynamical criterion guaranteeing the existence of symplectic embeddings into a cylinder.Then there exists a symplectic embedding X s ֒→ Z(a).In particular, we have c Z (X) ≤ a.
The boundary of a general star-shaped domain need not possess a disk-like global surface of section (see van Koert's paper [39]).In this case, Theorem 1.3 is vacuous.However, Theorem 1.3 is particularly useful when applied to the important class of dynamically convex domains because for such domains there are general existence theorems for disk-like global surfaces of section due to Hofer-Wysocki-Zehnder [26], Hryniewicy-Salomão [31] and Hryniewicz [28].Ever since the notion of dynamical convexity was first introduced in [26], it has played a significant role in numerous papers on Reeb dynamics (see e.g.[28], [3], [4], [17], [42], [33], just to name a few).We recall the definition of dynamical convexity from [26].
Definition 1.4 ( [26, Definition 1.2]).A contact form α on S 3 defining the unique tight contact structure is called dynamically convex if every periodic Reeb orbit γ of α has Conley-Zehnder index CZ(γ) at least 3.A star-shaped domain X ⊂ R 4 is called dynamically convex if the restriction of the standard Liouville 1-form λ 0 (see equation (1.1)) to the boundary ∂X is dynamically convex.
Remark 1.5.The Conley-Zehnder index CZ(γ) of a periodic Reeb orbit depends on the choice (up to homotopy) of a symplectic trivialization of the contact structure along the orbit.On S 3 every contact structure admits a unique global trivialization up to homotopy.This is the trivialization used in Definition 1.4.Let us also point out that usually the Conley-Zehnder index is only defined for non-degenerate orbits.If γ is degenerate, then CZ(γ) in Definition 1.4 refers to the lower semicontinuous extension of the Conley-Zehnder index.
It is proved in [26] that every convex domain X ⊂ R 4 whose boundary has positive definite second fundamental form is dynamically convex.
Let us introduce the following terminology.Definition 1.6.A simple closed orbit of a tight Reeb flow on S 3 is called a Hopf orbit if it is unknotted and has self-linking number equal to −1 when viewed as a transverse knot.
The reason for this terminology is that the fibers of the Hopf fibration on S 3 are unknotted and have self-linking number −1.It is shown by Hofer-Wysocki-Zehnder [25] that the boundary of every star-shaped domain carries at least one Hopf orbit.Given a star-shaped X ⊂ R 4 , let us therefore define (1.3)A Hopf (X) := inf {A(γ) | γ is Hopf orbit on ∂X} ∈ (0, ∞).
The significance of Hopf orbits to our discussion is the following.By work of Hryniewicz-Salomão [31] and Hryniewicz [28], a simple periodic orbit of a dynamically convex Reeb flow on S 3 bounds a disk-like global surface of section if and only if it is a Hopf orbit.
Our main result provides a dynamical characterization of the cylindrical capacity of 4-dimensional dynamically convex domains.It can be thought of as a generalization of the Gromov nonsqueezing theorem from the ball to arbitrary dynamically convex domains.
Theorem 1.7.Let X ⊂ R 4 be a dynamically convex domain and let a > 0. Then there exists a symplectic embedding X s ֒→ Z(a) if and only if a ≥ A Hopf (X).In particular, this implies that c Z (X) = A Hopf (X).
Moreover, the infimum in the definition of c Z (X) is attained, i.e. there exists an optimal embedding of X into a smallest cylinder.
Let us point out that sharp symplectic embedding results such as Theorem 1.7 are rather rare.Moreover, most known results concern highly symmetric toric domains with integrable flows on their boundaries.In contrast to this, the Reeb dynamics of dynamically convex domains can be extremely rich.It is also worth mentioning that while the cylindrical capacity c Z is apriori rather elusive, the quantity A Hopf can in principle be computed numerically given an explicit domain.
Hryniewicz-Hutchings-Ramos show in [29] that A Hopf (X) agrees with the first embedded contact homology capacity c ECH 1 (X) for all dynamically convex domains X ⊂ R 4 .We obtain the following corollary.
Corollary 1.8.For all dynamically convex domains X ⊂ R 4 we have 1.4.The local strong Viterbo conjecture.Abbondandolo-Bramham-Hryniewicz-Salomão [2] proved that for all domains X ⊂ R 4 whose boundary ∂X is smooth and sufficiently close to the unit sphere with respect to the C 3 -topology, the minimal action A min (X) satisfies inequality (1.2).This result was generalized to small perturbations of more general 3-dimensional Zoll Reeb flows by Benedetti-Kang [6] and to arbitrary dimension by Abbondandolo-Benedetti in [1].A consequence of these works is that the capacities c HZ , c SH , c EH Theorem 1.9.Let X ⊂ R 4 be a convex domain.If ∂X is sufficiently close to the unit sphere S 3 ⊂ R 4 with respect to the C 3 -topology, then all normalized symplectic capacities agree on X.
Question 1.10.Let X ⊂ R 4 be a (dynamically) convex domain.Must a systole of X, i.e. a Reeb orbit on ∂X of least action, be a Hopf orbit and therefore bound a disk-like global surface of section?
This question is particularly interesting in view of Theorem 1.7.An affirmative answer would imply that A min (X) = c Z (X) for all (dynamically) convex domains.This would force all normalized capacities which are bounded from below by A min (X) to be equal to the cylindrical capacity.The number of known normalized capacities would be cut down to just two: the Gromov width and the cylindrical capacity.
Equality of A min and A Hopf was proved by Hainz [22] (see also [23]) under certain curvature assumptions.
Theorem 1.11 (Hainz).Let X ⊂ R 4 be a strictly convex domain.Assume that the principal curvatures a ≥ b ≥ c of the boundary ∂X satisfy the pointwise pinching condition a ≤ b + c.Then any periodic Reeb orbit γ on ∂X of Conley-Zehnder index 3 is a Hopf orbit.
It follows from Ekeland's book [11] (see in particular Theorem 3 and Proposition 9 in chapter V) that for convex domains X with strictly positively curved boundary a Reeb orbit of minimal action has Conley-Zehnder index 3.Thus we have A min (X) = A Hopf (X) if X satisfies the curvature assumptions in Theorem 1.11.
be the graph of H.This is a hypersurface in D of codimension 1. Hence the symplectic form ω 0 induces a characteristic foliation on Γ(H).It is an easy computation (see Lemma 3.3) that the vector field • ∂ s is tangent to the characteristic foliation on Γ(H).Observe that the projection of the flow of R to the disk D agrees with the Hamiltonian flow φ t H on D induced by H.In particular, we see that the image of the map is a disk-like surface of section of the flow on Γ(H) and that the first return map is given by φ 1 H .
Main construction.Assume that the Hamiltonian H is strictly positive in the interior int(D) of the disk and vanishes on the boundary ∂D.We abbreviate Consider the map Note that the image of Φ is precisely the cylinder Z(π).We observe that Φ restricts to a symplectomorphism Φ : a smooth hypersurface away from the circle ∂D × {0}.Under suitable assumptions on the boundary behaviour of H, it is smooth everywhere.In order to keep the introduction simple, let us ignore this issue for now.Let A(H) denote the domain bounded by Φ(Γ(H)).Since Φ restricts to a symplectomorphism on D + \ D 0 , it maps the characteristic foliation on Γ(H) to the characteristic foliation on ∂A(H).Thus Φ • f parametrizes a disk-like surface of section of the characteristic foliation on ∂A(H).The first return map is given by φ 1 H .Note that ∂A(H) need not be star-shaped or even of contact type.
Embeddings into the cylinder.Now suppose that X ⊂ C 2 is a star-shaped domain and that the boundary ∂X admits a disk-like surface of section Σ ⊂ ∂X.After scaling, we can always assume that the symplectic area of Σ is equal to π. Suppose that g : D → Σ is a parametrization of Σ such that g * ω 0 = ω 0 .Here ω 0 denotes the standard symplectic form on both C 2 and C. Let φ ∈ Ham(D, ω 0 ) be the first return map (see equation (2.4)).In section 2.2, we explain how to lift φ to an element φ ∈ Ham(D, ω 0 ) of the universal cover.Such a lift depends on a choice of trivialization which, roughly speaking, is an identification of ∂X \ ∂Σ with the solid torus.In section 2.2 we classify isotopy classes of such trivializations via an integer-valued function called degree.Let φ denote the lift of φ with respect to a trivialization of degree 0. Suppose that φ can be generated by a 1-periodic Hamiltonian H which vanishes on the boundary and is strictly positive in the interior.The above discussion shows that ∂X and ∂A(H) admit disk-like surfaces of section whose first return maps agree.In fact, one can show more: The lifts of the first return maps to Ham(D, ω 0 ) (with respect to trivializations of degree 0) agree as well.We use a well-known result of Gromov and McDuff (Theorem 3.9) to show that this in fact implies that the domains X and A(H) must be symplectomorphic.By definition, A(H) is contained in the cylinder Z(π).Therefore, we obtain an embedding of X into the cylinder Z(π).We make these arguments precise in Theorem 3.1.Unfortunately, we do not know whether the lift of the first return map of a disk-like surface of section with respect to a trivialization of degree 0 can always be generated by a Hamiltonian which vanishes on the boundary and is strictly positive in the interior.In order to resolve this issue, let us observe that if H and G are Hamiltonians vanishing on the boundary ∂D and strictly positive in the interior int(D), then the inequality H ≤ G implies the inclusion A(H) ⊂ A(G).Roughly speaking, this says that we can increase the Hamiltonian generating the first return map by making the domain bigger.More precisely, in Proposition 3.2 we prove that any star-shaped domain with a disk-like surface of section in its boundary can be symplectically embedded into a bigger star-shaped domain whose boundary admits a disk-like surface of section of the same area and with the property that the degree 0 lift of the first return map can be generated by a positive Hamiltonian.Theorem 1.3 is an easy consequence of Theorem 3.1 and Proposition 3.2.
Ball embeddings.Suppose that the degree 0 lift of the first return map of the surface of section Σ ⊂ ∂X can be generated by a Hamiltonian H which satisfies the inequality Then the domain A(H) is squeezed between the ball B(π) and the cylinder Z(π), i.e.
Since X is symplectomorphic to A(H), this implies that c G (X) = c Z (X).The strategy of the proof of Theorem 1.9 is to show that if ∂X is sufficiently close to the round sphere, then the shortest Reeb orbit on ∂X must bound a disk-like surface of section with the property that the degree 0 lift of the first return map can be generated by a Hamiltonian satisfying (1.4).This is the subject of section 4 and makes use of generalized generating functions as introduced in [2].
Let us sketch the main ideas in a special case.We assume that g : D → Σ ⊂ ∂X parametrizes a surface of section whose boundary orbit ∂Σ has minimal action among all closed Reeb orbits on ∂X.Moreover, assume that g * ω 0 = ω 0 .Let φ ∈ Ham(D, ω 0 ) be the degree 0 lift of the first return map φ to the universal cover.The periodic orbits on ∂X different from the boundary orbit ∂Σ correspond to the periodic points of φ.As explained in section 2.1, any fixed point p of φ has a well-defined action σ φ (p) depending on the lift φ to the universal cover.Lifts with respect to a trivialization of degree 0 have the property that σ φ (p) is equal to the action of the corresponding closed Reeb orbit on ∂X (see Lemma 2.5).Since ∂Σ is assumed to have minimal action, this implies that for all fixed points p of φ.If ∂X is the unit sphere S 3 , then the degree 0 lift of the first return map φ is equal to the counter-clockwise rotation by angle 2π.Let us denote this rotation by ρ ∈ Ham(D, ω 0 ).If ∂X is sufficiently close to S 3 with respect to the C 3 -topology, then φ is C 1close to ρ.This is proved in [2] and explained in section 5.In order to simplify the discussion, let us assume that φ is actually equal to ρ in a small neighbourhood of the boundary ∂D.Therefore, we can regard ψ := ρ −1 • φ as an element of Ham c (D, ω 0 ), the group of Hamiltonian diffeomorphisms compactly supported in the interior int(D).It is C 1 -close to the identity and it follows from (1.5) that the action σ ψ (p) is non-negative for all fixed points p.The following result is a special case of Corollary 4.3 in section 4. Proposition 1.12 (Special case of Corollary 4.3).Let ψ ∈ Ham c (D, ω 0 ) be a Hamiltonian diffeomorphism compactly supported in the interior int(D).Suppose that all fixed points of ψ have non-negative action and that ψ is close to the identity with respect to the C 1 -topology.Then ψ can be generated by a non-negative Hamiltonian H with support contained in int(D).
We apply Proposition 1.12 to the Hamiltonian diffeomorphism ψ = ρ −1 • φ.Let G denote the resulting Hamiltonian.We may assume that G t vanishes for time t close to 0 or 1.Let us define the Hamiltonian K by the formula This Hamiltonian generates the rotation ρ.Now set This defines a 1-periodic Hamiltonian.Its time-1-flow represents φ.Since G is non-negative, H satisfies inequality (1.4).As explained above, this implies that B(π) ⊂ A(H) ⊂ Z(π) and hence c G (X) = c Z (X).
Existence of non-negative Hamiltonians.Let us sketch the proof of Proposition 1.12.It follows the same basic idea as the proof of Corollary 4.3.The advantage of our simplified setting here is that we can work with standard generating functions (see e.g.chapter 9 in [36]) and do not have to appeal to the generalized ones from [2].Let ψ = (X, Y ) denote the components of ψ.There exists a unique generating function The fixed points of ψ are precisely the critical points of W .Moreover, the action of a fixed point is equal to the value of W at the fixed point.Since all fixed points are assumed to have non-negative action, this implies that W takes non-negative values at all its critical points.In particular, this implies that W is non-negative.For t ∈ [0, 1], let us define the generating function W t := t • W .Let ψ t denote the compactly supported symplectomorphism generated by W t .This defines an arc in Ham c (D, ω 0 ) from the identity to ψ.Let H be the unique compactly supported Hamiltonian generating the arc ψ t .Our goal is to show that H is non-negative.A direct computation shows that H 0 , the Hamiltonian H at time 0, is equal to W and in particular non-negative.The Hamiltonian H need not be autonomous.However, the following is true.For every fixed t ∈ [0, 1], the set of critical points of H t is equal to the set of critical points of W .Moreover, W and H t agree on this set.Hence H t takes non-negative values on its critical points.Therefore, the Hamiltonian H must be non-negative.
Approximation results.In general, the first return map of a disk-like surface of section need not be equal to the identity in any neighbourhood of ∂D.Nevertheless, it will be convenient to assume that the Reeb flow in a small neighbourhood of the boundary orbit ∂Σ has a specific simple form.More precisely, we want to assume that the local first return map of a small disk transverse to the orbit ∂Σ is smoothly conjugated to a rotation.The main purpose of section 5 is to prove that we may approximate a given contact form with contact forms having this property.This is slightly subtle because we need to keep track of a certain number of higher order derivatives of the Reeb vector field in order to be able to apply the results from section 4 to the first return map.
Organization.The rest of the paper is structured as follows: In §2 we review some preliminary material on area preserving disk maps ( §2.1) and global surfaces of section ( §2.2).
The main results of section 3, namely the embedding result Theorem 3.1 and Proposition 3.2 on modifications of star-shaped domains, are stated in §3.1.The construction of the domain A(H) is explained in §3.2.Proofs are given in §3.3 and §3.4.Note that the reader only interested in Theorems 1.3 and 1.7 on the cylindrical embedding capacity and not in the local version of the strong Viterbo conjecture (Theorem 1.9) may skip §4 and §5 and directly move on to §6, where we prove our main results.
The main results of §4 are Theorem 4.2 and Corollary 4.3 guaranteeing the existence of nonnegative Hamiltonians generating certain Hamiltonian diffeomorphisms.They are stated in §4.1.In §4.2 and §4.3 we review material from [2] on generalized generating functions.The only result that is not also explicitly explained in [2] is Proposition 4.10.The proofs of the main results of §4 are given in §4.4 and §4.5.
§5 is slightly technical in nature.The main result that is needed outside of this section is Proposition 5.1 on certain approximations of contact forms.
In §6 we give proofs of the main results of our paper.
Acknowledgments.We are deeply indepted Umberto Hryniewicz, whose talk on [29]  (1) In particular, item (1) in Lemma 2.1 implies that the value σ φ,λ (p) at a fixed point p of φ is independent of the choice of primitive λ and we will occasionally denote this value by σ φ (p).
The Calabi invariant Cal( φ) is defined to be the integral It follows from item (1) in Lemma 2.1 that this is independent of the choice of primitive λ and from item (2) that Cal : Diff(D, ω) → R is a group homomorphism.
Let (φ t ) t∈[0,1] be an arc in Diff(D, ω).Let X t be the vector field generating φ t .Since φ t preserves ω, the interior product ι Xt ω is a closed 1-form.Since D is simply connected, there exists a smooth function H t on D, unique up to addition of a constant, such that dH t = ι Xt ω.The vector field X t is tangent to the boundary ∂D.This implies that dH t vanishes on tangent vectors of ∂D.Thus H t is constant on the boundary.We will always use the normalization for all z ∈ D.

2.2.
Global surfaces of section.Let Y 3 be a closed oriented 3-manifold equipped with a nowhere vanishing vector field R. Let φ t denote the flow generated by R. Let Σ ⊂ Y be an embedded compact surface, possibly with boundary, which we also assume to be embedded.We call Σ a global surface of section for the flow φ t if the boundary ∂Σ consists of simple periodic orbits of φ t , the vector field R is transverse to int(Σ) and every trajectory of φ t which is not contained in ∂Σ meets int(Σ) infinitely often forward and backward in time.We will always orient surfaces of section such that R is positively transverse to Σ, i.e. the orientation of R followed by the orientation of Σ agrees with the orientation of Y .Consider a boundary orbit γ of Σ.We call γ positive if the orientation of γ given by R agrees with the boundary orientation of Σ and negative otherwise.We define the first return time and first return map by Studying the dynamics of the flow φ t is equivalent to studying the discrete dynamics of the diffeomorphism φ.Let Σ ′ be a second global surface of section with the same boundary orbits as Σ, i.e. ∂Σ ′ = ∂Σ.Then the respective first return maps φ and φ ′ are smoothly conjugated.
In order to describe the boundary behaviour, we recall a blow-up construction due to Fried [16].
Our exposition follows Florio-Hryniewicz [15].We define the vector bundle ξ := T Y / R on Y , where R is the subbundle of T Y spanned by R.Moreover, we define the circle bundle Since Σ is a surface of section, R is clearly transverse to Σ in the interior of Y .Moreover, all trajectories in the interior meet Σ forward and backward in time.Thus the condition for being ∂-strong is equivalent to requiring that Σ ∩ T γ is a surface of section for the projective linearized flow dφ t on T γ for all boundary orbits γ of Σ.
Lemma 2.4.Suppose that Σ ⊂ Y is a ∂-strong global surface of section.Then the first return time extends to a smooth function σ : Σ → R >0 and the first return map extends to a diffeomorphism φ : Σ → Σ.If Σ ′ is a second ∂-strong global surface of section with the same boundary orbits, then any transfer map extends to a diffeomorphism ψ : Σ → Σ ′ .
Proof.We simply observe that Σ being ∂-strong implies that the first return time and map of the lifted surface Σ are also defined on the boundary ∂Σ and smooth.The same argument applies to a transfer map ψ.
In this paper we will be mainly concerned with disk-like global surfaces of section, i.e. the case that Σ is diffeomorphic to the closed unit disk D. The manifold Y is then necessarily diffeomorphic to S 3 .Suppose that Σ is a ∂-strong disk-like global surface of section.It will be useful to lift the first return map φ : Σ → Σ to an element φ ∈ Diff(Σ) of the universal cover of the space Diff + (Σ) of orientation preserving diffeomorphisms of Σ.Such a lift depends on a choice of trivialization.Let π : Y → Y be the blow-up of Y at the boundary orbit of is simply the inclusion of Σ.Moreover, we require that ι τ * R dt > 0, where t denotes the coordinate on R/Z.Since Diff + (Σ) is connected, the space of trivializations is non-empty.Let T denote the set of isotopy classes of trivializations of Y .It is an affine space over π 1 (Diff + (Σ)) ∼ = Z.We exhibit an explicit bijection deg : T → Z as follows.Let τ be a trivialization and p ∈ ∂Σ a point in the boundary.Then the degree d of the map is independent of the choice of p and only depends on the isotopy class of τ .Here ∂Σ is oriented as the boundary of Σ.We define the degree of τ to be deg(τ ) := d.Given a trivialization τ , there is a natural lift φ of φ to Diff(Σ) constructed as follows.Let X denote the unique (positive) rescaling of the pullback vector field Let us now specialize our discussion of global surfaces of section to Reeb flows.Let α be a contact form on Y and let R be the induced Reeb vector field.We abbreviate ω := dα| Σ .This is a closed 2-form on Σ.It vanishes on the boundary ∂Σ and is a positive area form in the interior int(Σ).Note that by Stokes' theorem Σ must possess at least one positive boundary orbit.In particular, if Σ is a disk, then its boundary orbit must be positive.Let λ denote the restriction of α to Σ.This defines a primitive of ω.The first return time σ and map φ satisfy the identity This implies that φ preserves the area form ω. Similarly, one can show that a transfer map ψ between two global surfaces of section Σ and Σ ′ with the same boundary orbits is area preserving.
Lemma 2.5.Suppose that Σ is a ∂-strong disk-like global surface of section and let φ ∈ Diff(Σ, ω) denote the lift of the first return map φ with respect to a trivialization of degree 0. Then the action σ φ,λ agrees with the first return time σ.
Proof.We need to check that the first return time σ satisfies (2.1) and (2.2).The first identity is true by (2.6).Let (φ t ) t∈[0,1] be any arc in Diff + (Σ) representing φ.Let z ∈ ∂Σ be a point in the boundary and let γ : [0, 1] → ∂Σ be the path defined by γ(t) := φ t (z).Let δ : [0, σ(z)] → Y be the trajectory of φ t starting at z ∈ ∂Σ ∼ = ∂Σ.We can express σ φ,λ (z) and σ(z) as In order to see that these two numbers agree, we regard γ as a path in R/Z × Σ via the inclusion Σ ∼ = 0 × Σ ⊂ R/Z × Σ and form the concatenation ǫ := (τ −1 • δ)#γ.This defines a loop in R/Z × ∂Σ which is homotopic to the loop R/Z × z.The restriction β := (τ * π * α)| R/Z×∂Σ is the pullback of the restriction of α to ∂Σ.Hence β is a closed 1-form.Since τ has degree 0, the loop R/Z × z is mapped to a contractible loop in ∂Σ by π • τ .Thus the integral of β over the loop R/Z × z vanishes.Since ǫ is homotopic to R/Z × z, we obtain where we have used that the restriction of β to 0×∂Σ is equal to λ.This concludes the proof.

3.
From disk-like surfaces of section to symplectic embeddings 3.1.Embedding results.The following theorem says, roughly speaking, that if the boundary of a star-shaped domain X ⊂ R 4 admits a disk-like global surface of section of symplectic area a such that the lift of the first return map with respect to a trivialization of degree 0 can be generated by a positive Hamiltonian, then the domain X can be symplectically embedded into the cylinder Z(a).The second part of the theorem states that if the lift of the first return map with respect to a trivialization of degree 1 can still be generated by a positive Hamiltonian, then the ball B(a) embeds into X.(1) Let φ 0 ∈ Diff(Σ, ω) be the lift of the first return map with respect to a trivialization of degree 0. Suppose that there exists a Hamiltonian H : R/Z × Σ → R with the following properties: (a) H is strictly positive in the interior int(Σ) and vanishes on the boundary ∂Σ.
(b) H is autonomous in some neighbourhood of ∂Σ.
(c) The Hamiltonian vector field X Ht defined by ι X H t ω = dH t in the interior int(Σ) smoothly extends to the closed disk Σ and is tangent to ∂Σ.
(2) Let φ 1 ∈ Diff(Σ, ω) be the lift of the first return map with respect to a trivialization of degree 1. Assume that there exists a Hamiltonian G : R/Z × Σ → R satisfying properties (a)-(c) above such that the arc Given a star-shaped domain X and a disk-like surface of section Σ ⊂ ∂X, we do not know whether it is always possible to generate the lift φ 0 by a Hamiltonian which vanishes on the boundary ∂Σ and is positive in the interior.The following Proposition says that we may always symplectically embed X into a bigger domain satisfying the hypotheses of Theorem 3.1.Proposition 3.2.Let X ⊂ R 4 be a star-shaped domain.Let Σ ⊂ ∂X be a ∂-strong disk-like surface of section of the natural Reeb flow on ∂X.Then there exist a star-shaped domain X ′ and a ∂-strong disk-like surface of section Σ ′ of the natural Reeb flow on the boundary ∂X ′ such that Σ and Σ ′ have the same symplectic areas, X symplectically embeds into X ′ and the tuple (X ′ , Σ ′ ) satisfies all hypotheses of the first assertion of Theorem 3.1.

Main construction. Given a 1-periodic Hamiltonian
which is positive in the interior int(D) and vanishes on the boundary ∂D, we construct a domain We show that the characteristic foliation on the boundary ∂A(H) possesses a disk-like surface of section with first return map given by φ 1 H .
Lemma 3.3.Let (M, ω) be a symplectic manifold.Let M := R s × (R/Z) t × M denote timeenergy extended phase space equipped with the symplectic form ω := ds ∧ dt + ω.Consider a periodic Hamiltonian denote its graph inside time-energy extended phase space M .Then the characteristic foliation on Γ(H) induced by the symplectic form ω is spanned by the vector field Proof.We define the autonomous Hamiltonian H on time-energy extended phase space by The graph Γ(H) is given by the regular level set H −1 (0).Thus the characteristic foliation on Γ(H) is spanned by the restriction of the Hamiltonian vector field X H to Γ(H).We compute and conclude that Construction 3.4.Consider C equipped with the standard symplectic form ω 0 = dx ∧ dy.Let denote time-energy extended phase space and abbreviate Consider the map Φ restricts to a diffeomorphism between be a smooth function.Assume that: (1) H is strictly positive in the interior int(B 2 (a)).
(2) There exists a constant C > 0 such that in some neighbourhood of ∂B 2 (a) the function H is given by (4) The map f : B 2 (a) → ∂A(a, H) z → Φ(H(0, z), 0, z) is a parametrization of a disk-like surface of section of the characteristic foliation on ∂A(a, H).We have f * ω 0 = ω 0 .Consider the lift φ 0 of the first return map with respect to a trivialization of degree 0. We regard φ 0 as an element of Diff(B 2 (a), ω 0 ) via the parametrization f .It is represented by (φ t H ) t∈[0,1] .Remark 3.6.The parametrization f in item (4) of Lemma 3.5 is only smooth in the interior int(D).At the boundary ∂D, the radial derivative ∂ r f blows up.Since H has the special form (3.1) and φ t H is a rotation near the boundary, this does not cause problems.Proof.Clearly, the boundary ∂A(a, H) is smooth away from the circle ∂B 2 (a) × {0}.Near this circle, the Hamiltonian H has the special form (3.1).Thus ∂A(a, H) can be described by the equation The solution set of this equation is the boundary of an ellipsoid and in particular smooth.Let G denote the Hamiltonian which is given by formula (3.1) on the entire disk B 2 (a).The set A(a, G) is an ellipsoid and in particular diffeomorphic to the closed ball D 4 .Clearly there exists a diffeomorphism between the subgraphs of H and G.In fact, we can choose ψ to agree with the identity map on all points (s, t, z) ∈ Γ − (H) such that z is close to the boundary ∂B 2 (a) or s is close to 0. If ψ has these properties, then Φ • ψ • Φ −1 defines a diffeomorphism between A(a, H) and A(a, G).Thus A(a, H) is diffeomorphic to D 4 .By construction, A(a, H) is contained in the cylinder Z(a).If 3) is an immediate consequence.In order to prove assertion (4), let us first observe that Lemma 3.3 implies that the map parametrizes a disk-like surface of section of the characteristic foliation on the graph Γ(H).
The first return map of this surface of section is given by φ 1 H .The symplectomorphism Φ in Construction 3.4 maps the characteristic foliation on the graph Γ(H) to the characteristic foliation on ∂A(a, H).Thus the first return map of the surface of section parametrized by f is equal to φ 1 H as well.In order to show that (φ t H ) t∈[0,1] represents the correct lift, simply observe that the composition of the trivialization of Γ(H) with Φ yields a trivialization of ∂A(a, H) of degree 0. This proves assertion (4).
3.3.Proof of Theorem 3.1.Throughout this section, we fix the setup of Theorem 3.1.We let X ⊂ (R 4 , ω 0 ) denote a star-shaped domain and Σ ⊂ ∂X a ∂-strong disk-like global surface of section of the natural Reeb flow on ∂X induced by the restriction of the standard Liouville 1-form λ 0 defined in (1.1).We assume that the local first return map of a small disk transverse to the boundary orbit ∂Σ is smoothly conjugated to a rotation.Let a > 0 denote the symplectic area of Σ.
Our strategy, roughly speaking, is to show that if the degree 0 lift φ 0 of the first return map can be generated by a Hamiltonian H which is positive in the interior int(Σ) and vanishes on the boundary ∂Σ, then X is symplectomorphic to the domain A(a, H) constructed in section 3.2.We construct a symplectomorphism between X and A(a, H) in two steps.In Proposition 3.8 we show that there exists a diffeomorphism ψ : ∂A(a, H) → ∂X which pulls back ω 0 | ∂X to ω 0 | ∂A(a,H) .Then we use a result of Gromov and McDuff (Theorem 3.9) to extend ψ to a symplectomorphism between A(a, H) and X.This is done in Corollary 3.10.
We begin with the following auxiliary lemma on the existence of a convenient parametrization of a tubular neighbourhood of the boundary orbit.Lemma 3.7.Let ǫ > 0 be sufficiently small and let D ǫ ⊂ C denote the disk of radius ǫ.There exist a ∂-strong disk-like global surface of section Σ ′ ⊂ ∂X with the same boundary orbit as Σ and a parametrization F : R/Z × D ǫ → ∂X of a tubular neighbourhood of ∂Σ ′ such that the following is true. and where b is a positive real number.
Proof.Consider a small disk D transverse to ∂Σ whose local first return map is smoothly conjugated to a rotation.We may choose a parametrization f : D ǫ → D such that the local first return map, regarded as a diffeomorphism of D ǫ via f , is a rotation of D ǫ .By an equivariant version of Moser's argument, after modifying the parametrization f we may in addition assume that f * ω 0 = ω 0 where ω 0 denotes the standard symplectic form on both R 4 and D ǫ .The primitives f * λ 0 and λ := 1 2 r 2 dθ of the area form ω 0 on D ǫ differ by an exact 1-form, i.e. λ = f * λ 0 + dα for a smooth function α on D ǫ .We may normalize α such that α(0) = 0. We define where φ t denotes the Reeb flow on ∂X.This parametrizes a small disk D ′ transverse to ∂Σ.A direct computation shows that f ′ * λ 0 = f * λ 0 + dα = λ and the local first return map is still a rotation of D ǫ .Let ρ denote this rotation.Since ρ * λ = λ, it follows from (2.6) that the first return time of D ′ is constant and equal to a, the action of the orbit ∂Σ.Let us define the immersion We have F * λ 0 = dt + λ and F is invariant under the diffeomorphism ψ of R × D ǫ defined by ψ(t, z) := (t − a, ρ(z)).Thus F descends to a strict contactomorphism between the quotient (R×D ǫ )/ ∼ of (R×D ǫ , dt+λ) by the action of ψ and a tubular neighbourhood of ∂Σ in ∂X.It is a direct computation to check that we may choose a diffeomorphism τ : R/Z × D ǫ ∼ = (R × D ǫ )/ ∼ such that the contact form dt + λ on (R × D ǫ )/ ∼ pulls back to a contact form on R/Z × D ǫ of the form (3.3) for some real number b.By slight abuse of notation, let F : R/Z × D ǫ → ∂X denote the resulting parametrization of a tubular neighbourhood of ∂Σ.For appropriate choice of diffeomorphism τ , the preimage F −1 (Σ) is non-winding, i.e. isotopic to the annulus (3.2) in R × D ǫ .In fact, since Σ is a ∂-strong surface of section, it is easy to see that we may replace Σ by an isotopic disk-like global surface of section Σ ′ with the same boundary orbit such that ) is equal to the annulus (3.2).It remains to show that the constant b must be positive.This is a consequence of the fact that the boundary orbit ∂Σ ′ is positive, i.e. the boundary orientation of Σ ′ agrees with the orientation induced by the Reeb vector field.Since the Reeb vector field of (3.3) is simply given by 1 a (∂ t + 2πb∂ θ ), this means that b must be positive.
The surface of section Σ ′ constructed in Lemma 3.7 still satisfies the assumptions of Theorem 3.1 because we can simply use a transfer map ψ : Σ → Σ ′ transport the positive Hamiltonians H and G generating the lifts φ 0 and φ 1 of the first return map of Σ to obtain positive Hamiltonians on Σ ′ .Thus we may replace Σ by Σ ′ and assume in addition that there exists a parametrization F of a tubular neighbourhood of ∂Σ satisfying (3.2) and (3.3).Our next step is to construct a special parametrization f : B 2 (a) → Σ such that f * ω = ω 0 where ω 0 denotes the standard symplectic form on B 2 (a).For re iθ near the boundary ∂B 2 (a) we define A direct computation involving (3.3) shows that this pulls back ω to ω 0 .Since both (B 2 (a), ω 0 ) and (Σ, a) have area a, we can use a Moser type argument to extend f to an area preserving map f : (B 2 (a), ω 0 ) → (Σ, ω).
Consider the degree 0 lift φ 0 of the first return map of Σ. Via the parametrization f we can regard φ 0 as an element of Diff(B 2 (a), ω 0 ).It follows from (3.3) and a short computation that φ 0 is a rotation by angle 2π/b near the boundary ∂B 2 (a).By the assumptions in the first assertion of Theorem 3.1, there exists a Hamiltonian H : R/Z × B 2 (a) → R which vanishes on the boundary, is positive in the interior, is autonomous near the boundary and generates φ 0 .
We argue that we may in addition assume that Since H is autonomous near the boundary, it is invariant under φ 1 H , which is a rotation by 2π/b.If b is irrational, then this implies that H is invariant under arbitrary rotations and it is not hard to see that H must in fact be given by (3.4).If b is rational, then H need not be invariant under arbitrary rotations near the boundary.We show that we may replace H by a Hamiltonian which is rotation invariant.There exists a symplectomorphism g of (B 2 (a), ω 0 ) supported in a small neighbourhood of ∂B 2 (a) which commutes with the rotation by angle 2π/b such that the level sets of H • g near the boundary are circles centred at the centre of B 2 (a).The time-1-map of H • g is given by g Proof.After possibly shrinking ǫ, we may define It follows from (3.4) and the definition of A(a, H) that the image of F ′ is contained in ∂A(a, H) for ǫ sufficiently small.Moreover, we define A direct computation shows that the following two diffeomorphisms between submanifolds of ∂A(a, H) and ∂X agree on their overlap and pull back ω 0 | ∂X to ω 0 | ∂A(a,H) : Next, we explain how to extend to a diffeomorphism between ∂A(a, H) and ∂X.We pull back the Reeb vector field R on ∂X via F •F ′−1 to obtain a vector field R ′ on im(F ′ ) which is tangent to the characteristic foliation.We smoothly extend to a vector field on ∂A(a, H), still denoted by R ′ , which is everywhere tangent to the characteristic foliation.The embedding f ′ parametrizes a surface of section of the flow generated by R ′ .By Lemma 3.5, the lift of the first return map with respect to a trivialization of degree 0 is represented by (φ t H ) t∈[0,1] , which also represents the degree 0 lift of the first return map of the surface of section of ∂X parametrized by f .After replacing R ′ by a positive scaling χ • R ′ for a suitable smooth function χ : ∂A(a, H) → R >0 , we may assume that the first return times of the two surfaces of section f and f ′ agree as well.This allows us to extend ψ to a diffeomorphism ψ : ∂A(a, H) → ∂X by requiring that ψ intertwines the flows on ∂A(a, H) and ∂X generated by R ′ and R, respectively.Set ω := ψ * (ω 0 | ∂X ).We need to show that ω = ω 0 | ∂A(a,H) .By construction of ψ, the pull-back of the characteristic foliation on ∂X via ψ is equal to the characteristic foliation on A(a, H).Thus ω 0 and ω induce the same characteristic foliations on ∂A(a, H).Moreover, the restrictions of ω 0 and ω to im(F ′ ) and im(f ′ ) agree.Cartan's formula implies where we use that ω 0 is closed and R ′ is contained in its kernel.Similarly, L R ′ ω = 0. Let p ∈ ∂A(a, H) \ im(F ′ ) and let v, w ∈ T p ∂A(a, H).Our goal is to show that ω 0 (v, w) = ω(v, w).The trajectory of R ′ through p intersects the surface of section im(f ′ ) after finite time.Let p be the first intersection point.We transport v and w via the flow of R ′ to obtain vectors v, w ∈ T p ∂A(a, H).Since L R ′ ω 0 and L R ′ ω vanish, we have ω 0 (v, w) = ω 0 ( v, w) and ω(v, w) = ω( v, w).After replacing (p, v, w) by ( p, v, w), we can therefore assume w.l.o.g. that p is contained in the surface of section im(f ′ ).In addition we may assume that v and w are tangent to im(f ′ ).Indeed, replacing v and w by their projections onto T p im(f ′ ) along the characteristic foliation does not change ω 0 (v, w) and ω(v, w) because the kernels of ω 0 and ω are tangent to the characteristic foliation.Now we simply use that the restrictions ω 0 | im(f ′ ) and ω| im(f ′ ) agree by construction of ψ.
We recall the following well-known theorem due to Gromov and McDuff (see Theorem 9.4.2 in [35]).Theorem 3.9 (Gromov-McDuff).Let (M, ω) be a connected symplectic 4-manifold and K ⊂ M be a compact subset such that the following holds.
(2) There exists a symplectomorphism ψ : R 4 \ V → M \ K, where V ⊂ R 4 is a star-shaped compact set.Then (M, ω) is symplectomorphic to (R 4 , ω 0 ).Moreover, for every open neighbourhood U ⊂ M of K, the symplectomorphism can be chosen equal to ψ −1 on M \ U .Corollary 3.10.For j ∈ {1, 2}, let A j ⊂ R 4 be a compact submanifold diffeomorphic to the closed disk D 4 .Assume that there exists a diffeomorphism ψ : Then the boundary ∂A 1 is of contact type if and only if ∂A 2 is of contact type.In this case, ψ extends to a symplectomorphism Proof.By the uniqueness part of the coisotropic neighbourhood theorem in [18], there exist open neighbourhoods U j of ∂A j such that ψ extends to a symplectomorphism Being of contact type is a property that only depends on a small neighbourhood of a hypersurface.Thus ∂A 1 is if contact type if and only if ∂A 2 is.Suppose now that this is the case.After possibly shrinking U 1 , we can find a Liouville vector field Z 1 defined on U 1 and transverse to ∂A 1 .Let λ 1 denote the associated Liouville 1-form defined by λ 1 = ι Z 1 ω 0 .Let Z 2 and λ 2 denote the push-forwards via ψ.For j ∈ {1, 2} let ( A j , ω j ) be the symplectic completion of (A j , ω 0 | A j ) obtained by attaching a cylindrical end using the Liouville vector field Z j .Let U j denote the union of U j with the cylindrical end attached to A j .Clearly, ψ extends to a symplectomorphism The contact manifold (∂A 1 , ker λ 1 ) is fillable.Hence it follows from Eliashberg's paper [14] that it is contactomorphic to S 3 equipped with the standard tight contact structure.Thus we can find a star-shaped domain V ⊂ R 4 and a strict contactomorphism from (∂V, λ 0 ) to (∂A 1 , λ 1 ), where λ 0 denotes the standard Liouville 1-form on R 4 .There exists an open neighbourhood U 0 of R 4 \ V such that this strict contactomorphism extends to a symplectomorphism φ : (U 0 , ω 0 ) → ( U 1 , ω 1 ).
By Theorem 3.9, there exists a symplectomorphism which agrees with φ on the complement of V .Similarly, applying Theorem 3.9 to the composition we obtain a symplectomorphism agreeing with ψ • φ on the complement of V .The composition Proof of Theorem 3.1.We prove the first assertion.By Proposition 3.8 and Corollary 3.10, X is symplectomorphic to A(a, H).By the second item of Lemma 3.5 we have A(a, H) ⊂ Z(a).Thus X s ֒→ Z(a).We prove the second assertion.We define the Hamiltonian This Hamiltonian generates ρ, the full positive rotation of B 2 (a) by angle 2π.Our goal is to show that we may assume that the Hamiltonian H : R/Z × B 2 (a) → R generating φ 0 satisfies in addition K ≤ H. Then it follows from Proposition 3.8, Corollary 3.10 and the third item in Lemma 3.5 that B(a)֒→X֒→Z(a).We regard the lift φ 1 as an element of Diff(B 2 (a), ω 0 ) via the parametrization f .It follows from (2.5) that φ 1 = ρ −1 • φ 0 .In particular, φ 1 is a rotation by angle 2π(1/b − 1) near the boundary.By assumption, there exists a Hamiltonian G : R/Z × B 2 (a) → R generating φ 1 which is positive in the interior, vanishes on the boundary and is autonomous near the boundary.It follows as in the case of the Hamiltonian H generating φ 0 that we can assume that G is given by near the boundary.Define This defines a 1-periodic Hamiltonian generating φ 0 which has the special form (3.4) near ∂B 2 (a) and is bounded below by K t (z) = a − π|z| 2 .
3.4.Proof of Proposition 3.2.We begin with some auxiliary lemmas.The first lemma concerns positive paths in the linear symplectic group (see ).Let Sp(2n) denote the group of all linear symplectomorphisms of R 2n .Moreover, let J 0 denote the matrix representing the standard complex structure on R 2n ∼ = C n .We recall that, for every path S : [0, 1] → R 2n×2n of symmetric matrices, the solution to the initial value problem and Φ(0) = id is an arc Φ in Sp(2n) starting at the identity.Conversely, every such arc Φ arises this way for a unique path S of symmetric matrices.A path Φ in Sp(2n) is called positive if S(t) is positive definite for all t.Lemma 3.11 below characterizes the elements Φ of the universal cover Sp(2) which can be represented by positive arcs.This characterization is given in terms of the rotation number ρ : Sp(2) → R.
We give two equivalent definitions of ρ.The first one involves eigenvalues of symplectic matrices.We begin by defining a function ρ : Sp(2) → R/Z.The complex eigenvalues of a matrix A ∈ Sp(2) are either given by λ, λ −1 for λ ∈ R \ {0} or by e ±2πiθ for θ ∈ (0, 1/2).In the former case, we define In the latter case, we fix an arbitrary vector v ∈ R 2 \ {0} and define The rotation number ρ is defined to be the unique lift of ρ to the universal cover Sp(2) satisfying ρ(id) = 0.For our second definition of ρ, we fix v ∈ R 2 \ {0} and define ρ v : Sp(2) → R/Z to be the auxiliary function characterized by We let ρ v : Sp(2) → R denote the unique lift of ρ v to the universal cover satisfying ρ v (id) = 0 and define We refer to [7, appendix A] for a proof that these two definitions of ρ coincide.
Lemma 3.11.Let Φ ∈ Sp(2).Then Φ can be represented by a positive arc in Sp(2) if and only if the rotation number ρ( Φ) is strictly positive.
Proof.Suppose that Φ is represented by a positive arc (Φ(t)) t∈[0,1] in Sp(2) starting at the identity.Let S(t) denote the path of positive definite matrices generating Φ(t).We may choose ǫ > 0 such that z, S(t)z ≥ ǫ for all t ∈ [0, 1] and all unit vectors z ∈ R It is immediate from our second definition of ρ that this implies that ρ( Φ) ≥ ǫ > 0.
Conversely, suppose that ρ( Φ) > 0. Our goal is to construct a positive arc in Sp(2) representing Φ.We claim that we may reduce ourselves to the case ρ( Φ) ∈ (0, 1).Indeed, for τ ∈ R, let R τ ∈ Sp(2) denote the element represented by the arc (e itτ ) t∈[0,1] in U(1) ⊂ Sp(2).Consider the function τ → ρ(( R τ ) −1 • Φ).This function is continuous and it is clear from our second definition of ρ that it is decreasing and that it diverges to −∞ as τ → +∞.Thus we may pick τ > 0 such that ρ(( R τ ) −1 • Φ) ∈ (0, 1).Since R τ is represented by a positive arc by definition, it suffices to show that the same is true for ( R τ ) −1 • Φ.Hence, after replacing Φ by ( R τ ) −1 • Φ, we may assume w.l.o.g. that ρ( Φ) ∈ (0, 1).Let Φ ∈ Sp(2) denote the projection of Φ to Sp(2).Since ρ( Φ) / ∈ Z, the spectrum of Φ does not contain positive real numbers.Thus Theorem 1.2 in [34] implies that there exists a positive arc (Φ(t)) t∈[0,1] in Sp(2) starting at the identity and ending at Φ(1) = Φ such that Φ(t) does not have any positive real eigenvalues for any t > 0. Let [(Φ(t)) t ] denote the element of the universal cover represented by the arc (Φ(t)) t .Our goal is to show that Φ = [(Φ(t)) t ].Since the projections of these to elements to Sp(2) agree, it is enough to show that the rotation numbers ρ( Φ) and ρ([(Φ(t)) t ]) coincide.These rotation numbers must agree in R/Z, so it is actually enough to show that ρ([(Φ(t)) t ]) ∈ (0, 1).Positivity of the arc (Φ(t)) t implies that ρ([(Φ(t)) t ]) > 0. This follows from the implication of Lemma 3.11 already proved above.Since the spectrum of Φ(t) does not contain positive real numbers for any t > 0, we have ρ(Φ(t)) = 0 for all t > 0. We deduce that ρ([(Φ(t)) t ]) < 1.This concludes our proof that Φ can be represented by a positive arc.Lemma 3.12.Let X ⊂ R 4 be a star-shaped domain and let Σ ⊂ ∂X be a ∂-strong disk-like global surface of section.Let ǫ > 0 be sufficiently small and let D ǫ ⊂ C denote the disk of radius ǫ.Then there exist a ∂-strong disk-like global surface of section Σ ′ with the same boundary orbit as Σ and a parametrization F : R/Z × D ǫ → ∂X of a tubular neighbourhood of Σ such that the following is true: where H : R/Z × D ǫ → R is a Hamiltonian such that H t (0) = ∂Σ λ 0 and the differential dH t (0) vanishes.Moreover, the Hessian ∇ 2 H t (0) is negative definite.
Proof.Let a := ∂Σ λ 0 be the action of the orbit ∂Σ.Let ξ denote the contact structure on ∂X.Let τ : ξ| ∂Σ ∼ = R 2 be a symplectic trivialization of ξ| ∂Σ with the property that Σ does not wind with respect to τ .Via the trivialization τ , the linearized Reeb flow dφ t along ∂Σ induces an arc Φ : [0, a] → Sp(2) representing an element Φ of the universal cover Sp(2).Since ∂Σ is a positive boundary orbit of Σ, the linearized Reeb flow along ∂Σ winds non-negatively with respect to the surface of section Σ, i.e. ρ( Φ) ≥ 0. The fact that Σ is ∂-strong actually implies that ρ( Φ) is strictly positive.Hence it follows from Lemma 3.11 that Φ is represented by a positive arc.We may therefore choose a loop (S(t)) t∈R/aZ of symmetric positive definite matrices generating an arc Ψ : [0, a] → Sp(2) which represents Φ.After replacing τ by an isotopic trivialization, we can assume that the arc Ψ is induced by the linearized Reeb flow.Using the trivialization τ , we can choose a parametrization F : R/Z × D ǫ → ∂X of a tubular neighbourhood of ∂Σ such that (1) The pullback F * λ 0 is given by a • dt on the circle R/Z × 0.
(2) The pullback F * ω 0 agrees with ω 0 on the the circle R/Z × 0.Here ω 0 denotes the standard symplectic form on R 4 and also the 2-form on R/Z × D ǫ whose restriction to fibres t × D ǫ agrees with the standard symplectic form on D ǫ and which vanishes on the vector field ∂ t .(3) The linearized Reeb flow of F * λ 0 along the orbit R/Z × 0 is given by the arc Ψ.The remaining argument proceeds exactly as the proof of Lemma 5.2 in [30].The result is a modification of the parametrization F such that properties (1)-(3) above still hold and such that F * λ 0 is of the form (3.7) for some Hamiltonian H which satisfies H t (0) = a and dH t (0) = 0.It follows from the fact that the linearized flow Ψ is generated by symmetric positive definite matrices and our sign conventions that ∇ 2 H t (0) is negative definite.Finally, since Σ does not wind with respect to the parametrization F , we can achieve (3.6) by isotoping Σ and possibly shrinking the tubular neighbourhood.Proof.We assume w.l.o.g. that 0 is contained in the interior of I. We define the vector field Y on M by Y := ∂ s − W − t • ∂t.Since W is outward pointing at ∂D and t•∂ t is outward pointing at ∂I, the flow of Y is defined for all positive times.We define G to be the embedding which is uniquely determined by requiring G(0, t, z) = (0, t, z) for all (t, z) ∈ I × D and G * Y = ∂ s .Let us check that We compute Clearly L ∂s ω = 0 as well.Thus is suffices to check that G * ω M and ω agree on the set M 0 .This is equivalent to showing that the pullbacks to M 0 of G * ω M and ω and of ι ∂s G * ω M and ι ∂s ω agree.Since the restriction of G to M 0 is the identity, the pullback of G * ω M to M 0 is equal to ω.This agrees with the pullback of ω.We compute The pullback of this form to M 0 is simply dt.This agrees with the pullback of ι s ω.This establishes G * ω M = ω Proof of Proposition 3.2.Our first step is to construct a star-shaped domain X ′ ⊂ R 4 which contains X, agrees with X outside a small neighbourhood of ∂Σ and has a ∂-strong disk-like surface of section Σ ′ ⊂ ∂X ′ of the same symplectic area as Σ such that the local first return map of a small disk transverse to the boundary orbit ∂Σ ′ is smoothly conjugated to a rotation.
We apply Lemma 3.12.After replacing Σ by a disk-like global surface of section with the same boundary orbit, we may choose a parametrization F : R/Z × D ǫ → ∂X of a tubular neighbourhood of ∂Σ satisfying (3.6) and (3.7).Consider time-energy extended phase space R s × (R/Z) t × D ǫ equipped with the symplectic form ω 0 := ω 0 + ds ∧ dt where ω 0 denotes the standard symplectic form on D ǫ .The pullback of ω 0 via the parametrization of the graph Γ(H) is given by ω 0 + dH ∧ dt.It follows from (3.7) that this agrees with F * ω 0 where, by slight abuse of notation, ω 0 also denotes the standard symplectic form on R 4 .We set ψ := F • G −1 .This defines a diffeomorphism from Γ(H) to im(F ) satisfying ψ * ω 0 = ω 0 | Γ(H) .By the coisotropic neighbourhood theorem in [18], we may extend ψ to a symplectomorphism defined on some open neighbourhood U of the graph Γ(H).Note that the push-forward of the vector field ∂ s via ψ is transverse to ∂X and outward pointing.Let H ′ be a C 1 -small perturbation of H supported in a small neighbourhood of R/Z × 0 with the following properties: (1) for some positive constant b.This is possible because the Hessian ∇ 2 H t (0) is negative definite.We define X ′ to be the star-shaped domain which agrees with X outside im(ψ) and which satisfies The inequality H ′ ≥ H implies that X is contained on X ′ .By (3.8), the orbit ∂Σ on ∂X also is an orbit on ∂X ′ .If follows from our construction of X ′ that there exists an embedding We define Σ ′ ⊂ ∂X ′ to agree with Σ outside im(F ′ ) and to be given by {F ′ (t, r) | 0 ≤ r ≤ ǫ and t ∈ R/Z} inside im(F ′ ).This clearly defines a disk-like surface of section of the Reeb flow on ∂X ′ .Its symplectic area agrees with the symplectic area of Σ because ∂Σ ′ = ∂Σ.It follows from (3.8) that the local return map of the orbit ∂Σ ′ is smoothly conjugated to a rotation.Let us replace (X, Σ) by (X ′ , Σ ′ ).We may choose a smooth parametrization f : D → Σ such that near the boundary ∂D the pullback ω := f * ω 0 is rotation invariant and the first return map φ is a rotation.Let φ 0 denote the lift of φ with respect to a degree 0 trivialization.Note that by positivity of the constant b in (3.8), the rotation angle of φ 0 near ∂D must be strictly positive.Thus φ 0 can be generated by a Hamiltonian H which vanishes on the boundary and is autonomous and strictly positive in some neighbourhood of ∂D.We do not know whether we can choose H to be strictly positive everywhere in the interior.Our strategy is to construct a domain X ′ which contains X and agrees with X outside an open neighbourhood of Σ such that the degree 0 lift of the first return map of the Reeb flow on ∂X ′ can be generated by a Hamiltonian H ′ which agrees with H near ∂D and is strictly positive in the interior.Let K : R/Z × D → R be a non-negative Hamiltonian which is compactly supported in the interior int(R/Z × D).The composition If K is sufficiently large, then this Hamiltonian is strictly positive.The Hamiltonian H#K need not be 1-periodic.This can be remedied as follows: First note that we can assume that H t is strictly positive in the interior for t in some open neighbourhood of 0 ∈ R/Z.Then it suffices to consider K with the property that K t vanishes for t near 0. In this situation H#K smoothly extends to a 1-periodic Hamiltonian which is strictly positive in the interior and autonomous and rotation invariant near the boundary.Our goal is to construct X ′ such that the degree 0 lift of the first return map is given by φ Let D ⊂ int(D) be a closed disk centred at 0 and containing the support of K.After possibly increasing the radius of D, we can assume that λ := f * λ 0 is a Liouville 1-form on D whose associated Liouville vector field is transverse to ∂D.Let ǫ > 0 be sufficiently small and let be the unique embedding such that F (0, z) = f (z) and such that the pullback of the Reeb vector field R on ∂X via F is given by ∂ t where t is the coordinate on [0, ǫ].This implies that F * λ 0 = λ + dt.Let M := R × [0, ǫ] × D be the symplectization of ([0, ǫ] × D, λ + dt) equipped with the symplectic form ω M := d(e s (λ + dt)).Using the radial Liouville vector field Z 0 on R 4 , we can extend F to a symplectic embedding F : (M, ω M ) → (R 4 , ω 0 ) mapping ∂ s to Z 0 .Our modification of X will be supported inside the image of F .We apply Lemma 3.13 and obtain a symplectic embedding G : (M + , ω) → (M + , ω M ).Let us reparametrize K t such that it is compactly supported in the time interval (0, ǫ) and still generates the same time-1-flow.Let Γ − (K) denote the subgraph of K, i.e. the set We define X ′ to be the union ). Σ is a disk-like global surface of section of the characteristic foliation on ∂X ′ and it follows from Lemma 3.3 that the degree 0 lift of the first return map is given by φ . By our construction of K, the first return map φ ′ 0 can be generated by a Hamiltonian satisfying the hypotheses in Theorem 3.1.The domain X ′ might not be star-shaped.We argue that X ′ must be symplectomorphic to a star-shaped domain for appropriate choice of Hamiltonian K. Our strategy is to define a contact form β on ∂X ′ such that dβ = ω 0 | X ′ .This contact form must be tight and there exists a star-shaped domain X ′′ ⊂ R 4 such that (∂X ′ , β) is strictly contactomorphic to (∂X ′′ , λ 0 | ∂X ′′ ).Corollary 3.10 then implies that X ′′ is symplectomorphic to X ′ .On the complement of the image of F : M → R 4 we simply define β := λ 0 | ∂X ′ .We parametrize the intersection im(F ) ∩ ∂X ′ via A direct computation shows that F ′ * ω 0 = ω + dK t ∧ dt.Moreover, we have F ′ * λ 0 = dt + λ near the boundary of [0, ǫ] × D. Thus we may extend β to a smooth 1-form on all of ∂X ′ be requiring that F ′ * β = dt + λ + K t dt.The resulting 1-form clearly satisfies dβ = ω 0 | ∂X ′ .It remains to check β is indeed a contact form on im(F ) ∩ ∂X ′ for appropriate choice of K.This amounts to showing that F ′ * (β ∧ dβ) is a positive volume form on [0, ǫ] × D. We compute Thus it suffices to construct K such that (1 + K t )ω + λ ∧ dK t is a positive area form on D. The first term clearly is a positive area form since K t ≥ 0. Let W denote the Liouville vector field on D induced by λ.We can guarantee that the second term is non-negative by choosing K t to be constant outside a small neighbourhood of ∂D and requiring that dK t (W ) ≤ 0 inside that small neighbourhood.Clearly we still have the freedom to make (3.9) positive.

A positivity criterion for Hamiltonian diffeomorphisms
The results of this section are inspired by the fixed point theorem stated in [2, Theorem 3].In fact, our proofs rely on the generalized generating functions introduced in [2, sections 2. We state the main result of this section.Theorem 4.2.Let ω be a smooth 2-form on D which is positive in the interior int(D).Moreover, assume that ω is rotation invariant near the origin and the boundary ∂D.Let φ ∈ Diff(D, ω) and set φ := π( φ).Assume that: (1) φ fixes the origin and is radially monotone.
(2) The restriction of φ to a small disk centred at the origin is a rotation.
(3) The restriction of φ to a small annular neighbourhood of ∂D is a rotation.(4) The action σ φ (p) is positive for all fixed points p of φ.
Then there exists a Hamiltonian H : R/Z × D → R with the following properties: (1) H is strictly positive in the interior int(D) and vanishes on the boundary ∂D.
(2) H is autonomous and rotation invariant in some neighbourhood of the origin and ∂D.
(3) The Hamiltonian vector field X Ht defined by ι X H t ω = dH t in the interior int(D) smoothly extends to the closed disk D and is tangent to ∂D. (4) The arc (φ t H ) t∈[0,1] represents φ.In order to prove Theorem 1.9, we need to apply Theorem 4.2 to area-preserving diffeomorphisms of the disk which are C 1 -close to the identity.Such diffeomorphisms need not be radially monotone.However, they are smoothly conjugated to radially monotone diffeomorphisms (see [2,Proposition 2.24]).We use this observation to deduce the following corollary of Theorem 4.2.
(2) φ is smoothly conjugated to a rotation in some neighbourhood of the boundary ∂D.
(3) The action σ φ (p) is positive for all fixed points p of φ.
Then there exists a Hamiltonian H : R/Z × D → R with the following properties: (1) H is strictly positive in the interior int(D) and vanishes on the boundary ∂D.
(2) H is autonomous in some neighbourhood of ∂D.
(3) The Hamiltonian vector field X Ht defined by ι X H t ω = dH t in the interior int(D) smoothly extends to the closed disk D and is tangent to ∂D. (4) The arc (φ t H ) t∈[0,1] represents φ. 4.2.Lifts to the strip.In order to represent area preserving diffeomorphisms of the disk D by generalized generating functions, it will be convenient to lift them to the strip S := [0, 1] × R.This is carefully explained in [2,  If the diffeomorphism φ ∈ Diff + (D) is radially monotone, then any lift Φ is monotone in the sense of the following definition.Definition 4.4.Let Φ ∈ Diff + (S) be a diffeomorphism and denote the components of Φ by (R, Θ).We call Φ monotone if ∂ 1 R(r, θ) > 0 for all (r, θ) ∈ S.
The following characterization of monotonicity will be useful in later sections.Lemma 4.5.Let Φ ∈ Diff + (S) be a diffeomorphism preserving the boundary components of S. Let Γ(Φ) ⊂ S × S denote the graph of Φ.Then Φ is monotone if and only if is a parametrization of Γ(Φ).Clearly, π is a diffeomorphism if and only if the composition is a diffeomorphism.This is the case if and only if is a diffeomorphism for every fixed θ ∈ R. By assumption Φ preserves the boundary components of S. Thus R(0, θ) = 0 and R(1, θ) = 1 for every θ.Hence (4.1) is a diffeomorphism if and only if ∂ 1 R > 0, i.e.Φ is monotone.Now suppose that D is equipped with a 2-form ω which is positive in the interior int(D). Then is a 2-form on S which is positive in the interior and invariant under the translation T , i.e.

4.3.
Generalized generating functions on the strip.Throughout this section, let Ω be a 2-form on the strip S which is positive in the interior int(S) and preserved by T .Moreover, let Φ ∈ Diff(S, Ω) be a diffeomorphism which preserves Ω and the boundary components of S and which commutes with T .We equip the product S × S with the closed 2-form (−Ω) ⊕ Ω.The restriction of this 2-form to the interior of S × S is a symplectic form.Consider a primitive 1-form α of (−Ω) ⊕ Ω whose restriction to the diagonal ∆ ⊂ S × S vanishes.The graph Γ(Φ) is a Lagrangian submanifold of (S × S, (−Ω) ⊕ Ω), i.e. the restriction of (−Ω) ⊕ Ω to Γ(Φ) vanishes.Therefore, the restriction of the primitive α to Γ(Φ) is closed.Since S is simply connected, it is also exact, i.e. it can be written as for a function W Φ,α : Γ(Φ) → R, which is unique up to addition of a constant.We call W Φ,α a generalized generating function for Φ with respect to α (c.f.[36, Definition 9.3.8]).In Lemma 4.6 below, we specify a preferred normalization of W Φ,α which we will use throughout this paper.For z ∈ {1} × R ⊂ ∂S, let γ z denote the path Lemma 4.6.There exists a unique smooth function W Φ,α : Γ(Φ) → R satisfying and Proof.Set z 0 := (1, 0).Clearly, there exists a unique function W Φ,α satisfying (4.3) such that (4.4) holds for z 0 .We need to check that this function W Φ,α satisfies (4.4) for all z ∈ {1} × R. Fix z ∈ {1} × R. We define two paths δ and ǫ by The path δ is contained in Γ(Φ) and goes from (z 0 , Φ(z 0 )) to (z, Φ(z)).The path ǫ connects (z 0 , z 0 ) to (z, z) and is contained in ∆.The concatenations γ z 0 #δ and ǫ#γ z are homotopic inside ∂S × ∂S with fixed end points.Since the restriction of (−Ω) ⊕ Ω to ∂S × ∂S vanishes, the restriction of α to this subspace is closed.Thus Using (4.3) and the fact that W Φ,α satisfies (4.4) for z 0 , the left hand side evaluates to Since the restriction of α to the diagonal ∆ vanishes, the right hand side is given by This concludes our proof that (4.4) holds for all z ∈ {1} × R.
Let β be a second primitive 1-form of (−Ω) ⊕ Ω whose restriction to ∆ vanishes.Then the difference α − β is exact, i.e. there exists a smooth function u on S × S such that α − β = du.Since the restrictions of α and β to the diagonal ∆ vanish, the function u must be constant on ∆.Let us normalize u such that u| ∆ = 0.The following lemma relates the generalized generating functions of Φ with respect to α and β.Lemma 4.7.Let W Φ,α and W Φ,β be the generalized generating functions of Φ with respect to α and β.Then W Φ,α = W Φ,β + u| Γ(Φ) .In particular, since u vanishes on the diagonal ∆, the value of a generalized generating function at a fixed point of Φ is independent of the choice of primitive 1-form.
There are two primitives of (−Ω) ⊕ Ω whose associated generalized generating functions are of particular importance to our discussion.The first such primitive is given by (−Λ) ⊕ Λ where Λ is a primitive of the area form Ω on S. It will be useful to regard the associated generalized generating function W Φ,(−Λ)⊕Λ as a function on S via the parametrization (id S , Φ) : S → Γ(Φ) of the graph Γ(Φ).We define and call it the action of Φ with respect to Λ.The characterizing equations (4.3) and (4.4) for the generalized generating function W Φ,(−Λ)⊕Λ can be expressed in terms of the action Σ Φ,Λ as where δ θ denotes the path The following basic properties of the action Σ Φ,Λ will be useful later on.
Proof.Statement (1) is the analog of [2, Proposition 2.6], which deals with area-preserving diffeomorphisms of the disk D. The proof given in [2] carries over to the case of the strip almost verbatim and we will not repeat it here.
We prove (2).We compute Here the third equality uses the identity p Here the second equality uses that the restriction of λ to ∂D is closed and that t → φ t (p(1, θ)) and p • δ θ are homotopic in ∂D with fixed end points.This shows that σ φ,λ • p satisfies (4.5) and (4.6).Thus σ φ,λ • p = Σ Φ,Λ .
Let us define a second special primitive of (−Ω) ⊕ Ω.We write where F is a smooth function on S which is positive in the interior and invariant under T .Next, we define functions A and B on S by We let (r, θ, R, Θ) denote coordinates on S × S and define A direct computation shows that dΞ = (−Ω) ⊕ Ω and that the restriction of Ξ to the diagonal ∆ ⊂ S × S vanishes.The resulting generalized generating function W Φ,Ξ is particularly useful if the diffeomorphism Φ ∈ Diff(S, Ω) is monotone in the sense of Definition 4.4.From now on, let us assume that this is the case.Consider the projection (4.7) By Lemma 4.5, π ∆ is a diffeomorphism.It will be convenient to view W Φ,Ξ as a function on S via the diffeomorphism π ∆ .We abbreviate O. EDTMAIR Equation (4.3) can be rewritten in terms of W as The normalization (4.4) simply becomes (4.9) because the restriction of the primitive Ξ to ({1} × R) × ({1} × R) vanishes.We summarize the relevant properties of W in the following Proposition (see Proposition 2.15, Lemma 2.16 and Proposition 2.17 in [2]).
Proposition 4.9.Suppose that Φ ∈ Diff(S, Ω) is monotone and commutes with T .Then there exists a unique generating function W : S → R satisfying equations (4.8) and the normalization (4.9).The function W is invariant under T and is constant on the boundary components of S. The interior critical points of W are precisely the interior fixed points of Φ.We have ) for all fixed points p of Φ and any primitive Λ of Ω.If the restriction of Λ to {0} × R vanishes, then W agrees with Σ Φ,Λ on {0} × R.
Proof.Existence and uniqueness of W follow from Proposition 2.15 in [2].Moreover, this proposition asserts that W is invariant under T and constant on the boundary components of S and that the interior critical points of W are precisely the interior fixed points of W .The remaining assertions are proved in [2, Lemma 2.16 and Proposition 2.17] in the special case that Φ is the lift of a diffeomorphism φ ∈ Diff(D, ω) and Λ = p * λ for a primitive λ of ω.Since the statements in Proposition 4.9 are slightly more general, we provide independent proofs.It is a direct consequence of Lemma 4.7 that W (p) = Σ Φ,Λ (p) for all fixed points p of Φ. Suppose that the restriction of Λ to {0} × R vanishes.This implies that the restriction of (−Λ) ⊕ Λ to ({0} × R) 2 vanishes.Similarly, the restriction of the primitive Ξ to this subspace vanishes.It is a direct consequence of (4.3) that the generating functions W Φ,Ξ and W Φ,(−Λ)⊕Λ are both constant on Γ(Φ) ∩ ({0} × R) 2 .Let u be the unique smooth function on S × S whose restriction to the diagonal ∆ vanishes and which satisfies Ξ = (−Λ) ⊕ Λ + du.Since both Ξ and (−Λ) ⊕ Λ restrict to zero on ({0} × R) 2 , the function u vanishes on this set.By Lemma 4.7, this implies that W Φ,Ξ and W Φ,(−Λ)⊕Λ agree on Γ(Φ) ∩ ({0} × R) 2 .We conclude that W and Σ Φ,Λ agree and are constant on {0} × R.
In order to avoid technicalities involving the behaviour of Φ and W near ∂S, let us now assume in addition that Ω is translation invariant in some small neighbourhood of ∂S.In other words, F (r, θ) does not depend on θ for r sufficiently close to 0 or 1.Moreover, we will restrict our attention to diffeomorphisms Φ whose restrictions to neighbourhoods of the two boundary components of S are translations.More precisely, we will assume that there exist constants θ 0 and θ 1 such that for j ∈ {0, 1} (4.10) Φ(r, θ) = (r, θ + θ j ) if r is sufficiently close to j.
Since the following result is not explicitly stated in [2], we provide a proof.
Proposition 4.10.There exists a bijective correspondence between the set of all diffeomorphisms Φ ∈ Diff(S, Ω) which are monotone, commute with T and satisfy (4.10) and the set of all smooth functions W : ) There exist constants c 1 , c 2 and c 3 such that Φ and W correspond to each other under this bijection if and only if equations (4.8) hold.
Proof.Let Φ ∈ Diff(S, Ω) be a diffeomorphism which is monotone, commutes with T and satisfies (4.10).Let W be the associated generating function satisfying (4.8) and the normalization (4.9).We verify that W satisfies properties (1)-(4).Property (3) actually is a consequence of Proposition 4.9.It follows from (4.10) that any point (r, θ, R, Θ) ∈ Γ(Φ) sufficiently close to the boundary satisfies r = R. Thus equation (4.8) implies that Hence W is independent of θ in a neighbourhood of the boundary.Near ∂S we also have Here we use that F (r, θ) = F (r) does not depend on θ near ∂S.Thus (4.8) yields Using (4.10) we obtain for R close to j ∈ {0, 1}.Property ( 4) is an immediate consequence.Next we check property (1).Rearranging the second equation in (4.8) gives Now we simply use that A(0, θ) = 0 and that A(r, θ) is strictly monotonic in r for fixed θ.
It remains to verify (2).By Lemma 4.5, monotonicity of Φ implies that the projection π ∆ defined in equation (4.7) is a diffeomorphism.Let us now parametrize Γ(Φ) by the inverse of this diffeomorphism For j ∈ {1, 2} let π j : S × S → S be the projection onto the j-th factor.The restriction of π j to Γ(Φ) is a diffeomorphism onto S.This shows that (R, θ) → (r(R, θ), θ) and (R, θ) → (R, Θ(R, θ)) are both diffeomorphisms of S. In fact, these diffeomorphisms are orientation preserving.Thus the linearizations both have positive determinant.This implies ∂ 1 r(R, θ) > 0 and ∂ 2 Θ(R, θ) > 0. Let us view both sides of the first equation in (4.8) as functions of R and θ.Then differentiating with respect to θ yields In the interior of S, both F (R, Θ) and ∂ 2 Θ are strictly positive.Thus Let us now prove the converse direction of Proposition 4.10.We start with a generating function W satisfying properties (1)-( 4).Let us first show that we may solve equations (4.8) for r and Θ and obtain a smooth map The function B(R, •) is a diffeomorphism of R for fixed R ∈ (0, 1).Thus we may apply the implicit function theorem and solve the first equation in (4.8) for Θ(R, θ) in the interior int(S).For fixed θ, the function A(•, θ) is a diffeomorphism from (0, 1) onto (0, A(1, θ)).By property (1), ∂ 2 W (R, θ) is contained in the image of A(R, θ) − A(•, θ).Again we invoke the implicit funciton theorem to solve the second equation in (4.8) for r(R, θ).The map (4.11) ι : int(S) parametrizes a smooth submanifold of S × S. We show that this submanifold is in fact the graph of a diffeomorphism of int(S).Differentiating the first equation in (4.8) with respect to θ and the second equation with respect to R yields: Using property (2), we conclude that ∂ 1 r > 0 and ∂ 2 Θ > 0. Hence the composition π j • ι is a diffeomorphism onto its image for j ∈ {1, 2}.We show that this image actually is all of int(S).By property (4), we have ∂ 2 W = 0 near ∂S.Thus the second equation in (4.8) implies that r(R, θ) = R for R near 0 or 1.This shows that r(•, θ) is a diffeomorphism of (0, 1) for fixed θ.Therefore the image of π 1 • ι is int(S).The function ∂ 1 W is bounded.For fixed R ∈ (0, 1), the function B(R, •) is an orientation preserving diffeomorphism of R. Thus the first equation in (4.8) implies that lim θ→±∞ Θ(R, θ) = ±∞.Hence the image of π 2 • ι is int(S).This shows that the image of ι is the graph of a diffeomorphism Φ ∈ Diff(int(S)).Equations (4.8) imply that the pull-back of Ξ via ι is closed.Therefore Φ preserves Ω. Property (4) implies that in a neighbourhood of ∂S equations (4.8) become: We conclude that Φ satisfies (4.10) near ∂S.Therefore Φ smoothly extends to the closed strip and we have Φ ∈ Diff(S, Ω).In order to check that Φ commutes with T , first note that A(R, θ) is invariant under T and that B(R, θ+2π) = B(R, θ)+B(R, 2π).In combination with invariance of W under T , this implies that r(R, θ) is invariant under T and that Θ(R, θ + 2π) = Θ(R, θ) + 2π.Hence the image of ι is invariant under the diagonal action of T on S × S, which implies that Φ commutes with T .The composition of π ∆ • ι is equal to id S .Thus π ∆ is a diffeomorphism, which is equivalent to monotonicity of Φ by Lemma 4.5.

Proof of the positivity criterion for radially monotone diffeomorphisms.
Proof of Theorem 4.2.Let Φ ∈ Diff(S, Ω) be the lift of φ to the strip.Φ is monotone and commutes with T .Since φ is a rotation near the origin and the boundary, Φ is a translation near the two boundary components of S, i.e.Φ satisfies (4.10).It follows from rotation invariance of ω near 0 and ∂D that Ω is translation invariant near ∂S.Let W be the unique generating function satisfying properties (1)-( 4) in Proposition 4.10.For t ∈ [0, 1], we define W t := t • W .The functions W t satisfy conditions (1)-( 4) for all t.Indeed, the set of functions satisfying conditions (1)-( 4) is convex and both W and the zero function satisfy these conditions.Proposition 4.10 therefore yields an isotopy Φ t ∈ Diff(S, Ω) starting at the identity and ending at Φ. Let H : [0, 1]× S → R be the unique Hamiltonian generating Φ t which is normalized by H t (1, θ) = 0. Since Φ t commutes with T for all t, the Hamiltonian H t is invariant under T .Near the boundary components of S, the isotopy Φ t is a translation at constant speed.Hence H is autonomous and translation invariant near the boundary.
Our goal is to show that the restriction of H to the complement of the boundary component {1} × R is strictly positive.Our strategy is the following: If we can show that H t is strictly positive on all its interior critical points and on the boundary component {0}× R, then it follows that H t must be strictly positive on the complement of {1} × R. We begin by showing that for every t, the set of interior critical points of H t is equal to the set of interior critical points of W .In other words, if the velocity ∂ t Φ t (z) vanishes for some t ∈ [0, 1], then z must be a critical point of W and is fixed by the entire isotopy Φ t .Let (R t , Θ t ) denote the components of Φ t .The defining equations for the generating function W t read: Differentiating with respect to t yields: If z = (r, θ) is a point satisfying ∂ t Φ t (z) = 0 for some t, then these equations yield: (4.12) This implies that z is a critical point of W . Indeed, if t = 0, then R t (r, θ) = r and (4.12) says that (r, θ) is a critical point of W .If t > 0, then (4.12) implies that (R t (r, θ), θ) is a critical point of W t .Hence z is fixed by Φ t and therefore a critical point of W t .Since t > 0, this implies that z is a critical point of W . Hence we have verified that every interior critical point of H t is a critical point of W . Conversely, suppose that z is a critical points of W . Then z is a critical point of W t for all t.Thus z is fixed by the isotopy Φ t and hence a critical point of H t .
Let z be an interior critical point of H t .By the above discussion, z is a fixed point of Φ.We show that H t (z) = Σ Φ (z) for all t.This implies that H t (z) > 0. Indeed, all fixed points of φ are assumed to have strictly positive action and the same is true for Φ by item (3) in Lemma 4.8.Let λ be a primitive of ω and let Λ denote the pull-back to S. For every τ ∈ [0, 1], we can compute the action Σ Φτ (z) via item (2) in Lemma 4.8 Here the last equality uses that z is fixed by the isotopy Φ t .By Proposition 4.9, the action Σ Φτ (z) agrees with W τ (z).We obtain Differentiating with respect to τ yields H τ (z) = W (z) = Σ Φ (z) > 0.
Next we show that H t is positive on the boundary component {0} × R. Since Λ is given by the pull-back p * λ and p maps the entire boundary component {0} × R to the origin 0 of D, the restriction of Λ to {0} × R vanishes.Thus item (2) in Lemma 4.8 yields Here the second equality uses that H t is translation invariant near the boundary and in particular constant on {0} × R. By Proposition 4.9, the action Σ Φτ ,Λ agrees with W τ on {0} × R. Thus for all z ∈ {0} × R. Differentiating with respect to τ yields H τ (z) = W (z) = Σ Φ,Λ (z).By item (3) in Lemma 4.8, the action Σ Φ,Λ (z) is equal to the action σ φ (0) > 0. Hence H τ is strictly positive on {0} × R for all τ .This completes the proof that H t is strictly positive on the complement of {1} × R.
The Hamiltonian H is invariant under T and constant on {0} × R. Thus it descends to a continuous function H : [0, 1] × D → R which is smooth away from the origin.The Hamiltonian flow of H, which is defined on the complement of the origin, is a rotation in some small neighbourhood of the origin.Thus the flow extends to a smooth flow on the entire disk D. This implies that H is actually smooth everywhere.Clearly H satisfies properties (1)-( 4) in Theorem 4.2.
There is one detail remaining: We actually want the Hamiltonian H to be 1-periodic in time.
Here is how to fix this.Let η : R → [0, 1] be a smooth cut-off function which vanishes in an open neighbourhood of (−∞, 0] and is equal to 1 in an open neighbourhood of [1, ∞).For ǫ > 0 we define The function η ǫ vanishes in a neighbourhood of (−∞, 1 − ǫ] and is equal to 1 in a neighbourhood of [1, ∞).Now define This actually extends to a smooth 1-periodic Hamiltonian G ǫ : R/Z × D → R. In an open neighbourhood of 0 and ∂D, the Hamiltonian G ǫ t agrees with H t for all t ∈ [0, 1] because H is autonomous in this region.If t ∈ [0, 1 − ǫ], then G ǫ t agrees with H t on the entire disk D.Moreover, G ǫ is strictly positive in the interior of D. The time-1-map φ 1 G ǫ agrees with φ in a neighbourhood of 0 and ∂D, but it need not agree with φ on the entire disk.As ǫ approaches 0, the diffeomorphism (φ 1 G ǫ ) −1 • φ, which is compactly supported in the complement of 0 and ∂D, converges to the identity in the C 1 -topology.Using Lemma 5.4, we can therefore find a Hamiltonian K ǫ : [0, 1] × D → R, compactly supported in the complement of 0 and ∂D and vanishing for t close to 0 or 1, such that φ 1 • φ and such that X K ǫ C 0 converges to 0 as ǫ approaches 0. Now define . This extends to a smooth 1-periodic Hamiltonian.It agrees with H in a neighbourhood of 0 and ∂D and its time-1-map is φ 1 H ǫ is equal to φ.For ǫ > 0 sufficiently small, H ǫ is strictly positive in the interior int(D).Thus we have constructed a 1-periodic Hamiltonian satisfying properties (1)-(4).(1) φ is sufficiently C 1 -close to the identity id D .
(2) φ is smoothly conjugated to a rotation near ∂D.
(3) There exists a fixed point p ∈ int(D) such that φ is smoothly conjugated to a rotation in a neighbourhood of p. Then there exists a diffeomorphism ψ : D → D such that: (1) Proof.We proceed in four steps.
Step 1: Let ψ : D → D be a Möbius transformation such that ψ(0) = p.By Proposition 2.24 in [2], the diffeomorphism ψ −1 • φ • ψ fixes the origin and is radially monotone.After replacing φ by ψ −1 • φ • ψ, we can therefore assume that φ is radially monotone and smoothly conjugated to rotations near 0 and ∂D.Note, however, that we can no longer guarantee that φ is C 1 -close to the identity.
Step 2: We show that we may further reduce to the case that φ agrees with the linearization dφ(0) in an entire open neighbourhood of 0. We choose a φ-invariant neighbourhood U of 0 and an orientation preserving diffeomorphism f : (D, 0) → (U, 0) such that ρ := f −1 • φ • f is a rotation around the center of D. We may approximate f with respect to the C 1 -topology by a diffeomorphism f : (D, 0) → (U, 0) which agrees with its linearization d f (0) near 0 and with f outside some arbitrarily small neighbourhood of 0. We set ψ := f • f −1 .This defines a compactly supported diffeomorphism of U .We may smoothly extend it to a diffeomorphism of D by setting ψ to be equal to the identity outside U .The resulting diffeomorphism ψ : (D, 0) → (D, 0) is C 1 -close to the identity and supported in a small neighbourhood of 0. Near 0 we have This shows that ψ −1 • φ • ψ is linear in some neighbourhood of 0. Since ψ is C 1 -close to the identity and fixes the origin 0, radial monotonicity is preserved by conjugation by ψ.We can therefore replace φ by ψ −1 • φ • ψ and assume in addition that φ agrees with dφ(0) near 0.
(1) g(r, θ) agrees with g(r, θ) for r > 3 4 .(2) Θ(r, θ) agrees with Θ(r, θ) for r > 1  2 .(3) There exists a constant C > 0 such that R(r, θ) = C • r for r < 1  2 .(4) Θ(r, θ) = θ for r < 1  4 .Let us first choose C > 0 such that the ball B C (0) is contained in the image g(B 3 4 (0)).We may choose a smooth function R(r, θ) which agrees with C • r for r < 1  2 and with R(r, θ) for r > 3   4   and which satisfies ∂ 1 R(r, θ) > 0. Since g is linear, the function Θ(r, θ) is actually independent of r and we denote it by Θ(θ).The function Θ(θ) is an orientation preserving diffeomorphism of the circle R/2πZ.Hence there exists a smooth isotopy from Θ to the identity.Using such an isotopy, we may define a function Θ(r, θ) such that Θ(r, θ) = Θ(θ) for r > 1 2 and Θ(r, θ) = θ for r < 1  4 .It is immediate from the construction that g = ( R, Θ) is a diffeomorphism satisfying properties (1)-( 4) above.As before, we define a diffeomorphism ψ : (D, 0) → (D, 0) which is compactly supported inside U and agrees with g • g −1 inside U .We have inside U .Since g is simply multiplication by C near 0, this is an actual rotation near 0. We need to check that ψ −1 • φ • ψ is radially monotone.Since this diffeomorphism agrees with φ outside U , we only need to check radial monotonicity of the restriction to U , which is given by g • ρ • g −1 by the above computation.For r > 1  2 , the function Θ(r, θ) agrees with Θ(r, θ) and is therefore independent of r.This implies that the restriction of g to D \ B 1 2 (0) preserves the foliations by radial rays.Since ρ is a rotation, the same is true for the restriction of g Thus the restriction of g to B 1 2 (0) preserves the foliation by circles centered at the origin.Since ρ is a rotation, the same continues to hold for the restriction of g ) is a direct consequence.After replacing φ by ψ −1 • φ • ψ, we can hence assume in addition that φ is an actual rotation near the origin.
Note that radial monotonicity of f • ρ • f −1 is precisely saying that the left hand side of equation (4.13) is positive.Thus (4.13) implies that By choosing ǫ > 0 sufficiently small, we can guarantee that Therefore, the linear functional dR(ρ(r, θ)) is positive on any convex linear combination of the vectors (∂ Together with (4.14) this implies radial monotonicity of f • ρ • f −1 in the annulus f ({ 1 5 − ǫ < r < 1 5 + ǫ}).Proof of Corollary 4.3.Let us first prove the corollary under the additional assumption that φ possesses a fixed point p such that φ is smoothly conjugated to a rotation in some neighbourhood of p.In this situation we may apply Lemma 4.11.Let ψ be the resulting diffeomorphism of D. The 2-form ψ * ω and the diffeomorphism ψ −1 • φ • ψ ∈ Diff(D, ψ * ω) satisfy all assumptions in Theorem 4.2, except for possibly rotation invariance of ψ * ω near 0 and ∂D.Using an equivariant version of Moser's argument, we may construct a diffeomorphism of D which is supported near 0 and ∂D, commutes with ψ −1 • φ • ψ and pulls back ψ * ω to a 2-form which is rotation invariant near 0 and ∂D.After replacing ψ by its composition with this diffeomorphism, we may assume w.l.o.g. that ψ * ω is rotation invariant near the origin and the boundary and apply Theorem 4.2 to the tuple (ψ * ω, ψ −1 • φ • ψ).Let H denote the resulting Hamiltonian.Then the Hamiltonian H • ψ −1 satisfies all assertions of Corollary 4.3.
Let us now consider the general case.We claim that φ must possess an interior fixed point which is either degenerate or elliptic.This clearly is the case if φ is equal to the identity near the boundary ∂D.So assume that φ is not equal to the identity near the boundary.Since φ is conjugated to a rotation near the boundary, this implies that there are no fixed points at all near the boundary.Let us assume that all fixed points of φ are non-degenerate.Then there are only finitely many fixed points and their signed count equals the Euler characteristic of D, which is equal to 1.The Lefschetz sign of positive hyperbolic fixed points is −1 and the Lefschetz sign of negative hyperbolic and elliptic fixed points 1.Thus there must exist a fixed point which is negative hyperbolic or elliptic.Since φ is assumed to be C 1 -close to the identity, there are no negative hyperbolic fixed points, which implies that there must exist an elliptic one.This concludes the proof that there must be a degenerate or elliptic interior fixed point.We choose such a fixed point p.By Lemma 5.5 there exists a Hamiltonian G, supported in an arbitrarily small neighbourhood of p and with arbitrarily small G is smoothly conjugated to an rotation in a neighbourhood of p.We define the lift φ ′ of φ ′ by φ . This smoothly extends to a 1-periodic Hamiltonian and generates φ.Since H agrees with H ′ outside a small neighbourhood of p, it satisfies assertions (2) and (3) of Corollary 4.3.If we choose G with sufficiently small norm X G C 2 , we can also guarantee that H is strictly positive in the interior of D. This follows from (4.15) and the fact that we have a strictly positive lower bound on H ′ t (p) independent of G. Thus H has all desired properties.

From Reeb flows to disk-like surfaces of section and approximation results
Let α 0 denote the restriction of the standard Liouville 1-form λ 0 on R 4 defined in (1.1) to the unit sphere S 3 .We will refer to α 0 as the standard contact form.The goal of this section is to prove the following result.Proposition 5.1.Every tight contact form α on S 3 which is sufficiently C 3 -close to the standard contact form α 0 can be C 2 -approximated by contact forms α ′ with the following properties: There exists a unique Reeb orbit γ of minimal action.The local first return map of a small disk transversely intersecting γ is smoothly conjugated to an irrational rotation.There exists a smooth embedding f : D → S 3 parametrizing a ∂-strong disk-like global surface of section with boundary orbit γ such that the 2-form ω := f * dα ′ , the first return map φ ∈ Diff(D, ω) and the lift φ 1 ∈ Diff(D, ω) of φ with respect to a trivialization of degree 1 satisfy assertions (1)-(3) below.
(1) φ 1 is C 1 -close to the identity id D .
(2) φ is smoothly conjugated to an irrational rotation in some neighbourhood of the boundary ∂D.
(3) All fixed points p of φ have positive action σ φ 1 (p).5.1.Approximation results.The next result says that we may perturb the contact form near an elliptic orbit such that the local first return map of the perturbed Reeb flow is smoothly conjugated to a rotation.We can choose the perturbation such that both the contact form and Reeb vector field are close to the original contact form and Reeb vector field with respect to the C 2 -topology.Proposition 5.2.Let α be a contact form on a 3-manifold Y .Let γ be an elliptic, simple, closed Reeb orbit of α.For every open neighbourhood V of γ and every ǫ > 0 there exists a contact form α ′ on Y such that: (1) α ′ agrees with α outside V . ( ) Up to reparametrization, γ is a simple closed Reeb orbit of α ′ .The local first return map of a small disk transversely intersecting γ is smoothly conjugated to an irrational rotation.
Our proof of Proposition 5.2 requires some preparation.Consider R 2 equipped with the standard symplectic form ω 0 .Any compactly supported symplectomorphism φ which is sufficiently C 1 -close to the identity can be represented by a unique compactly supported generating function W (see chapter 9 in [36]).If (X, Y ) denote the components of φ, the defining equations for the generating function are: Conversely, any compactly supported function W which is sufficiently C 2 -close to the identity uniquely determines a compactly supported symplectomorphism φ.
Lemma 5.3.Let k ≥ 0. We equip the space of compactly supported diffeomorphisms with the C k -topology and the space of compactly supported generating functions with the topology induced by the norm ∇• C k .The correspondence between symplectomorphisms and generating functions is continuous in both directions with respect to these topologies.
Proof.If φ is a symplectomorphism with corresponding generating function W , then the graph Γ(φ) of φ inside R 2 × R 2 can be parametrized via For j ∈ {1, 2} let π j : R 2 × R 2 → R 2 denote the projection onto the j-th factor.Then φ can be written as φ = (π 2 • ι) • (π 1 • ι) −1 .Clearly, the assignment W → π j • ι is continuous with respect to the topologies on the spaces of functions and diffeomorphisms specified above.Since composition and taking inverses of diffeomorphisms are continuous operations with respect to the C k -topology, this shows that the symplectomorphism φ depends continuously on W . Conversely, given φ we define the diffeomorphism ψ(x, y) := (X(x, y), y).The assignment φ → ψ is continuous with respect to the C k -topology.Define the function V (x, y) := (y − Y (x, y), X(x, y) − x).
Then ∇W is given by the composition ∇W = V • ψ −1 .Both V and ψ −1 depend continuously on φ with respect to the C k -topology.Hence the same is true for ∇W .φ → H φ such that: (1) H φ generates φ.
(2) H id = 0 (3) For every integer k ≥ 1 the following is true: Equip U with the C k -topology and C ∞ c ([0, 1] × R 2 ) with the topology induced by the norm H → X H C k−1 where we view X H as an element of C ∞ c ([0, 1] × R 2 , R 2 ).The map φ → H φ is continuous with respect to these topologies.
Proof.Let φ be a compactly supported symplectomorphism sufficiently C 1 -close to the identity and let W be the associated generating function.For t ∈ [0, 1], let φ t be the symplectomorphism associated to the generating function t • W .Let H φ : [0, 1] × R 2 → R be the unique compactly supported Hamiltonian generating the flow (φ t ) t∈[0,1] .This yields a map φ → H φ defined on a C 1 -open neighbourhood of the identity.Clearly, assertions (1) and ( 2) hold.It remains to check continuity.Let k ≥ 1.Consider the parametrization of Γ(φ t ).We have where π j : R 2 × R 2 → R 2 denotes the projection onto the j-th factor.Clearly, the map Since composition and inversion of diffeomorphisms are continuous operations with respect to the C k -topology, this implies that is continuous.We have X H φ = (∂ t φ t ) • φ −1 t .Combining Lemma 5.3 with continuity of (5.1), we obtain that φ → X H φ is continuous with respect to the C k -topology on symplectomorphisms and the C k−1 -topology on vector fields.Lemma 5.5.Let ω be an area form and φ a symplectomorphism defined near the origin of R 2 .Assume that 0 is a fixed point of φ and that it is either elliptic or degenerate.Then there exists a Hamiltonian H ∈ C ∞ c ([0, 1] × R 2 , R) supported inside an arbitrarily small open neighbourhood of 0 and with arbitrarily small norm X H C 2 such that 0 is a fixed point of φ • φ 1 H and such that φ • φ 1 H is smoothly conjugated to an irrational rotation in some neighbourhood of 0. Proof.After a change of coordinates, we can assume w.l.o.g. that ω = ω 0 .Since 0 is elliptic or degenerate as a fixed point of φ, we may choose a C ∞ -small Hamiltonian H supported in a small neighbourhood of 0 such that 0 is an elliptic fixed point of φ • φ 1 H with rotation number an irrational multiple of 2π and such that φ • φ 1 H is real analytic in some open neighbourhood of 0. It follows from [37,Chapter 23,] that there exists a symplectomorphism ψ defined in an open neighbourhood of 0 and fixing 0 such that where θ(x, y) = θ 0 + θ 1 (x 2 + y 2 ) for real constants θ 0 and θ 1 and O 4 (x, y) is a real analytic map vanishing up to order 3 at the origin.Since d(φ • φ 1 H )(0) is conjugated to an irrational rotation, the constant θ 0 is an irrational multiple of 2π.There exists a symplectomorphism ξ arbitrarily C 3 -close to the identity and supported in an arbitrarily small neighbourhood of 0 such that 3) that α H and R α H depend continuously on H with respect to the topologies specified in assertion (4).
We are finally ready to prove Proposition 5.2.
Proof of Proposition 5.2.Let D be a small disk transversely intersecting γ in a point p.Denote ω := dα| D .For a sufficiently small open neighbourhood p ∈ U ⊂ D we have a well-defined local first return map φ : (U, ω) → (D, ω).The map φ has an elliptic fixed point at p.By Lemma 5.5, there exists a Hamiltonian H : [0, 1] × U → R, supported in an arbitrarily small neighbourhood of p and with arbitrarily small norm X H C 2 , such that φ • φ 1 H is smoothly conjugated to an irrational rotation in some neighbourhood of p. Lemma 5.6 yields a contact form α H on Y which agrees with α outside a small neighbourhood of γ such that the local first return map of the Reeb flow of α H is given by φ • φ 1 H .By assertion (4) in Lemma 5.6, we can make α H − α C 2 and R α H − R α C 2 arbitrarily small by shrinking X H C 2 .5.2.Proof of Proposition 5.1.This section is devoted to the proof of Proposition 5.1.
Lemma 5.7.There exists ǫ > 0 with the following property: Let α be a tight contact form on S 3 satisfying the following conditions: (1) Lemma 5.8.For every ǫ > 0 there exists δ > 0 such that for all tight contact forms α on S 3 which satisfy R α − R α 0 C 2 < δ and for all simple closed Reeb orbits γ of action less than 3 2 • π there exists a diffeomorphism ψ of S 3 such that:

Theorem 1 . 3 .
Let X ⊂ R 4 be a star-shaped domain.Let Σ ⊂ ∂X be a ∂-strong (see Definition 2.3) disk-like global surface of section of the natural Reeb flow on ∂X of symplectic area a := Σ ω 0 = A(∂Σ).

1 and c CH 1 satisfy
Conjecture 1.1 in a C 3 -neighbourhood of the round ball.Our second main result significantly strengthens this in the 4-dimensional case.We prove the full strong Viterbo conjecture (Conjecture 1.2) near the ball.

1. 6 .
Overview of the proofs.Let us explain the main ideas.Consider the unit disk D ⊂ C equipped with the standard symplectic form ω 0 = dx ∧ dy.Let H : R/Z × D → R be a 1-periodic Hamiltonian vanishing on the boundary ∂D.Consider time-energy extended phase space D := R s × (R/Z) t × D equipped with the symplectic form The flow of X yields an arc in Diff + (Σ) from the identity to φ.Clearly, the element φ ∈ Diff(Σ) represented by this arc only depends on the isotopy class of τ .Let us explain the dependence of the lift on the choice of trivialization.Consider integers d and e and let φ d and φ e denote the lifts of φ with respect to trivializations of degrees d and e, respectively.Let ρ ∈ Diff(Σ) be one full positive rotation of Σ.Then the lifts φ d and φ e are related by the identity (2.5) ρ e−d • φ e = φ d .

Theorem 3 . 1 .
Let X ⊂ R 4 be a star-shaped domain.Let Σ ⊂ ∂X be a ∂-strong disk-like global surface of section of the natural Reeb flow on ∂X.Assume that the local first return map of a small disk transverse to the boundary orbit ∂Σ is smoothly conjugated to a rotation.Set ω := ω 0 | Σ and let a := Σ ω be the symplectic area of the surface of section.

Lemma 3 . 13 .
Let D be a closed 2-dimensional disk.Let λ be a Liouville 1-form on D, i.e. ω := dλ is a symplectic form and the Liouville vector field W characterized by ι W ω = λ is transverse to ∂D.Let I ⊂ R be a closed interval and endow I × D with the contact form dt + λ.Here t denotes the coordinate on I. Set M := R s × I × D. We can regard M as the symplectization of I × D and equip it with the symplectic form ω M := d(e s (dt + λ)).We can also regard M as time-energy extended phase space of D and endow it with the symplectic form ω := ds ∧ dt + ω.We abbreviate M + := R ≥0 × I × D and M 0 := 0 × I × D. There exists a symplectic embedding G : (M + , ω) → (M + , ω M ) which restricts to the identity on M 0 .

1 .
Statement of the positivity criterion.The generalized generating function framework we use applies to area-preserving diffeomorphisms of the disk D which are radially monotone in the sense of the following definition.Definition 4.1.A diffeomorphism φ ∈ Diff + (D) is called radially monotone if it fixes the center 0 and if the image of the radial foliation of D under φ is transverse to the foliation of D by circles centred at 0.

4. 5 .
Proof of the positivity criterion for diffeomorphisms close to the identity.The goal of this section is to deduce Corollary 4.3 from Theorem 4.2.Key ingredient is the following lemma.Lemma 4.11.Let φ : D → D be a diffeomorphism.Assume that:

Lemma 5 . 4 .
There exist a C 1 -open neighbourhood U ⊂ Symp c (R 2 , ω 0 ) of the identity and a map U → C ∞ c ([0, 1] × R 2 ) y) = cos(θ(x, y)) − sin(θ(x, y)) sin(θ(x, y)) cos(θ(x, y)) • x y + O 4 (x, y) y) = cos(θ(x, y)) − sin(θ(x, y)) sin(θ(x, y)) cos(θ(x, y)) • x y near 0. Lemma 5.4 yields a Hamiltonian G supported in a small neighbourhood of 0 such that φ 1 G = ξ and such that X G C 2 is controlled by ξ − id C 3 .We may choose an autonomous This is positively proportional to ∂ t +X H ′ .Thus the local first return map of the disk D induced by the Reeb flow of α H is given by φ • φ 1 H .It is immediate from formulas (5.2) and (5. 2) R α = c • R α 0 on the great circle Γ := {(z 1 , 0) | |z 1 | = 1} for some constant c > 0. (3) Γ is the unique shortest Reeb orbit of α. (4) The local return map of a small disk transversely intersecting Γ is smoothly conjugated to an irrational rotation.Then there exists a smooth embedding f : D → S 3 parametrizing a ∂-strong disk-like surface of section with boundary orbit Γ such that the 2-form ω := f * dα and the lift of the first return map φ 1 ∈ Diff(D, ω) with respect to a trivialization of degree 1 satisfy assertions (1)-(3) in Proposition 5.1.Proof.Our proof is based on Proposition 3.6 in[2].We definef : R/Z × D → S 3 f (t, e iθ ) := sin π 2 r e i(θ+2πt) , cos π 2 r e 2πit .Up to replacing R/πZ by R/Z, this agrees with the map f defined in[2].By assertion (iii) in [2, Proposition 3.6], the pull-back of the Reeb vector field R α via f | R/Z×int(D) extends to a smooth vector field R on the closed solid torus R/Z × D.Moreover, the C1 -norm R − ∂ t C 1 is controlled by the C 2 -norm R α − R α 0 C 2 .This shows that if R α is sufficiently C 2 -close to R α 0 ,then R is positively transverse to the fibres t × D of the solid torus.In particular, the restriction of f to 0 × D parametrizes a ∂-strong disk-like global surface of section of the Reeb flow of α.Let z be a point in the boundary ∂D.The mapR/Z → Γ t → f (t, z)has degree 1.Thus the flow of R on R/Z × D induces the lift φ 1 of the first return map of f | 0×D with respect to a trivialization of degree 1.We see that the C 1 -distance between φ 1 and the identity id D is controlled by the C 2 -distance between R α and R α 0 , which yields assertion (1) of Proposition 5.1.The hypothesis that the local first return map of the orbit Γ is smoothly conjugated to an irrational rotation implies that the global first return map φ is smoothly conjugated to an irrational rotation near the boundary.Let p be a fixed point of φ corresponding to a closed Reeb orbit γ of α.By assumption, Γ is the unique shortest Reeb orbit of α.Thus γ α > Γ α.Let φ 0 denote the lift of φ with respect to a trivialization of degree 0. It follows from Lemma 2.5 that γ α = σ φ 0 (p).The actions of φ 0 and φ 1 are related via σ φ 0 (p) = σ φ 1 (p) + Γ α.Thus we can conclude that σ φ 1 (p) is positive.
inspired this paper.We also thank Michael Hutchings for his suggestion to prove the strong Viterbo conjecture near the round ball and Julian Chaidez for countless stimulating discussions.
This uniquely specifies H t .Conversely, if we are given a family of smooth functions H t vanishing on the boundary, there exists a unique vector field X Ht in the interior int(D) satisfying ι X H t ω = dH t .If ω does not vanish on ∂D, then X Ht smoothly extends to a vector field on the closed disk which is tangent to the boundary.Note that this is not necessarily true if ω vanishes on the boundary.So while every arc in Diff(D, ω) is generated by a family of Hamiltonians vanishing on the boundary ∂D, not every family of such Hamiltonians generates an arc in Diff(D, ω).The following result [2, Proposition 2.6] expresses the action of φ = [(φ t ) t∈[0,1] ] in terms the Hamiltonian H t .Suppose that (φ t ) t∈[0,1] is an arc in Diff(D, ω) generated by a family of Hamiltonians H t vanishing on the boundary ∂D.Let φ ∈ Diff(D, ω) be the element represented by the arc The linearization of φ t induces a lift dφ t of the flow φ t to ξ.This lift dφ t descends to the bundle P + ξ.Now consider a simple closed orbit γ of φ t .Then the torus T γ := P + ξ| γ is invariant under the projective linearized flow dφ t .As a set, the blow-up of Y at γ is equal to the disjoint unionY := (Y \ γ) ⊔ T γ .Itcarries the structure of a compact smooth manifold with boundary T γ .The natural projection π : Y → Y is smooth.The pullback of the restriction of the vector field R to Y \ γ is a smooth vector field R on the interior of Y .It smoothly extends to all of Y (see e.g.[15, Lemma A.1]).The resulting flow φ t on Y lifts the flow φ t and its restriction to the boundary T γ agrees with the projective linearized flow dφ t .Consider a surface of section Σ ⊂ Y .Let Y be the simultaneous blow-up of Y at all the boundary orbits of Σ.The surface Σ lifts to a properly embedded surface Σ ⊂ Y with boundary ∂Σ contained in ∂Y .We recall the following definition from [15].Definition 2.3.The global surface of section Σ is called ∂-strong if the lifted surface Σ ⊂ Y is a global surface of section for the lifted flow φ t , i.e. if R is transverse to Σ and all trajectories of φ t meet Σ infinitely often forward and backward in time.
Then H is rotation invariant near the boundary and again it follows that it must be given by (3.4).3.8.There exists a diffeomorphism ψ : ∂A(a, H) → ∂X such that ψ * (ω 0 Away from a neighbourhood of ∂B 2 (a) this agrees with φ 1 H because g is equal to the identity.Near the boundary, φ H is a rotation by angle 2π/b and thus commutes with g.Hence g −1 • φ 1 H • g agrees with φ 1 H on all of B 2 (a).Now simply replace H by H • g.
necessary, we can assume that the action σ φ ′ is positive on all fixed points of φ ′ .Thus Corollary 4.3 holds for φ ′ by the above discussion.Let H ′ be a Hamiltonian generating φ ′ and satisfying all assertions in Corollary 4.3.In fact, it follows from assertion (2) in Theorem 4.2 that H ′ can be chosen to satisfy dH ′ The action σ φ ′ (p) is close to σ φ (p) > 0. Thus we can bound H ′ t (p) from below by a positive constant which can be chosen uniform among all sufficiently small G.After reparametrizing the Hamiltonian flow of G, we can assume w.l.o.g. that G vanishes for t near 0 and 1.We define H by t (p) = 0 and H ′ t (p) = σ φ ′ (p) for all t.