Pin(2)-Equivariant Seiberg-Witten Floer homology and the Triangulation Conjecture

Manolescu, Ciprian

doi:10.1090/jams829

Pin(2)-Equivariant Seiberg-Witten Floer homology and the Triangulation Conjecture

Author: Ciprian Manolescu
Journal: J. Amer. Math. Soc. 29 (2016), 147-176
MSC (2010): Primary 57R58; Secondary 57Q15, 57M27
DOI: https://doi.org/10.1090/jams829
Published electronically: April 22, 2015
MathSciNet review: 3402697
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: We define $\operatorname {Pin}(2)$ -equivariant Seiberg-Witten Floer homology for rational homology -spheres equipped with a spin structure. The analogue of Frøyshov's correction term in this setting is an integer-valued invariant of homology cobordism whose mod reduction is the Rokhlin invariant. As an application, we show that there are no homology -spheres of the Rokhlin invariant one such that $Y \char93 Y$ bounds an acyclic smooth -manifold. By previous work of Galewski-Stern and Matumoto, this implies the existence of non-triangulable high-dimensional manifolds.

[1] Selman Akbulut and John D. McCarthy, Casson’s invariant for oriented homology 3-spheres, Mathematical Notes, vol. 36, Princeton University Press, Princeton, NJ, 1990. An exposition. MR 1030042
[2] M. F. Atiyah, Thom complexes, Proc. London Math. Soc. (3) 11 (1961), 291–310. MR 0131880, https://doi.org/10.1112/plms/s3-11.1.291
[3] M. F. Atiyah, V. K. Patodi, and I. M. Singer, Spectral asymmetry and Riemannian geometry. I, Math. Proc. Cambridge Philos. Soc. 77 (1975), 43–69. MR 397797, https://doi.org/10.1017/S0305004100049410
[4] Stefan Bauer and Mikio Furuta, A stable cohomotopy refinement of Seiberg-Witten invariants. I, Invent. Math. 155 (2004), no. 1, 1–19. MR 2025298, https://doi.org/10.1007/s00222-003-0288-5
[5] Glen E. Bredon, Introduction to compact transformation groups, Academic Press, New York-London, 1972. Pure and Applied Mathematics, Vol. 46. MR 0413144
[6] J. W. Cannon, Shrinking cell-like decompositions of manifolds. Codimension three, Ann. of Math. (2) 110 (1979), no. 1, 83–112. MR 541330, https://doi.org/10.2307/1971245
[7] Charles Conley, Isolated invariant sets and the Morse index, CBMS Regional Conference Series in Mathematics, vol. 38, American Mathematical Society, Providence, R.I., 1978. MR 511133
[8] Octavian Cornea, Homotopical dynamics: suspension and duality, Ergodic Theory Dynam. Systems 20 (2000), no. 2, 379–391. MR 1756976, https://doi.org/10.1017/S0143385700000183
[9] Tammo tom Dieck, Transformation groups, De Gruyter Studies in Mathematics, vol. 8, Walter de Gruyter & Co., Berlin, 1987. MR 889050
[10] R. D. Edwards, Suspensions of homology spheres, available at arXiv:math/0610573.
[11] Robert D. Edwards, The topology of manifolds and cell-like maps, Proceedings of the International Congress of Mathematicians (Helsinki, 1978), Acad. Sci. Fennica, Helsinki, 1980, pp. 111–127. MR 562601
[12] James Eells Jr. and Nicolaas H. Kuiper, An invariant for certain smooth manifolds, Ann. Mat. Pura Appl. (4) 60 (1962), 93–110. MR 156356, https://doi.org/10.1007/BF02412768
[13] Ronald Fintushel and Ronald J. Stern, Pseudofree orbifolds, Ann. of Math. (2) 122 (1985), no. 2, 335–364. MR 808222, https://doi.org/10.2307/1971306
[14] Ronald Fintushel and Ronald J. Stern, Instanton homology of Seifert fibred homology three spheres, Proc. London Math. Soc. (3) 61 (1990), no. 1, 109–137. MR 1051101, https://doi.org/10.1112/plms/s3-61.1.109
[15] Andreas Floer, A refinement of the Conley index and an application to the stability of hyperbolic invariant sets, Ergodic Theory Dynam. Systems 7 (1987), no. 1, 93–103. MR 886372, https://doi.org/10.1017/S0143385700003825
[16] Andreas Floer, An instanton-invariant for 3-manifolds, Comm. Math. Phys. 118 (1988), no. 2, 215–240. MR 956166
[17] Michael Hartley Freedman, The topology of four-dimensional manifolds, J. Differential Geometry 17 (1982), no. 3, 357–453. MR 679066
[18] Kim A. Frøyshov, The Seiberg-Witten equations and four-manifolds with boundary, Math. Res. Lett. 3 (1996), no. 3, 373–390. MR 1397685, https://doi.org/10.4310/MRL.1996.v3.n3.a7
[19] Kim A. Frøyshov, Equivariant aspects of Yang-Mills Floer theory, Topology 41 (2002), no. 3, 525–552. MR 1910040, https://doi.org/10.1016/S0040-9383(01)00018-0
[20] Kim A. Frøyshov, Monopole Floer homology for rational homology 3-spheres, Duke Math. J. 155 (2010), no. 3, 519–576. MR 2738582, https://doi.org/10.1215/00127094-2010-060
[21] Y. Fukumoto and M. Furuta, Homology 3-spheres bounding acyclic 4-manifolds, Math. Res. Lett. 7 (2000), no. 5-6, 757–766. MR 1809299, https://doi.org/10.4310/MRL.2000.v7.n6.a8
[22] Yoshihiro Fukumoto, Mikio Furuta, and Masaaki Ue, 𝑊-invariants and Neumann-Siebenmann invariants for Seifert homology 3-spheres, Topology Appl. 116 (2001), no. 3, 333–369. MR 1857670, https://doi.org/10.1016/S0166-8641(00)00103-6
[23] Mikio Furuta, Homology cobordism group of homology 3-spheres, Invent. Math. 100 (1990), no. 2, 339–355. MR 1047138, https://doi.org/10.1007/BF01231190
[24] M. Furuta, Monopole equation and the \frac{11}8-conjecture, Math. Res. Lett. 8 (2001), no. 3, 279–291. MR 1839478, https://doi.org/10.4310/MRL.2001.v8.n3.a5
[25] D. Galewski and R. Stern, A universal 5-manifold with respect to simplicial triangulations, Geometric topology (Proc. Georgia Topology Conf., Athens, Ga., 1977), Academic Press, New York-London, 1979, pp. 345–350. MR 537740
[26] David E. Galewski and Ronald J. Stern, Classification of simplicial triangulations of topological manifolds, Ann. of Math. (2) 111 (1980), no. 1, 1–34. MR 558395, https://doi.org/10.2307/1971215
[27] Kazimierz Gęba, Degree for gradient equivariant maps and equivariant Conley index, Topological nonlinear analysis, II (Frascati, 1995) Progr. Nonlinear Differential Equations Appl., vol. 27, Birkhäuser Boston, Boston, MA, 1997, pp. 247–272. MR 1453891
[28] J. P. C. Greenlees and J. P. May, Generalized Tate cohomology, Mem. Amer. Math. Soc. 113 (1995), no. 543, viii+178. MR 1230773, https://doi.org/10.1090/memo/0543
[29] T. Khandhawit, A new gauge slice for the relative Bauer-Furuta invariants, available at arXiv:1401.7590. to appear in Geom. Topol.
[30] Robion C. Kirby and Laurence C. Siebenmann, Foundational essays on topological manifolds, smoothings, and triangulations, Princeton University Press, Princeton, N.J.; University of Tokyo Press, Tokyo, 1977. With notes by John Milnor and Michael Atiyah; Annals of Mathematics Studies, No. 88. MR 0645390
[31] P. B. Kronheimer and C. Manolescu, Periodic Floer pro-spectra from the Seiberg-Witten equations, available at arXiv:math/0203243v3.
[32] Peter Kronheimer and Tomasz Mrowka, Monopoles and three-manifolds, New Mathematical Monographs, vol. 10, Cambridge University Press, Cambridge, 2007. MR 2388043
[33] P. Kronheimer, T. Mrowka, P. Ozsváth, and Z. Szabó, Monopoles and lens space surgeries, Ann. of Math. (2) 165 (2007), no. 2, 457–546. MR 2299739, https://doi.org/10.4007/annals.2007.165.457
[34] G. Lewis, J. P. May, and J. McClure, Ordinary 𝑅𝑂(𝐺)-graded cohomology, Bull. Amer. Math. Soc. (N.S.) 4 (1981), no. 2, 208–212. MR 598689, https://doi.org/10.1090/S0273-0979-1981-14886-2
[35] L. G. Lewis Jr., J. P. May, M. Steinberger, and J. E. McClure, Equivariant stable homotopy theory, Lecture Notes in Mathematics, vol. 1213, Springer-Verlag, Berlin, 1986. With contributions by J. E. McClure. MR 866482
[36] Ciprian Manolescu, Seiberg-Witten-Floer stable homotopy type of three-manifolds with 𝑏₁=0, Geom. Topol. 7 (2003), 889–932. MR 2026550, https://doi.org/10.2140/gt.2003.7.889
[37] Ciprian Manolescu, A gluing theorem for the relative Bauer-Furuta invariants, J. Differential Geom. 76 (2007), no. 1, 117–153. MR 2312050
[38] Ciprian Manolescu and Brendan Owens, A concordance invariant from the Floer homology of double branched covers, Int. Math. Res. Not. IMRN 20 (2007), Art. ID rnm077, 21. MR 2363303, https://doi.org/10.1093/imrn/rnm077
[39] Takao Matumoto, Triangulation of manifolds, Algebraic and geometric topology (Proc. Sympos. Pure Math., Stanford Univ., Stanford, Calif., 1976) Proc. Sympos. Pure Math., XXXII, Amer. Math. Soc., Providence, R.I., 1978, pp. 3–6. MR 520517
[40] Edwin E. Moise, Affine structures in 3-manifolds. V. The triangulation theorem and Hauptvermutung, Ann. of Math. (2) 56 (1952), 96–114. MR 48805, https://doi.org/10.2307/1969769
[41] Tomasz Mrowka, Peter Ozsváth, and Baozhen Yu, Seiberg-Witten monopoles on Seifert fibered spaces, Comm. Anal. Geom. 5 (1997), no. 4, 685–791. MR 1611061, https://doi.org/10.4310/CAG.1997.v5.n4.a3
[42] Tomasz Mrowka, Daniel Ruberman, and Nikolai Saveliev, Seiberg-Witten equations, end-periodic Dirac operators, and a lift of Rohlin’s invariant, J. Differential Geom. 88 (2011), no. 2, 333–377. MR 2838269
[43] Walter D. Neumann, An invariant of plumbed homology spheres, Topology Symposium, Siegen 1979 (Proc. Sympos., Univ. Siegen, Siegen, 1979), Lecture Notes in Math., vol. 788, Springer, Berlin, 1980, pp. 125–144. MR 585657
[44] Peter Ozsváth and Zoltán Szabó, Absolutely graded Floer homologies and intersection forms for four-manifolds with boundary, Adv. Math. 173 (2003), no. 2, 179–261. MR 1957829, https://doi.org/10.1016/S0001-8708(02)00030-0
[45] Peter Ozsváth and Zoltán Szabó, On the Floer homology of plumbed three-manifolds, Geom. Topol. 7 (2003), 185–224. MR 1988284, https://doi.org/10.2140/gt.2003.7.185
[46] Peter Ozsváth and Zoltán Szabó, Holomorphic disks and three-manifold invariants: properties and applications, Ann. of Math. (2) 159 (2004), no. 3, 1159–1245. MR 2113020, https://doi.org/10.4007/annals.2004.159.1159
[47] Peter Ozsváth and Zoltán Szabó, Holomorphic disks and topological invariants for closed three-manifolds, Ann. of Math. (2) 159 (2004), no. 3, 1027–1158. MR 2113019, https://doi.org/10.4007/annals.2004.159.1027
[48] Peter Ozsváth and Zoltán Szabó, Holomorphic triangles and invariants for smooth four-manifolds, Adv. Math. 202 (2006), no. 2, 326–400. MR 2222356, https://doi.org/10.1016/j.aim.2005.03.014
[49] Artur M. Pruszko, The Conley index for flows preserving generalized symmetries, Conley index theory (Warsaw, 1997) Banach Center Publ., vol. 47, Polish Acad. Sci. Inst. Math., Warsaw, 1999, pp. 193–217. MR 1692371
[50] V. A. Rohlin, New results in the theory of four-dimensional manifolds, Doklady Akad. Nauk SSSR (N.S.) 84 (1952), 221–224 (Russian). MR 0052101
[51] V. A. Rohlin, New results in the theory of four-dimensional manifolds, Doklady Akad. Nauk SSSR (N.S.) 84 (1952), 221–224 (Russian). MR 0052101
[52] Daniel Ruberman and Nikolai Saveliev, Rohlin’s invariant and gauge theory. II. Mapping tori, Geom. Topol. 8 (2004), 35–76. MR 2033479, https://doi.org/10.2140/gt.2004.8.35
[53] Nikolai Saveliev, Floer homology and invariants of homology cobordism, Internat. J. Math. 9 (1998), no. 7, 885–919. MR 1651061, https://doi.org/10.1142/S0129167X98000385
[54] Nikolai Saveliev, Floer homology of Brieskorn homology spheres, J. Differential Geom. 53 (1999), no. 1, 15–87. MR 1776091
[55] Nikolai Saveliev, Fukumoto-Furuta invariants of plumbed homology 3-spheres, Pacific J. Math. 205 (2002), no. 2, 465–490. MR 1922741, https://doi.org/10.2140/pjm.2002.205.465
[56] L. Siebenmann, On vanishing of the Rohlin invariant and nonfinitely amphicheiral homology 3-spheres, Topology Symposium, Siegen 1979 (Proc. Sympos., Univ. Siegen, Siegen, 1979), Lecture Notes in Math., vol. 788, Springer, Berlin, 1980, pp. 172–222. MR 585660
[57] L. C. Siebenmann, Are nontriangulable manifolds triangulable?, Topology of Manifolds (Proc. Inst., Univ. of Georgia, Athens, Ga., 1969), Markham, Chicago, Ill., 1970, pp. 77–84. MR 0271956
[58] E. H. Spanier, Function spaces and duality, Ann. of Math. (2) 70 (1959), 338–378. MR 107862, https://doi.org/10.2307/1970107
[59] E. H. Spanier and J. H. C. Whitehead, Duality in homotopy theory, Mathematika 2 (1955), 56–80. MR 74823, https://doi.org/10.1112/S002557930000070X
[60] Klaus Wirthmüller, Equivariant homology and duality, Manuscripta Math. 11 (1974), 373–390. MR 343260, https://doi.org/10.1007/BF01170239
[61] Klaus Wirthmüller, Equivariant 𝑆-duality, Arch. Math. (Basel) 26 (1975), no. 4, 427–431. MR 375297, https://doi.org/10.1007/BF01229762