The HDMI port should work at 1280x720p and 1920x1080p at 24Hz, 50Hz, and 60Hz for sure, many other resolutions should be supported though.
Your graphics driver determines what resolutions can be piped out through that port. It's a two way link between the laptop and the screen you use, ideally only the resolutions that are supported by both are shown.
This is my signature. There are many like it, but this one is mine. However, my signature is neither my best friend, nor is it my life. I also have no desire to master it and my worth is not signature-dependent.