Skip to main content
Became Hot Network Question
formatting
Source Link
YCor
  • 63.9k
  • 5
  • 187
  • 285

Computing Massey Productsproducts via intersection theory

Let $K$ be a nan $n$-Manifoldmanifold with boundary and let $x,y,z \in H^*(K)$ be cohomology classes with $x\cup y=y\cup z=0$.

The Massey Productproduct $\langle x,y,z \rangle$ is defined as the set of cohomology classes $[a\cup \tilde z - (-1)^{deg (x)}\tilde x \cup b]$$[a\cup \tilde z - (-1)^{\deg (x)}\tilde x \cup b]$, where $a,b$ are cochains with $\partial a=\tilde x\cup\tilde y$, $ \partial b=\tilde y \cup\tilde z$ and $\tilde x,\tilde y, \tilde z$ are representatives of the cohomology classes $x,y,z$.

In his paper "higher order linking numbers" Massey uses another approach to compute elements of Massey products utilisingusing the Poincaré-duality of cohomology+cup-products and homology+intersection of manifolds:

Let the fundamental classes $[M],[N],[P] \in H_*(K,\partial K)$ be the dual classes of the cohomology classes $x,y,z$, such that $X\cap P$ and $M \cap Y$ intersect transversally, for $X,Y$ manifolds with $M⫛ N= \partial X$ and $N ⫛ P= \partial Y$.

Then the sum $X \cap P - (-1)^{n-deg(x)}M\cap Y$$X \cap P - (-1)^{n-\deg(x)}M\cap Y$ obviously represents the poincaréPoincaré-dual of a triple product.


How exactly does this obvious duality work?

In my attempt I didnt get very far...

Using Bredon's intersection theory I get $[M \cap N]= D(x \cup y)$, for $D:H^*(K,\partial K) \to H_{n-*}(K)$ the duality isomorphism. This implies, that the cap product of a representative of $[K]$ and $\tilde x \cup \tilde y$ will be send to a representative of $[M \cap N]$, which we call $r_{mn}$. Since $x\cup y = 0$ it follows that $[M\cap N]=0$ and therefore $r_{m,n}$ is the boundary of a non-cyclic chain $r$.

Since this chain is non-cyclic, it is not a representative of any homology class. Thus I dont see any way to continue, using the duality $[M \cap N]= D(x \cup y)$.

Computing Massey Products via intersection theory

Let $K$ be a n-Manifold with boundary and let $x,y,z \in H^*(K)$ be cohomology classes with $x\cup y=y\cup z=0$.

The Massey Product $\langle x,y,z \rangle$ is defined as the set of cohomology classes $[a\cup \tilde z - (-1)^{deg (x)}\tilde x \cup b]$, where $a,b$ are cochains with $\partial a=\tilde x\cup\tilde y$, $ \partial b=\tilde y \cup\tilde z$ and $\tilde x,\tilde y, \tilde z$ are representatives of the cohomology classes $x,y,z$.

In his paper "higher order linking numbers" Massey uses another approach to compute elements of Massey products utilising the Poincaré-duality of cohomology+cup-products and homology+intersection of manifolds:

Let the fundamental classes $[M],[N],[P] \in H_*(K,\partial K)$ be the dual classes of the cohomology classes $x,y,z$, such that $X\cap P$ and $M \cap Y$ intersect transversally, for $X,Y$ manifolds with $M⫛ N= \partial X$ and $N ⫛ P= \partial Y$.

Then the sum $X \cap P - (-1)^{n-deg(x)}M\cap Y$ obviously represents the poincaré-dual of a triple product.


How exactly does this obvious duality work?

In my attempt I didnt get very far...

Using Bredon's intersection theory I get $[M \cap N]= D(x \cup y)$, for $D:H^*(K,\partial K) \to H_{n-*}(K)$ the duality isomorphism. This implies, that the cap product of a representative of $[K]$ and $\tilde x \cup \tilde y$ will be send to a representative of $[M \cap N]$, which we call $r_{mn}$. Since $x\cup y = 0$ it follows that $[M\cap N]=0$ and therefore $r_{m,n}$ is the boundary of a non-cyclic chain $r$.

Since this chain is non-cyclic, it is not a representative of any homology class. Thus I dont see any way to continue, using the duality $[M \cap N]= D(x \cup y)$.

Computing Massey products via intersection theory

Let $K$ be an $n$-manifold with boundary and let $x,y,z \in H^*(K)$ be cohomology classes with $x\cup y=y\cup z=0$.

The Massey product $\langle x,y,z \rangle$ is defined as the set of cohomology classes $[a\cup \tilde z - (-1)^{\deg (x)}\tilde x \cup b]$, where $a,b$ are cochains with $\partial a=\tilde x\cup\tilde y$, $ \partial b=\tilde y \cup\tilde z$ and $\tilde x,\tilde y, \tilde z$ are representatives of the cohomology classes $x,y,z$.

In his paper "higher order linking numbers" Massey uses another approach to compute elements of Massey products using the Poincaré-duality of cohomology+cup-products and homology+intersection of manifolds:

Let the fundamental classes $[M],[N],[P] \in H_*(K,\partial K)$ be the dual classes of the cohomology classes $x,y,z$, such that $X\cap P$ and $M \cap Y$ intersect transversally, for $X,Y$ manifolds with $M⫛ N= \partial X$ and $N ⫛ P= \partial Y$.

Then the sum $X \cap P - (-1)^{n-\deg(x)}M\cap Y$ obviously represents the Poincaré-dual of a triple product.


How exactly does this obvious duality work?

In my attempt I didnt get very far...

Using Bredon's intersection theory I get $[M \cap N]= D(x \cup y)$, for $D:H^*(K,\partial K) \to H_{n-*}(K)$ the duality isomorphism. This implies, that the cap product of a representative of $[K]$ and $\tilde x \cup \tilde y$ will be send to a representative of $[M \cap N]$, which we call $r_{mn}$. Since $x\cup y = 0$ it follows that $[M\cap N]=0$ and therefore $r_{m,n}$ is the boundary of a non-cyclic chain $r$.

Since this chain is non-cyclic, it is not a representative of any homology class. Thus I dont see any way to continue, using the duality $[M \cap N]= D(x \cup y)$.

correcting typo on "Then the sum..."
Source Link

Let $K$ be a n-Manifold with boundary and let $x,y,z \in H^*(K)$ be cohomology classes with $x\cup y=y\cup z=0$.

The Massey Product $\langle x,y,z \rangle$ is defined as the set of cohomology classes $[a\cup \tilde z - (-1)^{deg (x)}\tilde x \cup b]$, where $a,b$ are cochains with $\partial a=\tilde x\cup\tilde y$, $ \partial b=\tilde y \cup\tilde z$ and $\tilde x,\tilde y, \tilde z$ are representatives of the cohomology classes $x,y,z$.

In his paper "higher order linking numbers" Massey uses another approach to compute elements of Massey products utilising the Poincaré-duality of cohomology+cup-products and homology+intersection of manifolds:

Let the fundamental classes $[M],[N],[P] \in H_*(K,\partial K)$ be the dual classes of the cohomology classes $x,y,z$, such that $X\cap P$ and $M \cap Y$ intersect transversally, for $X,Y$ manifolds with $M⫛ N= \partial X$ and $N ⫛ P= \partial Y$.

Then the sum $X \cap P - (-1)^{n-deg(x)}M\cup Y$$X \cap P - (-1)^{n-deg(x)}M\cap Y$ obviously represents the poincaré-dual of a triple product.


How exactly does this obvious duality work?

In my attempt I didnt get very far...

Using Bredon's intersection theory I get $[M \cap N]= D(x \cup y)$, for $D:H^*(K,\partial K) \to H_{n-*}(K)$ the duality isomorphism. This implies, that the cap product of a representative of $[K]$ and $\tilde x \cup \tilde y$ will be send to a representative of $[M \cap N]$, which we call $r_{mn}$. Since $x\cup y = 0$ it follows that $[M\cap N]=0$ and therefore $r_{m,n}$ is the boundary of a non-cyclic chain $r$.

Since this chain is non-cyclic, it is not a representative of any homology class. Thus I dont see any way to continue, using the duality $[M \cap N]= D(x \cup y)$.

Let $K$ be a n-Manifold with boundary and let $x,y,z \in H^*(K)$ be cohomology classes with $x\cup y=y\cup z=0$.

The Massey Product $\langle x,y,z \rangle$ is defined as the set of cohomology classes $[a\cup \tilde z - (-1)^{deg (x)}\tilde x \cup b]$, where $a,b$ are cochains with $\partial a=\tilde x\cup\tilde y$, $ \partial b=\tilde y \cup\tilde z$ and $\tilde x,\tilde y, \tilde z$ are representatives of the cohomology classes $x,y,z$.

In his paper "higher order linking numbers" Massey uses another approach to compute elements of Massey products utilising the Poincaré-duality of cohomology+cup-products and homology+intersection of manifolds:

Let the fundamental classes $[M],[N],[P] \in H_*(K,\partial K)$ be the dual classes of the cohomology classes $x,y,z$, such that $X\cap P$ and $M \cap Y$ intersect transversally, for $X,Y$ manifolds with $M⫛ N= \partial X$ and $N ⫛ P= \partial Y$.

Then the sum $X \cap P - (-1)^{n-deg(x)}M\cup Y$ obviously represents the poincaré-dual of a triple product.


How exactly does this obvious duality work?

In my attempt I didnt get very far...

Using Bredon's intersection theory I get $[M \cap N]= D(x \cup y)$, for $D:H^*(K,\partial K) \to H_{n-*}(K)$ the duality isomorphism. This implies, that the cap product of a representative of $[K]$ and $\tilde x \cup \tilde y$ will be send to a representative of $[M \cap N]$, which we call $r_{mn}$. Since $x\cup y = 0$ it follows that $[M\cap N]=0$ and therefore $r_{m,n}$ is the boundary of a non-cyclic chain $r$.

Since this chain is non-cyclic, it is not a representative of any homology class. Thus I dont see any way to continue, using the duality $[M \cap N]= D(x \cup y)$.

Let $K$ be a n-Manifold with boundary and let $x,y,z \in H^*(K)$ be cohomology classes with $x\cup y=y\cup z=0$.

The Massey Product $\langle x,y,z \rangle$ is defined as the set of cohomology classes $[a\cup \tilde z - (-1)^{deg (x)}\tilde x \cup b]$, where $a,b$ are cochains with $\partial a=\tilde x\cup\tilde y$, $ \partial b=\tilde y \cup\tilde z$ and $\tilde x,\tilde y, \tilde z$ are representatives of the cohomology classes $x,y,z$.

In his paper "higher order linking numbers" Massey uses another approach to compute elements of Massey products utilising the Poincaré-duality of cohomology+cup-products and homology+intersection of manifolds:

Let the fundamental classes $[M],[N],[P] \in H_*(K,\partial K)$ be the dual classes of the cohomology classes $x,y,z$, such that $X\cap P$ and $M \cap Y$ intersect transversally, for $X,Y$ manifolds with $M⫛ N= \partial X$ and $N ⫛ P= \partial Y$.

Then the sum $X \cap P - (-1)^{n-deg(x)}M\cap Y$ obviously represents the poincaré-dual of a triple product.


How exactly does this obvious duality work?

In my attempt I didnt get very far...

Using Bredon's intersection theory I get $[M \cap N]= D(x \cup y)$, for $D:H^*(K,\partial K) \to H_{n-*}(K)$ the duality isomorphism. This implies, that the cap product of a representative of $[K]$ and $\tilde x \cup \tilde y$ will be send to a representative of $[M \cap N]$, which we call $r_{mn}$. Since $x\cup y = 0$ it follows that $[M\cap N]=0$ and therefore $r_{m,n}$ is the boundary of a non-cyclic chain $r$.

Since this chain is non-cyclic, it is not a representative of any homology class. Thus I dont see any way to continue, using the duality $[M \cap N]= D(x \cup y)$.

Source Link

Computing Massey Products via intersection theory

Let $K$ be a n-Manifold with boundary and let $x,y,z \in H^*(K)$ be cohomology classes with $x\cup y=y\cup z=0$.

The Massey Product $\langle x,y,z \rangle$ is defined as the set of cohomology classes $[a\cup \tilde z - (-1)^{deg (x)}\tilde x \cup b]$, where $a,b$ are cochains with $\partial a=\tilde x\cup\tilde y$, $ \partial b=\tilde y \cup\tilde z$ and $\tilde x,\tilde y, \tilde z$ are representatives of the cohomology classes $x,y,z$.

In his paper "higher order linking numbers" Massey uses another approach to compute elements of Massey products utilising the Poincaré-duality of cohomology+cup-products and homology+intersection of manifolds:

Let the fundamental classes $[M],[N],[P] \in H_*(K,\partial K)$ be the dual classes of the cohomology classes $x,y,z$, such that $X\cap P$ and $M \cap Y$ intersect transversally, for $X,Y$ manifolds with $M⫛ N= \partial X$ and $N ⫛ P= \partial Y$.

Then the sum $X \cap P - (-1)^{n-deg(x)}M\cup Y$ obviously represents the poincaré-dual of a triple product.


How exactly does this obvious duality work?

In my attempt I didnt get very far...

Using Bredon's intersection theory I get $[M \cap N]= D(x \cup y)$, for $D:H^*(K,\partial K) \to H_{n-*}(K)$ the duality isomorphism. This implies, that the cap product of a representative of $[K]$ and $\tilde x \cup \tilde y$ will be send to a representative of $[M \cap N]$, which we call $r_{mn}$. Since $x\cup y = 0$ it follows that $[M\cap N]=0$ and therefore $r_{m,n}$ is the boundary of a non-cyclic chain $r$.

Since this chain is non-cyclic, it is not a representative of any homology class. Thus I dont see any way to continue, using the duality $[M \cap N]= D(x \cup y)$.