5 votes
Accepted

When is a (co)edge trivial in graph cohomology?

Sam Hopkins's suggestion is right, $e^{\vee}$ is trivial if and only if $e$ is a bridge. (I'm assuming that you are taking $e^{\vee}$ to be an element in the simplicial cochain complex, so ...
Phil Tosteson's user avatar
1 vote

Original reference of six functor formalism?

There doesn't exist a mathematical publication by Grothendieck explicitly presenting that formalism. It was going to be addressed in "Exposé 0" of SGA 5, but the editors excluded it from the ...
Compacto's user avatar
  • 371

Only top scored, non community-wiki answers of a minimum length are eligible