Identify higher coherences in the punctured cube of twisted Gysin maps
Identify the higher coherences of the diagram of cohomology groups indexed by the poset of non-empty subsets I ⊂ {1,…,n}, whose one-morphisms are twisted Gysin maps E(∂_I X(#I)) → E(∂_J X(#J)) for inclusions I ⊂ J, arising in the computation of the weight filtration W_*E(X − ∂X) via the cofibre formula. Specifically, construct and describe the coherent higher morphisms that make this diagram into a functor given by coherent Gysin maps, thereby establishing a fully coherent functorial model for the punctured cube used in Equation (1).
References
The one-morphisms of this diagram are given by twisted Gysin maps Remark~5.16, but the higher coherences of this diagram have not been identified yet.
— A note on weight filtrations at the characteristic
(2502.19626 - Annala et al., 26 Feb 2025) in Footnote to Equation (1) in the “Statement of results” subsection