5

Is there a discussion in the literature of Künneth-type theorems for (co)homology with local coefficients? The sources I know of that discuss local coefficients (Whitehead's Elements of Homotopy Theory, Davis and Kirk's Lecture Notes in Algebraic Topology, Hather's Algebraic Topology) don't discuss this topic. A result along these lines, for homology, is mentioned in Section 1.4 of the article Semi-Simplicial Spaces by Ebert and Randal-Williams.

Dan Ramras
  • 8,498
  • 1
    Check Bredon's "Sheaf theory" book, it is almost certainly there. – Moishe Kohan Mar 24 '23 at 02:27
  • @MoisheKohan Thanks. I think Bredon does indeed have what I'm looking for. One also needs a comparison between sheaf cohomology and cohomology with local coefficients, which I prefer to think of as coming from a functor out of the fundamental groupoid. I think this should be straightforward once one knows how to go back and forth between local systems and sheaves, and probably it is discussed somewhere in the references collected at https://mathoverflow.net/questions/17786/why-are-local-systems-and-representations-of-the-fundamental-group-equivalent – Dan Ramras Mar 25 '23 at 18:42
  • This is very straightforward (locally constant sheaves). – Moishe Kohan Mar 25 '23 at 19:54
  • 1
    @MoisheKohan Right, the correspondence is between local systems and locally constant sheaves. I think the most general Künneth formula in Bredon is on p. 231, with extensions in the exercises on p. 277. It's a little strange to me that he works with an arbitrary pair $(X, A)$ and takes the product with a locally compact Hausdorff space $Y$. The cohomological analogue of the statement in Ebert and Randal-Williams paper would refer to an arbirary space $X$ and its product with a pair $(Y, A)$, where $Y$ is compact Hausdorff. Maybe this works similarly. If I sort it out, I'll write an answer. – Dan Ramras Mar 26 '23 at 06:43

1 Answers1

6

There's some sort of discussion of this in Section 1 of Greenblatt, "Homology with local coefficients and characteristic classes", Homology, Homotopy and Applications, vol. 8(2), 2006, 91–103.

Dave Benson
  • 11,636
  • 2
    Apparently Robert Greenblatt was a student of Bill Massey back in the sixties, and left mathematics shortly thereafter. His thesis was finally published in HHA after Larry Smith pointed out its relevance to the integral cohomology of $BO(n)$ and $BSO(n)$. – Dave Benson Mar 23 '23 at 21:35
  • 2
    Thanks! More about Greenblatt: https://en.wikipedia.org/wiki/Robert_Greenblatt_(anti_war_activist) – Dan Ramras Mar 24 '23 at 04:18