Advertisement

Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

Contact Manifolds with Flexible Fillings

  • 25 Accesses

Abstract

We prove that all flexible Weinstein fillings of a given contact manifold with vanishing first Chern class have isomorphic integral cohomology. As an application, we show that in dimension at least 5 any almost contact class that has an almost Weinstein filling has infinitely many different contact structures. We also construct the first known infinite family of almost symplectomorphic Weinstein domains whose contact boundaries are not contactomorphic. These contact structures are distinguished by positive symplectic homology, which we prove is a contact invariant for flexibly-filled contact structures. The key step is a procedure for increasing the degrees of Reeb chords of loose Legendrians.

This is a preview of subscription content, log in to check access.

We’re sorry, something doesn't seem to be working properly.

Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5

References

  1. [AS10]

    M. Abouzaid and P. Seidel. An open string analogue of Viterbo functoriality. Geom. Topol., (2)14 (2010), 627–718

  2. [AM17]

    M. Abreu and L. Macarini. Dynamical convexity and elliptic periodic orbits for Reeb flows. Mathematische Annalen, (1)369 (2017), 331–386

  3. [BGZ19]

    K. Barth, H. Geiges, and K. Zehmisch. The diffeomorphism type of symplectic fillings. J. Symplectic Geom., (17) (2019), 929971

  4. [Ben83]

    D. Bennequin. Entrelacements et équations de Pfaff. In: Third Schnepfenried geometry conference, Vol. 1 (Schnepfenried, 1982), volume 107 of Astérisque, Soc. Math. France, Paris, (1983), pp. 87–161.

  5. [BEE12]

    F. Bourgeois, T. Ekholm, and Y. Eliashberg. Effect of Legendrian surgery. Geom. Topol., (1)16 (2012), 301–389 With an appendix by Sheel Ganatra and Maksim Maydanskiy.

  6. [BO09]

    F. Bourgeois and A. Oancea. An exact sequence for contact- and symplectic homology. Invent. Math., (3)175 (2009), 611–680

  7. [BO16]

    F. Bourgeois and A. Oancea. \(s^1\)-equivariant symplectic homology and linearized contact homology. International Mathematics Research Notices, (2016)

  8. [BCS14]

    J. Bowden, D. Crowley, and A. I. Stipsicz. The topology of Stein fillable manifolds in high dimensions I. Proc. Lond. Math. Soc. (3), (6)109 (2014), 1363–1401

  9. [BCSK15]

    J. Bowden, D. Crowley, A. I. Stipsicz, and B. C. Kellner. The topology of Stein fillable manifolds in high dimensions II. Geom. Topol., (5)19 (2015), 2995–3030

  10. [CMP19]

    R. Casals, E. Murphy, and F. Presas. Geometric criteria for overtwistedness. J. Amer. Math. Soc., (2)32 (2019), 563–604.

  11. [CE12]

    K. Cieliebak and Y. Eliashberg. From Stein to Weinstein and back, volume 59 of American Mathematical Society Colloquium Publications. American Mathematical Society, Providence, RI, (2012). Symplectic geometry of affine complex manifolds.

  12. [CO18]

    K. Cieliebak and A. Oancea. Symplectic homology and the Eilenberg–Steenrod axioms. Algebraic and Geometric Topology, (4)18 (2018), 1953–2130

  13. [Cou14]

    S. Courte. Contact manifolds with symplectomorphic symplectizations. Geom. Topol., (1)18 (2014), 1–15

  14. [DG04]

    F. Ding and H. Geiges. \(E_8\)-plumbings and exotic contact structures on spheres. Int. Math. Res. Not., (71) (2004), 3825–3837

  15. [EES07]

    T. Ekholm, J. Etnyre, and M. Sullivan. Legendrian contact homology in \(P\times {\mathbb{R}}\). Trans. Amer. Math. Soc., (7)359 (2007), 3301–3335 (electronic)

  16. [EO17]

    T. Ekholm and A. Oancea. Symplectic and contact differential graded algebras. Geom. Topol., (4)21 (2017), 2161–2230

  17. [Eli91]

    Y. Eliashberg. On symplectic manifolds with some contact properties. J. Differential Geom., (1)33 (1991), 233–238

  18. [EGL18]

    Y. Eliashberg, S. Ganatra, and O. Lazarev. Flexible Lagrangians. Int. Math. Res. Not., (2018)

  19. [EGH99]

    Y. Eliashberg, A. Givental, and H. Hofer. Introduction to symplectic field theory. Geom. Funct. Anal., (Special Volume, Part II) (2000), 560–673. GAFA 2000 (Tel Aviv, 1999)

  20. [Fau15]

    A. Fauck. Rabinowitz-Floer homology on Brieskorn spheres. Int. Math. Res. Not. IMRN, (14) (2015), 5874–5906

  21. [FH93]

    A. Floer and H. Hofer. Coherent orientations for periodic orbit problems in symplectic geometry. Math. Z., (1)212 (1993), 13–38

  22. [GPS19]

    S. Ganatra, J. Pardon, and V. Shende. Sectorial descent for wrapped fukaya categories, (2019). arXiv:1809.03427

  23. [Gei91]

    H. Geiges. Contact structures on \(1\)-connected \(5\)-manifolds. Mathematika, (2)38 (1991), 303–311

  24. [Gei97]

    H. Geiges. Applications of contact surgery. Topology, (6)36 (1997), 1193–1220

  25. [Gei08]

    H. Geiges. An introduction to contact topology, volume 109 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, (2008).

  26. [Gut17]

    J. Gutt. The positive equivariant symplectic homology as an invariant for some contact manifolds. Journal of Symplectic Geometry, (4)15 (2017), 1019–1069

  27. [HWZ99]

    H. Hofer, K. Wysocki, and E. Zehnder. A characterization of the tight \(3\)-sphere. II. Comm. Pure Appl. Math., (9)52 1139–1177, (1999)

  28. [Hus94]

    D. Husemöller. Fiber bundles, volume 20. Springer-Verlag, New York, (1994).

  29. [Kra07]

    T. Kragh. The Viterbo transfer as a map of spectra. Journal of Symplectic Geometry, (1)16 (2007)

  30. [KK16]

    M. Kwon and O. van Koert. Brieskorn manifolds in contact topology. Bull. Lond. Math. Soc., (2)48 (2016), 173–241

  31. [Laz18]

    O. Lazarev. Maximal contact and symplectic structures, (2018). arXiv:1810.11728

  32. [McD91]

    D. McDuff. Symplectic manifolds with contact type boundaries. Invent. Math., (3)103 (1991), 651–671

  33. [McL09]

    M. McLean. Lefschetz fibrations and symplectic homology. Geom. Topol., (4)13 (2009), 1877–1944

  34. [McL11]

    M. McLean. Computability and the growth rate of symplectic homology, (2011). arXiv:1109.4466

  35. [MP15]

    S. Müller and P. Spaeth. Topological contact dynamics I: symplectization and applications of the energy-capacity inequality. Adv. Geom., (3)15 (2015), 349–380

  36. [Mur12]

    E. Murphy. Loose legendrian embeddings in high dimensional contact manifolds, (2012). arXiv:1201.2245

  37. [Oba18]

    T. Oba. Higher-dimensional contact manifolds with infinitely many Stein fillings. Trans. Amer. Math. Soc., (7)370, (2018) 5033–5050

  38. [Par19]

    J. Pardon. Contact homology and virtual fundamental cycles. J. Amer. Math. Soc., 32 (2019), 825–919

  39. [Rit13]

    A. F. Ritter. Topological quantum field theory structure on symplectic cohomology. J. Topol., (2)6 (2013), 391–489

  40. [Sei08]

    P. Seidel. A biased view of symplectic cohomology. In: Current developments in mathematics, 2006, Int. Press, Somerville, MA, (2008), pp. 211–253.

  41. [Sma62]

    S. Smale. On the structure of \(5\)-manifolds. Ann. of Math. (2), 75 (1962), 38–46

  42. [Sul75]

    D. Sullivan. Differential forms and the topology of manifolds. In: Manifolds—Tokyo 1973 (Proc. Internat. Conf., Tokyo, 1973). Univ. Tokyo Press, Tokyo, (1975), pp. 37–49.

  43. [Ueb15]

    P. Uebele. Symplectic homology of some Brieskorn manifolds. Mathematische Zeitschrift, 283 (2015), 243–274

  44. [Ust99]

    I. Ustilovsky. Infinitely many contact structures on \(S^{4m+1}\). Internat. Math. Res. Notices, (14) (1999), 781–791

  45. [Koe05]

    O. van Koert. Open books for contact five-manifolds and applications of contact homology, (2005). Ph.D. Thesis.

  46. [Vit99]

    C. Viterbo. Functors and computations in Floer homology with applications. I. Geom. Funct. Anal., (5)9 (1999), 985–1033

  47. [Vit18]

    C. Viterbo. Functors and computations in Floer homology with applications, part II, (2018). https://arxiv.org/abs/1805.01316

  48. [Wei91]

    A. Weinstein. Contact surgery and symplectic handlebodies. Hokkaido Math. J., (2)20 (1991), 241–251

  49. [Yau04]

    M.-L. Yau. Cylindrical contact homology of subcritical Stein-fillable contact manifolds. Geom. Topol., 8 (2004), 1243–1280

  50. [Zho18]

    Z. Zhou. Vanishing of symplectic homology and obstruction to flexible fillability. Int. Math. Res. Notices, (2018)

Download references

Acknowledgements

I would like to thank my PhD advisor Yasha Eliashberg for suggesting this problem and for many inspiring discussions. I am also grateful to Kyler Siegel and Laura Starkston for providing many helpful comments on earlier drafts of this paper. I also thank Matthew Strom Borman, Tobias Ekholm, Sheel Ganatra, Jean Gutt, Alexandru Oancea, Joshua Sabloff, and Otto van Koert for valuable discussions. This work was partially supported by a National Science Foundation Graduate Research Fellowship under grant number DGE-114747.

Author information

Correspondence to Oleg Lazarev.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Appendix: Scaling Map Lemma

Appendix: Scaling Map Lemma

In this section, we prove the scaling map Lemma 5.6. This lemma was used in Section 5 to prove Lemma 5.7 and Proposition 5.8, which were in turn needed to prove Theorem 5.4, loose Legendrians are ADC. The scaling lemma is a result about contactomorphisms of 1-jet spaces, i.e. neighborhoods of Legendrians, and can be stated reference to the ambient contact manifold or looseness. We recall the notation we used. We fix a metric on \(\Lambda \). As before, we let \(U^\varepsilon = U^{\varepsilon }(\Lambda ) \subset (J^1(\Lambda ), \alpha _{std})\) denote \(\{ \Vert y\Vert< \varepsilon , |z| < \varepsilon \}\); here \(\alpha _{std} = dz - \sum _{i=1}^n y_i dx_i\), where \(x_i\) are any local coordinates on \(\Lambda \) and \(y_i\) are the dual coordinates on \(T^*\Lambda \). For \(c>0\), let \(s_c\) be the scaling contactomorphism of \(J^1(\Lambda )\)

$$\begin{aligned} s_c(x,y,z) = (x,cy, cz). \end{aligned}$$
(6.1)

Note that we can multiply the y coordinate by c since it is the coordinate on the vector space fibers of \(T^*\Lambda \). Also, note that \(s_c^*\alpha = c\alpha \). In the following lemma, we construct a contactomorphism supported in \(U^1\) that scales \(U^{1/2}\) down an arbitrary amount using \(s_c\) but does not change the contact form by more than a fixed bounded amount. To do so, we first construct such a contactomorphism without the correct support and then modify this contactomorphism using contact Hamiltonians. The following restates the scaling map Lemma 5.6.

Lemma 6.1

For any positive \(\varepsilon \) and \(\delta \) such that \(\delta \le \varepsilon \), there exists a contactomorphism \(f_{\delta }\) of \((J^1(\Lambda ), \alpha )\) supported in \(U^\varepsilon \) such that \(f_\delta |_{U_{\varepsilon /2}}= s_\delta \) and \(f_\delta ^* \alpha < 4 \alpha \).

Remark 6.2

  1. (1)

    By cutting off the contact Hamiltonian for \(s_c\) with a bump function, it is easy to construct such f with \(f_\delta ^* \alpha < C_\delta \alpha \) for some constant \(C_\delta \) depending on \(\delta \). However it is unclear what effect this cutting off has on \(C_\delta \). The point is that there is a bound on \(f_\delta ^* \alpha \) independent of \(\delta \), which we will show by explicit computation.

  2. (2)

    Note that \((f_\delta |_{U_{\varepsilon /2}})^*\alpha = \delta \alpha \). However, this condition by itself is not enough for the proof of Lemma 5.7; we will actually need \(f_\delta |_{U_{\varepsilon /2}}= s_\delta \).

Proof of Lemma 6.1

It is enough to prove the case \(\varepsilon = 1\). If we have constructed \(f_\delta \) for \(\varepsilon =1\), in general we can take as our contactomorphism \(s_\varepsilon \circ f_\delta \circ s_\varepsilon ^{-1}\). This has the desired support, \(s_\varepsilon \circ f_\delta \circ s_\varepsilon ^{-1}|_{U^{\varepsilon /2}} = s_\delta \), and \((s_\varepsilon \circ f_\delta \circ s_\varepsilon ^{-1})^*\alpha = \varepsilon (f_\delta \circ s_\varepsilon ^{-1})^* \alpha \le 4 \varepsilon (s_\varepsilon ^{-1})^* \alpha = 4 \alpha \).

We first explain how to construct a contactomorphism of \(J^1(\Lambda )\) with all the desired properties except support in \(U^1\). For \(t\in [0,1)\), we consider the diffeomorphism \(h_t: [0,1] \rightarrow [0, 1]\) that is the identity map near \(\{1\}\) and is obtained by smoothing the piecewise-linear map whose graph in \(\mathbb {R}^2\) connects the points

  • (0, 0) and \((1/2, (1-t)/2)\) with a line of slope \(1-t\),

  • \((1/2, (1-t)/2)\) and (1, 1) with a line of slope \(1+t \).

Fig. 6
figure6

Graph of \(h_t\) and \(\frac{dh_t}{dz}\).

See Figure 6. Note that \(h_0 = Id\) and as t approaches 1, the graph of \(h_t\) approaches a line of slope 0 and a line of slope 2. Note that \(1-t, 1+t < 2\) for \(t < 1\). In particular, we can assume that \(h_t(z) = (1-t) z\) for \(z\in [0,1/2]\) and \(\frac{d h_t}{d z} \le 2\) everywhere; also \(\frac{d h_t}{d z} > 0\) since \(h_t\) is a diffeomorphism. Extend \(h_t\) to a diffeomorphism \(h_t: \mathbb {R} \rightarrow \mathbb {R}\) satisfying \(h_t(-z) = -h_t(-z)\) and \(h_t(z) = z\) for \(|z|> 1\). Let \(\varphi _t: J^1(\Lambda )\rightarrow J^1(\Lambda )\) be the contactomorphism defined by \(\varphi _t(x, y, z) = (x, \frac{d h_t}{dz}y, h_t(z))\); because \(\frac{d h_t}{dz} > 0\), this is a diffeomorphism. In particular, we have \(\varphi _t|_{U_{1/2}}= s_{1-t}\). Also, note that \(\varphi _t^* \alpha = \frac{d h_t}{d z} \alpha \) and so \(\varphi _t^* \alpha \le 2\alpha \) for all \(t \in [0,1)\). Then \(\varphi _{1-\delta }\) satisfies all conditions except it is not supported in \(U^{1}\); the issue is that if \( \frac{d h_t}{d z}(z) \ne 1\), then \((x, \frac{d h_t}{d z}y, h_t(z)) \ne (x,y,z)\) for all\(y \in \mathbb {R}^n \backslash \{0\}\).

We now explain how to modify \(\varphi _{t}\) to get the correct support while preserving the other properties. We first describe \(h_t\) more carefully. In particular, we will use the following lemma about smooth functions, which we prove at the end of this section.

Lemma 6.3

There exists a smooth family of diffeomorphisms \(h_t= h(t, \cdot ): \mathbb {R} \rightarrow \mathbb {R}\) defined for \(t\in [0,1)\) such that \(h_0(z) = z\), \(h_t(z) = (1-t)z\) for \(z\in [-\frac{1}{2}, \frac{1}{2}]\), \(h_t(z) = z\) for \(|z| > 1\) and

$$\begin{aligned} \max _{z\in \mathbb {R}} \left( \frac{\partial h_t}{\partial z} \right) ^{-1} \frac{\partial ^2 h_t}{\partial t \partial z} \le \frac{5}{4} \end{aligned}$$

for all \(t\in [0,1)\).

Remark 6.4

In fact, we can replace \(\frac{5}{4}\) by any number bigger than 1.

Our old \(h_t\) satisfies all conditions except for possibly the last one and the \(h_t\) constructed in this lemma look very much like the \(h_t\) we constructed earlier.

Again we consider the contact isotopy \(\varphi _t\) of \(J^1(\Lambda )\) with \(\varphi _t(x,y,z) = \)\((x, \frac{\partial h_t }{\partial z}y, h_t(z))\). The vector field \(X_t = (\frac{d\varphi _t}{dt}) \circ \varphi _t^{-1}\) is a time-dependent contact vector field whose flow is defined for all \(t\in [0,1)\); for example, see Section 2 of [MP15]. Therefore, there exists a time-dependent contact Hamiltonian \(H_t: J^1(\Lambda ) \rightarrow \mathbb {R}\) such that the corresponding contact vector field is precisely \(X_t\); we do not need an explicit formula for \(H_t\) but note that \(H_t = \alpha (X_t)\). Because \(\varphi _t\) is the identity map for \(|z|>1\), \(X_t\) and hence \(H_t\) vanish for \(|z|>1\). Let \(b: \mathbb {R}^+ \rightarrow [0,1]\) be a smooth non-increasing function supported on [0, 1) such that \(b=1\) on [0, 3/4]. Let \(G_t: J^1(\Lambda ) \rightarrow \mathbb {R}\) be defined by \(G_t(x,y,z) = b(\Vert y\Vert ^2)H_t(x,y,z)\), where we use the metric on \(\Lambda \) to define \(\Vert y\Vert ^2\). Note that \(G_t\) is supported in \(U^1\). Let \(\psi _t\) be the contact isotopy obtained by integrating the contact vector field \(Y_t\) of \(G_t\). Since \(G_t\) is supported in \(U^1\), so is \(\psi _t\) and therefore \(\psi _t\) is defined for all \(t\in [0,1)\). We will show that \(\psi _{1-\delta }\) is the desired contactomorphism. Since \(G_t = H_t\) in \(U^{1/2}\), we have \(Y_t = X_t\) in \(U^{1/2}\). Furthermore, \(\varphi _t(U^{1/2}) \subseteq U^{1/2}\) for all t and so \(\psi _t|_{U^{1/2}} = \varphi _t|_{U^{1/2}} = s_{1-t}\). Therefore \(\psi _{1-\delta }|_{U^{1/2}} = s_\delta \). It remains to show that \(\psi _{1-\delta }^*\alpha < 4\alpha \); we will show that \(\psi _t^*\alpha < 4 \alpha \) for all \(t\in [0,1)\).

We now recall some properties of contact Hamiltonians. Suppose \(\varphi _t\) is a contact isotopy induced by an arbitrary contact Hamiltonian \(H_t\). Then \(\varphi _t^*\alpha = \lambda _t \alpha \) for some \(\lambda _t\). We have the following explicit formula for \(\lambda _t\)

$$\begin{aligned} \lambda _t = e^{\int _0^t \mu _s ds }, \end{aligned}$$
(6.2)

where \( \mu _t= dH_t(R_\alpha )\circ \varphi _t \). For completeness, we review the proof of this formula, which is given in [Gei08], p. 63. Note that

$$\begin{aligned} \frac{d\lambda _t}{dt}\alpha = \frac{d\varphi _t^*\alpha }{dt} = \varphi _t^*L_{X_t} \alpha = \varphi _t^* (dH_t(R_\alpha ) \alpha ) = \mu _t \lambda _t \alpha \end{aligned}$$

where the second-to-last equality follows from the definition of the contact Hamiltonian. So we get \(\frac{d\lambda _t}{dt} = \mu _t \lambda _t\), which proves Equation 6.2. In particular, to bound \(\lambda _t\) it is sufficient to bound \(dH_t(R_\alpha )\). Solving for \(dH_t(R_\alpha )\circ \varphi _t\) in terms of \(\lambda _t\), we get

$$\begin{aligned} dH_t(R_\alpha )\circ \varphi _t = \mu _t = \lambda _t^{-1} \frac{d \lambda _t}{dt}. \end{aligned}$$

In our situation, we have \(\lambda _t = \frac{d h_t(z)}{d z}\) and so

$$\begin{aligned} dH_t(R_\alpha )\circ \varphi _t = \left( \frac{\partial h_t}{\partial z} \right) ^{-1} \frac{\partial ^2 h_t}{\partial t \partial z}. \end{aligned}$$

By the last condition of Lemma 6.3, \(\underset{J^1(\Lambda )}{\max } \ dH_t(R_\alpha ) = \underset{J^1(\Lambda )}{\max } \ dH_t(R_\alpha ) \circ \varphi _t \le 5/4\) for all \(t\in [0,1)\).

We are interested in bounding the function \(\gamma _t\) defined by \(\psi _t^*\alpha = \gamma _t\alpha \). Recall that \(\psi _t\) is generated by \(G_t = b(\Vert y\Vert ^2)H_t\). Since b is independent of z and \(R_\alpha = \partial _z\), we have that \(dG_t(R_\alpha ) = b(\Vert y\Vert ^2) dH_t(R_\alpha )\); the fact that we can just factor out b and not consider derivatives of b is key. Let \(\nu _t = dG_t(R_\alpha )\circ \psi _t\). We have \(\underset{J^1(\Lambda )}{\max } \ dH_t(R_\alpha ) \ge 0\) because \(H_t = 0\) for \(|z| > 1\) for all t. Also, \(0 \le b(\Vert y\Vert ^2) \le 1\). Therefore

$$\begin{aligned} \max _{J^1(\Lambda )}\nu _t = \max _{J^1(\Lambda )}{dG_t(R_\alpha )} \le \max _{J^1(\Lambda )}{dH_t(R_\alpha )} =\max _{J^1(\Lambda )}\mu _t \le \frac{5}{4}. \end{aligned}$$

Therefore by Equation 6.2

$$\begin{aligned} \gamma _t = e^{\int _0^t \nu _s ds } \le e^{\int _0^t \frac{5}{4} ds} = e^{\frac{5}{4}t}< e^\frac{5}{4} < 4 \end{aligned}$$

for all \(t\in [0,1)\) as desired. \(\square \)

Remark 6.5

We knew a priori that \(\int _0^t \mu _s ds = \ln \lambda _t \le \ln 2\) for all points in \(J^1(\Lambda )\) but this is not enough to conclude that \(\int _0^1 \max _{J^1(\Lambda )}\mu _t dt < \infty \), as required for the last part of the proof of Lemma 6.1. This is why we needed to us Lemma 6.3 to bound \(\max _{J^1(\Lambda )}\mu _t\).

Fig. 7
figure7

Graph of g.

Proof of Lemma 6.3

Now we explain how to construct the desired \(h_t\). Let \(g:[0,1] \rightarrow [-1, \frac{5}{4}]\) be a smooth function such that g equals \(-1\) on [0, 1/2], vanishes near 1, and \(\int _0^1 g(x) dx = 0\); see Figure 7. Define \(h_t: [0,1] \rightarrow [0,1]\) by \(h_t(z) = \int _0^z (tg(s)+1)ds\). Since \(\frac{\partial h_t}{\partial z} = tg(z)+1 > 0\) for \(t < 1\), \(h_t\) is a smooth family of increasing (in z) functions. Also, \(h_0(z) =z, h_t(z) = (1-t)z\) for \(z\in [0,1/2],\) and \(h_t(z) = z\) near 1. We need to bound

$$\begin{aligned} \left( \frac{\partial h_t}{\partial z}\right) ^{-1} \frac{\partial ^2 h_t}{\partial t \partial z} = (tg(z)+1)^{-1} \frac{\partial (tg(z)+1)}{\partial t} = \frac{g(z)}{tg(x)+1} \end{aligned}$$

in z for fixed \(t<1\). If \(g(z)\le 0\), then because \(tg(z)+1 >0\) for \(t<1\), we have that \(g(z)/(tg(z)+1) \le 0\). If \(g(z)>0\), then \(tg(z)+1 \ge 1\) and so \(g(z)/(tg(z)+1)) \le g(z) \le \frac{5}{4}\). So \(g(z)/(tg(z)+1) \le \frac{5}{4}\) for all \(z\in [0,1]\) and \( t < 1\), as desired. Finally, we extend \(h_t\) to a diffeomorphism \(h_t: \mathbb {R} \rightarrow \mathbb {R}\) such that \(h_t(z)= -h_t(-z)\) and \(h_t(z) = z\) for \(|z|>1\). Since \(\frac{\partial h_t}{\partial z}(z)= \frac{\partial h_t}{ \partial z}(-z)\), this bound holds for all \(z\in \mathbb {R}\). \(\square \)

Remark 6.6

Lemma 6.1 also holds for \((J^1(\Lambda ) \times E, \alpha )\). Here E is a trivial conformal symplectic bundle over \(\Lambda \) and \(\alpha = dz - y dx - vdu\), where (xyzuv) are local coordinates on \(J^1(\Lambda ) \times E\). In this case, we take \(s_c(x,y,z,u,v) := (x, cy, cz, \sqrt{c}u, \sqrt{c}v)\) and \(U^\varepsilon = \{\Vert y\Vert , |z|, |u|, |v| < \varepsilon \}\) so that \(s_c^*\alpha = c\alpha \) and \(s_c(U^\varepsilon ) \subset U^{\varepsilon \sqrt{c}}\). We modify the proof a bit by using \(\varphi _t(x,y,z,u,v) = (x,\frac{\partial h_t}{\partial z}y,h_t(z), \sqrt{\frac{\partial h_t}{\partial z}}u, \sqrt{\frac{\partial h_t}{\partial z}} v)\), which is smooth since \(\frac{\partial h_t}{\partial z}\) is never zero, and \(G_t = b(\Vert y\Vert ^2) b(|u|^2)b(|v|^2)H_t\). Note that any isotropic submanifold with trivial symplectic conormal bundle has a neighborhood that is strictly contactomorphic to a neighborhood of \(\Lambda \) in \((J^1(\Lambda ) \times E, \alpha )\). When \(\Lambda \) is a sphere, this is precisely the neighborhood of \(\Lambda \) used in subcritical surgery.

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Lazarev, O. Contact Manifolds with Flexible Fillings. Geom. Funct. Anal. (2020). https://doi.org/10.1007/s00039-020-00524-6

Download citation