Topology of the complement of real hyperplanes in \({\mathbb C}^ N\) (Q1077012)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Topology of the complement of real hyperplanes in \({\mathbb C}^ N\) |
scientific article |
Statements
Topology of the complement of real hyperplanes in \({\mathbb C}^ N\) (English)
0 references
1987
0 references
Let \(Y={\mathbb{C}}^ N\setminus \cup_{i}M_ i\), where \(\{M_ i\}\) is a locally finite family of affine hyperplanes with real equation. The problem of determining the homotopy type of Y is considered. In the first part, a regular cellular complex \(X\subset Y\) and a homotopy equivalence between X and Y are constructed. The real part Q of X is the dual to the subdivision of \({\mathbb{R}}^ N\) induced by the hyperplanes, and over each cell of Q, dual to the facet \(F^ j\) of codimension j, there are as many j-cells in X as the chambers of \({\mathbb{R}}^ N\) which contain \(F^ j\) in their closure. In the second part \(\pi_ 1(X)=\pi_ 1(Y)\) is studied. It is proved that two ''minimal positive'' paths in the 1-skeleton of X which have the same ends are homotopic. An algorithm is found for determining presentations of \(\pi_ 1(X)\), which contains the Van Kampen method as a particular case. Finally, a known result is re-proved using the complex X, namely if the hyperplanes of the subdivision are in general position then X (hence Y) is not a K(\(\pi\),1).
0 references
topology of the complement of real hyperplanes in \({\mathbb C}^ N\)
0 references
locally finite family of affine hyperplanes
0 references
homotopy type
0 references
K(\(\pi \) ,1)
0 references
fundamental group
0 references