I might be a bit late to the party here, but I believe I can tell you why your mouse lags with HDMI.

HDMI is a bit infamous for input lag. The longer the cable, the more noticeable the lag...