An inquiry: usually the bosonization is done on the field theory side. The mapping between the fermion operator to the boson operator is done for the field theory operators.
As far as we know for the bosonization on the lattice fermion, do we know whether there is any exact result about the rigorous mapping: from the lattice fermions to a lattice boson?
Any recommended approach or Ref on the rigorous "bosonization on the lattice fermion"?
ps. I have some fair understanding of uses of field theory Bosonization. Just wonder the lattice side procedure how well is it rigorous studied. Thank you!