Homotopy groups and twisted homology of arrangements
type: Item
instance of: scholarly article
title: Homotopy groups and twisted homology of arrangements
zbMATH Open document ID: 1173.55003
published in: Algebraic \& Geometric Topology
publication date: 2009-07-16T00:00:00Z
full work available at URL: https://arxiv.org/abs/0811.1531
review text: \textit{M. Yoshinaga} [Topology Appl. 155, No. 9, 1022--1026 (2008; Zbl 1159.52023)] showed that the twisted Hurewicz homomorphism \(h: \pi_k(M'') \otimes_{ \mathbb Z} {\mathcal L} \to H_k(M'',{\mathcal L})\) is surjective, if \(M''\) is a generic hyperplane section of the complement \(M\) of an arrangement of hyperplanes in \({\mathbb C}^{k+1},\) and \({\mathcal L}\) is a generic local system on \(M''.\) (In this context, \({\mathcal L}\) is generic if and only if \(H_{k-1}(M'',{\mathcal L})=0.\)) The argument involves some special features of arrangement complements, in particular, that they are minimal spaces, meaning they have CW decompositions for which the attaching maps are homologically trivial. In the paper under review, Randell shows that surjectivity of \(h\) is a simple consequence of the twisted relative Hurewicz theorem, the naturality of \(h\), and the fact that the pair \((M,M'')\) is \((k-1)\)-connected. In particular, minimality of \(M\) is not necessary. The general result is: if \((X,Y)\) is a \((k-1)\)-connected topological pair with \(k\geq 3,\) and \(H_{k-1}(Y,N)=0,\) then \(h\) is surjective. Here \(N\) is a \({\mathbb Z}[\pi]\)-module, \(\pi=\pi_1(Y),\) and \(h: \pi_k(Y)\otimes_{{\mathbb Z}[\pi]} N \to H_k(Y,N).\) Yoshinaga's result is a direct consequence. A similar argument also shows that the well-known fact that \(H_{k-1}(M'')\to H_{k-1}(M)\) is an isomorphism follows from the triviality of the absolute (untwisted) Hurewicz homomorphism, proved by the author in earlier work. In the last section the author generalizes the result that the absolute Hurewicz map is trivial for arrangement complements, by giving an upper bound on the image in terms of the homology of the associated covering space, in case \(N={\mathbb Z}[\pi/\pi']\) for \(\pi'\) a subgroup of \(\pi.\) The paper closes with several examples, and a general question: which elements of \(\pi_k(M)\) are detected by local system homology?
Mathematics Subject Classification ID: 55N25
Mathematics Subject Classification ID: 57N65
Mathematics Subject Classification ID: 55Q52
Mathematics Subject Classification ID: 52C35
zbMATH DE Number: 5579712
zbMATH Keywords: hyperplane arrangement
zbMATH Keywords: local system
zbMATH Keywords: twisted homology groups
author: Richard Randell
reviewed by: Michael Falk
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W3105798565
arXiv ID: 0811.1531
cites work: Triples of arrangements and local systems
cites work: Nonresonance conditions for arrangements.
cites work: On Milnor Fibrations of Arrangements
cites work: Hypersurface complements, Milnor fibers and higher homotopy groups of arrangements
cites work: Equivariant chain complexes, twisted homology and relative minimality of arrangements
cites work: Q4819371
cites work: Q4062377
cites work: On the Classification of (n - k + 1)-Connected Embeddings of n-Manifolds Into (n + k)-Manifolds in the Metastable Range
cites work: Q4003206
cites work: Homotopy and group cohomology of arrangements
cites work: Morse theory, Milnor fibers and minimality of hyperplane arrangements
cites work: Generic section of a hyperplane arrangement and twisted Hurewicz maps
DOI: 10.2140/AGT.2009.9.1299
description: scientific article