Table of Contents
Fetching ...

Heights of Stiefel--Whitney classes and zero-divisor cup-length of some Grassmann manifolds

Milica Jovanović, Vuk Ovaskainen, Branislav I. Prvulović, Antonije Subotić

Abstract

We calculate the heights of Stiefel--Whitney classes of the canonical vector bundle over the oriented Grassmannians $\widetilde G_{n,4}\cong SO(n)/(SO(4)\times SO(n-4))$ in the cases $n\in\{2^t-2,2^t-1,2^t,2^t+1\}$, $t\ge4$. Using some additional computations in modulo $2$ cohomology of $\widetilde G_{n,4}$ and the well-known connection between topological complexity and zero-divisor cup-length, we obtain lower bounds for topological complexity of these Grassmannians. We also extend recent results of Rusin, who computed the modulo $2$ cup-length of $\widetilde G_{n,4}$ for $n\in\{2^t-2,2^t-1,2^t\}$, to the case $n=2^t+1$, $t\ge3$.

Heights of Stiefel--Whitney classes and zero-divisor cup-length of some Grassmann manifolds

Abstract

We calculate the heights of Stiefel--Whitney classes of the canonical vector bundle over the oriented Grassmannians in the cases , . Using some additional computations in modulo cohomology of and the well-known connection between topological complexity and zero-divisor cup-length, we obtain lower bounds for topological complexity of these Grassmannians. We also extend recent results of Rusin, who computed the modulo cup-length of for , to the case , .
Paper Structure (8 sections, 20 theorems, 85 equations)

This paper contains 8 sections, 20 theorems, 85 equations.

Key Result

Theorem 2.3

Let $F$ be a Gröbner basis for the ideal $I$ (with respect to a given monomial order). For an arbitrary polynomial $p\in\mathbb F_2[\overline X]$ denote by $\overline p$ its normal form modulo $F$. Then the following equivalence holds:

Theorems & Definitions (39)

  • Definition 2.1
  • Definition 2.2
  • Theorem 2.3
  • Theorem 2.4
  • Lemma 2.5
  • proof
  • Lemma 2.6
  • proof
  • Lemma 2.7
  • Theorem 3.1
  • ...and 29 more