Questions tagged [cup-product]
The cup-product tag has no usage guidance.
6
questions with no upvoted or accepted answers
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 ...
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(...
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 ...
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 ...
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-...
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 ...