$\mathbb{K}$-framings and $\mathbb{K}$-quadratic forms on surfaces

Abstract

We introduce the notions of $\mathbb{K}$-framings, based $\mathbb{K}$-framings and relative $\mathbb{K}$-framings of a compact connected oriented surface $Σ$ for any commutative ring $\mathbb{K}$ with unit, and a map which maps a based loop on $Σ$ to a homology class of its unit tangent bundle $UΣ$, which recovers Johnson's lifting in the case $\mathbb{K} = \mathbb{Z}/2$. This generalizes the correspondence between a quadratic form and a spin structure established by Johnson to any commutative ring $\mathbb{K}$ with unit. If the genus of $Σ$ is positive, we have a bijection between the set of $\mathbb{K}$-framings and the set of some twisted cocycles of the mapping class group of the surface $Σ$. Through this bijection, in the case where the boundary $\partialΣ$ is non-empty and connected, we discuss some relation between $\mathbb{K}$-framings and the extended first Johnson homomorphism.