ホモロジー群で区別できない4次元多様体ってたとえばどんなのがあるの?