Skip Navigation

Journal of Topology 2008 1(4):923-962; doi:10.1112/jtopol/jtn027
This Article
Right arrow Abstract Freely available
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Chen, W.
Right arrow Articles by Kwasik, S.
Right arrow Search for Related Content
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?

© 2008 London Mathematical Society

Symmetries and exotic smooth structures on a K3 surface

Weimin Chen

Department of Mathematics and Statistics, University of Massachusetts, Amherst, MA 01003, USA wchen@math.umass.edu

Slawomir Kwasik

Mathematics Department, Tulane University, New Orleans, LA 70118, USA kwasik@math.tulane.edu

Smooth and symplectic symmetries of an infinite family of distinct exotic K3 surfaces are studied, and a comparison with the corresponding symmetries of the standard K3 is made. The action on the K3 lattice induced by a smooth finite group action is shown to be strongly restricted, and, as a result, the nonsmoothability of actions induced by a holomorphic automorphism of prime order at least 7 is proved, and the nonexistence of smooth actions by several K3 groups is established (included among which is the binary tetrahedral group T24 that has the smallest order). Concerning symplectic symmetries, the fixed-point set structure of a symplectic cyclic action of prime order at least 5 is explicitly determined, provided that the action is homologically nontrivial.

Received August 20, 2007.

2000 Mathematics Subject Classification 57S15, 57R55 (primary), 57R17 (secondary)

The first author is supported in part by the NSF grant DMS-0603932.



References

  1. Atiyah M. F., Bott R. A Lefschetz fixed point formula for elliptic complexes: II. Applications. Ann. of Math. (1968) 88:451–491.[CrossRef]
  2. Atiyah M. F., Singer I. The index of elliptic opertors, III. Ann. of Math. (1968) 87:546–604.[CrossRef]
  3. Barth W., Hulek K., Peters C., Van de Ven A. Compact complex surfaces (2004) 2nd enlarged edn. Berlin: Springer. Ergebnisse der Mathematik und ihrer Grenzgebiete 4.
  4. Bonahon F. Difféotopes des espaces lenticulaires. Topology (1983) 22:305–314.[CrossRef][Web of Science]
  5. Bredon G. Introduction to compact transformation groups (1972) New York: Academic Press.
  6. Bryan J. Seiberg–Witten theory and Z/2p actions on spin 4-manifolds. Math. Res. Lett. (1998) 5:165–183.
  7. Carter R. W. Conjugacy classes in the Weyl group. Compositio Math. (1972) 25:1–59.
  8. Chen W. Pseudoholomorphic curves in four-orbifolds and some applications. Geometry and topology of manifolds. 11–37. Fields Institute Communications 47 (ed. H. U. Boden et al.; American Mathematical Society, Providence, RI, 2005).
  9. Chen W. Smooth s-cobordisms of elliptic 3-manifolds. J. Differential Geom. (2006) 73:413–490.
  10. Chen W., Kwasik S. Symplectic symmetries of 4-manifolds. Topology (2007) 46:103–128.[CrossRef][Web of Science]
  11. Chen W., Kwasik S. Symmetric homotopy K3 surfaces. Preprint, 2007, arXiv:0709.2448.
  12. Curtis C. W., Reiner I. Representation theory of finite groups and associative algebras (1962) New York: Wiley.
  13. Donaldson S. K. Yang–Mills invariants of smooth four-manifolds. Geometry of low-dimensional manifolds, 1. 5–40. (Durham, 1989), London Mathematical Society Lecture Note Series 150 (eds S. K. Donaldson and C. B. Thomas; Cambridge University Press, Cambridge, 1990).
  14. Edmonds A. Aspects of group actions on four-manifolds. Topology Appl. (1989) 31:109–124.[CrossRef]
  15. Edmonds A. Automorphisms of the E8 four-manifold. Geometric topology. 282–299. (Athens, GA, 1993), AMS/IP Studies in Advanced Mathematics 2.1 (ed. W. H. Kazez; American Mathematical Society, Providence RI, 1997).
  16. Edmonds A., Ewing J. Realizing forms and fixed point data in dimension four. Amer. J. Math. (1992) 114:1103–1126.[CrossRef]
  17. Fang F. Smooth group actions on 4-manifolds and Seiberg–Witten invariants. Internat. J. Math. (1998) 9:957–973.[CrossRef]
  18. Fintushel R., Stern R. Knots, links, and 4-manifolds. Invent. Math. (1998) 134:363–400.[CrossRef]
  19. Freedman M., Quinn F. Topology of 4-manifolds (1990) Princeton, NJ: Princeton University Press. Princeton Mathematical Series 39.
  20. Friedman R., Morgan J. Smooth four-manifolds and complex surfaces (1994) Berlin: Springer. Ergebnisse der Mathematik und ihrer Grenzgebiete 27.
  21. Fukumoto Y., Furuta M. Homology 3-spheres bounding acyclic 4-manifolds. Math. Res. Lett. (2000) 7:757–766.
  22. Furuta M. Monopole equation and the Formula -conjecture. Math. Res. Lett. (2001) 8:279–291.
  23. Garbagnati A., Sarti A. Symplectic automorphisms of prime order on K3 surfaces. J. Algebra (2007) 318(1):323–350.[CrossRef]
  24. Gompf R., Mrowka T. Irreducible 4-manifolds need not be complex. Ann. of Math. (1993) 138:61–111.[CrossRef]
  25. Gompf R., Stipsicz A. 4-Manifolds and Kirby calculus (1999) Providence, RI: American Mathematical Society. Graduate Studies in Mathematics 20.
  26. Gordon C. McA. On the G-signature theorem in dimension four. In: A la Recherche de la Topologie Perdue—Marin A., Guillou L., eds. (1986) Boston, MA: Birkhäuser. 159–180. Progress in Mathematics 62.
  27. Hambleton I., Lee R. Smooth group actions on definite 4-manifolds and moduli spaces. Duke Math. J. (1995) 78:715–732.[CrossRef]
  28. Hambleton I., Riehm C. Splitting of Hermitian forms over group rings. Invent. Math. (1978) 45:19–33.[CrossRef]
  29. Hirzebruch F., Zagier D. The Atiyah–Singer theorem and elementary number theory (1974) Houston, TX: Publish or Perish, Inc. Mathematics Lecture Series 3.
  30. Hsiang W. Y. On the bound of the dimensions of the isometry groups of all possible Riemannian metrics on an exotic sphere. Ann. of Math. (1967) 85:351–358.[CrossRef]
  31. Kondo S. Niemeier lattices, Mathieu groups, and finite groups of symplectic automorphisms of K3 surfaces. Duke Math. J. (1998) 92:593–603. with an appendix by S. Mukai.[CrossRef]
  32. Kwasik S., Lawson T. Nonsmoothable Zp actions on contractible 4-manifolds. J. Reine Angew. Math. (1993) 437:29–54.
  33. Kwasik S., Schultz R. Homological properties of periodic homeomorphisms of 4-manifolds. Duke Math. J. (1989) 58:241–250.[CrossRef]
  34. Lawson H. B., Yau S. T. Scalar curvature, nonabelian group actions, and the degree of symmetry of exotic spheres. Comment. Math. Helv. (1974) 49:232–244.[CrossRef]
  35. Lerman E. Symplectic cuts. Math. Res. Lett. (1995) 2:247–258.
  36. Liu X., Nakamura N. Pseudofree Z/3-actions on K3 surfaces. Proc. Amer. Math. Soc. (2007) 135:903–910.[CrossRef]
  37. Liu X., Nakamura N. Nonsmoothable group actions on elliptic surfaces. Topology Appl. (2008) 155(9):946–964.
  38. Machida N., Oguiso K. On K3 surfaces admitting finite non-symplectic group actions. J. Math. Sci. Univ. Tokyo (1998) 5:273–297.
  39. McCooey M. Symmetry groups of four-manifolds. Topology (2002) 41:835–851.[CrossRef][Web of Science]
  40. McDuff D., Salamon D. J-holomorphic curves and symplectic topology (2004) Providence, RI: American Mathematical Society. Colloquium Publications 52.
  41. Morrison D. R. On K3 surfaces with large Picard number. Invent. Math. (1986) 75:105–121.[CrossRef]
  42. Mukai S. Finite groups of automorphisms of K3 surfaces and the Mathieu group. Invent. Math. (1988) 94:183–221.[CrossRef]
  43. Nakamura N. Mod p vanishing theorem of Seiberg–Witten invariants for 4-manifolds with Zp-actions. Asian J. Math. (2006) 10:731–748.
  44. Nikulin V. V. Finite groups of automorphisms of Kählerian surfaces of type K3. Trudy Mosk. Math. (1979) 38:75–137. Trans. Moscow Math. Soc. 38 (1980) 71–135.
  45. Nikulin V. V. Integral symmetric bilinear forms and some applications. Izv. Math. Nauk SSSR (1979) 43:111–177. Math. USSR Izvestija 14 (1980) 103–167.
  46. Saveliev N. Invariants for homology 3-spheres (2002) Berlin: Springer. Encyclopaedia of Mathematical Sciences 140.
  47. Schultz R. Transformation groups and exotic spheres. In: Group actions on manifolds—Schultz R., ed. (1985) Providence, RI: American Mathematical Society. 243–267. Contemporary Mathematics 36.
  48. Serre J.-P. A course in arithmetic (1973) New York: Springer. Graduate Texts in Mathematics 7.
  49. Taubes C. H. The Seiberg–Witten invariants and symplectic forms. Math. Res. Lett. (1994) 1:809–822.
  50. Taubes C. H. SW {Rightarrow} Gr: from the Seiberg–Witten equations to pseudoholomorphic curves. J. Amer. Math. Soc. (1996) 9:845–918. Reprinted with errata in Proceedings of the First IP Lectures Series, II (ed. R. Wentworth; International Press, Somerville, MA, 2000).[CrossRef]
  51. Xiao G. Galois covers between K3 surfaces. Ann. Inst. Fourier (Grenoble) (1996) 46:73–88.

Add to CiteULike CiteULike   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us    What's this?



This Article
Right arrow Abstract Freely available
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Chen, W.
Right arrow Articles by Kwasik, S.
Right arrow Search for Related Content
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?