Lagrangian spheres, symplectic surfaces and the symplectic mapping class group (Q441111): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Wei Wei Wu / rank | |||
Property / author | |||
Property / author: Wei Wei Wu / rank | |||
Normal rank | |||
Property / review text | |||
It is known that a Lagrangian sphere \(L\) in a symplectic Del Pezzo surface with Euler number at most 7 can be displaced from certain symplectic spheres with positive Chern number up to Hamiltonian isotopy [\textit{J. D. Evans}, J. Topol. 3, No. 1, 181--227 (2010; Zbl 1235.53084)]. This paper generalizes this result in the following two ways. Theorem 1.1. Let \(L\) be a Lagrangian spere in a symplectic 4-manifold \((M,\omega)\), and \(A\in H_2(M;\mathbb{Z})\) with \(A^2\geq -1\). Suppose \(A\) is represented by a symplectic sphere \(C\). Then \(C\) can be isotoped symplectically to another representative of \(A\) which intersects \(L\) minimally. Theorem 1.2. Suppose \((M,\omega)\) is a symplectic 4-manifold with \(b^+= 1\) and \(L\) is a Lagrangian sphere. Assume \(A\in H^2(M,\mathbb{Z})\) satisfies \(\omega(A)> 0\), \(A^2> 0\) and \(A\cdot E\geq 0\) for all \(\omega\)-exceptional \(E\). Then there exists a symplectic surface in the class \(nA\) intersecting \(L\) minimally for large \(n\in\mathbb{N}\). Here, two closed surfaces are said to intersect minimally if they intersect transversally at \(|k|\) points, where \(k\) is the homological intersection number, and \(E\in H_2(M,\mathbb{Z})\) is said to be of \(\omega\)-exceptional class if \(E\) is represented as an \(\omega\)-symplectic \((-1)\) sphere. To show these theorems, first embedded connected pseudoholomorphic submanifolds for a class of compatible almost complex structures suitable for applying symplectic field theory are produced by using symplectic Seiberg-Witten theory and Taubes' \(\text{SW}\Rightarrow\text{GT}\) [\textit{C. H. Taubes}, J. Differ. Geom. 52, No. 3, 453--609 (1999; Zbl 1040.53096), Prop. 3.5]. Then, via neck stretching (explained in \S2.2), the symplectic field theory (SFT; a brief review is given in \S2), especially a compactness result in the SFT [\textit{F. Bourgeois} et al., Geom. Topol. 7, 799--888 (2003; Zbl 1131.53312), Th.2.7] and a finiteness result on the limit of punctures of compact connected pseudoholomorophic submanifolds of \(M\) (Lemma 3.8), produces in the limit the desired symplectric surface which intersects \(L\) minimally. This minimal intersection property is powerful when the Kodaira dimension \(\kappa\) of \((M,\omega)\) is \(-\infty\) (this means \(M\) is either symplectically rational or ruled), and the following theorems are proved. Theorem 1.4. Let \((M,\omega)\) be a symplectic 4-manifold with \(\kappa=-\infty\). The class \(\xi\in H_2(M,\mathbb{Z})\) is represented by a Lagrangian sphere if \(\xi\) is \(K_\omega\)-null spherical and \(\omega(\xi)= 0\). Here, by \(K_\omega\)-null spherical class, a class \(\xi\) is meant such that \(\xi^2= -2\), \(K_\omega(\xi)= 0\), \(K_\omega\) is the symplectic canonical class, and it is represented by a smooth sphere. Theorem 1.5. Let \((M,\omega)\) be a symplectic rational manifold with Euler number \(\chi\leq 7\), and \(\xi\) a \(K_\omega\)-null spherical class with \(\omega(\xi)= 0\). If \(\xi\) is not characteristic when \(\chi= 6\), then Lagrangian spheres in \(M\) are unique up to Hamiltonian isotopy. Theorem 1.6. Let \((M,\omega)\) be a symplectic rational manifold and \(\xi\) a \(K_\omega\)-null spherical class with \(\omega(\xi)= 0\). If \(\xi\) is not characteristic when \(\chi= 6\), then Lagrangian spheres in \(\xi\) are unique up to smooth isotopy. The authors also conjecture that the Torelli part \(\text{Symp}_h(M,\omega)\), which is a subgroup of \(\text{Symp}(M, \omega)\) acting trivially on the homology, should also act transitively on the space of Lagrangian spheres in a fixed homology class (Conj. 1.7). The following symplectic version of M. Noether's Theorem on birational automorphisms of \(\mathbb{C} P^2\) [\textit{M. Alberich-Carramiñana}, Geometry of the plane Cremona maps. Berlin: Springer (2002; Zbl 0991.14008)] is also proved. Theorem 1.8. Let \((M,\omega)\) be a symplectic 4-manifold with \(\kappa=-\infty\). Then the homological action of \(\text{Symp}(M,\omega)\) is generated by Lagrangian Dehn twists. To show these theorems, first, \(K\)-null spherical classes are studied when \(\kappa=-\infty\) and the generators of the geometric automorphism group of \(M\), etc., are shown to be \(K\)-twists, etc. (Prop. 4.7, Prop. 4.16). By using these results and Theorems 1.1 and 1.2, Theorems 1.4 and 1.8 are proved in \S5. Then after reviewing Hind's uniqueness theorem of Lagrangian spheres in \(S^2\times S^2\) (Theorem 6.1. [\textit{R. Hind}, Geom. Funct. Anal. 14, No. 2, 303--318 (2004; Zbl 1066.53129)]), Theorems 1.5 and 1.6 are proved in \S6, the last section. The authors remark that completely different proofs of Theorems 1.4 and 1.8 are given in [\textit{V. Shevehishin}, Secondary Seifert-Whitney class and diffeomorphisms of rational and ruled symplectic 4-manifolds, preprint (2009), \url{arXiv:0904.0283}]. | |||
Property / review text: It is known that a Lagrangian sphere \(L\) in a symplectic Del Pezzo surface with Euler number at most 7 can be displaced from certain symplectic spheres with positive Chern number up to Hamiltonian isotopy [\textit{J. D. Evans}, J. Topol. 3, No. 1, 181--227 (2010; Zbl 1235.53084)]. This paper generalizes this result in the following two ways. Theorem 1.1. Let \(L\) be a Lagrangian spere in a symplectic 4-manifold \((M,\omega)\), and \(A\in H_2(M;\mathbb{Z})\) with \(A^2\geq -1\). Suppose \(A\) is represented by a symplectic sphere \(C\). Then \(C\) can be isotoped symplectically to another representative of \(A\) which intersects \(L\) minimally. Theorem 1.2. Suppose \((M,\omega)\) is a symplectic 4-manifold with \(b^+= 1\) and \(L\) is a Lagrangian sphere. Assume \(A\in H^2(M,\mathbb{Z})\) satisfies \(\omega(A)> 0\), \(A^2> 0\) and \(A\cdot E\geq 0\) for all \(\omega\)-exceptional \(E\). Then there exists a symplectic surface in the class \(nA\) intersecting \(L\) minimally for large \(n\in\mathbb{N}\). Here, two closed surfaces are said to intersect minimally if they intersect transversally at \(|k|\) points, where \(k\) is the homological intersection number, and \(E\in H_2(M,\mathbb{Z})\) is said to be of \(\omega\)-exceptional class if \(E\) is represented as an \(\omega\)-symplectic \((-1)\) sphere. To show these theorems, first embedded connected pseudoholomorphic submanifolds for a class of compatible almost complex structures suitable for applying symplectic field theory are produced by using symplectic Seiberg-Witten theory and Taubes' \(\text{SW}\Rightarrow\text{GT}\) [\textit{C. H. Taubes}, J. Differ. Geom. 52, No. 3, 453--609 (1999; Zbl 1040.53096), Prop. 3.5]. Then, via neck stretching (explained in \S2.2), the symplectic field theory (SFT; a brief review is given in \S2), especially a compactness result in the SFT [\textit{F. Bourgeois} et al., Geom. Topol. 7, 799--888 (2003; Zbl 1131.53312), Th.2.7] and a finiteness result on the limit of punctures of compact connected pseudoholomorophic submanifolds of \(M\) (Lemma 3.8), produces in the limit the desired symplectric surface which intersects \(L\) minimally. This minimal intersection property is powerful when the Kodaira dimension \(\kappa\) of \((M,\omega)\) is \(-\infty\) (this means \(M\) is either symplectically rational or ruled), and the following theorems are proved. Theorem 1.4. Let \((M,\omega)\) be a symplectic 4-manifold with \(\kappa=-\infty\). The class \(\xi\in H_2(M,\mathbb{Z})\) is represented by a Lagrangian sphere if \(\xi\) is \(K_\omega\)-null spherical and \(\omega(\xi)= 0\). Here, by \(K_\omega\)-null spherical class, a class \(\xi\) is meant such that \(\xi^2= -2\), \(K_\omega(\xi)= 0\), \(K_\omega\) is the symplectic canonical class, and it is represented by a smooth sphere. Theorem 1.5. Let \((M,\omega)\) be a symplectic rational manifold with Euler number \(\chi\leq 7\), and \(\xi\) a \(K_\omega\)-null spherical class with \(\omega(\xi)= 0\). If \(\xi\) is not characteristic when \(\chi= 6\), then Lagrangian spheres in \(M\) are unique up to Hamiltonian isotopy. Theorem 1.6. Let \((M,\omega)\) be a symplectic rational manifold and \(\xi\) a \(K_\omega\)-null spherical class with \(\omega(\xi)= 0\). If \(\xi\) is not characteristic when \(\chi= 6\), then Lagrangian spheres in \(\xi\) are unique up to smooth isotopy. The authors also conjecture that the Torelli part \(\text{Symp}_h(M,\omega)\), which is a subgroup of \(\text{Symp}(M, \omega)\) acting trivially on the homology, should also act transitively on the space of Lagrangian spheres in a fixed homology class (Conj. 1.7). The following symplectic version of M. Noether's Theorem on birational automorphisms of \(\mathbb{C} P^2\) [\textit{M. Alberich-Carramiñana}, Geometry of the plane Cremona maps. Berlin: Springer (2002; Zbl 0991.14008)] is also proved. Theorem 1.8. Let \((M,\omega)\) be a symplectic 4-manifold with \(\kappa=-\infty\). Then the homological action of \(\text{Symp}(M,\omega)\) is generated by Lagrangian Dehn twists. To show these theorems, first, \(K\)-null spherical classes are studied when \(\kappa=-\infty\) and the generators of the geometric automorphism group of \(M\), etc., are shown to be \(K\)-twists, etc. (Prop. 4.7, Prop. 4.16). By using these results and Theorems 1.1 and 1.2, Theorems 1.4 and 1.8 are proved in \S5. Then after reviewing Hind's uniqueness theorem of Lagrangian spheres in \(S^2\times S^2\) (Theorem 6.1. [\textit{R. Hind}, Geom. Funct. Anal. 14, No. 2, 303--318 (2004; Zbl 1066.53129)]), Theorems 1.5 and 1.6 are proved in \S6, the last section. The authors remark that completely different proofs of Theorems 1.4 and 1.8 are given in [\textit{V. Shevehishin}, Secondary Seifert-Whitney class and diffeomorphisms of rational and ruled symplectic 4-manifolds, preprint (2009), \url{arXiv:0904.0283}]. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Akira Asada / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53D05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53D12 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53D42 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6068622 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Lagrangian sphere | |||
Property / zbMATH Keywords: Lagrangian sphere / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
symplectomorphism group | |||
Property / zbMATH Keywords: symplectomorphism group / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Kodaira dimension | |||
Property / zbMATH Keywords: Kodaira dimension / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1998272992 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1012.4146 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Topology of symplectomorphism groups of rational ruled surfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Geometry of the plane Cremona maps / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lagrangian skeletons, periodic geodesic flows and symplectic cuttings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4256155 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Symplectic packing in dimension 4 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A stability property of symplectic packing / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Symplectic topology on subcritical manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rigidity and uniruling for Lagrangian submanifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Compactness results in symplectic field theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Symplectomorphism groups and isotropic skeletons / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Morse‐type index theory for flows and periodic solutions for Hamiltonian Equations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lagrangian spheres in Del Pezzo surfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Symplectic mapping class groups of some Stein and rational surfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Invariants for Lagrangian tori / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the diffeomorphism types of certain algebraic surfaces. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Representing homology classes of almost definite 4-manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A new construction of symplectic manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Pseudo holomorphic curves in symplectic manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lagrangian unknottedness in Stein surfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lagrangian spheres in \(S^2\times S^2\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Ruled 4-manifolds and isotopies of symplectic surfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Symplectormophism groups of non-compact manifolds, orbifold balls, and a space of Lagrangians / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On genericity for holomorphic curves in four-dimensional almost-complex manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Structure of the moduli space in a neighborhood of a cusp-curve and meromorphic hulls / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Positive 2-spheres in 4-manifolds of signature \((1,n)\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Isotopy of symplectic balls, Gromov's radius and the structure of ruled symplectic 4-manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3837744 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Symplectic cuts / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Symplectic genus, minimal genus and diffeomorphisms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3414436 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Space of Symplectic Structures on Closed 4-Manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4241616 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Uniqueness of symplectic canonical class, surface cone and symplectic cone of 4-manifolds with \(B^+=1\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Symplectic forms and surfaces of negative square / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Structure of Rational and Ruled Symplectic 4-Manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: From symplectic deformation to isotopy / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Corrigenda to: Introduction to Symplectic Topology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4830110 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The embedding capacity of 4-dimensional symplectic ellipsoids / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Maximal compact tori in the Hamiltonian group of 4-dimensional symplectic manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Morse theory for periodic solutions of hamiltonian systems and the maslov index / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3510254 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The symplectic topology of Ramanujam's surface / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4407733 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Counting pseudo-holomorphic submanifolds in dimension 4 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(\text{GR}=\text{SW}\): counting curves and connections. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lagrangian surfaces in a fixed homology class: existence of knotted Lagrangian tori / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Effective classes and Lagrangian tori in symplectic four-manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Automatic transversality and orbifolds of punctured holomorphic curves in dimension four / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 14:36, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Lagrangian spheres, symplectic surfaces and the symplectic mapping class group |
scientific article |
Statements
Lagrangian spheres, symplectic surfaces and the symplectic mapping class group (English)
0 references
20 August 2012
0 references
It is known that a Lagrangian sphere \(L\) in a symplectic Del Pezzo surface with Euler number at most 7 can be displaced from certain symplectic spheres with positive Chern number up to Hamiltonian isotopy [\textit{J. D. Evans}, J. Topol. 3, No. 1, 181--227 (2010; Zbl 1235.53084)]. This paper generalizes this result in the following two ways. Theorem 1.1. Let \(L\) be a Lagrangian spere in a symplectic 4-manifold \((M,\omega)\), and \(A\in H_2(M;\mathbb{Z})\) with \(A^2\geq -1\). Suppose \(A\) is represented by a symplectic sphere \(C\). Then \(C\) can be isotoped symplectically to another representative of \(A\) which intersects \(L\) minimally. Theorem 1.2. Suppose \((M,\omega)\) is a symplectic 4-manifold with \(b^+= 1\) and \(L\) is a Lagrangian sphere. Assume \(A\in H^2(M,\mathbb{Z})\) satisfies \(\omega(A)> 0\), \(A^2> 0\) and \(A\cdot E\geq 0\) for all \(\omega\)-exceptional \(E\). Then there exists a symplectic surface in the class \(nA\) intersecting \(L\) minimally for large \(n\in\mathbb{N}\). Here, two closed surfaces are said to intersect minimally if they intersect transversally at \(|k|\) points, where \(k\) is the homological intersection number, and \(E\in H_2(M,\mathbb{Z})\) is said to be of \(\omega\)-exceptional class if \(E\) is represented as an \(\omega\)-symplectic \((-1)\) sphere. To show these theorems, first embedded connected pseudoholomorphic submanifolds for a class of compatible almost complex structures suitable for applying symplectic field theory are produced by using symplectic Seiberg-Witten theory and Taubes' \(\text{SW}\Rightarrow\text{GT}\) [\textit{C. H. Taubes}, J. Differ. Geom. 52, No. 3, 453--609 (1999; Zbl 1040.53096), Prop. 3.5]. Then, via neck stretching (explained in \S2.2), the symplectic field theory (SFT; a brief review is given in \S2), especially a compactness result in the SFT [\textit{F. Bourgeois} et al., Geom. Topol. 7, 799--888 (2003; Zbl 1131.53312), Th.2.7] and a finiteness result on the limit of punctures of compact connected pseudoholomorophic submanifolds of \(M\) (Lemma 3.8), produces in the limit the desired symplectric surface which intersects \(L\) minimally. This minimal intersection property is powerful when the Kodaira dimension \(\kappa\) of \((M,\omega)\) is \(-\infty\) (this means \(M\) is either symplectically rational or ruled), and the following theorems are proved. Theorem 1.4. Let \((M,\omega)\) be a symplectic 4-manifold with \(\kappa=-\infty\). The class \(\xi\in H_2(M,\mathbb{Z})\) is represented by a Lagrangian sphere if \(\xi\) is \(K_\omega\)-null spherical and \(\omega(\xi)= 0\). Here, by \(K_\omega\)-null spherical class, a class \(\xi\) is meant such that \(\xi^2= -2\), \(K_\omega(\xi)= 0\), \(K_\omega\) is the symplectic canonical class, and it is represented by a smooth sphere. Theorem 1.5. Let \((M,\omega)\) be a symplectic rational manifold with Euler number \(\chi\leq 7\), and \(\xi\) a \(K_\omega\)-null spherical class with \(\omega(\xi)= 0\). If \(\xi\) is not characteristic when \(\chi= 6\), then Lagrangian spheres in \(M\) are unique up to Hamiltonian isotopy. Theorem 1.6. Let \((M,\omega)\) be a symplectic rational manifold and \(\xi\) a \(K_\omega\)-null spherical class with \(\omega(\xi)= 0\). If \(\xi\) is not characteristic when \(\chi= 6\), then Lagrangian spheres in \(\xi\) are unique up to smooth isotopy. The authors also conjecture that the Torelli part \(\text{Symp}_h(M,\omega)\), which is a subgroup of \(\text{Symp}(M, \omega)\) acting trivially on the homology, should also act transitively on the space of Lagrangian spheres in a fixed homology class (Conj. 1.7). The following symplectic version of M. Noether's Theorem on birational automorphisms of \(\mathbb{C} P^2\) [\textit{M. Alberich-Carramiñana}, Geometry of the plane Cremona maps. Berlin: Springer (2002; Zbl 0991.14008)] is also proved. Theorem 1.8. Let \((M,\omega)\) be a symplectic 4-manifold with \(\kappa=-\infty\). Then the homological action of \(\text{Symp}(M,\omega)\) is generated by Lagrangian Dehn twists. To show these theorems, first, \(K\)-null spherical classes are studied when \(\kappa=-\infty\) and the generators of the geometric automorphism group of \(M\), etc., are shown to be \(K\)-twists, etc. (Prop. 4.7, Prop. 4.16). By using these results and Theorems 1.1 and 1.2, Theorems 1.4 and 1.8 are proved in \S5. Then after reviewing Hind's uniqueness theorem of Lagrangian spheres in \(S^2\times S^2\) (Theorem 6.1. [\textit{R. Hind}, Geom. Funct. Anal. 14, No. 2, 303--318 (2004; Zbl 1066.53129)]), Theorems 1.5 and 1.6 are proved in \S6, the last section. The authors remark that completely different proofs of Theorems 1.4 and 1.8 are given in [\textit{V. Shevehishin}, Secondary Seifert-Whitney class and diffeomorphisms of rational and ruled symplectic 4-manifolds, preprint (2009), \url{arXiv:0904.0283}].
0 references
Lagrangian sphere
0 references
symplectomorphism group
0 references
Kodaira dimension
0 references
0 references
0 references
0 references