On the computation of the projective surgery obstruction groups

DOI10.1007/BF00961217MaRDI QIDQ1319260zbMATH OpenFDO

Authors Ian Hambleton, Ib Madsen

Publication date 24 October 1994

Published in \(K\)-Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00961217

zbMATH Keywords

2- hyperelementary groups\(\delta\)-ivariantArf invariantsbounded and controlled surgery theorycohomology finiteness obstructionmulti-signatureprojective surgery obstruction groups for finite groupsReidemeister torsionRothenberg sequencesemicharacteristic

Mathematics Subject Classification ID

Surgery obstructions ((K)-theoretic aspects) (19J25) Simple homotopy type, Whitehead torsion, Reidemeister-Franz torsion, etc. (57Q10) Wall finiteness obstruction for CW-complexes (57Q12) Surgery obstructions, Wall groups (57R67)

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.

Recommendations

• scientific article; zbMATH DE number 1444546
• scientific article; zbMATH DE number 4065956
• On the computation of L-groups and natural maps
• Some Product Formulae for Nonsimply Connected Surgery Problems
• Surgery with Finite Fundamental Group

Cites work

• A characterization of free projective planes
• Actions of Finite Groups on R^n+k with Fixed Set R^k
• Algebraic L -Theory, I: Foundations
• Arf's theorem for trace Noetherian and other rings
• Bounded Surgery and Dihedral Group Actions on Spheres
• Classification of Hermitian forms. VI: Group rings
• Detection theorems for K-theory and L-theory
• scientific article; zbMATH DE number 3935120 (Why is no real title available?)
• scientific article; zbMATH DE number 4065956 (Why is no real title available?)
• scientific article; zbMATH DE number 3738549 (Why is no real title available?)
• scientific article; zbMATH DE number 3745453 (Why is no real title available?)
• scientific article; zbMATH DE number 3456979 (Why is no real title available?)
• scientific article; zbMATH DE number 3477356 (Why is no real title available?)
• scientific article; zbMATH DE number 510457 (Why is no real title available?)
• scientific article; zbMATH DE number 1050441 (Why is no real title available?)
• scientific article; zbMATH DE number 3245597 (Why is no real title available?)
• scientific article; zbMATH DE number 3349061 (Why is no real title available?)
• scientific article; zbMATH DE number 3421624 (Why is no real title available?)
• Induction and structure theorems for orthogonal representations of finite groups
• L-theory and the Arf invariant
• Lectures on Galois cohomology of classical groups. With an appendix by T. Springer
• Manifolds with π 1 = G x α T
• Non-linear similarity
• Nonlinear Similarity Begins in Dimension Six
• On the classification of Hermitian forms. II: Semisimple rings
• On the classification of Hermitian forms. IV: Adele rings
• On the Commutator Group of a Simple Algebra
• Periodic Projective Resolutions
• Projective surgery theory
• Reidemeister Torsion, Surgery Invariants and Spherical Space Forms
• Round L-theory
• Some Numerical Results on Space Forms
• Surgery with Finite Fundamental Group
• The computation of odd dimensional projective surgery groups of finite groups
• The exact sequence of a localization for Witt groups. II: Numerical invariants of odd-dimensional surgery obstructions
• The Schur subgroup of the Brauer group
• Wall's surgery obstruction groups for GxZ

Cited in

(9)

• The surgery L-groups of poly-(finite or cyclic) groups
• Mackey and Frobenius structures on odd dimensional surgery obstruction groups
• The surgery obstruction groups of the infinite dihedral group
• scientific article; zbMATH DE number 3905485 (Why is no real title available?)
• Some Product Formulae for Nonsimply Connected Surgery Problems
• scientific article; zbMATH DE number 4065956 (Why is no real title available?)
• scientific article; zbMATH DE number 1444546 (Why is no real title available?)
• Study and computation of generalized Grothendieck-Witt group
• Stable equivalence relations on 4-manifolds

This page was built for publication: On the computation of the projective surgery obstruction groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1319260)