What are the supported video formats? Is 4K video supported?

Yes, 4K video is supported along with 2K, FHD (60P, 30P, 24P), HD (60P, 30P,24P) and VGA.