You need to enable JavaScript to run this app.
优惠活动
大模型
产品
解决方案
定价
更多

关于利用长正合序列推导实格拉斯曼流形第一、第二同伦群的技术问询

关于利用长正合序列推导实格拉斯曼流形第一、第二同伦群的技术问询

我想搞明白怎么借助纤维丛 $F\rightarrow E \rightarrow B$ 的同伦群长正合序列
$$
\pi_n(F)\rightarrow\pi_n(E)\rightarrow\pi_n(B)\rightarrow\pi_{n-1}(F)
$$
来计算同伦群。为了让问题更具体,我把注意力放在实格拉斯曼流形 $\operatorname{Gr}(n,m) = O(n+m)/O(n)\times O(m)$ 的第一、第二同伦群上——相关的正合序列如下:
$$
\pi_2[O(n+m)] \rightarrow\pi_2[\operatorname{Gr}(n,m)] \rightarrow\pi_1[O(n)\times O(m)] \rightarrow\pi_1[O(n+m)] \rightarrow\pi_1[\operatorname{Gr}(n,m)] \rightarrow\pi_0[O(n)\times O(m)]
$$

已知当 $N\geq 3$ 时,$\pi_2[O(N)] = 0$,$\pi_1[O(N)] = \mathbb{Z}_2$,$\pi_0[O(N)] = \mathbb{Z}_2$,所以当 $n,m\geq 3$ 时,上述序列可以简化为:
$$
0 \rightarrow\pi_2[\operatorname{Gr}(n,m)] \rightarrow\mathbb{Z}_2\times \mathbb{Z}_2 \rightarrow\mathbb{Z}_2 \rightarrow\pi_1[\operatorname{Gr}(n,m)] \rightarrow\mathbb{Z}_2\times \mathbb{Z}_2
$$

问题1

从序列的前半段 $0 \rightarrow\pi_2[\operatorname{Gr}(n,m)] \rightarrow\mathbb{Z}_2\times \mathbb{Z}_2$,我一开始误以为 $\pi_2[\operatorname{Gr}(n,m)] = \mathbb{Z}_2\times \mathbb{Z}_2$,但正确结果其实是 $\pi_2[\operatorname{Gr}(n,m)] = \mathbb{Z}_2$。这里我哪里出错了?怎么通过这个正合序列得到正确的结果呢?

问题2

能不能从这个简化后的正合序列推导出 $\pi_1[\operatorname{Gr}(n,m)]$ 的结果(已知它实际是 $\mathbb{Z}_2$)?

备注:内容来源于stack exchange,提问作者Michał Jan

相关产品推荐
方舟 Agent Plan

超全模态模型 × Harness 升级,最新支持 Deepseek-V4.1-Flash、GLM-5.3 系列、Doubao-Seedream-5.0-pro、Kimi-K3 (部分), 限时 9.9 元起

最近更新时间:2026.04.21 10:50:29