こいつ、安かったけど、ちゃんとUSB-C端子→HDMI2.1の出力ができた。
https://amzn.to/46o8SIr

4K/144Hz/HDRのHDMI出力を確認。
たまにHDR非対応とあったりするので。