>>640
これ実際どうやるのかよく分からない
L:長い直線はローカルにはRと同相
よってL^2はローカルにはC=R^2と同相だけど
これに複素構造は入らないらしい
しかしL^4はローカルにはC^2と同相で
C^2にはFatou–Bieberbach領域という
C^2とholomorphicになる真部分開集合があり
RをLに嵌め込んでいくのと同じように
非可算個のC^2を次々嵌め込んで行って
L^4に複素構造を入れることができるのだそうな
ところでこれは「超長い（広い？）C^2」なのだそうで
「長い（広い？）C^2」はこの填め込みをωまで
つまりn∈Nで極限を取ったものなのだとか
なぜωまでで押さえたのがC^2にならないのかとか
ω1まで実行したらL^4と同相になるのかとか
気になりすぎます！