按类别列出问题

Mathematics


拓扑 >> 代数拓扑 >> 上同调
Questions in category: 上同调 (Cohomology).

1

计算柱面 $S^1\times\mathbb{R}^1$ 的各阶 de Rham 上同调群.

Posted by haifeng on 2015-08-19 21:45:37 last update 2015-08-19 21:45:37 | Answers (2) | 收藏

计算柱面 $S^1\times\mathbb{R}^1$ 的各阶 de Rham 上同调群.

2

Poincaré 引理

Posted by haifeng on 2015-08-13 19:39:28 last update 2015-08-13 19:40:12 | Answers (0) | 收藏

令 $\pi:\mathbb{R}^n\times\mathbb{R}\rightarrow\mathbb{R}^n$ 为到第一个分量投影, 即 $(x,t)\mapsto x$; $s:\mathbb{R}^n\rightarrow\mathbb{R}^n\times\mathbb{R}$ 为零截面, 即 $x\mapsto(x,0)$. 于是有拉回映射
\[
\pi^*:\ \Omega^*(\mathbb{R}^n)\rightarrow\Omega^*(\mathbb{R}^n\times\mathbb{R}),\quad s^*:\ \Omega^*(\mathbb{R}^n\times\mathbb{R})\rightarrow\Omega^*(\mathbb{R}^n).
\]
我们将证明这两个映射诱导了上同调群的互逆同构. 因而 $H_{\text{dR}}^*(\mathbb{R}^{n+1})=H_{\text{dR}}^*(\mathbb{R}^{n})$.

由于 $\pi\circ s=\text{id}$, 故 $s^*\circ\pi^*=\text{id}$. 我们将构造一个同伦算子
\[
K:\ \Omega^{q}(\mathbb{R}^n\times\mathbb{R})\rightarrow\Omega^{q-1}(\mathbb{R}\times\mathbb{R})
\]
使得
\begin{equation}\label{eqn:5}
1-\pi^*\circ s^*=\pm(dK\pm Kd),
\end{equation}
从而 $\pi^*\circ s^*$ 在上同调群上是恒同算子.

$\mathbb{R}^n\times\mathbb{R}$ 上的每个形式可以表为如下两种微分形式的线性组合
\[
\begin{aligned}
(I)\quad & (\pi^* \phi)f(x,t),\\
(II)\quad & (\pi^* \phi)f(x,t)dt,\\
\end{aligned}
\]
其中 $\phi$ 是 $\mathbb{R}^n$ 上的微分形式. 定义 $K$ 为
\[
K((\pi^* \phi)f(x,t))=0,\quad K((\pi^* \phi)f(x,t)dt)=(\pi^* \phi)\int_0^t f(x,t)dt.
\]
我们验证 $K$ 是一个同伦算子(即满足\eqref{eqn:5}). 为方便起见, 用 $\frac{\partial f}{\partial x}dx$ 记指 $\sum_{i}\frac{\partial f}{\partial x^i}dx^i$; 用 $\int g$ 记指 $\int g(x,t)dt$.

对于属于类型 $I$ 的微分形式 $\omega=(\pi^* \phi)f(x,t)$, $\deg\omega=q$,
\[
\begin{split}
(1-\pi^* s^*)\omega &=(\pi^* \phi)f(x,t)-\pi^* s^*((\pi^* \phi)f(x,t))\\
&=(\pi^* \phi)f(x,t)-\pi^* \phi\cdot f(x,0).
\end{split}
\]
这里注意 $s^* \pi^*=\text{id}$, 且 $\pi^* s^* f(x,t)=f\circ s\circ\pi(x,t)=f\circ s(x)=f(x,0)$. 另一方面, 计算 $(dK-kd)\omega$, 注意此时 $K\omega=0$, 因此
\[
\begin{split}
(dK-kd)\omega&=-Kd\omega=-Kd((\pi^* \phi)f(x,t))\\
&=-K\biggl((d\pi^* \phi)f+(-1)^q \pi^* \phi(\frac{\partial f}{\partial x}dx+\frac{\partial f}{\partial t}dt)\biggr)
\end{split}
\]

3

计算 $\mathbb{R}P^2$ 的 de Rham 上同调

Posted by haifeng on 2015-01-21 09:56:18 last update 2015-01-21 09:56:18 | Answers (0) | 收藏

实射影空间 $\mathbb{R}P^2$ 可由圆盘粘结对径点获得. 如下图所示.

 

找 $\mathbb{R}P^2$ 的一个好的覆盖, 并从这个好覆盖的组合去计算 $\mathbb{R}P^2$ 的 de Rham 上同调群.

 

一个可能的好覆盖具有如下图中所示的网状结构.

 

 

4

设 $M$ 是 $n$-维紧致可定向流形, 则 de Rham 上同调群 $H^n(M)\neq 0$.

Posted by haifeng on 2012-08-05 10:50:34 last update 2012-08-05 10:51:46 | Answers (1) | 收藏

设 $M$ 是 $n$-维紧致可定向流形, 则 de Rham 上同调群 $H^n(M)\neq 0$.


Search

New posted more ...