Skip to main content

All Questions

Filter by
Sorted by
Tagged with
7 votes
1 answer
179 views

Generalisation of Hirsch formula for the associativity of Steenrod's higher $\cup_2$ product with $\cup_1$ and cup products

For $f$, $g$ and $h$ cochains, the Hirsch formula is given as $$ (f\cup g)\cup_1 h=f\cup (g\cup_1 h)+(-1)^{q(r-1)}(f\cup_1 h)\cup g.$$ Is there a more general formula that relates the associativity of ...
Sophie's user avatar
  • 71
4 votes
0 answers
120 views

Is there a local simplicial formula for the Steenrod squares which commutes with the derivative on cochain level?

There is a well-known formula for the cup product of an $i$-cochain $A$ and $j$-cochain $B$ in simplicial homology given by $$(A\cup B)(0\ldots i+j) = A(0\ldots i) B(0\ldots j)\;.$$ This formula ...
Andi Bauer's user avatar
  • 3,001
3 votes
1 answer
215 views

Cartan Formula for Steenrod square on cocycles

Let $x_n,y_n,\cdots$ be cocycles in $Z^n(X,\mathbb{Z}_2)$ (not cohomology classes in $H^n(X,\mathbb{Z}_2)$). Let $Sq^k(x)\equiv x_n \cup_{n-k} x_n$ be the Steenrod square (This definition is valid for ...
Xiao-Gang Wen's user avatar