微分トポロジー・特性類の問題

$\mathbb{C}{P}^2$ を複素射影平面（実 $4$ 次元の閉じた滑らかな多様体）とし、$T\mathbb{C}{P}^2$ をその接束、$w(\cdot )$ を実ベクトル束の全スティーフェル・ホイットニー類とする。コホモロジーは $\mathbb{Z}/2$ 係数の特異コホモロジーとする。

$\mathbb{C}{P}^2$ から ${\mathbb{R}}^5$ への滑らかなはめ込み（各点で微分が単射である滑らかな写像）は存在しないことを証明せよ。

ただし、次の事実は用いてよい。
- $H^{\ast }(\mathbb{C}{P}^2;\mathbb{Z}/2)=(\mathbb{Z}/2)[\alpha ]/({\alpha }^3)$（$\mathrm{deg}\alpha =2$）。特に $H^1(\mathbb{C}{P}^2;\mathbb{Z}/2)=0$ で、$\alpha \ne 0$ である。
- $\gamma$ を $\mathbb{C}{P}^2$ 上のトートロジカル複素直線束とすると、実ベクトル束として $T\mathbb{C}{P}^2\oplus {\epsilon }^2\cong ({\gamma }^{\ast }{)}^{\oplus 3}$ が成り立ち、$w({\gamma }^{\ast })=1+\alpha$ である（${\epsilon }^k$ は階数 $k$ の自明な実ベクトル束、${\gamma }^{\ast }$ は実階数 $2$ のベクトル束とみなす）。
- スティーフェル・ホイットニー類の基本性質（自然性、ホイットニーの和公式 $w(E\oplus F)=w(E)⌣w(F)$、自明束では $w=1$、階数 $r$ の束では $i>r$ のとき $w_i=0$）。

$k$ を $0$ 以上の整数、$n=4k+2$ とし、$M$ を $n$ 次元の閉じた（コンパクトで境界をもたない）連結で向き付けられた滑らかな多様体とする。$b_i={\dim }_{\mathbb{R}}{H}_{\mathrm{dR}}^i(M)$ をド・ラーム・コホモロジーの次元、$\chi (M)={\sum }_{i=0}^n(-1{)}^i{b}_i$ とする。このとき $\chi (M)$ は偶数であることを証明せよ。

次の事実は用いてよい。
- 各 $b_i$ は有限である。
- （ポアンカレ双対性）$0\le p\le n$ について、閉形式の代表元を用いて定まる双線形写像
$$H_{\mathrm{dR}}^p(M)\times H_{\mathrm{dR}}^{n-p}(M)\to \mathbb{R},([\alpha ],[\beta ])\mapsto {\int }_M\alpha \wedge \beta$$
は非退化である。ただし、この写像が代表元の取り方によらず定まることは、証明の中で確かめること。

5 次元複素射影空間 ${\mathbb{CP}}^5$ の斉次座標を $[z_0:z_1:\cdots :z_5]$ とし、
$$X=\{[z_0:\cdots :z_5]\in {\mathbb{CP}}^5\mid z_0^4+z_1^4+z_2^4+z_3^4+z_4^4+z_5^4=0\}$$
とおく。$X$ は複素 4 次元（実 8 次元）の閉複素部分多様体であり、複素構造から定まる向きを入れる。

実ベクトル束 $E$ のポントリャーギン類を $p_i(E)=(-1{)}^i{c}_{2i}(E\otimes \mathbb{C})\in H^{4i}(\cdot ;\mathbb{Z})$ で定め、$X$ の接束 $TX$（実ベクトル束とみる）について $p_i=p_i(TX)$ とおく。ポントリャーギン数 $p_1^2[X]=⟨p_1^2,[X]⟩$ と $p_2[X]=⟨p_2,[X]⟩$ を、この順に組 $(p_1^2[X],p_2[X])$ として求めよ。

$k$ を正の整数とし、$M$ を $4k$ 次元の閉じた（コンパクトで境界をもたない）連結で向き付けられた滑らかな多様体とする。実数ベクトル空間 $V=H_{\mathrm{dR}}^{2k}(M)$（ド・ラーム・コホモロジー）上の交叉形式を
$$Q(a,b)={\int }_M\alpha \wedge \beta (a=[\alpha ],b=[\beta ]\in V)$$
で定める。$V$ 上の対称双線形形式 $B$ に対し、$B$ が正定値となる部分空間の次元の最大値を $n_{+}(B)$、負定値となる部分空間の次元の最大値を $n_{-}(B)$ とし（零部分空間は正定値かつ負定値とみなす）、$M$ の符号数を $\sigma (M)=n_{+}(Q)-n_{-}(Q)$ と定める。

滑らかな写像 $f:M\to M$ で写像度 $\mathrm{deg}f$ が負であるものが存在するならば、$\sigma (M)=0$ であることを証明せよ。

次の事実は用いてよい。
- $Q$ は代表元の取り方によらず定まり、$V$ は有限次元で、$Q$ は非退化である（ポアンカレ双対性）。
- 滑らかな写像 $f:M\to M$ と任意の $4k$ 形式 $\omega$ について ${\int }_M{f}^{\ast }\omega =(\mathrm{deg}f){\int }_M\omega$ が成り立つ。
- 引き戻し $f^{\ast }$ は外微分・外積と可換であり、ド・ラーム・コホモロジー上の線形写像 $f^{\ast }:V\to V$ を誘導する。

$G=G_2({\mathbb{C}}^4)$ を ${\mathbb{C}}^4$ の複素 $2$ 次元部分空間全体のなすグラスマン多様体とする。これは複素 $4$ 次元（実 $8$ 次元）の連結な閉複素多様体である。$G$ に複素構造から定まる向きを入れ、その基本類を $[G]\in H_8(G;\mathbb{Z})$ とする。接束 $TG$ を実ベクトル束とみたときのポントリャーギン類を $p_i=p_i(TG)\in H^{4i}(G;\mathbb{Z})$ とする。ただし $p_i=(-1{)}^i{c}_{2i}(TG\otimes \mathbb{C})$ と定める。ポントリャーギン数 $⟨p_1^2,[G]⟩$ と $⟨p_2,[G]⟩$ を、この順に組で求めよ。