A minimal set of generators for the cohomology is:
  • w1(r17) of degree 1
  • w2(r17) of degree 2
  • w2(r11) of degree 2
  • w1(r16) of degree 1
  • w2(r16) of degree 2
The Steenrod operations are as follows:
  • Sq1(w2(r17)) = w1(r17)w2(r17)
  • Sq1(w2(r11)) = 0
  • Sq1(w2(r16)) = w1(r17)w2(r17) + w2(r17)w1(r16) + w1(r17)w2(r16)
Here is a minimal system of equations:
  • (1)          w1(r17)2 + w1(r16)2 = 0
  • (2)          w1(r17)2 + w1(r17)w1(r16) = 0
  • (3)          w1(r17)w2(r17) + w2(r17)w1(r16) + w1(r17)w2(r16) + w1(r16)w2(r16) = 0
  • (4)          w2(r17)2 + w2(r16)2 = 0
Stiefel-Whitney classes:
  • w1(r1) = w1(r17) + w1(r16)
  • w1(r2) = w1(r17)
  • w1(r3) = w1(r16)
  • w2(r4) = 0
  • w2(r6) = w1(r17)2
  • w2(r8) = w1(r17)2 + w2(r11)
  • w2(r9) = w1(r17)2 + w2(r11)
  • w2(r10) = w2(r11)
  • w2(r11) = w2(r11)
  • w1(r16) = w1(r16)
  • w2(r16) = w2(r16)
  • w1(r17) = w1(r17)
  • w2(r17) = w2(r17)
  • w2(r18) = w1(r17)2
  • w4(r18) = w2(r17)2 + w1(r17)2w2(r11) + w2(r11)2
Chern classes:
  • c1(r1) = 0
  • c1(r2) = w1(r17)2
  • c1(r3) = w1(r17)2
  • c1(r4) = 0
  • c1(r5) = 0
  • c1(r6) = w1(r17)2
  • c1(r7) = w1(r17)2
  • c1(r8) = w1(r17)2 + w2(r11)
  • c1(r9) = w1(r17)2 + w2(r11)
  • c1(r10) = w2(r11)
  • c1(r11) = w2(r11)
  • c1(r12) = w1(r17)2 + w2(r11)
  • c1(r13) = w1(r17)2 + w2(r11)
  • c1(r14) = w2(r11)
  • c1(r15) = w2(r11)
  • c1(r16) = w1(r17)2
  • c2(r16) = w2(r17)2
  • c1(r17) = w1(r17)2
  • c2(r17) = w2(r17)2
  • c1(r18) = w1(r17)2
  • c2(r18) = w2(r17)2 + w1(r17)2w2(r11) + w2(r11)2
  • c1(r19) = w1(r17)2
  • c2(r19) = w2(r17)2 + w1(r17)2w2(r11) + w2(r11)2
The algebra of Milnor constants is generated by:
  • c1(r2) + c1(r8)
  • c2(r16)
  • c1(r2)
  • Note: the only algebraic cycles in the cohomology are Chern classes.
The results above have been produced during the second run in April, 2008.