Semi-invariants in surgery (Q1099851): Difference between revisions

A semi-invariant for a manifold \(\Pi\) is an invariant given in terms of a bounding manifold. The paper deals with semi-invariants in surgery. The Rothenberg sequence gives an isomorphism \[ \ker (L^ Y_ n(A)\to L^ x_ n(A))=cok(L^ x_{n+1}(A)\to \hat H^{n+1}({\mathbb{Z}}/2;\quad X/Y). \] It sends the cobordism class of an X-null-bordant n-dimensional quadratic Y-Poincaré complex (C,\(\psi)\) over A to the K-theoretic invariant of any \((n+1)\)-dimensional quadratic X-Poincaré nullbordism. This isomorphism is described by computable semi-invariants such as semicharacteristic, semitorsion, cross semitorsion, torsion semicharacteristic, cross torsion semicharacteristic. For example, let (C,\(\psi)\) be a \((2i+1)\)-dimensional quadratic Poincaré complex over A such that both C and H(C) are finitely generated projective. Its semicharacteristic is \(\chi_{1/2}(C)=\sum^{i}_{r=0}(-1)^ i[H_ i(C)]\in \tilde K_ 0(A)\). Then C is nullbordant, the projective class [C] is \(\chi_{1/2}(C)-\chi_{1/2}(C)^*\) and the semicharacteristic \(\chi_{1/2}(C)\) represents the image of the class of (C,\(\psi)\) under \[ \ker (L^ X_{2i+1}(A)\to L^ p_{2i+1}(A))\to cok(L^ p_{2i+2}(A)\to \hat H^{i+2}({\mathbb{Z}}/2;K_ 0(A)/X)). \] If A is semisimple, \(\chi_{1/2}\) defines an isomorphism \[ L^ k_{2i+1}(A)\to cok(L^ p_{2i+2}(A)\to \hat H^{2i+2}({\mathbb{Z}}/2;\quad \tilde K_ 0(A))). \] The semitorsion is the \(K_ 1\)-analogue. Let (C,\(\psi)\) be a finitely generated based free \((2i+1)\)-dimensional quadratic Poincaré complex. It is cross if \((1+T)(\psi_ 0): C^{2i+1-x}\to C\) is an isomorphism. Then its cross semitorsion is \[ \tau^{\dag}_{1/2}(C,\psi)=\sum^{i}_{r=0}(-1)^ r\tau ((1+T)\psi_ 0: C^{2i+1-r}\to C_ r)\in \tilde K_ 1(A). \] The other two invariants, torsion semicharacteristic and cross torsion semicharacteristic, come from localization.