Hay unos hdmi matrix a los que les puedes seleccionar cual entrada hdmi quieres que salga por cual salida hdmi, y así decides si va a la tv directa o a travès del receptor.
Si le pones un duplicador para la tv y el receptor, puede que se vuelva loco en la negociación y que pierdas audio o video, en función de cual aparato (tv o receptor) le responda al pc.