On the computation of the projective surgery obstruction groups
type: Item
instance of: scholarly article
title: On the computation of the projective surgery obstruction groups
zbMATH Open document ID: 0797.57017
DOI: 10.1007/BF00961217
author: Ian Hambleton
author: Ib Madsen
published in: \(K\)-Theory
publication date: 1994-10-24T00:00:00Z
review text: The article deals with the computation of the projective surgery obstruction groups \(L^ p_ n(\mathbb{Z}[G])\) for finite groups, in particular for 2-hyperelementary groups. These play an important role in the context of bounded and controlled surgery theory. They deviate from the classical surgery groups only by 2-torsion and the deviation is measured by the Rothenberg sequence. Let \(G\) be a 2-hyperelementary group. A group is called basic if all normal abelian subgroups are cyclic. If \(G\) is the semi-direct product of the cyclic group \(\mathbb{Z}/m\) of odd order and a 2-group \(\sigma\), then \(\sigma_ 1\) is the kernel of the obvious homomorphisms from \(\sigma\) to the automorphisms of \(\mathbb{Z}/m\). Put \(\overline{G} = G/[\sigma_ 1,\sigma_ 1]\). A generalized restriction is to be understood as restriction followed by a map induced by a surjection of groups. Then Theorem A: The sum of all generalized restriction maps \[ L^ p_ n(\mathbb{Z}[G]) \to L^ p_ n(\mathbb{Z}[\overline{G}]) \oplus (\oplus\{L^ p_ n(\mathbb{Z}[H/H])\mid H/N \text{ a basic subquotient of }G\}) \] is a natural split injection. This reduces the computation of the projective surgery group to the case of smaller groups where the calculation can be reduced to standard calculations in number theory. The next result is important for the problem to decide whether a surgery obstruction is zero. Theorem B: For any oriented degree 1 normal map its projective surgery obstruction is detected by the multi-signature, Arf invariants, semicharacteristic, cohomology finiteness obstruction and the \(\delta\)- invariant. The first three invariants in this theorem are classical invariants. The cohomology finiteness obstruction and the \(\delta\)-invariant are computable by another classical invariant, the Reidemeister torsion.
Mathematics Subject Classification ID: 57R67
Mathematics Subject Classification ID: 19J25
Mathematics Subject Classification ID: 57Q10
Mathematics Subject Classification ID: 57Q12
zbMATH DE Number: 549707
zbMATH Keywords: projective surgery obstruction groups for finite groups
zbMATH Keywords: 2- hyperelementary groups
zbMATH Keywords: bounded and controlled surgery theory
zbMATH Keywords: Rothenberg sequence
zbMATH Keywords: multi-signature
zbMATH Keywords: Arf invariants
zbMATH Keywords: semicharacteristic
zbMATH Keywords: cohomology finiteness obstruction
zbMATH Keywords: \(\delta\)-ivariant
zbMATH Keywords: Reidemeister torsion
reviewed by: Wolfgang Lück
MaRDI profile type: Publication
cites work: Arf's theorem for trace Noetherian and other rings
cites work: The computation of odd dimensional projective surgery groups of finite groups
cites work: Some Numerical Results on Space Forms
cites work: Non-linear similarity
cites work: Nonlinear Similarity Begins in Dimension Six
cites work: Q5532660
cites work: L-theory and the Arf invariant
cites work: Q4348677
cites work: Induction and structure theorems for orthogonal representations of finite groups
cites work: Manifolds with π 1 = G x α T
cites work: Q4280930
cites work: Actions of Finite Groups on Rn+k with Fixed Set Rk
cites work: Q3799351
cites work: Surgery with Finite Fundamental Group
cites work: Bounded Surgery and Dihedral Group Actions on Spheres
cites work: Round L-theory
cites work: Detection theorems for K-theory and L-theory
cites work: Lectures on Galois cohomology of classical groups. With an appendix by T. Springer
cites work: Q3931596
cites work: Reidemeister Torsion, Surgery Invariants and Spherical Space Forms
cites work: Q5683974
cites work: Q4043127
cites work: The exact sequence of a localization for Witt groups. II: Numerical invariants of odd-dimensional surgery obstructions
cites work: Projective surgery theory
cites work: Algebraic L -Theory, I: Foundations
cites work: Q3924852
cites work: Q4061092
cites work: Q3708857
cites work: Wall's surgery obstruction groups for GxZ
cites work: A characterization of free projective planes
cites work: Q5624419
cites work: On the classification of Hermitian forms. II: Semisimple rings
cites work: On the classification of Hermitian forms. IV: Adele rings
cites work: Classification of Hermitian forms. VI: Group rings
cites work: Periodic Projective Resolutions
cites work: On the Commutator Group of a Simple Algebra
cites work: The Schur subgroup of the Brauer group
description: scientific article; zbMATH DE number 549707