マルチになるが・・・
いつぞや
「可微分閉多様体の２次元ホモトピー群は基本群上の加群として有限生成」
と言うのを読んだような記憶があるが、はっきりしない。
確か、西川青季氏が微分幾何を使って証明していたようだが、
記憶の遠く彼方に行ってしまった。
どなたか御存知の方ありませんか？