Geometrically Interpreting Higher Cup Products, and Application to Combinatorial Pin Structures

Abstract

We provide a geometric interpretation of the formulas for Steenrod's $\cup_i$ products, giving an explicit construction for a conjecture of Thorngren. We construct from a simplex and a branching structure a special frame of vector fields inside each simplex that allow us to interpret cochain-level formulas for the $\cup_i$ as a generalized intersection product on the dual cellular decomposition. It can be thought of as measuring the intersection between a collection of dual cells and thickened, shifted version of another collection, where the vector field frame determines the thickening and shifting. Defining this vector field frame in a neighborhood of the dual 1-skeleton of a simplicial complex allows us to combinatorially define $Spin$ and $Pin^\pm$ structures on triangulated manifolds. We use them to geometrically interpret the `Grassmann Integral' of Gu-Wen/Gaiotto-Kapustin, without using Grassmann variables. In particular, we find that the `quadratic refinement' property of Gaiotto-Kapustin can be derived geometrically using our vector fields and interpretation of $\cup_i$, together with a certain trivalent resolution of the dual 1-skeleton. This lets us extend the scope of their function to arbitrary triangulations and explicitly see its connection to spin structures. Vandermonde matrices play a key role in all constructions.