Questions tagged [cup-product]

The tag has no usage guidance.

6 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
13 votes
0 answers
365 views

What is the cup-product structure like on a hyperbolic 5-manifold?

Let $X$ be a hyperbolic 5-manifold. Can there be any class in $H^2(X;\mathbf{Z})$ that is torsion and whose square in $H^4(X;\mathbf{Z})$ is not zero? For example, are there hyperbolic 5-manifolds ...
David Treumann's user avatar
5 votes
0 answers
625 views

Defining the cup product in Ext using a Kunneth formula

I want to make a Kunneth product of sorts on Ext. In particular, letting $C_*$ be a $R$-free resolution for $k$ over a $k$-hopf algebra $R$, elements in $Ext_R(k,k)$ are represented by maps in $Hom_R(...
Joseph Victor's user avatar
4 votes
0 answers
185 views

Multi-variable cohomology operations

Intuitively, cohomology operations are ways to locally compute a cocycle $\alpha\in H^i(X, G)$ from any cocycle $\beta\in H^j(X, H)$. Formally, they are in one-to-one correspondence with homotopy ...
Andi Bauer's user avatar
  • 2,901
4 votes
0 answers
109 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
  • 2,901
1 vote
0 answers
158 views

To see that the fundamental class of a local complete intersection is independent of choice of regular sequence

In SGA 4½ ‘Cycle,’ Grothendieck defines (among other things) the fundamental class of a local complete intersection $Y\subset X$ ($X$ simply a noetherian scheme) of codimension $c$ locally as the cup-...
Tomo's user avatar
  • 1,167
1 vote
0 answers
91 views

Application of cup-product for Leibniz cohomology

In 1995, Loday introduced a cup-product operation on the graded cohomology of Leibniz algebra and showed that the cup-product operation satisfies the graded Zinbiel relation. My question is how this ...
Ripan Saha's user avatar