pulseaudio configuration profile HDMI output is unplugged (or unavailable) after monitor standby or cable replugged.

it can be enabled with the command (adjust the label HDMI1 accordingly):

xrandr --output HDMI1 --set audio on