On the cohomology of oriented Grassmann manifolds
type: Item
instance of: scholarly article
title: On the cohomology of oriented Grassmann manifolds
zbMATH Open document ID: 1357.57060
author: Július Korbaš
author: Tomáš Rusin
published in: Homology, Homotopy and Applications
publication date: 2017-01-20T00:00:00Z
review text: The \(\mathbb{Z}_2\)-cohomology \(H^*(G_{n, k})\) of the Grassmann manifold \(G_{n,k}= O(n)/(O(k) \times O(n - k))\) \((k\leq n-k)\) is isomorphic to the quotient algebra of \(\mathbb{Z}_2[w_1, \dots, w_k]\) by the ideal generated by \(k\) homogeneous components of \((1+w_1+ \cdots +w_k)^{-1}\) in dimensions \(n-k+1, \dots, n\) where \(w_i\) denotes the \(i\)th Stiefel-Whitney class of the canonical \(k\)-plane bundle \(\gamma_{n, k}\) over \(G_{n, k}\). Let \(w_1 : H^j (G_{n, k})\to H^{j+1}(G_{n, k})\) be the homomorphism induced by the cup-product with \(w_1\). Let \(\tilde{G}_{n, k}=\mathrm{SO}(n)/(\mathrm{SO}(k)\times\mathrm{SO}(n-k))\) and \(p : \tilde{G}_{n, k}\to {G}_{n, k}\) be the canonical covering projection. Then we know that \(\text{Ker}(w_1) \cong H^*(\tilde{G}_{n, k})/\text{Im}(p^*)\). Besides, since \(p^*\gamma_{n, k}=\tilde{\gamma}_{n, k}\), we have \(p^*w_i=\tilde{w_i}\) where \(\tilde{\gamma}_{n, k}\) denotes the canonical \(k\)-plane bundle over \(\tilde{G}_{n, k}\) and \(\tilde{w}_i\) is its \(i\)th Stiefel-Whitney class. So we see that \(\text{Im}(p^*)\) consists only of elements which can be expressed as polynomials in \(\tilde{w}_1, \dots, \tilde{w}_k\). This tells us that analyzing \(\text{Ker}(w_1)\) we can get more detailed information and understanding about \(H^*(\tilde{G}_{n, k})\). In this paper the authors develop new tools for studying this kernel. Let us write \(\alpha_j(\tilde{G}_{n, k})\) for the dimension of \(\text{Ker}(w_1) \subset H^j (G_{n, k})\). By \(\text{charrank}(\tilde{\gamma}_{n, k})\) we mean the greatest integer \(q\) such that \(\alpha_i(\tilde{G}_{n, k})=0\) \((0\leq i\leq q)\) and call it the characteristic rank of \(\tilde{\gamma}_{n, k}\). The authors examine this invariant using an additive basis (called here standard basis) of \(H^j(G_{n, k})\) introduced by \textit{J. W. Milnor} and \textit{J. D. Stasheff} [Characteristic classes. Princeton, N.J.: Princeton University Press and University of Tokyo Press (1974…
reviewed by: Haruo Minami
Mathematics Subject Classification ID: 57R20
Mathematics Subject Classification ID: 55R25
zbMATH DE Number: 6676562
zbMATH Keywords: Stiefel-Whitney class
zbMATH Keywords: characteristic class
zbMATH Keywords: cup-length
zbMATH Keywords: Grasmann manifold
MaRDI profile type: Publication
DOI: 10.4310/HHA.2016.V18.N2.A4
description: scientific article; zbMATH DE number 6676562