Eli89 BEM15
Eli89 BEM15
Eli89 BEM15
SYMPLECTIC MANIFOLDS
TAKAHIRO OBA
arXiv:2404.14028v1 [math.GT] 22 Apr 2024
Abstract. We show that, given a closed R integral symplectic manifold (Σ, ω) of di-
mension 2n ≥ 4, for every integer k > Σ ω n , the Boothby–Wang bundle over (Σ, kω)
carries no Stein fillable contact structure. This negatively answers a question raised by
Eliashberg. A similar result holds for Boothby–Wang orbibundles. As an application,
we prove the non-smoothability of some isolated singularities.
1. Introduction
The study of contact topology has revealed both flexible and rigid aspects of contact
structures. According to Eliashberg [Eli89] and Borman–Eliashberg–Murphy [BEM15],
the existence and classification of overtwisted contact structures essentially reduce to
algebraic topology; as a result, every almost contact structure is realized as an over-
twisted contact structure. In contrast, there exist almost contact structures that cannot
be represented by tight contact structures (e.g. [EH01] and [LS07]). This implies that
tight contact structures are more rigid. Our primary interest lies in Stein fillable contact
structures, which form a special class of tight contact structures (see Section 2.1 for the
definition).
Circle bundles over symplectic manifolds provide important examples of contact
manifolds. Let (Σ, ω) be a closed integral symplectic manifold of dimension 2n, i.e.,
[ω] ∈ H 2 (Σ; R) has an integral lift. (Throughout the paper, we always assume Σ to be
oriented so that ω n is a positively oriented volume form and an integral lift of [ω] to be
fixed.) The Boothby–Wang bundle over (Σ, ω) is a principal circle bundle p : M → Σ
with Euler class e(M ) = −[ω], which is uniquely determined up to isomorphism. A con-
nection 1-form on M with curvature form 2πω defines a contact structure ξ on M . We
call (M, ξ) the Boothby–Wang contact manifold associated with (Σ, ω). Boothby–Wang
bundles naturally appear in the study of contact and symplectic topology. For exam-
ple, they are related to symplectic submanifolds constructed by Donaldson [Don96], as
explained in [DL19] and [Gir17] (see also Remark 2.6).
From the fillability viewpoint, every Boothby–Wang contact manifold (M, ξ) is strongly
fillable since the disk bundle associated with p : M → Σ serves as a strong symplectic fill-
ing of (M, ξ). This leads to the following question, as posed in [Bir05, Section 4.1.2] and
[BCS14, Problem 6.6]: Is the contact manifold (M, ξ) Stein fillable? More generally, one
may ask whether the Boothby–Wang bundle M admits a Stein fillable contact structure
or not. There are examples of Boothby–Wang bundles admitting no Stein fillable contact
Date: April 23, 2024.
1
2 TAKAHIRO OBA
structures (e.g. [EKP06] and [PP08]); see also [KO23] for non-Stein fillable Boothby–
Wang contact manifolds. Furthermore, Bowden–Crowley–Stipsicz [BCS14] provided a
characterization of an almost contact structure that is represented by a Stein fillable
contact structure. However, applying this characterization to a specific case is yet chal-
lenging in practice, as it is expressed in terms of cobordism theory.
The main theorem in this paper, stated below, gives a new class of Boothby–Wang
bundles without Stein fillable contact structures. In particular, this negatively answers
the question raised by Eliashberg [Cou12, p. 4].
R n in [PP08]. What
The proof of this theorem is inspired by a topological argument
we really show is that the Boothby–Wang bundle Mk with k > Σ ω does not bound a
compact manifold with the homotopy type of a CW complex of dimension ≤ n + 1 (see
Proposition 2.2). Together with a result on the homotopy types of Stein domains, this
completes the proof of the theorem in Section 2.2.
Here are some remarks on the above theorem. Suppose that Σ is a closed Riemann
surface with an integral symplectic form ω. The Boothby–Wang
R bundle Mk over (Σ, kω)
carries a Stein fillable contact structure if χ(Σ) < k Σ ω, where χ(Σ) denotes the Euler
characteristic of Σ (see [GS99] for example). Thus, Theorem 1.1 does not hold true for
surfaces in general since χ(Σ) is at most 2. We also remark that the condition on k in
the above theorem cannot be dropped (see Remark 2.5). Additionally, readers who are
familiar with approximately holomorphic techniques might wonder at first glance if the
theorem contradicts a result of Giroux [Gir17]. Remark 2.6 verifies the consistency of
the theorem with his result.
A similar result to Theorem 1.1 holds for Boothby–Wang orbibundles (see Theorem
2.7). Even though the main theorem is involved in the orbibundle case, for simplicity
we primarily discuss the usual bundle case, namely the case where the base space of a
circle bundle is a manifold.
In Section 3, we present an application of Theorem 1.1 to singularity theory. As a
result, we establish an obstruction to the smoothability of certain isolated singularities.
It is worth mentioning results on another fillability. As already observed, every
Boothby–Wang contact manifold is strongly fillable. The real projective space RP2n+1
of dimension 2n + 1 can be regarded as the Boothby–Wang bundle over (CPn , 2ωFS ),
where ωFS denotes the Fubini–Study form on CPn . In view of this, we equip RP2n+1
with a contact structure ξn defined by a connection 1-form on the circle bundle; this
in fact can be seen as the reduction of the standard contact structure on S 2n+1 by
the Z/2Z-action. It had been conjectured in [Cou12] that (RP2n+1 , ξn ) (n ≥ 2) is not
exactly fillable. Zhou [Zho21, Zho24] recently showed that some Boothby–Wang contact
manifolds of dimension ≥ 5, which appear as links of quotient singularities, including
real projective spaces, are not exactly fillable. This brings us the following question.
STEIN FILLABILITY OF S 1 -BUNDLES OVER SYMPLECTIC MANIFOLDS 3
2.2. Proof of the main theorem. Now we shall prove Theorem 1.1, which immedi-
ately follows from the next proposition.
Proof of Theorem 1.1. Suppose that the Boothby–Wang bundle Mk over the symplectic
manifold (Σ, kω) of dimension 2n ≥ 4 carries a Stein fillable contact structure. Then, it
bounds a Stein domain, which has the homotopy type of a CW complex of dimension
≤ n + 1 byR [Mil63, Theorem 7.2]. This however gives a contradiction to Proposition 2.2
when k > Σ ω n .
Proof. Suppose, on the contrary, that there is a compact manifold W such that ∂W = M
and W has the homotopy type of a CW complex of dimension ≤ n + 1. Then, for n ≥ 3,
H2n−1 (W ; Z) = 0, and for n = 2, H3 (W ; Z) is free. In view of the Poincaré duality,
H 3 (W, M ; Z) also satisfies the same property as H2n−1 (W ; Z). Hence, combining this
with the exact sequence
i∗ ϕ
· · · → H 2 (W ; Z) −
→ H 2 (M ; Z) −
→ H 3 (W, M ; Z) → · · ·
4 TAKAHIRO OBA
H 2n (W ; Z) / H 2n (M ; Z),
i∗
where the vertical maps are the cup product. This diagram shows that
i∗ (ãn ) = (i∗ ã)n = an 6= 0 ∈ H 2n (M ; Z),
and hence ãn 6= 0 ∈ H 2n (W ; Z). However, as 2n > n + 1 = dim W/2, we have
H 2n (W ; Z) = 0 for any n ≥ 2, leading to a contradiction.
Remark 2.4. For the case dim M = 2n + 1 ≥ 7, i.e., n ≥ 3, the above lemma can
alternatively be obtained from [PP08, Theorem 3.1].
Proof of Proposition 2.2. Let πk : Mk → Σ denote the bundle projection of the Boothby–
Wang bundle over (Σ, kω). It suffices to show that πk∗ [ω] meets the assumption
R on a
second cohomology class a ∈ H 2 (Mk ; Z) in Lemma 2.3 for every integer k > Σ ω n .
We first check that (πk∗ [ω])n 6= 0 ∈ H 2n (Mk ; Z). Consider the Gysin exact sequence
k[ω]⌣ π∗
(2.1) · · · → H 2n−2 (Σ; Z) −−−−→ H 2n (Σ; Z) −→
k
H 2n (Mk ; Z) → · · ·
Since ω is a symplectic form on the closed manifold Σ of dimension 2n, we have [ω n ] 6=
0 ∈ H 2n (Σ; Z). Identifying H 2n (Σ; Z) with Z via α 7→ α([Σ]), the image Im (k[ω]
R ⌣)
2n ∼
lies in the subgroup kZ ⊂ H (Σ; Z) = Z. This proves that for k > ω ([Σ]) = Σ ω n ,
n
the cohomology class [ω n ] is not contained in Im (k[ω] ⌣). Therefore, in view of the
exactness of the sequence (2.1), we have
(πk∗ [ω])n = πk∗ ([ω n ]) 6= 0 ∈ H 2n (Mk ; Z).
What is left is to check that πk∗ [ω] is a torsion for the case dim Mk = 5. (Note that
the proof below actually shows that this is true even if dim Mk ≥ 5.) Again by the Gysin
exact sequence
k[ω]⌣ π∗
(2.2) H 0 (Σ; Z) −−−−→ H 2 (Σ; Z) −→
k
H 2 (Mk ; Z) → · · · ,
we see that k(πk∗ [ω]) = πk∗ (k[ω]) = 0 ∈ H 2 (Mk ; Z). This completes the proof.
The following example explains that the condition on k in Theorem 1.1 and Propo-
sition 2.2 cannot be dropped.
Remark 2.6. Here we shall verify that Theorem 1.1 is consistent with a theorem of
Giroux, who enhanced the result of Donaldson [Don96, Theorem 1] to [Gir17, Theorem 1]
as follows: given a closed integral symplectic manifold (X, Ω) of dimension 2n+2, for any
sufficiently large integer k > 0, the Poincaré dual k[Ω] ∈ H 2 (X; Z) can be represented by
a symplectic submanifold Σ ⊂ X, and the complement X \ Σ admits a Stein structure.
By [Gir17, Proposition 5], the complement X \ νΣ of a tubular neighborhood νΣ of Σ
has contact boundary, which is contactomorphic to the Boothby–Wang contact manifold
(Mk , ξk ) associated with (Σ, kΩ|Σ ). Moreover, similarly to Example 2.5, this complement
serves as a Stein filling of (Mk , ξk ); hence, it is Stein fillable.
The integer k in [Gir17, Theorem 1] does not satisfy the assumption of Theorem 1.1,
even if it is extremely large. In fact, we have
Z Z
n n
(Ω|Σ ) = [Ω] ⌣ PD[Σ] = k Ωn+1 ≥ k,
Σ X
where the last inequality follows from the fact that [Ω] is a second cohomology class with
integer coefficients. Thus, the consistency of the theorem has been verified.
Proof. The proof is similar to Theorem 1.1 and Proposition 2.2. It suffices to show that
πk∗ [ω n ] 6= 0 and that πk∗ [ω] is a torsion element of H 2 (Mk ; Z) for the given orbibundle
πk : Mk → Σ.
The Gysin exact sequence also holds for the orbibundle πk : Mk → Σ with orbifold
cohomology. Thus, replace the exact sequences (2.1) and (2.2) by
2n−2 k[ω]⌣ 2n k π∗
2n
(2.3) · · · → Horb (Σ; Z) −−−−→ Horb (Σ; Z) −→ Horb (Mk ; Z) → · · ·
and
0 k[ω]⌣ 2 k π∗
2
(2.4) Horb (Σ; Z) −−−−→ Horb (Σ; Z) −→ Horb (Mk ; Z) → · · · ,
∗ ∼ H (Mk ; Z) since Mk is a manifold.
respectively. Note that Horb (Mk ; Z) = ∗
Remark 2.8. Given a closed integral symplectic orbifold (Σ, ω) of dimension 2n, nec-
essary and sufficient conditions under which the Boothby–Wang orbibundle over (Σ, ω)
is a manifold are known. For instance, according to [KL21, Theorem 1.3], one such
condition is that the homomorphism
i i+2
[ω] ⌣ : Horb (Σ; Z) → Horb (Σ; Z)
is an isomorphism for every i ≥ 2n + 1.
is smooth. Now let (X, x) ⊂ (CN , 0) be an isolated singularity. Then there exists ǫ0 > 0
such that the intersection of (X, x) with the sphere Sǫ2N −1 ⊂ CN of radius ǫ ∈ (0, ǫ0 ]
becomes a smooth manifold, and its diffeomorphism type is independent of the choice of ǫ;
this intersection is called the link of the singularity (X, x). It inherits a contact structure
ξ from the standard contact structure on Sǫ2N −1 . Suppose that an isolated singularity
(X, x) is smoothable. Then, by [GLS07, Proposition 1.5], a smoothing φ : (X , x) → (C, 0)
factors as
i pr2
→ (CN , 0) × (C, 0) −−→ (C, 0),
(X , x) ֒−
where i is a closed embedding and pr2 the second projection. For any t ∈ C sufficiently
close to 0, the intersection
Xt ∩ (Sǫ2N −1 × {t})
is regarded as a contact manifold similarly to the above, which is contactomorphic to
(X ∩ Sǫ2N −1 , ξ) by the Gray stability theorem. Moreover, the Milnor fiber φ−1 (t) ∩ Dǫ2N ,
with t 6= 0, serves as a Stein filling of this contact manifold. Thus, (X ∩ Sǫ2N −1 , ξ) is
Stein fillable if (X, x) is smoothable. Note that examples of non-smoothable singularities
are known; see e.g. [Gre20, pp. 418–420] and the references therein.
Singularities we are interested in are derived from negative line bundles over projec-
tive manifolds. Let Σ be a projective manifold and π : L → Σ a negative holomorphic
line bundle, that is, a holomorphic line bundle with c1 (L) = −[ω], where ω is a Kähler
form on Σ. According to the result of Grauert [Gra62, Satz 5 on p. 350], contracting the
zero-section of L yields an affine variety (X, 0) ⊂ (CN , 0) with an isolated singular point
at the origin. The question is whether this singularity (X, 0) is smoothable or not. In his
paper [PP08, Section 4], Popescu-Pampu established an obstruction to smoothability.
Here we present a different obstruction to smoothability.
Acknowledgements. The author would like to thank Yakov Eliashberg for useful com-
ments on his question [Cou12, p. 4] and Zhengyi Zhou for helpful comments on the first
draft, especially pointing out that Theorem 1.1 generalizes to orbibundles. This work
was supported by JSPS KAKENHI Grant Numbers 20K22306, 22K13913.
References
[ALR07] Alejandro Adem, Johann Leida, and Yongbin Ruan. Orbifolds and stringy topology, volume
171 of Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge, 2007.
[BCS14] Jonathan Bowden, Diarmuid Crowley, and András I. Stipsicz. The topology of Stein fillable
manifolds in high dimensions I. Proc. Lond. Math. Soc. (3), 109(6):1363–1401, 2014.
[BEM15] Matthew Strom Borman, Yakov Eliashberg, and Emmy Murphy. Existence and classification
of overtwisted contact structures in all dimensions. Acta Math., 215(2):281–361, 2015.
[BG08] Charles P. Boyer and Krzysztof Galicki. Sasakian geometry. Oxford Mathematical Monographs.
Oxford University Press, Oxford, 2008.
[Bir01] Paul Biran. Lagrangian barriers and symplectic embeddings. Geom. Funct. Anal., 11(3):407–
464, 2001.
[Bir05] Paul Biran. Symplectic topology and algebraic families. In European Congress of Mathematics,
pages 827–836. Eur. Math. Soc., Zürich, 2005.
[CE12] Kai Cieliebak and Yakov 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.
[Cou12] Sylvain Courte. AIM workshop - contact topology in higher
dimensions: Questions and open problems. available at
https://aimath.org/WWN/contacttop/notes_contactworkshop2012.pdf, 2012.
[DL19] Luı́s Diogo and Samuel T. Lisi. Symplectic homology of complements of smooth divisors. J.
Topol., 12(3):967–1030, 2019.
[Don96] Simon K. Donaldson. Symplectic submanifolds and almost-complex geometry. J. Differential
Geom., 44(4):666–705, 1996.
[EH01] John B. Etnyre and Ko Honda. On the nonexistence of tight contact structures. Ann. of Math.
(2), 153(3):749–766, 2001.
[EKP06] Yakov Eliashberg, Sang Seon Kim, and Leonid Polterovich. Geometry of contact transforma-
tions and domains: orderability versus squeezing. Geom. Topol., 10:1635–1747, 2006.
[Eli89] Y. Eliashberg. Classification of overtwisted contact structures on 3-manifolds. Invent. Math.,
98(3):623–637, 1989.
[Gir17] Emmanuel Giroux. Remarks on Donaldson’s symplectic submanifolds. Pure Appl. Math. Q.,
13(3):369–388, 2017.
[GLS07] G.-M. Greuel, C. Lossen, and E. Shustin. Introduction to singularities and deformations.
Springer Monographs in Mathematics. Springer, Berlin, 2007.
[Gra62] Hans Grauert. Über Modifikationen und exzeptionelle analytische Mengen. Math. Ann.,
146:331–368, 1962.
[Gre20] Gert-Martin Greuel. Deformation and smoothing of singularities. In Handbook of geometry and
topology of singularities. I, pages 389–448. Springer, Cham, [2020] ©2020.
[GS99] Robert E. Gompf and András I. Stipsicz. 4-manifolds and Kirby calculus, volume 20 of Grad-
uate Studies in Mathematics. American Mathematical Society, Providence, RI, 1999.
[KL21] Marc Kegel and Christian Lange. A Boothby-Wang theorem for Besse contact manifolds.
Arnold Math. J., 7(2):225–241, 2021.
[KO23] Myeonggi Kwon and Takahiro Oba. Rational ruled surfaces as symplectic hyperplane sections.
Trans. Amer. Math. Soc., 376(7):4811–4833, 2023.
[LS07] Paolo Lisca and András I. Stipsicz. Ozsváth-Szabó invariants and tight contact three-manifolds.
II. J. Differential Geom., 75(1):109–141, 2007.
[Mil63] J. Milnor. Morse theory. Based on lecture notes by M. Spivak and R. Wells. Annals of Math-
ematics Studies, No. 51. Princeton University Press, Princeton, N.J., 1963.
STEIN FILLABILITY OF S 1 -BUNDLES OVER SYMPLECTIC MANIFOLDS 9