Skip to main content
added 151 characters in body; added 16 characters in body
Source Link
Ralph
  • 56
  • 2

Louis asked: "I was wondering if it was possible to distill this 2-periodic resolution somehow out of the standard bar-resolution above in some natural way ?"

By a result of Benson and Carlson [Complexity and Multiple Complexes. Math. Zeit. 195(1987), 221-238, Theorem 4.4], for finite groups there is a general procedure that produces a resolution that is the tensor product of r periodic complexes where r is the rank of the group.

Given a projective resolution and a set of r cocycles that represents a homogeneous system of parameters of the integral cohomology ring, the construction of the periodic complexes is explicit and quite simple. If a cocycle has degree d than the corresponding periodic complex is d-periodic.

Now consider a finite cyclic group. Then r = 1. If you figure out a cocycle of the bar resolution that generates the second integral cohomology group and apply the construction of Benson-Carlson to this cocycle then you'll end up with the usual 2-periodic resolution.

By a result of Benson and Carlson [Complexity and Multiple Complexes. Math. Zeit. 195(1987), 221-238, Theorem 4.4], for finite groups there is a general procedure that produces a resolution that is the tensor product of r periodic complexes where r is the rank of the group.

Given a projective resolution and a set of r cocycles that represents a homogeneous system of parameters of the integral cohomology ring, the construction of the periodic complexes is explicit and quite simple. If a cocycle has degree d than the corresponding periodic complex is d-periodic.

Now consider a finite cyclic group. Then r = 1. If you figure out a cocycle of the bar resolution that generates the second integral cohomology group and apply the construction of Benson-Carlson to this cocycle then you'll end up with the usual 2-periodic resolution.

Louis asked: "I was wondering if it was possible to distill this 2-periodic resolution somehow out of the standard bar-resolution above in some natural way ?"

By a result of Benson and Carlson [Complexity and Multiple Complexes. Math. Zeit. 195(1987), 221-238, Theorem 4.4], for finite groups there is a general procedure that produces a resolution that is the tensor product of r periodic complexes where r is the rank of the group.

Given a projective resolution and a set of r cocycles that represents a homogeneous system of parameters of the integral cohomology ring, the construction of the periodic complexes is explicit and quite simple. If a cocycle has degree d than the corresponding periodic complex is d-periodic.

Now consider a finite cyclic group. Then r = 1. If you figure out a cocycle of the bar resolution that generates the second integral cohomology group and apply the construction of Benson-Carlson to this cocycle then you'll end up with the usual 2-periodic resolution.

Source Link
Ralph
  • 56
  • 2

By a result of Benson and Carlson [Complexity and Multiple Complexes. Math. Zeit. 195(1987), 221-238, Theorem 4.4], for finite groups there is a general procedure that produces a resolution that is the tensor product of r periodic complexes where r is the rank of the group.

Given a projective resolution and a set of r cocycles that represents a homogeneous system of parameters of the integral cohomology ring, the construction of the periodic complexes is explicit and quite simple. If a cocycle has degree d than the corresponding periodic complex is d-periodic.

Now consider a finite cyclic group. Then r = 1. If you figure out a cocycle of the bar resolution that generates the second integral cohomology group and apply the construction of Benson-Carlson to this cocycle then you'll end up with the usual 2-periodic resolution.