>>3
係数体が複素数なら開写像になるから局所同相
連結性を仮定するならこれでOK