4-torsion classes in the integral cohomology of oriented Grassmannians

Abstract

We investigate the existence of 4-torsion in the integral cohomology of oriented Grassmannians. We prove a general criterion for the appearance of 4-torsion classes based on (twisted) Steenrod squares and show that there are many cases where this criterion is satisfied for minimal-degree anomalous classes, assuming a conjecture on the characteristic rank. We also establish the upper bound in the characteristic rank conjecture for oriented Grassmannians $\tilde{Gr}_k(n)$, and prove the equality in the cases $k=5, n=2^t-1,2^t$ and $k=6, n=2^t$. This provides infinitely many examples of oriented Grassmannians having 4-torsion in their integral cohomology. On the way, we clarify the relation between minimal-degree anomalous classes and results of Stong on the height of the first Stiefel-Whitney class $w_1$ in the mod 2 cohomology of real Grassmannians, for which we give an independent proof. We also establish some bounds on torsion exponents for the integral cohomology of oriented flag manifolds. Based on these findings and further computational evidence, we formulate a conjectural relationship between the torsion exponent in the integral cohomology of homogeneous spaces and their deficiency.

Figures (4)

• Figure 1: The hook of $\times$ is denoted in red, it has hook-length 15. The rim-hook corresponding to $\triangle$ has length 12 and is marked in green. The 12-core of $\lambda$ is the partition obtained by removing the green rim-hook.
• Figure 2: Monomials that form a dual basis for the $W_2$-linear combinations of $q_{2^t-5},q_{2^t-4},q_{2^t-3}$ in degree $2^t-3$. The columns are indexed by a basis of $W_2$-linear combinations $w^bq_j$ of the $q_j$'s in degree $2^t-3$, the rows are indexed by a chosen dual basis of monomials $w^a$. See Theorem \ref{['thm:dualbasis']} for further details.
• Figure 3: Monomials that form a dual basis for the $W_2$-linear combinations of $q_{2^t-5},q_{2^t-4},q_{2^t-3},q_{2^t-2}$ in degree $2^t-2$. The columns are indexed by a basis of $W_2$-linear combinations $w^bq_j$ of the $q_j$'s in degree $2^t-3$, the rows are indexed by a chosen dual basis of monomials $w^a$. See Theorem \ref{['thm:dualbasis']} for further details.
• Figure 4: Monomials that form a separating basis for the $W_2$-linear combinations of $q_{2^t-5},q_{2^t-4},q_{2^t-3},q_{2^t-2},q_{2^t-1}$ in degree $2^t-1$. The columns are indexed by a basis of $W_2$-linear combinations $w^bq_j$ of the $q_j$'s in degree $2^t-3$, the rows are indexed by a chosen dual basis of monomials $w^a$. See Theorem \ref{['thm:dualbasis']} for further details.

Theorems & Definitions (91)

• Theorem 1.1
• Theorem 1.2
• Definition 2.1
• Definition 2.2
• Conjecture 2.3
• Proposition 2.4
• proof
• Proposition 2.5
• proof
• Lemma 2.6