符号数(多様体)

1：$H^{2k}(M\sqcup N)=H^{2k}(M)\oplus H^{2k}(N)$ で、$[M\sqcup N]=[M]+[N]$ なので $Q_{M\sqcup N}=Q_M\oplus Q_N$ である。2：$[-M]=-[M]$ なので $Q_{-M}=-Q_M$ であり、$p$ と $q$ が入れ替わる。$\square$

$B$ を対角化する基底 $u_1,\dots,u_p,v_1,\dots,v_q$（$B(u_i,u_i)=1$、$B(v_j,v_j)=-1$、ほかの組は $0$）をとる（二次形式 の定理「平方完成による対角化」で係数を正規化したもの。非退化なので係数 $0$ は現れない）。
1：$V_+:=\operatorname{span}(u_i)$ 上で $B$ は正定値である。$x\in L\cap V_+$ なら $B(x,x)=0$ なので $x=0$ である。よって $\dim L+p\le\dim V=p+q$、すなわち $\dim L\le q$ である。$V_-:=\operatorname{span}(v_j)$ で同様にして $\dim L\le p$ である。
2：1 から $p+q=2\dim L\le2\min(p,q)$ なので $p=q$ である。
3：$p=q$ なら $L:=\operatorname{span}(u_i+v_i\mid i=1,\dots,p)$ とおくと、$B(u_i+v_i,u_j+v_j)=\delta_{ij}-\delta_{ij}=0$ なので等方的で、$\dim L=p=\dim V/2$ である。$\square$

係数はすべて $\mathbb{R}$ とし、$i\colon M\hookrightarrow W$ を包含、$L:=i^*H^{2k}(W)\subset H^{2k}(M)$ とおく。$D_M\colon H^{2k}(M)\to H_{2k}(M)$ を Poincaré 双対、$D_W\colon H^{2k+1}(W,M)\to H_{2k}(W)$、$D_W(\psi)=[W,M]\frown\psi$ を Lefschetz 双対とすると、どちらも同型である（Poincaré双対 の定理「閉多様体の Poincaré 双対」「Lefschetz 双対」）。
第 1 段：$L$ は等方的． $a,b\in H^{2k}(W)$ について、$[M]=\partial[W,M]$ と対の完全列での $i_*\circ\partial=0$ により
$$ Q_M(i^*a,i^*b)=\langle i^*(a\smile b),\partial[W,M]\rangle=\langle a\smile b,\,i_*\partial[W,M]\rangle=0 . $$
第 2 段：$D_W\circ\delta=i_*\circ D_M$． ここで $\delta\colon H^{2k}(M)\to H^{2k+1}(W,M)$ は対の連結準同型である。$[W,M]$ を代表する鎖 $w$ をとると $m:=\partial w$ は $M$ の鎖で $[M]$ を代表する。$x\in H^{2k}(M)$ を代表する余輪体 $\varphi$ を $W$ の余鎖 $\tilde\varphi$ に延ばすと（$M$ にない単体では $0$ とおく）、$\delta\tilde\varphi$ は $M$ の鎖の上で $\delta\varphi=0$ になる相対余輪体で、$\delta x$ を代表する。キャップ積の境界公式（Poincaré双対 の補題「キャップ積の境界公式」）を $k$ を $2k$ として使うと
$$ \partial(w\frown\tilde\varphi)=m\frown\tilde\varphi-w\frown\delta\tilde\varphi $$
であり、$m\frown\tilde\varphi$ は $M$ の鎖 $m\frown\varphi$ を $W$ で見たものなので、$D_W(\delta x)=[w\frown\delta\tilde\varphi]=i_*[m\frown\varphi]=i_*D_M(x)$ である。
第 3 段：次元． 第 2 段から $\delta=D_W^{-1}\circ i_*\circ D_M$ なので $\operatorname{rank}\delta=\operatorname{rank}\bigl(i_*\colon H_{2k}(M)\to H_{2k}(W)\bigr)$ である。体係数の普遍係数定理により $H^{2k}(-)=\operatorname{Hom}(H_{2k}(-),\mathbb{R})$ は自然に同型で、$i^*$ は $i_*$ の双対写像である。$H_{2k}(M)$ は有限次元なので、双対写像の階数は元の写像の階数に等しく、$\operatorname{rank}i^*=\operatorname{rank}i_*$ である。対の完全列 $H^{2k}(W)\xrightarrow{i^*}H^{2k}(M)\xrightarrow{\delta}H^{2k+1}(W,M)$ により $\ker\delta=L$ なので
$$ \dim H^{2k}(M)=\dim\ker\delta+\operatorname{rank}\delta=\dim L+\operatorname{rank}i^*=2\dim L $$
である。第 1 段と sig-lem-isotropic の 2 により $\sigma(M)=0$ である。$\square$

sig-thm-boundary と sig-prop-basic により $0=\sigma(M_0\sqcup(-M_1))=\sigma(M_0)-\sigma(M_1)$ である。境界の向きの規約が文献によって境界全体で $\pm1$ だけ異なっても、$\sigma(-X)=-\sigma(X)$ なので結論は変わらない。$\square$

sig-ex-basic の 2 と sig-prop-basic により、それぞれの符号数は $\pm1$、$\pm2$ で $0$ でない。sig-thm-boundary から従う。$\square$

$f_*\colon H_{4k}(M;\mathbb{Z})\to H_{4k}(N;\mathbb{Z})$ は $\mathbb{Z}$ の間の同型なので、基本類 の定義「閉多様体の間の写像度」の $\deg f$ は $\pm1$ である。$f^*\colon H^{2k}(N;\mathbb{R})\to H^{2k}(M;\mathbb{R})$ は同型で、
$$ Q_M(f^*a,f^*b)=\langle f^*(a\smile b),[M]\rangle=\langle a\smile b,f_*[M]\rangle=\deg f\cdot Q_N(a,b) $$
なので、$Q_M$ は $\deg f\cdot Q_N$ と同型である。慣性法則により $\sigma(M)=\deg f\cdot\sigma(N)$ である。最後の主張は $M=N$、$\deg f=-1$ とすると $\sigma(N)=-\sigma(N)$ となることによる。$\square$