The symplectomorphism group of a blow up

From MaRDI portal
Publication:2481353



Abstract: We study the relation between the symplectomorphism group Symp M of a closed connected symplectic manifold M and the symplectomorphism and diffeomorphism groups Symp TM and Diff TM of its one point blow up TM. There are three main arguments. The first shows that for any oriented M the natural map from pi_1(M) to pi_0(Diff TM) is often injective. The second argument applies when M is simply connected and detects nontrivial elements in the homotopy group pi_1(Diff TM) that persist into the space of self homotopy equivalences of TM. Since it uses purely homological arguments, it applies to c-symplectic manifolds (M,a), that is, to manifolds of dimension 2n that support a class a in H^2(M;R) such that a^n e 0. The third argument uses the symplectic structure on M and detects nontrivial elements in the (higher) homology of BSymp TM using characteristic classes defined by parametric Gromov--Witten invariants. Some results about many point blow ups are also obtained. For example we show that if M is the 4-torus with k-fold blow up TM_k (where k>0) then pi_1(Diff TM_k) is not generated by the groups pi_1Symp (TM_k, Tom) as Tom ranges over the set of all symplectic forms on TM_k.


The author studies the relation between the symplectomorphism group of a closed connected symplectic manifold \(M\) and the symplectomorphism and diffeomorphism groups of its one-point blow up \(\tilde{M}\). The three main results of the paper can be summarized as follows: Firstly, the author investigates the natural mapping \(\tilde{f}_{\ast} \pi_1(M) \rightarrow \pi_0(\text{Diff}\tilde{M} )\) and shows that it is often injective. (\(M\) is assumed to be oriented). Secondly, denote by \(V^V\) the set of continuous maps from a topologival space \(V\) into itself. If \(M\) is simply connected, then the author detects nontrivial elements of \(\pi_1(\text{Diff}\tilde{M})\) that persist into \(\pi_1(\tilde{M}^{\tilde{M}})\). Thirdly, the differences between \(\pi_1(\text{Diff}\tilde{M})\) and \(\pi_1(\text{Symp}\tilde{M})\) are investigated. Moreover, non-trivial elements in higher homology of \(B\text{Symp}\tilde{M}\) are detected using the characteristic class defined by a chosen parametric Gromov-Witten invariant. Morever, some results on the difference between \(\pi_1(\text{Diff}\tilde{M})\) and \(\pi_1(\text{Symp}\tilde{M})\) are true for k-fold blow-ups of 4-manifolds. The paper is divided in six sections. The first presents the main results among which we can quote the following theorems: Theorem 1.1: For any closed oriented 2n-manifold \(M\) the kernel of \[ \tilde{f}_{\ast} : \pi_1M \rightarrow \pi_1(B\text{Diff}\tilde{M}) \] acts trivially on \(\pi_iM\) for \(0 < i < \dim M\). In particular, it is contained in the center of \(\pi_1M\) and vanishes if \(M\) itself is a blow up. It also vanishes if the Euler characteristic of \(M\) is nonzero. Theorem 1.4: Let \(M\) be a simply connected c-symplectic manifold. Then every homologically visible class \([\sigma ] \in \pi_2 (B\text{Diff}^U (M,p))\) has nonzero image under the composite map \(\pi_2 (B\text{Diff}^U(M,p)) \rightarrow \pi_2(B\text{Diff}\tilde{M}) \rightarrow \pi_2(B(\tilde{M}^{\tilde{M}}))\). Theorem 1.9: Suppose that \(\pi_1(M) =0.\) Then the kernel of \[ (\tilde{f}_{\epsilon})_{\ast} : H_{\ast}(M;Q) \rightarrow H_{\ast}(B\text{Ham}(\tilde{M}, \tilde{\omega}_{\epsilon});Q \] is contained in \(\{ \gamma \in H_{\ast}(M;Q): \kappa (\gamma) =0 \) for all \( \kappa \in {\mathcal C}^{\ast} \}\) where \({\mathcal C}^{\ast}\) is the subring of \(H^{\ast}(M;Q)\) generated by the classes in \(H^2(M)\). Section 2 presents some homotopy theoretic approaches to the problem. Theorem 1.4 is proved in section 3 and some other results on c-symplectic manifolds are demonstrated. The following section is concerned with symplectic manifolds. Among other propositions theorem 1.9 is proved. Multiple points blow ups are discussed in section 5. The last section is dedicated to the discussion of the above problems in the case of 4-manifolds. In addition to the proofs some basic and illustrative examples are presented.











This page was built for publication: The symplectomorphism group of a blow up

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2481353)