Hola, ¿te pasa eso con varios archivos?
Se me ocurre que, dado que el HDMI lleva el audio al TV para que este lo procese, cabe la posibilidad de que sencillamente, los archivos que has intentado reproducir llevan el audio codificado en un formato que igual tu TV no es capaz de descodificar. Supongo que se podrá configurar en el ordenador que el audio salga por HDMI, por ejemplo, en formato PCM, que es el formato digital más antiguo de todos (el de los CD de audio), y que supongo que cualquier cacharro con conexión digital tiene que poder descodificar.
Otra posibilidad es que en el ordenador tengas que configurar explícitamente que el audio salga por el hdmi (y quizá también en que formato, enlazando con lo anterior), y simplemente no tengas habilitada esa posibilidad.
Por último, puedes probar a conectar el cable hdmi en la entrada HDMI del TV que generalmente se identifica como DVI, que suele ir asociada a la entrada de audio del TV, de modo que si no se envía sonido por el HDMI (o el TV no es capaz de procesarlo), toma el sonido de la entrada analógica de audio.
Espero haberte ayudado, o al menos, haberte dado algunas ideas para probar.
Saludos.