Parity in Tensor Categories: From Hexagon Counting to Virtual Knots

Tensor categories come equipped with associativity constraints ϕ:(X⊗Y)⊗Z≅X⊗(Y⊗Z) and commutativity constraints Ψ:X⊗Y≅Y⊗X, which must satisfy compatibility conditions encoded in hexagon diagrams. For fixed objects X,Y,Z, the full diagram of all tensor products contains 20 distinct hexagons. A careful counting reveals 8 hexagons that obey an alternation rule (edges alternate between associativity and commutativity) and 12 that do not. Under the natural S_3 action permuting X,Y,Z, these hexagons fall into orbits whose sizes (6 and 2 for alternating hexagons) point to a mod 2 structure.
We show that this mod 2 structure can be interpreted as a parity grading on commutativity isomorphisms, satisfying a cocycle condition p(X,Y)+p(X⊗Y,Z)≡p(Y,Z)+p(X,Y⊗Z)mod2. This parity function defines a parity projection functor Π:C→C_virtual that sends even-parity commutativity isomorphisms to identities while preserving odd-parity ones.
This functor provides a categorical realization of Manturov's map from the classical world to the virtual world in knot theory. When applied to the braided tensor category of virtual tangles, the construction recovers the parity bracket invariant. The two orbits of alternating hexagons correspond to the two cohomology classes in H2(S3,Z2)≅Z2, revealing a deep connection between tensor categories, knot parity, and group cohomology.