Hola. Había borrado mi respuesta porque había entendido mal tu problema, no buscas HDMI 2.1 sino simplemente 4K. Pero te digo lo mismo, puedes pasar la fuente (pc) directamente a la TV y ésta enviará el audio al procesador por ARC

No, no existen procesadores por 500€ que tengan HDMI 2.0b para procesar 4K. Los procesadores son más caros que los AVR. Sí puedes encontrar AVR por ese precio, que si tienen salidas Pre-out podrías usar como si fuera un procesador, es decir, sin usar su amplificación