【超局所層理論第8回】特性サイクルと柏原の指数定理

はじめに

こんにちは！超局所層理論の第8回です．今回は構成可能層の特性サイクルと柏原の指数定理について説明したいと思います．特性サイクルは大雑把にはマイクロ台に重複度の概念を加えたもので，マイクロ台よりも多くの情報を持つと考えられます．実際，構成可能層のオイラー・ポアンカレ標数が特性サイクルを使って計算できるというのが柏原の指数定理です．この指数定理はポアンカレ・ホップの定理の構成可能層係数への拡張とみなすことができます．今回はいつもにも増して説明をごまかすのでご了承ください．

前回までの高速おさらい

$\mathbb{k}$を体，$X$を$d$次元多様体とします．
第1回 ：$X$上の$\mathbb{k}$加群の層の複体$F\in {\mathsf{D}}^{\mathrm{b}}({\mathbb{k}}_X)$に対して，そのコホモロジーが伝播しない余方向として層のマイクロ台$\mathrm{SS}(F)$という$X$の余接束$T^{\ast }X$の錐状閉部分集合を定義しました．そして様々な層のマイクロ台がどうなっているのかを調べて，良い状況ではマイクロ台が層の形を強く制限することがあることも見ました．
第2回 ：層に対する様々な演算を施した後のマイクロ台を評価する方法について説明しました．またそれらを使って超局所切り落としという操作を定義しました．
第3回 ：マイクロ台は常に包合的であるという定理の主張を述べました．さらに，余接束$T^{\ast }X$の中のある部分集合上だけに注目する超局所的な見方を実現するために超局所圏を導入して，そこではマイクロ台が層の形を制限するという主張がより広く成り立つことも見ました．また超局所圏のHomを茎に持つような層$\mu hom$があったらうれしそうだという気持ちを説明しました．
第4回 ：$X$上の層$F$から法束$T_{M}X$上の層${\nu }_M(F)$を作り出す特殊化という操作${\nu }_M:{\mathsf{D}}^{\mathrm{b}}({\mathbb{k}}_X)\to {\mathsf{D}}_{{\mathbb{R}}_{>0}}^{\mathrm{b}}({\mathbb{k}}_{T_{M}X})$を法変形を使って定義して，切断が$M$の近傍で法方向に指定された開きがある開部分集合上の$F$切断の帰納極限だということを見ました．さらにベクトル束上の錐状層の圏とその双対ベクトル束上の錐状層の圏の圏同値を与えるFourier-Sato変換について説明して，特殊化のFourier-Sato変換として超局所化${\mu }_M(F)$という余法束$T_M^{\ast }X$上の層を定義しました．これは超局所化函手${\mu }_M:{\mathsf{D}}^{\mathrm{b}}({\mathbb{k}}_X)\to {\mathsf{D}}_{{\mathbb{R}}_{>0}}^{\mathrm{b}}({\mathbb{k}}_{T_M^{\ast }X})$を定めました．
第5回 ：超局所化に基づいて函手$\mu hom:{\mathsf{D}}^{\mathrm{b}}({\mathbb{k}}_X{)}^{\mathrm{op}}\times {\mathsf{D}}^{\mathrm{b}}({\mathbb{k}}_X)\to {\mathsf{D}}_{{\mathbb{R}}_{>0}}^{\mathrm{b}}({\mathbb{k}}_{T^{\ast }X})$を定義しました．$\mu hom$は超局所化函手の一般化になっていて，$\mu hom$の台はマイクロ台で評価ができるので超局所圏からの函手を誘導することも見ました．$\mu hom$の最も重要な性質は，その茎が一点$p$での超局所圏${\mathsf{D}}^{\mathrm{b}}({\mathbb{k}}_X;p)$におけるHom集合を与えることでした．
第6回 ：$\mu$-stratificationという「良い条件を満たすstratification」という概念を使って実解析的多様体上の（弱）構成可能層の定義を与えて，それらの性質を見ました．また，層が弱構成可能であることとマイクロ台が劣解析的ラグランジュ錐状閉部分集合であることが同値であることを説明しました．これを使うと（弱）構成可能層が層の演算で閉じていることも分かりました．
第7回 ：超局所的にマイクロ台が余接束に含まれている場合の超局所圏における同形を用いると，超局所層理論でstratifiedモース理論（の一部）を解釈できることを説明しました．また，複素多様体の超曲面の場合には，特殊化・超局所化函手の類似物が近接・消滅サイクル函手という別の形で構成できることを述べました．特に複素多様体上の弱$\mathbb{C}$-構成可能層のマイクロ台は消滅サイクルから回復することができます．

今回も以降$X$を実解析的多様体とします．また，$\pi$で余接束$T^{\ast }X\to X$をあらわして$0_X$または単に$X$でそのゼロ切断をあらわします．

特性サイクル

構成可能層の特性サイクルはマイクロ台に重複度の情報を付け足したものと見ることができます．以下それを天下り的に定義して性質を見ていきましょう．

$F\in {\mathsf{D}}_{\mathbb{R}\text{-c}}^{\mathrm{b}}(X)$とすると， 第6回 の定理2より$\mathrm{SS}(F)$は$T^{\ast }X$の劣解析的ラグランジュ錐状閉部分集合となります．ゆえに，ある$\mathrm{SS}(F)$の開稠密部分集合${\mathrm{\Lambda }}_0$が存在して次を満たします：

連結成分への分解${\mathrm{\Lambda }}_0=\underset{i\in I}{⨆}{\mathrm{\Lambda }}_i$を考えると，任意の$i\in I$に対して$X$の部分多様体$X_i$であって${\mathrm{\Lambda }}_i\subset T_{X_i}^{\ast }X$を満たすものが存在する．

すると，各$i\in I$に対して$p\in {\mathrm{\Lambda }}_i$を取れば$p$の近傍で$\mathrm{SS}(F)\subset T_{X_i}^{\ast }X$なので， 第3回 の命題3より$V\in {\mathsf{D}}^{\mathrm{b}}(\mathbb{k})$が存在して，${\mathsf{D}}^{\mathrm{b}}({\mathbb{k}}_X;p)$において$F\simeq V_{X_i}$を満たします．これは前回（ 第7回 ）でも使った議論でしたね．実はこの$V$は$p$の取り方によらず連結な${\mathrm{\Lambda }}_i$上一定であることを示すことができるので，${\mathrm{\Lambda }}_i$に固有なものと考えることができます．しかも，$V$は 第3回 でも見たように$F$から具体的に計算することもできます．実際，$x_0=\pi (x)\in X_i$として$x_0$の近傍で定義された$C^{\omega }$級函数$\phi :X\to \mathbb{R}$で2条件
(1) $p=(x_0;d\phi (x_0))$,
(2) $\phi {|}_{X_i}$は$x_0$の近傍でモース函数であり，$x_0$におけるモース指数は$0$

を満たすものを取れば
$$V\simeq R{\mathrm{\Gamma }}_{\{\phi \ge \phi (x_0)\}}(F{)}_{x_0}$$
が成り立ちます．特に，$F\in {\mathsf{D}}_{\mathbb{R}\text{-c}}^{\mathrm{b}}({\mathbb{k}}_X)$より$V\in {\mathsf{D}}^{\mathrm{b}}(\mathbb{k})$の全てのコホモロジーは有限次元になることが分かります．そこで$V$のオイラー・ポアンカレ標数 (Euler-Poincaré characteristic)
$$\chi (V):=\sum _{n\in \mathbb{Z}}(-1{)}^n\dim H^n(V)$$
を用いて，${\mathrm{\Lambda }}_i$上での$F$の重みを$m_i(F):=\chi (V)$と定めます．

上で見たように各${\mathrm{\Lambda }}_i$に対して$F$による重み$m_i(F)$が定まったので，この重みを乗せた${\mathrm{\Lambda }}_i$の形式和を考えたくなり，この形式和は$T^{\ast }X$内の向き付けられた劣解析的ラグランジュ部分集合によるチェインを定めます．実際，$T_{X_i}^{\ast }X$には標準的な向き付けが入るので，$[{\mathrm{\Lambda }}_i]$という記号で${\mathrm{\Lambda }}_i$上では$[T_{X_i}^{\ast }X]$である$\overline{{\mathrm{\Lambda }}_i}$に台を持つチェインをあらわすと，重み付き形式和は
$$\sum _{i\in I}{m}_i(F)[{\mathrm{\Lambda }}_i]$$
となります．このチェインが適切な意味でサイクルになっているというのが柏原によって証明されたことです．

定義からすぐ分かる特性サイクルの性質を述べておきます．

柏原の指数定理

上で天下り的に定義した特性サイクルは超局所的なオイラー・ポアンカレ標数を重みにして定義されていました．一方で，$F\in {\mathsf{D}}_{\mathbb{R}\text{-c}}^{\mathrm{b}}({\mathbb{k}}_X)$の台$\mathrm{Supp}(F)$がコンパクトならば， 第6回 の命題4(i)より$a_X:X\to \mathrm{pt}$を一点への写像として
$$R\mathrm{\Gamma }(X;F)\simeq R{a_X}_{\ast }F\in {\mathsf{D}}_{\mathbb{R}\text{-c}}^{\mathrm{b}}({\mathbb{k}}_{\mathrm{pt}})$$
となります．これはつまり任意の$n\in \mathbb{Z}$に対して$R\mathrm{\Gamma }(X;F)$のコホモロジー$H^n(X;F)=H^{n}R\mathrm{\Gamma }(X;F)$が有限次元となることを示しているので，$F$の$X$上のオイラー・ポアンカレ標数
$$\chi (X;F):=\chi (R\mathrm{\Gamma }(X;F))=\sum _{n\in \mathbb{Z}}(-1{)}^n\dim H^n(X;F)$$
がwell-definedになります．すると，この大域的なオイラー・ポアンカレ標数を超局所的な対象である特性サイクル$CC(F)$から計算できるかという問いが浮かんできます．これがYesだというのが柏原の（超局所的）指数定理なのです．

指数定理を述べるために記号を少し準備します．$\sigma :X\to T^{\ast }X$を$\pi :T^{\ast }X\to X$の連続な切断とすると，それに付随する$T^{\ast }X$上のサイクル$[\sigma ]$が定まります（劣解析的ではないのでここではごまかしていますが後でもう少し詳しく説明します）．$X$の向き付けから自然に$\sigma (X)$に向き付けが入ることにも注意しましょう．例えば$\phi :X\to \mathbb{R}$を$C^{\mathrm{\infty }}$級函数とすると，${\sigma }_{\phi }:x\mapsto (x;d\phi (x))$は$\pi$の切断なので，$T^{\ast }X$上のサイクル$[{\sigma }_{\phi }]$を定めます．$\lambda$を$T^{\ast }X$上のラグランジュサイクルと連続切断$\sigma :X\to T^{\ast }X$に対して$\sigma (X)\cap \mathrm{supp}(\lambda )$がコンパクトならば，それらの交点数 (intersection number)
$$\mathrm{\#}([\sigma ]\cap \lambda )\in \mathbb{Z}$$
が定まります．交点数の符号は書物によって異なる気がしますが，Sheaves on Manifoldsに合わせて以下の例のようになるように約束します．

上で見た交点数の概念を使うと柏原の指数定理を次のように述べることができます．

定理の主張でうれしいことは，任意の連続切断$\sigma :X\to T^{\ast }X$に対して$F$のオイラー・ポアンカレ標数が交点数で計算できることです．計算しやすいように$\sigma$をうまくとってやることで簡単に左辺が計算できる場合があります．勝手な連続切断との超局所的な交点数で大域的な不変量が計算できるのが面白いところです．

$\mu hom$からの特性サイクルと演算に対する自然性

ここではSheaves on Manifoldsで説明されている$\mu hom$を通した特性サイクルの構成について説明します．ここは結構技術的なので，興味がない人は読み飛ばして次の小節に行ってください．

今度は指数定理を念頭において，まずBorel-Mooreホモロジー類で構成可能層のオイラー・ポアンカレ標数を計算できるものを考えてみましょう．$F\in {\mathsf{D}}_{\mathbb{R}\text{-c}}^{\mathrm{b}}({\mathbb{k}}_X)$として，Verdier双対$D_{X}F=R\mathcal{H}om(F,{\omega }_X)$を考えます．すると，定義からトレース射$\mathrm{tr}:F\otimes D_{X}F\to {\omega }_X$が存在します．有限次元ベクトル空間$V$に対して$\mathrm{Hom}(V,V)\simeq V\otimes V^{\vee }\to \mathbb{k}$の${\mathrm{id}}_V$の像が$V$の次元になるので，これを$X$が一点の場合と思って構成可能層で類似を考えてみます．すると， 第6回 の命題1で見た同形と上付きびっくりの性質（ 層理論第8回 の命題1）から，$\delta :X\to X\times X$を対角射として，${\mathsf{D}}_{\mathbb{R}\text{-c}}^{\mathrm{b}}({\mathbb{k}}_X)$における同形
$${\delta }^{!}(F⊠D_{X}F)\simeq {\delta }^{!}R\mathcal{H}om(q_2^{-1}F,q_1^{!}F)\simeq R\mathcal{H}om(F,F)$$
が得られます．$\mathrm{\Delta }=\delta (X)$とすると${\delta }^{!}\simeq {\delta }^{-1}R{\mathrm{\Gamma }}_{\mathrm{\Delta }}$なので射${\delta }^{!}\to {\delta }^{-1}$が存在します．これによって，次の射の列が得られます：
$$\begin{array}{rl}R\mathcal{H}om(F,F)& \simeq {\delta }^{!}(F⊠D_{X}F)\\ & \to {\delta }^{-1}(F⊠D_{X}F)\\ & \simeq F\otimes D_{X}F\\ & \underset{\mathrm{tr}}{\to }{\omega }_X.\end{array}$$
大域切断を取って得られる射による${\mathrm{id}}_F\in \mathrm{Hom}(F,F)$の像を$C(F)\in H_{\mathrm{Supp}(F)}^0(X;{\omega }_X)$と書いて，しばしば$F$の特性類（または$F$のオイラー類）と呼んだりします．真面目に考えると作り方から
$$\chi (X;F)={\int }_{X}C(F)$$
が成り立つことが分かります．

さて，上の構成を$\mu hom$を使って余接束$T^{\ast }X$に持ち上げることを考えてみましょう．$\mu hom$の性質は 第5回 を見てください．同形$R{\pi }_{\ast }\mu hom(F,F)\simeq R\mathcal{H}om(F,F)$と随伴による射$\mathrm{id}\to {\delta }_{\ast }{\delta }^{-1}$を用いると，次の射の列が得られます：
$$\begin{array}{rl}R\mathcal{H}om(F,F)& \simeq R{\pi }_{\ast }\mu hom(F,F)\\ & \simeq R{\pi }_{\ast }R{\mathrm{\Gamma }}_{\mathrm{SS}(F)}\mu hom(F,F)\\ & \simeq R{\pi }_{\ast }R{\mathrm{\Gamma }}_{\mathrm{SS}(F)}{\mu }_{\mathrm{\Delta }}(F⊠D_{X}F)\\ & \to R{\pi }_{\ast }R{\mathrm{\Gamma }}_{\mathrm{SS}(F)}{\mu }_{\mathrm{\Delta }}({\delta }_{\ast }(F\otimes D_{X}F))\\ & \underset{\mathrm{tr}}{\to }R{\pi }_{\ast }R{\mathrm{\Gamma }}_{\mathrm{SS}(F)}{\mu }_{\mathrm{\Delta }}({\delta }_{\ast }{\omega }_X)\\ & \simeq R{\pi }_{\ast }R{\mathrm{\Gamma }}_{\mathrm{SS}(F)}({\pi }^{-1}{\omega }_X).\end{array}$$
ここで二つ目の同形は$\mathrm{Supp}(\mu hom(F,F))=\mathrm{SS}(F)$から，三つ目の同形は$\mu hom$の定義と 第6回 の命題1の同形から従います．最後の同形は説明していない超局所化の演算に対する自然性からチェックすることができます．大域切断を取ると射$\mathrm{Hom}(F,F)\to H_{\mathrm{SS}(F)}^0(T^{\ast }X;{\pi }^{-1}{\omega }_X)$が得られます．

このように見ると構成可能層の特性類を余接束に持ち上げたのだから指数定理が成り立ちそうな気がしてきませんか？実際，指数定理の主張をもう少し真面目に見ると以下のようになります．$\sigma :X\to T^{\ast }X$を連続切断とすると上付きびっくりの随伴から，同形
$$\begin{array}{rl}{H}_{\sigma (X)}^0(T^{\ast }X;{\pi }^{!}{\mathbb{k}}_X)& \simeq \mathrm{Hom}({\sigma }_{!}{\mathbb{k}}_X,{\pi }^{!}{\mathbb{k}}_X)\\ & \simeq \mathrm{Hom}({\mathbb{k}}_X,{\sigma }^{!}{\pi }^{!}{\mathbb{k}}_X)\simeq H^0(X;{\mathbb{k}}_X)\end{array}$$
が成り立ちます．この同形による$1\in H^0(X;{\mathbb{k}}_X)$の像が上で書いた$[\sigma ]\in H_{\sigma (X)}^0(T^{\ast }X;{\pi }^{!}{\mathbb{k}}_X)$の正確な意味です．上付きびっくりの射（ 層理論第8回 の命題3）により射${\pi }^{!}{\mathbb{k}}_X\otimes {\pi }^{-1}{\omega }_X\to {\pi }^{!}{\omega }_X\simeq {\omega }_{T^{\ast }X}$が得られるので，テンソル積により$\lambda \in H^0(T^{\ast }X;{\pi }^{-1}{\omega }_X)$に対して
$$[\sigma ]\cap \lambda \in H_{\sigma (X)\cap \mathrm{supp}(\lambda )}^0(T^{\ast }X;{\omega }_{T^{\ast }X})$$
が定まります．$\sigma (X)\cap \mathrm{supp}(\lambda )$がコンパクトなら積分できて，それが交点数$\mathrm{\#}([\sigma ]\cap \lambda )$です．$T^{\ast }X$の閉部分集合$S$で$\pi$がその上で固有となるものに対して，射$\alpha :H_S^0(T^{\ast }X;{\omega }_{T^{\ast }X})\to H_S^0(X;{\omega }_X)$が定まります．構成から，この射について
$$\alpha ([\sigma ]\cap CC(F))=C(F)$$
となることがチェックできるので，$\chi (X;F)={\int }_{X}C(F)$と合わせて柏原の指数定理が得られるという仕組みになっています．

上で見た形式和としてのサイクルによる表示との関係を少しだけ述べておきます．実は，$\mathrm{\Lambda }$が劣解析的錐状閉isotropicな部分集合をわたる際の帰納極限${\mathcal{L}}_X={\underrightarrow{\lim }}_{\mathrm{\Lambda }}{H}_{\mathrm{\Lambda }}^0({\pi }^{-1}{\omega }_X)$を考えると，これは$T^{\ast }X$上のラグランジュサイクルの層になることがチェックできます．したがって，
$$CC(F)\in H_{\mathrm{SS}(F)}^0(T^{\ast }X;{\pi }^{-1}{\omega }_X)\subset H^0(T^{\ast }X;{\mathcal{L}}_X)$$
と特性サイクルはラグランジュサイクルとみなせるのです．

この$\mu hom$を使った構成は，演算に対する自然性を得るのに見通しが良いという利点があります．すなわち，多様体の射$f:X\to Y$に対する適当な条件の下で射
$$\begin{array}{rl}& f_{\ast }:H_{{\mathrm{\Lambda }}_X}^0(T^{\ast }X;{\pi }_X^{-1}{\omega }_X)\to H_{f_{\pi }{f}_d^{-1}({\mathrm{\Lambda }}_X)}^0(T^{\ast }Y;{\pi }_Y^{-1}{\omega }_Y)\\ & f^{\ast }:H_{{\mathrm{\Lambda }}_Y}^0(T^{\ast }Y;{\pi }_Y^{-1}{\omega }_Y)\to H_{f_d{f}_{\pi }^{-1}({\mathrm{\Lambda }}_Y)}^0(T^{\ast }X;{\pi }_X^{-1}{\omega }_X)\end{array}$$
が定まります．上の$\mu hom$による構成に$R{f}_{\ast },f^{-1}$を施して大きな可換図式を真面目に追いかけることによって次が証明できます．

近年ではさらに広く核の層に対して超局所オイラー類を対応させて，その広い枠組みの中で自然性を示すという研究も行われています．

ラグランジュサイクルと構成可能函数

実は，構成可能層の特性サイクルは構成可能函数というものと密接に関わっているので，ここでほんの少しだけ説明します．構成可能層は$\mu$-stratification $X=\underset{\alpha \in A}{⨆}{X}_{\alpha }$が存在して，各$X_{\alpha }$上コホモロジー層が局所定数層となるものとして定義されました．構成可能函数はこの函数版です．

構成可能函数に関しては，次のように引き戻し・積分・押し出しが定まります：

• （引き戻し）$f:X\to Y$を多様体の射とするとき，$\psi \in \mathrm{CF}(Y)$に対して
  $$(f^{\ast }\psi )(x)=\psi (f(x))$$
  と定めると，$f^{\ast }\psi \in \mathrm{CF}(X)$となる．
• （積分）$\phi \in \mathrm{CF}(X)$として$\mathrm{supp}(\phi )$がコンパクトであると仮定する．このとき，$X$のある$\mu$-stratification $X=\underset{\alpha \in A}{⨆}{X}_{\alpha }$で各$X_{\alpha }$が相対コンパクトであるものを取って$\phi =\sum _{\alpha \in A}{c}_{\alpha }{\mathbf{1}}_{X_{\alpha }}$とあらわされる．ここで${\mathbf{1}}_Z$は$Z$の特性函数である．この表示のもとで
  $$\begin{array}{rl}{\int }_X\phi d\chi & :=\sum _{\alpha \in A}{c}_{\alpha }\chi (X;{\mathbb{k}}_{X_{\alpha }})\\ & =\sum _{\alpha \in A}{c}_{\alpha }{\chi }_c(X_{\alpha })\end{array}$$
  と定める．ここで${\chi }_c(X_{\alpha })=\sum _{n\in \mathbb{Z}}(-1{)}^n\dim H_c^n(X_{\alpha };{\mathbb{k}}_{X_{\alpha }})$は$X_{\alpha }$のコンパクト台オイラー・ポアンカレ標数である．この積分は，コンパクト台オイラー・ポアンカレ標数を有限加法的な測度とみなして積分したものとも思える．
• （押し出し）$f:X\to Y$を多様体の射とするとき，$\phi$に対して
  $$(f_{\ast }\phi )(y):={\int }_X\phi \cdot {\mathbf{1}}_{f^{-1}(y)}d\chi$$
  と定めると，$f_{\ast }\phi \in \mathrm{CF}(Y)$となる．

次に構成可能層との関連を説明しましょう．上の例4で見た構成可能層に対する茎ごとのオイラー・ポアンカレ標数は写像$\chi :\mathrm{Ob}({\mathsf{D}}_{\mathbb{R}\text{-c}}^{\mathrm{b}}({\mathbb{k}}_X))\to \mathrm{CF}(X)$を定めていて，完全三角$F\to G\to H\to F[1]$に対して
$$\chi (G)=\chi (F)+\chi (H)$$
が成り立つことが分かります．${\mathbf{K}}_{\mathbb{R}\text{-c}}(X)$を${\mathsf{D}}_{\mathbb{R}\text{-c}}^{\mathrm{b}}({\mathbb{k}}_X)$のGrothendieck群とすると，アーベル群の射
$$\chi :{\mathbf{K}}_{\mathbb{R}\text{-c}}(X)\to \mathrm{CF}(X)$$
が誘導されます．ここで${\mathbf{K}}_{\mathbb{R}\text{-c}}(X)$は，$\mathrm{Ob}({\mathsf{D}}_{\mathbb{R}\text{-c}}^{\mathrm{b}}({\mathbb{k}}_X))$の対象で生成された自由アーベル群を完全三角$F\to G\to H\to F[1]$が存在するときに$G=F+H$の関係で割ったアーベル群のことでした．実はこの対応は同形
$$\chi :{\mathbf{K}}_{\mathbb{R}\text{-c}}(X)\stackrel{\sim }{\to }\mathrm{CF}(X)$$
を引き起こし，この同形を通して構成可能層の逆像・順像と構成可能函数の引き戻し・押し出しが対応します．すなわち，多様体の射$f:X\to Y$，$F\in {\mathsf{D}}_{\mathbb{R}\text{-c}}^{\mathrm{b}}({\mathbb{k}}_X)$であって$\mathrm{Supp}(F)$上$f$が固有となるものと$G\in {\mathsf{D}}_{\mathbb{R}\text{-c}}^{\mathrm{b}}({\mathbb{k}}_Y)$に対して
$$\begin{array}{rl}{f}^{\ast }\chi (G)& =\chi (f^{-1}G)\\ f_{\ast }\chi (F)& =\chi (R{f}_{\ast }G)\end{array}$$
が成り立ちます．実はVerdier双対に対応する構成可能函数側の操作も考えられますが，ここでは詳しく述べません．

最後にラグランジュサイクルとの関わりを説明します．${\mathcal{L}}_X$で$T^{\ast }X$上のラグランジュサイクルの層をあらわします．すると，上の命題1の(ii)より特性サイクルを対応させる写像は群の射
$$CC:{\mathbf{K}}_{\mathbb{R}\text{-c}}(X)\to H^0(T^{\ast }X;{\mathcal{L}}_X)$$
を誘導します．実はこの群の射は同形になります．全射であることはラグランジュサイクル$\lambda$に対して$\pi (\mathrm{supp}(\lambda ))$に関する帰納法で示せます．単射であることはだいたい次のようにして示せます．

これまでに見た構成可能層のGrothendieck群・構成可能函数のなすアーベル群・ラグランジュサイクルのなすアーベル群の三つが同形であるという主張を述べておきましょう．

$\mathrm{Eu}$はオイラー写像と呼ばれることがあり，特異点論で現れるオイラー障害 (Euler obstruction) とも深い関わりがあります．詳しくは参考文献に挙げた本を参照してください．

まとめ

今回は

• 重み付き形式和としての特性サイクル
• 柏原の超局所的指数定理
• $\mu hom$を用いた特性サイクルの構成法と自然性
• 構成可能層・ラグランジュサイクル・構成可能函数の関係

について説明しました．さて，重みを与える際に現れた超局所的障害$V$がどこかの次数に集中している層は特性サイクルを考える際にも面白そうで興味があります．これが純層と呼ばれるもので，実は偏屈層とも関係があるのです．次回はこれらについて説明したいと思います．それではまた！