分解定理
概要
分解定理（decomposition theorem）とは、複素代数多様体の間の固有射 $f\colon X\to Y$（$X$ は滑らか）に対し、順像複体 $Rf_*(\mathbb Q_X[\dim X])$ が $D^b_c(Y)$ の半単純複体——すなわち各摂動コホモロジー ${}^pH^i$ が半単純な偏屈層であり、複体自身がそれらのシフトの直和に（導来圏で）同型になる——という現象を述べるBeilinson–Bernstein–Deligneの定理のことをいう。$f$ が滑らかとは限らない一般の固有射に対しても常に成り立つという驚くべき強さを持ち、位相幾何・代数幾何・表現論を横断する現代的な道具の中心に位置する。
前提知識: アーベル圏, 導来圏, t構造, 偏屈層, 交叉コホモロジー
定義
アーベル圏 $\mathcal A$ の対象 $S$ が単純（simple）であるとは、$S\ne0$ であって、$S$ の部分対象が $0$ と $S$ 自身に限ることをいう。対象 $M$ が半単純（semisimple）であるとは、$M$ が有限個の単純対象の直和に同型であることをいう。
偏屈層で導入した $D^b_c(X)$ の対象 $K$ が半単純であるとは、各次数の摂動コホモロジー ${}^pH^i(K)\in\operatorname{Perv}(X)$（t構造の意味でのコホモロジー関手を摂動t構造に適用したもの）がすべてdef-simple-semisimpleの意味で半単純な $\operatorname{Perv}(X)$ の対象であり、かつ導来圏 $D^b_c(X)$ において
$$
K\cong\bigoplus_i{}^pH^i(K)[-i]
$$
という同型が成り立つことをいう。
$f\colon X\to Y$ を複素代数多様体の間の固有射（proper morphism）とし、$X$ が滑らかであるとする。このとき $Rf_*(\mathbb Q_X[\dim X])$ は $D^b_c(Y)$ のdef-semisimple-complexの意味での半単純複体である。証明は本記事の範囲を大きく超える（$f$ が滑らかな場合のDeligneの退化定理に始まり、Hard Lefschetz定理の相対版・層化に関する帰納法を組み合わせる高度な議論を要する）ため、標準的な事実として引用するBBD82。
直感
分解定理の驚くべき点は、$f$ に滑らかさや平坦性などの追加の仮定を一切課さず、固有性だけを仮定して半単純性という強い結論を導くところにある。素朴には、$f$ が特異点を持つ空間の間の写像であれば、順像 $Rf_*$ は複雑に絡み合った（半単純でない）複体になりそうに思える。分解定理は、$X$ 側が滑らかでありさえすれば、その絡み合いが実は解け、$Y$ 上の「独立した層」たちの直和として完全に分離されることを保証する。この分離のおかげで、$X$ の（コ）ホモロジーを $Y$ 上の各摂動コホモロジー層の（コ）ホモロジーの直和として計算できるようになり、代数幾何・表現論（旗多様体上の層・Springer対応など）における最も強力な計算道具の一つになっている。
例
体 $k$ 上の有界複体 $(V^\bullet,d)$ に対し、$k$ 上の導来圏における同型
$$
V^\bullet\cong\bigoplus_iH^i(V^\bullet)[-i]
$$
が成り立つ（右辺は各コホモロジー群を、その次数にのみ非零成分を持つ複体とみなしたものの直和）。
各次数 $n$ で、$B^n:=\operatorname{im}(d^{n-1})\subseteq Z^n:=\ker(d^n)\subseteq V^n$ とおく。$k$ は体だから、$V^n$ の部分空間 $Z^n$ には補空間 $C^n$（$V^n=Z^n\oplus C^n$）が存在し、$Z^n$ の部分空間 $B^n$ には補空間 $H^n$（$Z^n=B^n\oplus H^n$）が存在する。$H^n$ は射影 $Z^n\to Z^n/B^n=H^n(V^\bullet)$ の制限として $H^n(V^\bullet)$ と同型である。
このとき $V^n=H^n\oplus B^n\oplus C^n$ であり、微分 $d^n\colon V^n\to V^{n+1}$ は：$H^n$ 上では $0$（$H^n\subseteq Z^n=\ker d^n$）、$B^n$ 上では $0$（同様に $B^n\subseteq Z^n$）、$C^n$ 上では単射で像は $d^n(C^n)=d^n(V^n)=B^{n+1}$ に一致する（$C^n$ は $Z^n$ の補空間だから $d^n|_{C^n}$ は単射、像は定義から $B^{n+1}$）。
したがって $V^\bullet$ は複体としての直和 $V^\bullet=H^\bullet\oplus A^\bullet$ に分解する。ここで $H^\bullet$ は各次数 $H^n$（微分は恒等的に $0$）からなる部分複体であり、定義から $H^n\cong H^n(V^\bullet)$ なのでこれは $\bigoplus_iH^i(V^\bullet)[-i]$ に他ならない。$A^\bullet:=\bigoplus_n(B^n\oplus C^n)$ は、次数 $n$ で $\ker(d^n|_{A^n})=B^n$、次数 $n$ での像 $\operatorname{im}(d^{n-1}|_{A^{n-1}})=B^n$（$C^{n-1}\xrightarrow{\cong}B^n$ が全射なため）となるから $H^n(A^\bullet)=B^n/B^n=0$（すべての $n$）、すなわち $A^\bullet$ は非輪状（acyclic）である。
ゆえに包含 $H^\bullet\hookrightarrow V^\bullet=H^\bullet\oplus A^\bullet$ は、コホモロジーの加法性 $H^n(V^\bullet)=H^n(H^\bullet)\oplus H^n(A^\bullet)=H^n\oplus0$ により擬同型であり、導来圏において $V^\bullet\cong H^\bullet=\bigoplus_iH^i(V^\bullet)[-i]$ が成り立つ。$\blacksquare$
$Y=\{*\}$（一点）のとき、$f\colon X\to\{*\}$ が固有射であることは $X$ がコンパクトであることと同値であり、$Rf_*(\mathbb Q_X[\dim X])$ は $X$ 上の超コホモロジー複体 $R\Gamma(X,\mathbb Q_X[\dim X])$ そのものである。一点上では偏屈層の意味での摂動t構造は標準t構造に一致し $\operatorname{Perv}(\{*\})=\mathbf{Vect}_{\mathbb Q}$（$\mathbb Q$ 上の有限次元ベクトル空間の圏）となるが、def-simple-semisimpleの意味で $\mathbf{Vect}_{\mathbb Q}$ の任意の対象は単純対象（1次元部分空間）の直和であり常に半単純である。したがってprop-field-complex-splits（$k=\mathbb Q$ の場合）そのものが、$Y$ が一点であるときの分解定理の主張を与える——分解定理は、この「体上の複体は常に分解する」という初等的な事実の、一般の固有射 $f$ への非自明な拡張になっている。
$f=\operatorname{id}_X\colon X\to X$（$X$ が滑らかかつコンパクト・既約）のとき、$Rf_*(\mathbb Q_X[\dim X])=\mathbb Q_X[\dim X]$ であり、これは偏屈層の性質・交叉コホモロジーの性質により $IC_X$ に一致する。偏屈層で述べた分類（既約な閉部分多様体とその上の既約局所系から作られる交叉コホモロジー複体が $\operatorname{Perv}(X)$ の単純対象を尽くすこと）により、$X$ が既約であれば $IC_X$ 自身が単純対象であり、とくに半単純である。ゆえにdef-semisimple-complexの意味で ${}^pH^0(Rf_*(\mathbb Q_X[\dim X]))=IC_X$ のみが非零（他の次数は $0$）であるから、この場合の分解定理の主張は自明に成り立つ。
性質
$f\colon X\to Y$ が滑らかな固有射（proper submersion）であるとき、
$$
Rf_*(\mathbb Q_X)\cong\bigoplus_iR^if_*(\mathbb Q_X)[-i]
$$
という同型が成り立つ（各層 $R^if_*(\mathbb Q_X)$ は局所定数層である）。これは分解定理の特別な場合であり、歴史的にはBBDの一般論に先行する。証明はLerayスペクトル系列の退化（相対Hard Lefschetz定理を用いる）による、標準的な事実として引用するDel68。
