Quadratic relations in the cohomology of generalized pure braids and Dunkl identities
type: Item
instance of: scholarly article
title: Quadratic relations in the cohomology of generalized pure braids and Dunkl identities
zbMATH Open document ID: 0891.57002
DOI: 10.1007/BF02509453
author: Valentina Golubeva
author: V. P. Leksin
publication date: 1998-07-12T00:00:00Z
review text: The pure braid group on \(n\) strands, \(P_n\), can be described as the fundamental group of \({\mathbf C}^n-A\) where \(A\) is the union of the hyperplanes defined by the equations \(z_j=z_k\) (\(1\leq j<k\leq n\)), with \(z_1,\dots,z_n\) being the coordinates in \({\mathbf C}^n\). Accordingly, a generalized pure braid group has been defined as \(\pi_1({\mathbf C}^n-S)\) where \(S\) is the complexification of an arrangement of hyperplanes in \({\mathbf R}^n\) such that the reflections across the hyperplanes of the arrangement generate a finite (Coxeter) group in \(O(n)\). \textit{V. I. Arnol'd} [Math. Notes 5, 138-140 (1969); translation from Mat. Zametki 5, No. 2, 227-231 (1969; Zbl 0277.55002)] described the integral cohomology ring \(H^*(P_n)=H^*({\mathbf C}^n-A)\) in two ways: in terms of generators and relations and by embedding this ring in the algebra of differential forms on \({\mathbf C}^n-A\). The latter way has been generalized to complements of arbitrary hyperplane arrangements in \({\mathbf C}^n\) by \textit{E. Brieskorn} [Sém. Bourbaki 1971/72, No. 401, Lect. Notes Math. 317, 21-44 (1973; Zbl 0277.55003)]. In the present paper the authors generalize Arnol'd's presentation of \(H^*(P_n)\) to generalized pure braid groups corresponding to arbitrary hyperplane arrangements \(S\) ``of fiber type'' (as defined by \textit{M. Falk} and \textit{R. Randell} [Invent. Math. 82, 77-88 (1985; Zbl 0574.55010)]). They prove that \(H^*(\pi_1({\mathbf C}^n-S))=H^*({\mathbf C}^n-S)\) is isomorphic to the quotient of the exterior \(\mathbf Z\)-algebra with generators \(\omega_H\), one for each hyperplane \(H\) in \(S\), by the quadratic relations \(\omega_{H_1}\wedge\omega_{H_2}+\omega_{H_2}\wedge\omega_{H_3}+ \omega_{H_3}\wedge\omega_{H_1}=0\), one for each triple \(H_1,H_2,H_3\) of hyperplanes in \(S\) with \((n-2)\)-dimensional intersection.
Mathematics Subject Classification ID: 57M07
Mathematics Subject Classification ID: 20F36
Mathematics Subject Classification ID: 52C35
Mathematics Subject Classification ID: 20F55
zbMATH DE Number: 999675
zbMATH Keywords: Coxeter group
zbMATH Keywords: Dunkl identities
zbMATH Keywords: arrangement of hyperplanes
zbMATH Keywords: cohomology ring of a generalized pure braid group
reviewed by: Joze Vrabec
MaRDI profile type: Publication
cites work: Combinatorics and topology of complements of hyperplanes
cites work: The lower central series of a fiber-type arrangement
full work available at URL: https://doi.org/10.1007/bf02509453
OpenAlex ID: W2040607995
Recommended article: On the homology of the commutator subgroup of the pure braid group
Recommended article: Homology of iterated semidirect products of free groups
Recommended article: Q3372385
Recommended article: Presentation of pure braid groups
Recommended article: Monodromy of fiber-type arrangements and orbit configuration spaces
Recommended article: Q3338947
Recommended article: Hyperplane arrangements, local system homology and iterated integrals.
Recommended article: Q4307570
Recommended article: Q3825098
Recommended article: Integrable connections related to Manin and Schechtman's higher braid groups
published in: Functional Analysis and Its Applications
description: scientific article; zbMATH DE number 999675