Quadratic relations in the cohomology of generalized pure braids and Dunkl identities (Q677683): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q1180798 |
Set OpenAlex properties. |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Joze Vrabec / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Combinatorics and topology of complements of hyperplanes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The lower central series of a fiber-type arrangement / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf02509453 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2040607995 / rank | |||
Normal rank |
Latest revision as of 11:23, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Quadratic relations in the cohomology of generalized pure braids and Dunkl identities |
scientific article |
Statements
Quadratic relations in the cohomology of generalized pure braids and Dunkl identities (English)
0 references
12 July 1998
0 references
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.
0 references
Coxeter group
0 references
Dunkl identities
0 references
arrangement of hyperplanes
0 references
cohomology ring of a generalized pure braid group
0 references