Deine hohe Auflösung 1280p beträgt 1280x720p. Das wird gemeinhin als 720p bezeichnet. Es wird immer die vertikale Auflösung benutzt.
In der Mediathek benutzt arte maximal 720p, also 1280x720 Pixel bei 50 progressiven Bildern pro Sekunde.

arte strahlt aber über DVB-T2 nativ mit 1920x1080p (= 1080p) aus. Leider mit einer zu geringen Bitrate (trotz HEVC), sodass das Satsignal mit 720p und sehr hoher Bitrate (bei AVC) insgesamt das beste Bild bringt.
Leider ist der Ton mittlerweile beschissen (192 kbit/s mp2), seit Dolby Digital (ac3) abgeschaltet wurde.