real surface는 complex line이고... real 4-manifold는 complex surface고... codimension n은 codimension 2n이고...

수학 이야기) K3 surface는 up to diffeo.에선 유일하기 때문에 "the K3 surface"이지만, up to biholomorphic map으론 유일하지 않기 때문에 "a K3 surface"이다.