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 $3$-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 $2$ reduction is the Rokhlin invariant. As an application, we show that there are no homology $3$-spheres $Y$ of the Rokhlin invariant one such that $Y \#Y$ bounds an acyclic smooth $4$-manifold. By previous work of Galewski-Stern and Matumoto, this implies the existence of non-triangulable high-dimensional manifolds.

References

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
M. F. Atiyah, Thom complexes, Proc. London Math. Soc. (3) 11 (1961), 291–310. MR 131880, DOI https://doi.org/10.1112/plms/s3-11.1.291
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, DOI https://doi.org/10.1017/S0305004100049410
Stefan Bauer and Mikio Furuta, A stable cohomotopy refinement of Seiberg-Witten invariants. I, Invent. Math. 155 (2004), no. 1, 1–19. MR 2025298, DOI https://doi.org/10.1007/s00222-003-0288-5
Glen E. Bredon, Introduction to compact transformation groups, Academic Press, New York-London, 1972. Pure and Applied Mathematics, Vol. 46. MR 0413144
J. W. Cannon, Shrinking cell-like decompositions of manifolds. Codimension three, Ann. of Math. (2) 110 (1979), no. 1, 83–112. MR 541330, DOI https://doi.org/10.2307/1971245
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
Octavian Cornea, Homotopical dynamics: suspension and duality, Ergodic Theory Dynam. Systems 20 (2000), no. 2, 379–391. MR 1756976, DOI https://doi.org/10.1017/S0143385700000183
Tammo tom Dieck, Transformation groups, De Gruyter Studies in Mathematics, vol. 8, Walter de Gruyter & Co., Berlin, 1987. MR 889050

R. D. Edwards, Suspensions of homology spheres, available at arXiv:math/0610573.

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
James Eells Jr. and Nicolaas H. Kuiper, An invariant for certain smooth manifolds, Ann. Mat. Pura Appl. (4) 60 (1962), 93–110. MR 156356, DOI https://doi.org/10.1007/BF02412768
Ronald Fintushel and Ronald J. Stern, Pseudofree orbifolds, Ann. of Math. (2) 122 (1985), no. 2, 335–364. MR 808222, DOI https://doi.org/10.2307/1971306
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, DOI https://doi.org/10.1112/plms/s3-61.1.109
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, DOI https://doi.org/10.1017/S0143385700003825
Andreas Floer, An instanton-invariant for $3$-manifolds, Comm. Math. Phys. 118 (1988), no. 2, 215–240. MR 956166
Michael Hartley Freedman, The topology of four-dimensional manifolds, J. Differential Geometry 17 (1982), no. 3, 357–453. MR 679066
Kim A. Frøyshov, The Seiberg-Witten equations and four-manifolds with boundary, Math. Res. Lett. 3 (1996), no. 3, 373–390. MR 1397685, DOI https://doi.org/10.4310/MRL.1996.v3.n3.a7
Kim A. Frøyshov, Equivariant aspects of Yang-Mills Floer theory, Topology 41 (2002), no. 3, 525–552. MR 1910040, DOI https://doi.org/10.1016/S0040-9383%2801%2900018-0
Kim A. Frøyshov, Monopole Floer homology for rational homology 3-spheres, Duke Math. J. 155 (2010), no. 3, 519–576. MR 2738582, DOI https://doi.org/10.1215/00127094-2010-060
Y. Fukumoto and M. Furuta, Homology 3-spheres bounding acyclic 4-manifolds, Math. Res. Lett. 7 (2000), no. 5-6, 757–766. MR 1809299, DOI https://doi.org/10.4310/MRL.2000.v7.n6.a8
Yoshihiro Fukumoto, Mikio Furuta, and Masaaki Ue, $W$-invariants and Neumann-Siebenmann invariants for Seifert homology $3$-spheres, Topology Appl. 116 (2001), no. 3, 333–369. MR 1857670, DOI https://doi.org/10.1016/S0166-8641%2800%2900103-6
Mikio Furuta, Homology cobordism group of homology $3$-spheres, Invent. Math. 100 (1990), no. 2, 339–355. MR 1047138, DOI https://doi.org/10.1007/BF01231190
M. Furuta, Monopole equation and the $\frac {11}8$-conjecture, Math. Res. Lett. 8 (2001), no. 3, 279–291. MR 1839478, DOI https://doi.org/10.4310/MRL.2001.v8.n3.a5
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
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, DOI https://doi.org/10.2307/1971215
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
J. P. C. Greenlees and J. P. May, Generalized Tate cohomology, Mem. Amer. Math. Soc. 113 (1995), no. 543, viii+178. MR 1230773, DOI https://doi.org/10.1090/memo/0543

T. Khandhawit, A new gauge slice for the relative Bauer-Furuta invariants, available at arXiv:1401.7590. to appear in Geom. Topol.

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

P. B. Kronheimer and C. Manolescu, Periodic Floer pro-spectra from the Seiberg-Witten equations, available at arXiv:math/0203243v3.

Peter Kronheimer and Tomasz Mrowka, Monopoles and three-manifolds, New Mathematical Monographs, vol. 10, Cambridge University Press, Cambridge, 2007. MR 2388043
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, DOI https://doi.org/10.4007/annals.2007.165.457
G. Lewis, J. P. May, and J. McClure, Ordinary $RO(G)$-graded cohomology, Bull. Amer. Math. Soc. (N.S.) 4 (1981), no. 2, 208–212. MR 598689, DOI https://doi.org/10.1090/S0273-0979-1981-14886-2
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
Ciprian Manolescu, Seiberg-Witten-Floer stable homotopy type of three-manifolds with $b_1=0$, Geom. Topol. 7 (2003), 889–932. MR 2026550, DOI https://doi.org/10.2140/gt.2003.7.889
Ciprian Manolescu, A gluing theorem for the relative Bauer-Furuta invariants, J. Differential Geom. 76 (2007), no. 1, 117–153. MR 2312050
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, DOI https://doi.org/10.1093/imrn/rnm077
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
Edwin E. Moise, Affine structures in $3$-manifolds. V. The triangulation theorem and Hauptvermutung, Ann. of Math. (2) 56 (1952), 96–114. MR 48805, DOI https://doi.org/10.2307/1969769
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, DOI https://doi.org/10.4310/CAG.1997.v5.n4.a3
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
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
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, DOI https://doi.org/10.1016/S0001-8708%2802%2900030-0
Peter Ozsváth and Zoltán Szabó, On the Floer homology of plumbed three-manifolds, Geom. Topol. 7 (2003), 185–224. MR 1988284, DOI https://doi.org/10.2140/gt.2003.7.185
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, DOI https://doi.org/10.4007/annals.2004.159.1159
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, DOI https://doi.org/10.4007/annals.2004.159.1027
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, DOI https://doi.org/10.1016/j.aim.2005.03.014
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
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
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
Daniel Ruberman and Nikolai Saveliev, Rohlin’s invariant and gauge theory. II. Mapping tori, Geom. Topol. 8 (2004), 35–76. MR 2033479, DOI https://doi.org/10.2140/gt.2004.8.35
Nikolai Saveliev, Floer homology and invariants of homology cobordism, Internat. J. Math. 9 (1998), no. 7, 885–919. MR 1651061, DOI https://doi.org/10.1142/S0129167X98000385
Nikolai Saveliev, Floer homology of Brieskorn homology spheres, J. Differential Geom. 53 (1999), no. 1, 15–87. MR 1776091
Nikolai Saveliev, Fukumoto-Furuta invariants of plumbed homology 3-spheres, Pacific J. Math. 205 (2002), no. 2, 465–490. MR 1922741, DOI https://doi.org/10.2140/pjm.2002.205.465
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
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
E. H. Spanier, Function spaces and duality, Ann. of Math. (2) 70 (1959), 338–378. MR 107862, DOI https://doi.org/10.2307/1970107
E. H. Spanier and J. H. C. Whitehead, Duality in homotopy theory, Mathematika 2 (1955), 56–80. MR 74823, DOI https://doi.org/10.1112/S002557930000070X
Klaus Wirthmüller, Equivariant homology and duality, Manuscripta Math. 11 (1974), 373–390. MR 343260, DOI https://doi.org/10.1007/BF01170239
Klaus Wirthmüller, Equivariant $S$-duality, Arch. Math. (Basel) 26 (1975), no. 4, 427–431. MR 375297, DOI https://doi.org/10.1007/BF01229762