English

Finite groups acting symplectically on $T^2\times S^2$

Symplectic Geometry 2016-05-19 v3

Abstract

For any symplectic form ω\omega on T2×S2T^2\times S^2 we construct infinitely many nonisomorphic finite groups which admit effective smooth actions on T2×S2T^2\times S^2 that are trivial in cohomology but which do not admit any effective symplectic action on (T2×S2,ω)(T^2\times S^2,\omega). We also prove that for any ω\omega there is another symplectic form ω\omega' on T2×S2T^2\times S^2 and a finite group acting symplectically and effectively on (T2×S2,ω)(T^2\times S^2,\omega') which does not admit any effective symplectic action on (T2×S2,ω)(T^2\times S^2,\omega). A basic ingredient in our arguments is the study of the Jordan property of the symplectomorphism groups of T2×S2T^2\times S^2. A group GG is Jordan if there exists a constant CC such that any finite subgroup Γ\Gamma of GG contains an abelian subgroup whose index in Γ\Gamma is at most CC. Csik\'os, Pyber and Szab\'o proved recently that the diffeomorphism group of T2×S2T^2\times S^2 is not Jordan. We prove that, in contrast, for any symplectic form ω\omega on T2×S2T^2\times S^2 the group of symplectomorphisms Symp(T2×S2,ω)Symp(T^2\times S^2,\omega) is Jordan. We also give upper and lower bounds for the optimal value of the constant CC in Jordan's property for Symp(T2×S2,ω)Symp(T^2\times S^2,\omega) depending on the cohomology class represented by ω\omega. Our bounds are sharp for a large class of symplectic forms on T2×S2T^2\times S^2.

Keywords

Cite

@article{arxiv.1502.02420,
  title  = {Finite groups acting symplectically on $T^2\times S^2$},
  author = {Ignasi Mundet i Riera},
  journal= {arXiv preprint arXiv:1502.02420},
  year   = {2016}
}

Comments

24 pages; v2: substantial revision; results improved: we give concrete (often sharp) values for the constants in the estimates in the main theorems; v3: title and abstract changed, included corrections and improvements suggested by the referee, added an appendix with a geometric interpretation of the automorphisms of the Heisenberg group; to appear in Trans. AMS

R2 v1 2026-06-22T08:25:17.539Z