The homology and cohomology of the complements to some arrangements of codimension two complex planes (Q642063)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The homology and cohomology of the complements to some arrangements of codimension two complex planes
scientific article

    Statements

    The homology and cohomology of the complements to some arrangements of codimension two complex planes (English)
    0 references
    25 October 2011
    0 references
    Motivated by problems from the theory of toric varieties the author is interested in the structure of the singular homology groups \(H_s(\mathbb C^d\backslash Z)\) and the de Rham cohomology groups \(H^s(\mathbb C^d\backslash Z), 1\leq s\leq d+2\), with \[ Z=\bigcup_{1<|i-j|<d-1}\big\{(z_1,\dots,z_d)\in\mathbb C^d\,\big|\,z_i=z_j=0\big\}, \] a specific arrangement of twocodimensional coordinate subspaces. For \(1\leq s\leq d+2\) he gives an explicit construction and a geometric description of a system of cycles which constitute a basis for the torsion-free part of \(H_s(\mathbb C^d\backslash Z)\), and for \(1\leq s < d+2\) he also calculates the differential forms which yield the dual basis of \(H^s(\mathbb C^d\backslash Z)\). The cycles can be realized for \(3\leq s\leq d-1\) as products \(S^3\times (S^1)^{s-3}\) of the threedimensional sphere and the \((s-3)\)-dimensional torus. Let \(\omega_{BM}\) denote the Bochner-Martinelli kernel of \(\mathbb C^2\backslash \{0\}\). The differential forms in the dual basis are received, up to a suitable permutation of coordinates, from the forms \[ \omega_{BM}(z_1\cdot \dots\cdot z_k, z_{k+1}\cdot\dots\cdot z_m)\wedge\frac{dz_2}{z_2}\wedge\dots\wedge\frac{dz_{m}}{z_{m}} \] (cf. [\textit{G. Sorani}, Am. J. Math. 88, 737--746 (1966; Zbl 0154.33203)]). The Alexander-Pontryagin duality and results of [\textit{V. M. Buchstaber} and \textit{T. E. Panov}, Torus actions and their applications in topology and combinatorics. University Lecture Series. 24. Providence, RI: American Mathematical Society (AMS) (2002; Zbl 1012.52021)] are used for an explicit construction of a basis of \(H_{2d-s-1}(\overline{Z})\), where \(\overline{Z}\) is the compactification of \(Z\) in the one-point compactification \(S^{2d}\) of \(\mathbb C^d\). The highest non-trival cohomology group \(H^{d+2}(\mathbb C^d\backslash Z)\) is cyclic and a generating \((d,2)\)-form for it is explicitly constructed.
    0 references
    singular homology
    0 references
    cohomology
    0 references
    toric variety
    0 references
    arrangement of complex planes
    0 references
    Alexander-Pontryagin duality
    0 references
    Bochner-Martinelli kernel
    0 references

    Identifiers