Miyazawa's Invariant, Lefschetz Numbers, and Seifert Solids

We establish a formula expressing Miyazawa's 2-knot invariant $|\mathrm{deg}|$ in terms of the Lefschetz number of a map on ordinary (i.e., not real) monopole Floer homology. As an application, we deduce that $|\mathrm{deg}|=1$ for any 2-knot in $S^4$ which has a punctured $L$-space as a Seifert solid. In the course of the proof of the main theorem, we show how Francesco Lin's construction of monopole Floer homology with $\operatorname{Pin}(2)$-equivariant perturbations can be made to work with integer coefficients.