Bosonization in three spatial dimensions and a 2-form gauge theory

The well-known Jordan-Wigner transformation maps an arbitrary system of fermions on a one-dimensional lattice to a system of spins. An essential property of this transformation is that it preserves the locality of observables. This transformation has been recently extended to two-dimensional lattices, where it maps an arbitrary system of fermions to a gauge theory, with locality preserved. Here, the authors construct a bosonization map for arbitrary systems of fermions in three dimensions. As an application, the authors design a model of interacting spins on a cubic lattice, which is exactly soluble and is equivalent to a tight-binding model of free fermions with Dirac points.