> 70mm film looks great in 4K though (2001, Nolan movies, etc).
Best to leave modern productions (like Nolan) out of the conversation, IMO. It can give an unrealistic picture of what resolution is achievable. Take Lawrence of Arabia for example: it's possibly the paradigmatic example of a 70mm film, and yet in most scenes the resolution is no better than an upscaled 1080p. This is due to a combination of problems: film stock degrades relatively quickly and was generally of lower quality 50+ years ago than today, and focus pulling was not precise enough to take full advantage of the available resolving power of 70mm film.
Unfortunately this is also true for many scenes in 2001: A Space Odyssey. Take a look at these comparisons here: https://caps-a-holic.com/c.php?go=1&a=0&d1=12517&d2=12509&s1... You're looking at an upscaled 1080p film versus native 4k (tonemapped to have roughly comparable colors on SDR screens). There's little if any more detail in the 4k image.
On the other hand, 35mm film certainly can have details visible only in 4k, especially more recent stuff. Check out this comparison for Casino (1995), the difference is unbelievable: https://caps-a-holic.com/c.php?d1=13389&d2=13388&s1=134076&s...
I agree with you about HDR though. It's certainly the most important improvement that's come up in the last decade, much more than the resolution increase.
> It's a shame there is no 1080p HDR content. 35mm movies would benefit a lot more of higher color bit depth that higher resolution. Anyone knows if this is a codec limitation?
Yes and no. The standard for Blu-ray (which uses H.264) is not able to accommodate HDR or 4k, so it was not possible until the release of the UHD Blu-ray standard. Players with the UHD standard support 4k, HDR, and the HEVC codec instead of H.264. HEVC (aka H.265) can support HDR at any resolution, but since you're releasing a "UHD" disc anyway that only people with supporting players can use, you may as well put it on there in 4k anyway. Better for marketing, probably. So it's a bit complicated. If you check bittorrent trackers, you'll probably be able to find 1080p films with HDR (encoded with HEVC), but no one in the industry releases films that way.
(Also, the higher bit depth is not quite as important as the extended dynamic range.)