On the vanishing of the Rokhlin invariant
type: Item
instance of: scholarly article
zbMATH Open document ID: 1257.57018
author: Tetsuhiro Moriyama
publication date: 2012-08-20T00:00:00Z
full work available at URL: https://arxiv.org/abs/0807.2195
Mathematics Subject Classification ID: 57M27
Mathematics Subject Classification ID: 57M50
Mathematics Subject Classification ID: 57N10
Mathematics Subject Classification ID: 57R15
Mathematics Subject Classification ID: 57R20
Mathematics Subject Classification ID: 57R90
zbMATH DE Number: 6068677
zbMATH Keywords: Rokhlin invariant
zbMATH Keywords: Casson invariant
zbMATH Keywords: vanishing
zbMATH Keywords: \(e\)-manifolds
zbMATH Keywords: amphichiral homology spheres
MaRDI profile type: Publication
arXiv ID: 0807.2195
arXiv classification: math.GT
title: On the vanishing of the Rokhlin invariant
published in: Journal of Mathematical Sciences. University of Tokyo
review text: It was proven by Casson in the 1980's that the Rokhlin invariant \(\mu(M)\in \mathbb{Z}/16 \mathbb{Z}\) of an amphichiral homology \(3\)-sphere \(M\) vanishes, (see e.g. [\textit{S. Akbulut} and \textit{J. D. McCarthy}, Casson's invariant for oriented homology 3-spheres. An exposition. Mathematical Notes, 36. Princeton, NJ: Princeton University Press. (1990; Zbl 0695.57011)]). In the article under review, a new proof of this theorem is presented.NEWLINENEWLINEA manifold \(M\) is called amphichiral, if it admits an orientation-reversing self-homeomorphism. The Rokhlin invariant of a closed oriented spin 3-manifold is defined as \(\mu(M)=\text{Sign\;} X\;(\text{mod\;}16)\), where \(X\) is a compact spin 4-manifold with boundary \(M\). If \(H^1(M,\mathbb{Z}/2\mathbb{Z})=0\), then the spin structure on \(M\) is unique, and thus the Rokhlin invariant depends only on the diffeomorphism type of \(M\).NEWLINENEWLINEThe new proof uses \(e\)-manifolds which were already introduced and studied in [\textit{T. Moriyama}, J. Math. Sci., Tokyo 18, No. 2, 193--237 (2011; Zbl 1259.57008)]. An \(n\)-dimensional \(e\)-manifold is a triple \((W,V,e)\) where \(W\) is an \(n\)-dimensional compact manifold, possibly with boundary, and where \(V\) is a submanifold of codimension \(3\), such that \(\partial V=V\cap \partial W\) with transversal intersection. Furthermore, \(e\) is a class in \(H^2(W\setminus V; \mathbb{Q})\) such that the restriction of \(e\) to a sphere in the normal bundle of \(V\) in \(W\) is the Euler class of this sphere. The relevant \(e\)-manifolds in the article carry spin structures, i.e.\ a spin structure on \(V\) and \(W\). A rational-valued invariant \(\sigma(\alpha)\) was defined in [loc. cit.] for 6-dimensional \(e\)-manifolds \(\alpha\). If \(\alpha\) is the boundary of the \(7\)-dimensional \(e\)-manifold \(\beta=(Z,X,e)\), then \(\sigma(\partial \beta)= \text{Sign\;} X\).NEWLINENEWLINEThe author associates to every homology \(3\)-sphere \(M\) a \(6\)-dimensi…
reviewed by: Bernd Ammann
description: scientific article; zbMATH DE number 6068677