zbMATH — the first resource for mathematics

Homotopy groups and twisted homology of arrangements. (English) Zbl 1173.55003
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?
55N25 Homology with local coefficients, equivariant cohomology
57N65 Algebraic topology of manifolds
55Q52 Homotopy groups of special spaces
52C35 Arrangements of points, flats, hyperplanes (aspects of discrete geometry)
Full Text: DOI arXiv
[1] D C Cohen, Triples of arrangements and local systems, Proc. Amer. Math. Soc. 130 (2002) 3025 · Zbl 1002.32019
[2] D C Cohen, A Dimca, P Orlik, Nonresonance conditions for arrangements, Ann. Inst. Fourier (Grenoble) 53 (2003) 1883 · Zbl 1054.32016
[3] D C Cohen, A I Suciu, On Milnor fibrations of arrangements, J. London Math. Soc. \((2)\) 51 (1995) 105 · Zbl 0814.32007
[4] A Dimca, \cS Papadima, Hypersurface complements, Milnor fibers and higher homotopy groups of arrangments, Ann. of Math. \((2)\) 158 (2003) 473 · Zbl 1068.32019
[5] A Dimca, \cS Papadima, Equivariant chain complexes, twisted homology and relative minimality of arrangements, Ann. Sci. École Norm. Sup. \((4)\) 37 (2004) 449 · Zbl 1059.32007
[6] A Hatcher, Algebraic topology, Cambridge Univ. Press (2002) · Zbl 1044.55001
[7] A Hattori, Topology of \(C^n\) minus a finite number of affine hyperplanes in general position, J. Fac. Sci. Univ. Tokyo Sect. IA Math. 22 (1975) 205 · Zbl 0306.55011
[8] R Liu, On the classification of \((n-k+1)\)-connected embeddings of \(n\)-manifolds into \((n+k)\)-manifolds in the metastable range, Trans. Amer. Math. Soc. 347 (1995) 4245 · Zbl 0856.57027
[9] P Orlik, H Terao, Arrangements of hyperplanes, Grund. der Math. Wissenschaften 300, Springer (1992) · Zbl 0757.55001
[10] R Randell, Homotopy and group cohomology of arrangements, Topology Appl. 78 (1997) 201 · Zbl 0880.55007
[11] R Randell, Morse theory, Milnor fibers and minimality of hyperplane arrangements, Proc. Amer. Math. Soc. 130 (2002) 2737 · Zbl 1004.32010
[12] M Yoshinaga, Generic section of a hyperplane arrangement and twisted Hurewicz maps, Topology Appl. 155 (2008) 1022 · Zbl 1159.52023
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.