数理解析研究所講究録
第 1784 巻 2012 年 64-76

64

カンドル 3 コサイクルを使った結び目不変量と Dijkgraaf-Witten 不変量
野坂 武史 (京都大学数理解析研究所

博士課程 3 回)

概要

本報告書はプレプリント [Nl] の紹介である．3 次カンドルコホモロジー群 $H_{Q}^{3}(X;A)$ の元が与えられた

時，結び目の不変量が [CJKLS, CEGS] で定義されている．有限体

おいては，望月拓郎氏が$H_{Q}^{3}(X;F_{q})$$F_{q}$

上のアレクサンダーカンドル $x$ にを生成元込みで全て計算している．主定理とは，任意の 3- コサイクル

から由来し，( $X$ ;Fq)(但し 2 コサイクル型を除く) は，或るメタアーベル群の群の 3 コサイクル
さらにによる結び目の不変量は， による Dijkgraaf-Witten 不変量の或るみ同変部分と等しい事であ$\phi\in H_{Q}^{3}$$\theta_{\phi}$$\phi$

る．マッセイ積による

1$\theta_{\phi}$$\theta_{\phi}$の解釈も与えた．

序文: カンドルの紹介と，結果カンドルとは，分配側を満たす或る代数系の事である．例えば，有限体 とに対して， 上に二項演算 を， $y\in F_{q},$ $x*_{\omega}y:=\omega x+(1-\omega)y$ と定める．この組をアレクサンダーカンドルといい，本論ではこれを中心に扱う．
$\omega\in F_{q}\backslash \{0\}$$F_{q}$$F_{q}$$*_{\omega}$$\forall x,$$(F_{q}, *_{\omega})$カンドル $X$ に対しカンドルコホモロジー群 $H_{Q}^{n}(X;A)$ について紹介する．それは99 年に論文 [CJKLS] で導入され，[CEGS] で局所系係数版に拡張されたものである．さらにそのコサイクルを使い，一次元結び目のカンドルコサイクル不変量が組合せ的に定義されてといる．その応用の為，望月拓郎氏 [Moc] は，上記の 上のカンドルに対し，$H_{Q}^{2}(X;F_{q})$$F_{q}$$H_{Q}^{3}(X;F_{q})$を生成元の表示込みで計算している．計算機で発見された些やかなコサイクルを除くと，望月氏のコサイクル以外しられていなかった．だが是までのカンドルの研究の殆どは，最も単純な $q=p$ の場合のコサイクルが使われていた．そんな中，蒲谷祐．一氏 [Kab] は$q=p$ でコサイクル不変量と ‘Dijkgraaf-Witten’ 不変量 (後述) との等価性を考察していた．

1.1

本稿で扱う群 $Gx$ と，Dijkgraaf-Witten 不変量

本節の目標は，望月氏 [Moc] による先述のカンドルコサイクルを群コホモロジーから解釈を与えた定理 1.1 の記述である．それは上述の蒲谷氏の結果 [Kab] の，有限体 への一般化で$F_{q}$もある．ここでは幾つか準備をする．
本稿全体で主に扱う群$G_{X}$

を定義する (定義は Clauwens[Cla] による). 以下 $X=F_{q}$ とし，上述のアレクサンダーカンドルとする．有限体 $X=F_{q}$ を加法群を固定する．そこで次の集合$(Z_{p})^{h}$と同一視し，$\omega\in F_{q}\backslash \{0,1\}$(1)$G_{X}:=(Z_{p})^{h}\cross(((Z_{p})^{h}\otimes_{Z}(Z_{p})^{h})/(x\otimes y-\omega y\otimes x)_{x,y\in F_{q}})$に，群演算を$(a, \alpha)\cdot(b, \beta):=(a+b, a\otimes b+\alpha+\beta)$と定める*1. その群構造$G_{X}$

は，次の$(Z_{p})^{h}$の中心拡大として理解できる: 即ち$0arrow(Z_{p})^{h}\otimes z(Z_{p})^{h}/(x\otimes y-\omega y\otimes x)_{x,y\in F_{q}}arrow G_{X}arrow(Z_{p})^{h}arrow 0$(exact).

$*1(1)$ にある $G_{X}$ の右辺の第 2 項は一見わかりづらいが 2 次カンドルホモロジー $H_{2}^{Q}(X;Z)$ と一致することが知られている

65
また $Z$ を $G_{X}$ に作用させる: つまり $n\in Z,$ $(a, \alpha)\in G_{X}$ に対し $n\cdot(a, \alpha)=(\omega^{n}a, \alpha)$ とする．

結論を先走れば，この群$G_{X}$

位相的な話に転じ，群$K\subset S^{3}$を置く．また

$G_{X}$$M_{K}^{q-1}$

がカンドルコホモロジーを理解するには十分である事になる．
に対する Dijkgraaf-Witten 不変量 [DW] を紹介する．結び目を， に沿った$K$[Kaw, 付録] 等参照). 閉 3 次元多様体

そこで，$G_{X}$$M_{K}^{q-1}$の $(q-1)$ -重巡回分岐被覆とする$S^{3}$には $Z$(定義はが被覆変換として作用する事に注意する．

の群 3 コサイクル $\theta\in H_{gr}^{3}(G_{X};A)$ に対し，次を定めよう:$[M_{K}^{q-1}]\}\in Z[A]$$DW_{\theta}^{Z}(M_{K}^{q-1}):=\sum_{1f\in Hom_{gr}^{Z}(\pi(M_{K}^{q-1}),G_{X})}\langle f^{*}(\theta),$

これは所謂 Dijkgraaf-Witten 不変量の$H_{3}(M_{K}^{q-1};Z)$$G_{X}$

同変部分である$Z$は基本類であり，は$Hom_{gr}^{Z}(\pi_{1}(M_{K}^{q-1}), G_{X})$$\mathbb{Z}$

(2)

.

ここで，

$[M_{K}^{q-1}]$-同変な” 群準同型$\in$$\pi_{1}(M_{K}^{q-1})arrow$の集合である．

1.2 主結果 : カンドルコサイクル不変量 $=Z$ 同変 Dijkgraaf-Witten 不変量

今回の結果を述べる．望月氏 [Moc] の$H_{Q}^{3}(X;F_{q})$のカンドルコサイクルをその群$G_{X}$のコ

ホモロジーからの解釈を与え，さらに，上述の結び目のカンドルコサイクル不変量に (定義は付録参照), 位相的意味を与えたのである: 詳述すれば$K\subset S^{3}$$\Phi_{\phi}(K)$定理 LL 上記のカンドル$(F_{q}, *_{\omega})$を固定する．任意のカンドル 3 コサイクルの元 (但し 2 コサイクル型を除く．詳細は注意 63)$H_{gr}^{3}(G_{X};F_{q})$が存在し次を満たす．任意の結び目$\phi\in H_{Q}^{3}(X;F_{q})$に対し，或る群 3 コサイクル
に対し，次が成立する:$\theta_{\phi}\in$$K\subset S^{3}$$\Phi_{\phi}(K)=q\cdot DW_{\theta_{\phi}}^{Z}(M_{K}^{q-1})\in Z[F_{q}]$.

(本稿の構成). 本稿の構成をのべる．節 2 では，定理 1.1 の意義や，先行結果との比較について補記する．節 3 以降では，定理 1.1 の証明を紹介する: とりわけ，カンドルコサイクルを群
コサイクルから取出す点を重点的に述べたい．節 3 では，カンドルとそのホモロジーを復習する．節 4 では，それを非斉次座標で考察する．節 5 では，証明の肝になる井上蒲谷の鎖写像を復習する．節 6 で，定理 1.1 にある群コサイクルを構成し，さらに当の等式を満たす事を概証する．付録 A では，定義を端折ったカンドルコサイクル不変量を復習する．

2

定理 1.1 の意義
当定理の筆者の考える意義を 4 つ述べる: 以下カンドルは $X=F_{q}$ とする．カンドル理論．

現状からも考察されている為，興味のある小節のみ笑覧されても，次節に飛ばされても支障
はない．

2.1

意義 1: 群コホモロジーからのカンドルコホモロジーの解釈

まず問『望月氏が発見したカンドル 3 コサイクルは何なのか$?$』 にーつの解答を得た事になる．節 6.1 でその 3 コサイクルを詳述するが，それらは一見複雑な式であり，何を意味する

66
か解りづらい．実際その証明法は [MOC] のコサイクル条件をすべて (或る常微分方程式をの群 3 コサ通じ) 解くものであった．定理 1.1 の帰結として，『その複雑な式は，その群$G_{X}$

イクルをカンドルの引き戻したものだ』と一言二言でまとめられた事になる．
ここで「引き戻し」と述べたが，それは井上蒲谷氏 [IK] で考察された鎖写像を使っている(節 5). 彼らは Chern-Simons 類をカンドルコサイクルとして理解する為に，その鎖写像を構成した．が，その井上-蒲谷氏の鎖写像は示唆に富み，今回は望月氏のカンドル 3 コサイクル
への解答を与えた事になる．さらにカンドル理論の今後の発展に役立つとも筆者は期待して族版アレクサンダーカンドル” に適用させることで，カンいる．ちなみに，この鎖写像を
ドルコサイクルを不変式論や Chern-Weil 理論から観察することも出来る [N4].
$G$

22 意義 2: 一般化の鍵．2 コホモロジーの障害の処理
定理 1.1$\ovalbox{\tt\small REJECT} f,$$q=p$ かつ $\omega=-1$ の時の蒲谷氏 [Kab] により示されている．ここでは，定理1.1 では任意の有限体に対し何故一般化できたかを述べる．蒲谷氏 [Kab] の議論では色々な仮定付きのカンドルに対して展開された．例えば，2 次ホモロジー$H_{2}^{Q}(X;Z)$が消える仮定となる).
を考える
定理 1.1 の帰結は 「その仮定を抜くには，Clauwens [Cla] の定めた非可換群
でなければならない事と良い」である．実際，コホモロジーレベルにおいても，非可換群をおいていた (その仮定では非可換群 $G_{X}$ は可換群$(Z_{p})^{h}$$G_{X}$$G_{X}$を示した (補題 65).

さらに蒲谷氏の手法をモディファイする為に，先述の [IK] の鎖写像を中心拡大でリフトさせ，議論を進めた (節 5 の可換図式を参照). このリフトが一般化の鍵である事を筆者の意義と考えている．

23

意義 3: コサイクル不変量の位相的意味づけ

今，定理 1.1 が$F_{q}$

上のカンドルのコサイクル不変量に関する位相的意味を完結的に答えた事を説明する．

まず，なぜ 3 コサイクルに固執したかを述べる．実際，結び目のコサイクル不変量は一般の局所系係数のコサイクルからでも定義され [CEGS], 幅広いものように見える．しかし，ホモトピー群の議論から次が示されていた:

定理 ([N2]). 標数は 2 以外とする．この時，$(F_{q}, *_{\omega})$の任意の局所系係数のコサイクルに対し，

そのコサイクル不変量は，2 次と 3 次のコサイクル達のコサイクル不変量の線形和になる．

ここで注記することに，$H_{n}^{Q}(X;Z)$ の任意の元は $q=p^{h}$ 倍で消える事が知られる [N3, 系$H_{Q}^{2}(X;F_{q})$62]. ゆえに，コサイクルの係数は p- ト $-$ ションで取るべきである．今の理由から，と $H_{Q}^{3}(X;F_{q})$によるコサイクル不変量の位相的解釈を与えれば，このカンドル$(F_{q}, *_{\omega})$から抽出できる不変量の意義が (涙れ部分以外は) 完了する事になる．

その位相的解釈の解答はこうである．まず 2 次コサイクルに関しては Eisermann[E] が，結び目の緯線を使って位相的解釈を与えた．他方，3 次コサイクルに関しては主定理 1.1 が，Dijkgraaf-Witten 不変量と分岐被覆空間を通じて解答を与えたことになる．

結論をまとめれば，カンドル$(F_{q}, *_{\omega})$

に関し，組合せ的に定義されたカンドルコサイクル

不変量は，結び目の緯線や群のコサイクルや巡回分岐被覆を使う事によって，位相的意味が付けられた事になる (但し挨れ部分無視した).

67
2.4 意義 4: カンドルコサイクル不変量を通じた Dijkgraaf-Witten 不変量の計算
Dijkgraaf-Witten 不変量は定義からして，多様体 $M$ の位相的不変量である．しかし，それを計算するとなると一筋縄ではいかない．一つの計算方法は $M$ の三角形分割を与え，基本類を具体的に記述する方法である．従って，その具現化した基本類とコサイクルとのペアリン
グは原理的には計算可能である．しかし，それはレンズ空間の場合でも分割が大変であり，群
コサイクル表示は一般にシンプルでないため計算も容易でない．他の方法として，群がアー$M$ のカップ積構造で当不変量
ベル群の場合は，多くの手法の計算方法が知られる: つまり，は決定されるので，カップ積構造の換言が沢山あるという意味である．
しかしながら他方で，群コサイクルと比較し，望月氏の表示したカンドルコサイクルはシンプルな 3 変数多項式で表される (節 6.1 を見よ). さらに付録 A にある通り，カンドルコサ
イクル不変量は比較的計算が楽なものである．

さて本題に戻り，定理 1.1 の等式の利点はこうである．即ち，計算しづらい DW 不変量を，計算しやすい右辺を通じて計算できた点である．ただし和の全てではなく，Z 同変部分しか成功していないが，非可換群の場合でも部分的計算を列挙したのは初めてである．讐えば，定理 2.1 $([N1])$.

$m,$ $n$を互いに素な整数とする．球面

ノットを考える．このとき，任意のカンドルコサイクル$S^{3}$に埋め込まれた $(m, n)-$ トーラス$\phi\in H_{Q}^{3}(X;F_{q})$に対し，そのカンド

ルコサイクル不変量欧 $Z[F_{q}]$ を計算した．

このトーラスノットの巡回分岐被覆は，いわゆるブリスコーン多様体 $\Sigma(m, n, q-1)$ であに対し，定理 1.1 に登場した群 3 コサイクル
は上でマッセイ積でかける事を筆者は示した (命題 68). 従って，結論として定理 2.1 から，ブリスコーン多様体のマッセイ積を係数群 上で幾つか計算した事になった
る．さらに，よいコサイクル$\phi\in H_{Q}^{3}(X;F_{q})$$\theta_{\phi}$$H^{3}(G_{X};F_{q})$$F_{q}$(一般に正標数上のマッセイ積は特異な振舞いをし計算し難い).

3

カンドルと，カンドルホモロジーの復習

さてこの節以降からは，定理 1.1 の証明を概略する．特に，カンドルホモロジーが群ホモロ
ジーにどう関係するかを重点的に説明していく．以下の議論は，Brown の教科書 [Bro] の約百頁までの知識を少々要するが，定義から直接示せる議論ばかりである．その為，定義から説明していくことにする．

この節では，カンドルという代数系を復習し，[CJKLS] で導入されたカンドルホモロジーを復習する．本稿では，カンドルの性質を本質的に使わない為，次節にスキップされても構いません．

まずカンドルとは，集合 $X$ と二項演算 $*:X\cross Xarrow X$ の組で次を満たすものである．
(Ql) 任意の $x\in X$ に対し，
$x*x=x$ .
(Q2) 任意の $x,$ $z\in X$ に対し，唯一つ $y\in X$ が存在し，$x*y=z$ .

(Q3) 任意の$x,$ $y,$ $z\in

X$に対し，分配則をみたす: $(x*y)*z=(x*z)*(y*z)$ .

68
例 3.1. 有限体$F_{q}$の元$x*_{\omega}y:=\omega(x-y)+y$

例 32. 導入節の群$\omega$を固定する，但し$\omega\neq 0,1$

. 集合 $X$ をと定めるとカンドルになる．有限体のアレクサンダーカンドルという．

$G_{X}$

を思い出そう (1). その集合に，カンドル演算$(x, \alpha)*_{\omega}\sim(y, \beta)=(\omega(x-y)+y, \alpha+[x\otimes y-y\otimes x])$

この$(G_{X}, *_{\omega}\sim)$とし，二項演算を$F_{q}$$*_{\omega}\sim$を次で定める．

.

は，カンドルの意味で，例 3.1 の普遍中心拡大になっている事が知られている．

カンドルを強調する際，$(G_{X},\sim*_{\omega})$

をとも書くことにする．

$(X, *_{\omega}\sim)$

次にカンドル $(X, *)$ に対し，ラックホモロジーとカンドルホモロジーを復習する．まず$C_{n}^{R}(X)$を， の元で張られる自由匪加群とする．そして境界写像を次で定義する:$X^{n}$$\partial_{n}^{R}(x_{1}, \ldots, x_{n})=\sum_{1\leq i\leq n}(-1)^{i}((x_{1}*x_{i}, \ldots, x_{i-1}*x_{i}, x_{i+1}, \ldots, x_{n})-(x_{1}, \ldots, x_{i-1}, x_{i+1}, \ldots, x_{n}))$組.

は複体をなす (講演ではカンドルの分類空間 (Rack 空間)[FRS] を紹介し$(C_{*}^{R}(X), \partial_{*}^{R})$た．今の複体はそのセル複体となっている). このホモロジーをラックホモロジーという．

さらに，

の元
$x_{i}=x_{i+1}$ となるの部分加群として，何か があり，とするで張られる自由 -加群を，
これは部分複体になる．その商複体のホモロジーを，カンドルホモロジーといい，と書く．また係$C_{n}^{R}(X)$$X^{n}$$i$$(x_{1}, \ldots, x_{n})$$C_{n}^{D}(X)$$\mathbb{Z}$$H_{n}^{Q}(X)$$(C_{*}^{R}(X)/C_{*}^{D}(X), \partial_{*}^{R})$$H_{n}^{R}(X)$ と $H_{n}^{Q}(X)$ に対応するコホモロジーも定義で数環 $A$ を固定した時双対をとれば，きる．

しかしながら，幾つかのカンドルでしかカンドルホモロジーは計算されていない．実際，群コホモロジーと比べ，計算方法がほとんどない現状である．例えば，全次数の整ホモロジー$H_{n}^{Q}(X;Z)$

[N3].

る

が決定されているカンドル $X$ は，例 3.1 で素数位数 $q=p$ でのカンドルのみであまた 2 次に関し，例 3.1 のカンドルの 2 次カンドルホモロジー$H_{2}^{Q}(X;Z)$は，次となることが知られている [Cla]:,$H_{2}^{Q}(X;Z)\cong((Z_{p})^{h}\otimes z(Z_{p})^{h})/(x\otimes y-\omega y\otimes x)_{x,y\in F_{q}}$(群$G_{X}$の定義にあった第二項と一致する).

また 3 次に関しては，序文で陳述した通り，上のアレクサンダーカンドルぐらいでのみ，カンドルコホモロジーの計算は成功していない [Moc].

$X=F_{q}$4 非斉次座標によるラックホモロジーと群ホモロジ

ー

複体の定義を紹介したが，境界写像は一見捉えづらい．是節では，カンドル $X$ が例 3.1 と32 の時に，境界写像を非斉次座標で見てみよう．すると群ホモロジーの類似が散見できる利点がある．

まず，(1) で定めた群
ず -元
$n$

$G_{X}$

に対する，非斉次での群の標準複体を復習する (see [Bro]). ま
で張られる自由 加群をと書こう．その境界準同型$(\tilde{x}_{1}, \ldots,\tilde{x}_{n})\in(G_{X})^{n}$$\partial_{n}^{gr}(\tilde{x}_{1}, \ldots,\tilde{x}_{n})\in C_{n-1}^{gr}(G_{X})$$Z$$C_{n}^{gr}(G_{X})$は次で定義されるのであった:.

$( \tilde{x}_{2}, \ldots,\tilde{x}_{n})+\sum_{1\leq i\leq n-1}(-1)^{i}(\tilde{x}_{1}, \ldots,\tilde{x}_{i}\tilde{x}_{i+1}, \ldots,\tilde{x}_{n})+(-1)^{n}(\tilde{x}_{1}, \ldots,\tilde{x}_{n-1})$

69
またさらに，序文に述べた通り， が$Z$$C_{n}^{gr}(G_{X};Z)_{Z}$によって作用するので，その coinvariant$G_{X}$

を用意しておく．

他方，例 32 で紹介したカンドル$(X, *_{\omega}\sim)$のラック複体を非斉次座標で観察する． の元という記号で表そう．まず，加群
る．次に生成元
を $(U, \alpha)$$\overline{X}$を，前節の加群
に対し，境界写像$C_{n}^{R_{U}}(\overline{X})$$(U_{1}, \alpha_{1}, \ldots, U_{n}, \alpha_{n})\in C_{n}^{R_{U}}(\overline{X})$$C_{n-1}^{R_{U}}(\tilde{X})$$C_{n}^{R}(\overline{X})$のコピーとす$\partial_{n}^{R_{U}}(U_{1}, \alpha_{1}, \ldots, U_{n}, \alpha_{n})\in$を次で定義する:$\sum_{1\leq i\leq n-1}(-1)^{i}((U_{1}, \alpha_{1}, \ldots, U_{i-1}, \alpha_{i-1}, U_{i}+U_{i+1}, U_{i}\otimes U_{i+1}+\alpha_{i}+\alpha_{i+1}, U_{i+2}, \alpha_{i+2}, \ldots, U_{n}, \alpha_{n})$$-(\omega U_{1}, \alpha_{1}, \ldots, \omega U_{i-1}, \alpha_{i-1}, \omega U_{i}+U_{t+1}, \omega U_{i}\otimes U_{i+1}+\alpha_{i}+\alpha_{i+1}, U_{i+2}, \alpha_{i+2}, \ldots, U_{n}, \alpha_{n}))$

注意することに，集合として群$G_{X}$とカンドル$\overline{X}$を同一視すれば，この和目はまさに群ホモロジーの境界準同型であり，第 2 項目はその前節の複体$(C_{*}^{R}(\overline{X}), \partial_{*}^{R})$$(\tilde{X})^{n}arrow(\tilde{X})^{n}$

と今の複体

,

$(C_{*}^{R_{U}}(\tilde{X}), \partial_{*}^{R_{U}})$$\omega$$\sum$.

の中の第 1 項倍になっている．ちなみに，は，次の写像により鎖同形である:.

$(\tilde{x}_{1}, \ldots,\tilde{x}_{n})\mapsto(\tilde{x}_{1}\tilde{x}_{2}^{-1}, \ldots,\tilde{x}_{n-1}\tilde{x}_{n}^{-1},\tilde{x}_{n})$最後に，カンドル $X=F_{q}$ でのラックホモロジーについても言及する．自然な射影$\overline{X}^{n}arrow(F_{q})^{n}$$\partial_{n}^{R_{U}}$上の境界写像を誘導する．
上の境界写像が誘導される．その複体は $X=F_{q}$ での$C_{n}^{R_{U}}(\overline{X})arrow C_{n}^{R_{U}}(\overline{X})/(\alpha_{i}=0)$の定義より，$C_{n}^{R_{U}}(\overline{X})/(\alpha_{i}=0)$

ラック複体

5

から射影

$(C_{n}^{R}(X), \partial_{n}^{R})$$C_{n}^{R_{U}}(\overline{X})$を，非斉次座標で表記したものと一致する．

非斉次座標による井上-蒲谷の鎖写像

今から井上-蒲谷氏らによる鎖写像を考察する．原論文 [IK] では，斉次座標上で一般のカンドルに定義されていた．その場合シャッフル積を使った複雑な式になっており，またその写像の値域の複体が何を表すのか解りづらかった．が本稿ではカンドルを例 3.1,32に制限し，その鎖写像を非斉次座標によって記述する 2. すると井上蒲谷氏らの鎖写像は$*$$\tilde{\varphi}_{n}:C_{n}^{R_{U}}(\overline{X})arrow C_{n}^{gr}(G_{X})_{Z}$

その為に，次の位数$2^{n-1}$となる事を見る．
の集合を用意しておく:$\mathcal{K}_{n}:=\{K_{n}:=(k_{1}, \ldots, k_{n})\in Z^{n}|k_{n}=0,0\leq k_{j-1}-k_{j}\leq 1\}$

すると$\overline{\varphi}_{n}$は次のように定められる．生成元$\overline{\varphi}_{n}(U_{1}, \alpha_{1}, \ldots, U_{n}, \alpha_{n})$.

$(U_{1}, \alpha_{1}, \ldots, U_{n}, \alpha_{n})\in C_{n}^{R_{U}}(\overline{X})$,$\sum_{k_{n}\in \mathcal{K}_{n}}(-1)^{k_{1}}(T^{k_{1}}U_{1}, \mathcal{A}_{1}, T^{k_{2}}U_{2}, \mathcal{A}_{2}, \ldots, T^{k_{n-1}}U_{n-1}, \mathcal{A}_{n-1}, U_{n}, 0)\in C_{n}^{gr}(G_{X})_{Z}$ここで$\mathcal{A}_{j}$は $\alpha_{j}-[U_{j}\otimes(U_{j+1}+\cdots+U_{n})]$ の一時的略記である．

事実 5.1 ([IK, 定理 32]). この写像は

$*2$

に対し，

を次で定義する:$\overline{\varphi}_{*}$

は鎖写像である．

勿論，斉次座標の表示も意義がある．実際，論文 [IK] にある通り，斉次座標表示の鎖写像には幾何的意味が付けられる．

(3)

70
$n=3$ でその写像を具体的に書こう:
たとえば，$\tilde{\varphi}_{3}(a, \alpha, b, \beta, c, \gamma)$

は$(a, \alpha-[a\otimes(b+c)], b, \beta-[b\otimes c], c, \gamma)-(\omega a, \alpha-[a\otimes(b+c)], b, \beta-[b\otimes c], c, \gamma)$. $(4)$$-(\omega a, \alpha-[a\otimes(b+c)], \omega b, \beta-[b\otimes c], c, \gamma)+(\omega^{2}a, \alpha-[a\otimes(b+c)], \omega b, \beta-[b\otimes c], c, \gamma)$

また前節の最後の部分と同様に，自然な射影$P_{\tilde{X}}$: $C_{n}^{R}(\tilde{X};Z)arrow C_{n}^{R}(X;Z)$ を考える．同様に射影 $G_{X}arrow(Z_{p})^{h}$ から鎖写像 $Pc_{X}$ : $C_{n}^{gr}(Gx;Z)_{Z}arrow C_{n}^{gr}((Z_{p})^{h};Z)_{Z}$ が誘導される．する
との定義より，それは鎖写像$\overline{\varphi}_{*}$

が誘導される．よって次$\varphi_{*}:C_{n}^{R_{U}}(X;Z)arrow C_{n}^{gr}((Z_{p})^{h};Z)_{Z}$の可換図式が得られる:$H_{3}^{R}(\tilde{X};Z)arrow^{\varphi\tilde s}H_{3}^{gr}(G_{X};Z)_{Z}$$\downarrow(P_{G_{X}})$$|(P_{\tilde{X}})_{*}$.

$H_{3}^{R}(X;Z)arrow^{\varphi_{3}}H_{3}^{gr}((Z_{p})^{h};Z)_{Z}$

特にその鎖写像の双対により，カンドルコサイクルが群コサイクルから得られたことになる:

命題 52.

$\theta$

を $G_{X}$ の$\sim$

不変な 3 コサイクルとする．その引戻しサイクルである．更にもし $\theta(a, 0, b)=0$ が任意の a, b

は， のラック 3 コ$\overline{X}$$\overline{\varphi}_{3}^{*}(\theta)$

で満たせば 3, 引戻し$*$$\in G_{X}$$\tilde{\varphi}_{3}^{*}(\theta)$

は， のカンドル 3 コサイクルである．
$\overline{X}$

よって，$G_{X}$の各不変な 3 コサイクル$\theta$を見つける事が重要である．一応，そのコサイク

ル条件を書くと$\theta(b, c, \mathfrak{d})-\theta(ab, c, 0)+\theta(a, bc, 0)-\theta(\mathfrak{a}, b, c0)+\theta(\mathfrak{a}, b, c)=0$$\theta((\omega a, \alpha), (\omega b, \beta), (\omega c, \gamma))=\theta((a, \alpha), (b, \beta), (c, \gamma))$である．ここで$\mathfrak{a}=(a, \alpha),$$b=(b, \beta),$$\mathfrak{c}=(c, \gamma),$,,$0=(d, \delta)\in G_{X}$.

6 定理 1.1 の概証
この節では定理 1.1 の概証をする．まず定理 1.1 にある群コサイクルを見つける方針を述べよう．[Moc] により，

$H_{Q}^{3}(X;F_{q})$の基底が解っている．それをその前節の鎖写像から調べる．つまりその基底の逆像となりそうな， の各不変な 3 コサイクルを見つけていく．そこで節 6.1 では望月氏の 3 コサイクルを復習し，節 62 ではその逆像を調べる．その後，その群コサイクルを使い，定理 1.1 の等式の概証を与える．
$G_{X}$

6.1

望月氏の 3 コサイクル [Moc] の復習

望月拓朗氏は $X=F_{q}$ 上のカンドルの 3- コサイクルを全て決定している [Moc]. ここではそのコサイクル表示を復習する．但し表示が複雑のため，全て覚える必要はなく，定理 7.1 の$*3$

この条件式は正規化条件と言われる．任意の群コサイクルが正規化されたコサイクルとコホモロガスになる事は良く知られている．

71
雰囲気をつかむ感じで御読みください．まず次の上多項式を準備する ([Moc, \S 22]):$F_{q}$$\chi(U_{j}, U_{j+1}):=\frac{(U_{j}+U_{j+1})^{p}-U_{j}^{p}-U_{j+1}^{p}}{p}=1\leq i\leq p-1\sum(-1)^{i-1}i^{-1}U_{j}^{p-i}U_{j+1}^{i}\in F_{q}[U_{j}, U_{j+1}]$

これを使いさらに，次の 3 変数多項式らを定義しよう:,$F(a, b, c):=U_{1}^{a}\cdot U_{2}^{b}\cdot U_{3}^{c}$$E_{0}(a\cdot p, b):=(\chi(\omega U_{1}, U_{2})-\chi(U_{1}, U_{2}))^{a}\cdot U_{3}^{b}$

ここで，$(U_{1}, U_{2}, U_{3})\in X^{3}=F_{q}^{3}$,$E_{1}(a, b\cdot p):=U_{1}^{a}\cdot(\chi(U_{2}, U_{3})-\chi(\omega^{-1}U_{2}, U_{3}))^{b}$と思うことで，これらの 3 変数多項式をそう．これらの多項式で張られる次の集合$I_{q,\omega}^{+}$$X^{3}$の関数とみなを用意する:$I_{q,\omega}^{+}:=\{E_{0}(p\cdot q_{1}, q_{2})|\omega^{p\cdot q_{1}+q_{2}}=1, q_{1}<q_{2}\}\cup\{E_{1}(q_{1}, q_{2}\cdot p)|\omega^{q_{1}+p\cdot q_{2}}=1, q_{1}\leq q_{2}\}$$\cup\{F(q_{1}, q_{2}, q_{3})|\omega^{q_{1}+q_{2}+q_{3}}=1, q_{1}<q_{2}<q_{3}\}$

ここで記号$q_{i}$(5).

は， の幕で $0\leq q_{i}<q$ を満たすものとする．すると$p$の元はコサイクルで$I_{q,\omega}^{+}$

ある上に，次のようにコホモロジーの基底の一部をなす:
定理 6.1 $([Moc])$.

$3$次コホモロジー $H_{Q}^{3}(X;F_{q})$ の基底は，次の和集合 4 として代表される:$*$$I_{q,\omega}^{+}\cup\{\Gamma(q_{1}, q_{2}, q_{3}, q_{4})|(q_{1}, q_{2}, q_{3}, q_{4})\in \mathcal{Q}_{q,\omega}\}\cup\{F(q_{1}, q_{2},0)|\omega^{q_{1}+q2}=1, q_{1}<q_{2}\}$

ここで記号$q_{i}$.

は， の幕であり $0\leq q_{i}<q$ を満たすものとする．
$p$

と
今，記号
は，次を満たす quadruples$\Gamma(q_{1}, q_{2}, q_{3}, q_{4})$$\mathcal{Q}_{q,\omega}$

を説明なしに使ったが，今から複雑だが復習する: まず$(q_{1}, q_{2}, q_{3}, q_{4})$, で$q_{2}\leq q_{3},$$\bullet$

次のうち一つを満たす:Case 1$q_{1}<q_{3},$$q_{2}<q_{4}$Case 2
Case 3
Case 4
Case 5

さらに各場合に応じ，その元の集合である:$\omega^{q_{1}+q_{3}}=\omega^{q_{2}+q_{4}}=1$$\bullet$$\mathcal{Q}_{q,\omega}$. ここで若し $p=2$ ならば$\omega^{q_{1}+q2}=1$.

$\omega^{q1+q_{2}}\neq 1$, and $q_{3}>q_{4}$ .

$q_{2}\neq q_{3}$.

, and $q_{3}=q_{4}$ .

$(p\neq 2),$$\omega^{q_{1}+q_{2}}\neq 1$$(p\neq 2),$$\omega^{q_{1}+q_{2}}\neq 1,$$q_{2}\leq q_{1}<q_{3}<q_{4},$ $\omega^{q_{1}}=\omega^{q_{2}}$$(p=2),$$\omega^{q_{1+}q_{2}}\neq 1,$$q_{2}<q_{1}<q_{3}<q_{4},$ $\omega^{q_{1}}=\omega^{q_{2}}$$(q_{1}, q_{2}, q_{3}, q_{4})\in \mathcal{Q}_{q,\omega}$に付随する多項式$\Gamma(q_{1}, q_{2}, q_{3}, q_{4})$

.
.

が次で

定義される 5:$*$

Case 1$\Gamma(q_{1}, q_{2}, q_{3}, q_{4})$$:=U_{1}^{q_{1}}U_{2}^{q2+q_{3}}U_{3}^{q_{4}}$Case 2$\Gamma(q_{1}, q_{2}, q_{3}, q_{4})$$:=U_{1}^{q_{1}}U_{2}^{q2+q_{3}}U_{3}^{q_{4}}-U_{1}^{q2}U_{2}^{q_{1}+q4}U_{3}^{q_{3}}$.

$-(\omega^{q2}-1)^{-1}(1-\omega^{q1+q2})(U_{1}^{q_{1}}U_{2}^{q_{2}}U_{3}^{q3+q_{4}}-U_{1}^{q1+q2}U_{2}^{q4}U_{3}^{q_{3}})$

$*4$

$*5$

.

原論文 [Moc, 定理 2.11] では null-cohomologous な余計な基底も含まれて記述されている．これは証明中の minor なミスによる．([N2, Remark 62] を見よ)
ここで Cases 3, 4, 5 では，原論文 [Moc] のた．

$\Gamma(q_{1}, q_{2}, q_{3}, q_{4})$の形と違う．それとコホモロガスなコサイクルを，簡約のため記述し.

72
Case 3$\Gamma(q_{1}, q_{2}, q_{3}, q_{4}):=U_{1}^{q_{1}}U_{2}^{q_{3}+q_{4}}U_{3}^{q_{1}}$Case 4 and Case 5$\Gamma(q_{1}, q_{2}, q_{3}, q_{4}):=U_{1}^{q_{3}}U_{2}^{q_{1}+q_{2}}U_{3}^{q_{4}}$注意 6.2. Case 3 (resp.
へと

$($

.

$4$

&5) の

.

は，Case 1 のそれの添字を (1, 2, 3, 4) から (1, 3, 4, 2)$\Gamma$resp. (3, 1, 2, 4) へと) 変換したものである．

注意 63. アブストラクトや定理 1.1 で『 2 コサイクル型を除く』と表現したが，厳密には『定理 6.1 の 3 コサイクル$F(q_{1}, q_{2},0)=U_{1}^{q_{1}}U_{2}^{q_{2}}$を抜く』という意味である．実際そのコサイクルは命題 52 から得られない．

62

群の 3 コサイクルから望月 3 コサイクルヘこのように望月 3 コサイクルは，少々複雑な式で，一見解り辛い．しかし，いまから望月 3

コサイクルが，群のコサイクルから得られる事を順々に見ていく．
を扱おう．
まず定理 6.1 にある基底の部分集合$I_{q,\omega}^{+}$

補題 64. 巡回群の$h$

-直積 $G=(Z_{p})^{h}$ と$F_{q}$

ジー $H_{gr}^{3}(G;F_{q})\cong(F_{q})^{\frac{h(h+1)(h+2)}{6}}$ は，次の群を同一視する．この時$G$の 3 次群コホモロ

3 コサイクルで生成される:$\{U_{1}^{q1}U_{2}^{q_{2}}U_{3}^{q3}|q_{1}<q_{2}<q_{3}\}\cup\{((U_{1}+U_{2})^{q_{1}}-U_{1}^{q_{1}}-U_{2}^{q_{1}})\cdot U_{3}^{q_{2}}/p|q_{1}<q_{2}\}$$\cup\{U_{1}^{q_{1}}((U_{2}+U_{3})^{q_{2}}-U_{2}^{q_{2}}-U_{3}^{q_{2}})/p|q_{1}\leq q_{2}\}$

ここで記号$q_{i}$

さらに，は， の幕で $0\leq q_{i}<q$ を満たす全てを走っている．

$\omega\in F_{q}$は，$\omega^{d}=1$,$p$の倍を， から
$Z$

を満たす

$d$

$F_{q}$

への作用と見なそう．この時その不変部分$H_{gr}^{3}(G;F_{q})^{Z}$

次である上記の多項式たちで生成される．

この補題は色々な示し方がある．例えば，カップ積構造と Bochstein 作用素を調べれば解る．

さて，補題 64 を，節 5 の鎖写像$\varphi_{3}$に代入してみよう: 次式は直接計算ですぐわかる:$\varphi_{3}^{*}(U_{1}^{q_{1}}U_{2}^{q_{2}}U_{3}^{q3})=(1-\omega^{q1})(1-\omega^{q_{1}+q_{2}})\cdot F(q_{1}, q_{2}, q_{3})$,,$\varphi_{3}^{*}(((U_{1}+U_{2})^{q_{1}}-U_{1}^{q_{1}}-U_{2}^{q_{1}})U_{3}^{q2}/p)=(1-\omega^{q2})\cdot E_{0}(q_{1}, q_{2})$$\varphi_{3}^{*}(U_{1}^{q1}((U_{2}+U_{3})^{q_{2}}-U_{2}^{q2}-U_{3}^{q2})/p)=(1-\omega^{q_{1}})\cdot E_{1}(q_{1}, q_{2})$右辺が$I_{q,\omega}^{+}$.

(6)の元と一致する事に注意しよう．望月氏 [Moc] のコサイクルを導く議論は上議論と別個のものだったが，鎖写像
で綺麗に繋がる事は意外な発見である．さて結論を述べれば，その部分集合の基底は，ちょうど補題 64 のアーベル群のコホモロジーと一致する$\varphi_{3}$$I_{q,\omega}^{+}$

事がわかった．つまり補題 65. $G$ を巡回群の -直積$h$$(Z_{p})^{h}$である．さらにその像は，その部分集合とする．写像$I_{q,\omega}^{+}$

さて次に，定理 6.1 にある残りの基底．

$\varphi_{3}^{*}:H_{gr}^{3}(G;F_{q})^{Z}arrow H_{Q}^{3}(X;F_{q})$で張られる部分空間である．

$\Gamma(q_{1} , q_{2}, q_{3}, q_{4})$群 $G_{X}$ を取り上げた理由はこの$\Gamma$は単射をを処理するためである).

$\tilde{\varphi}_{3}$から取り扱おう (我々が非可換

73
補題 66. 添字の略記を代表する写像$\theta_{\Gamma}^{q}$:$q=(q_{1}, q_{2}, q_{3}, q_{4})\in \mathcal{Q}_{q,\omega}$$(G_{X})^{3}arrow F_{q}$に対して，$G_{X}$の $Z$ -不変な群 3 コサイクル

が存在し，次式を満たす (下の可換図式も見よ):$\tilde{\varphi}_{3}^{*}(\theta_{\Gamma}^{q})=P_{\tilde{X}}^{*}(\Gamma(q_{1}, q_{2}, q_{3}, q_{4}))\in C_{R}^{3}(\tilde{X};F_{q})$証明．以下，添え字クル$\theta_{\Gamma}^{q}$:.

に対し，場合場合に応じて，我々は群 3 コサイの生成元をを具体的に構成する．以下，$q=(q_{1}, q_{2}, q_{3}, q_{4})\in \mathcal{Q}_{q,\omega}$$(G_{X})^{3}arrow F_{q}$$(G_{X})^{3}$$(x, a\otimes b, y, c\otimes d, z, e\otimes f)\in(G_{X})^{3}$と書こう．まず Case 1 のとき$\theta_{\Gamma}^{q}(x, a\otimes b, y, c\otimes d, z, e\otimes f)$を次で定義する:$(1-\omega)^{-q_{2}}(x^{q_{1}}y^{q_{2}+q_{3}}+x^{q_{1}+q_{3}}y^{q_{2}}-(1-\omega)^{-q_{2}}(\omega^{q_{2}}a^{q_{1}}b^{q_{2}}+a^{q_{2}}b^{q_{1}}-x^{q_{1}+q_{2}})y^{q_{3}}$$+(1-\omega)^{-q_{1}}(a^{q_{1}}b^{q_{3}}+\omega^{q_{1}}a^{q_{3}}b^{q_{1}}-x^{q_{1}+q_{3}})y^{q_{2}})z^{q_{4}}\in F_{q}$.

次に Case 2 の際，{直 $\theta_{\Gamma}^{q}(x, a\otimes b, y, c\otimes d, z, e\otimes f)$ を次で定める:$(1-\omega)^{-q_{1}-q_{2}}(x^{q_{1}}(y^{q_{2}+q_{3}}z^{q_{4}}+y^{q_{2}}z^{q_{3}+q_{4}})-(x^{q_{1}+q_{2}}y^{q_{4}}+x^{q_{2}}y^{q_{1}+q4})z^{q_{3}}$.

$+(1-\omega)^{-q_{3}}(x^{q1+q_{3}}-\omega^{q_{3}}a^{q_{1}}b^{q_{3}}-a^{q_{3}}b^{q_{1}})y^{q_{2}}z^{q_{4}}-(1-\omega)^{-q4}(x^{q2+q_{4}}-\omega^{q_{4}}a^{q_{2}}b^{q_{4}}-a^{q_{4}}b^{q_{2}})y^{q_{1}}z^{q_{3}})\in F_{q}$さらに Case 3 (resp.

4 and 5), の場合は，Case 1 の関数 で添字 (1, 2, 3, 4) を (1, 3, 4, 2)(resp. (3, 1, 2, 4) へ) と変えて定める (注意 62 を想起せよ). すると初等的な直接計算により， は群コサイクルである事が解り，目標の等式も解る．ロ$\theta_{\Gamma}^{q}$へ$\theta_{\Gamma}^{q}$

注意 67. すると補題 64 と 66 をまとめると次の可換図式になる:$H_{gr}^{3}(G_{X};F_{q})^{Z\overline{\varphi}}\ovalbox{\tt\small REJECT}^{3}H_{Q}^{3}(\tilde{X};F_{q})$$(P_{\overline{X}}).\{$$\rfloor(P_{\overline{X}})^{*}$$H_{gr}^{3}((Z_{p}$ $)^{h};F_{q})^{Z}arrow^{\varphi_{3}\sim}{\rm Im}(\varphi_{3})=span_{F_{q}}\{E_{0},E_{1}, F\}\subset H_{Q}^{3}(X;F_{q})$(定理 1.1 の概証) まず，補題 64 と 66 からカンドル 3 コサイクル
イクル$\theta_{\phi}$があり，$\overline{\varphi}_{3}^{*}(\theta_{\phi})=(P_{\overline{X}})^{*}(\phi)$$\phi$

に対し，$G_{X}$の 3 コサとなる．

定理の主張である等式はだいたい次のように示される．

まず右辺について分岐被覆$M_{K}^{q-1}$の 3 角形分割が，結び目の 3 角形分割から構成する方法がある ([Kab, \S 3,4] を見よ). それにより基本類 $[M_{K}^{q-1}]\in H_{3}(M_{K}^{q-1};Z)$ が構成される．他方

で，左辺のカンドルコサイクル不変量は定義していないが，おおよそ，結び目図式を四角形で分割し，カンドルコサイクル とのペァリングの和と定義される．ただし和は “X- カラリン
グ’ というものでとる (詳細は付録 A 参照).
$\phi$

次に$Z$同変な” 群準同型 $\pi_{1}(M_{K}^{q-1})arrow G_{X}$ は，カンドル $X$ における “X- カラリング” に一対一対応を示すことになる (これは付録 A にある，一対一対応 (7) にあるアレクサンダー多項式の定義から示される).
あとは，その一対一対応に基づき，群とカンドル上での二つのペアリングが等価である事を示せばよい．そのアイディアは蒲谷氏 [Kab] による．氏は鎖写像
に関しては，上記の二$\varphi_{*}$

74
つの分割を結びつける写像となることが示されていた．今回は，それを持上げた鎖写像$\tilde{\varphi}_{*}$に議論がリフトすることを確認する (そのリフトする議論は 2,3 技術的な事が要る). それにより証明が終わる．(詳しくは [Nl] をご覧ください) 口

さて最後になるが，補題 66 で使われた 3 コサイクルをマッセイ積により意味づける事を述べる．ここで写像$f^{q_{i}}$: $G_{X}arrow F_{q}$ で$(x, \alpha)\mapsto x^{q_{i}}$となるものを考える．これは群の 1 コサ

イクルである．群 1- コサイクル
に対し，もしカップ積と消えていた時，それらのマッセイ積を $<f,$$f,$ $g,$$h$$f\wedge g=g\wedge h=0\in H_{gr}^{2}(G_{X};F_{q})$$g,$ $h>\in H_{gr}^{2}(G_{X};F_{q})$命題 6.8. $m\neq 2$ とする．また$(q_{1}, q_{2}, q_{3}, q_{4})\in \mathcal{Q}_{q,\omega}$と書こう．

が \S 62 で説明した Case $m$ を満たすとする．この時，補題 66 の証明で表示した 3 コサイクル$\theta_{\Gamma}\in C_{gr}^{3}(G_{X};F_{q})$は，次のようにかける．まず $m=1$ のとき，$\theta_{\Gamma}=(1-\omega^{q_{2}})^{-1}<f^{q_{2}},$$f^{q_{1}},$$f^{q_{3}}>\wedge f^{q_{4}}\in H_{gr}^{3}(G_{X};F_{q})$.

他に $m=3,4,5$ のときは，注意 62 に沿った添え字変換すれば，同様の等式が得られる．

これも基本的に直接計算で示される．
$m=2$ のときは，マッセイ積による意味づけがない．それは群が大きくなると，
ちなみに，

群コホモロジーがマッセイ積だけで生成されない理由による．

付録 A

カンドルコサイクル不変量の定義

この付録ではカンドルコサイクル不変量の定義を紹介する．原論文は [CJKLS] であるが，本付録はカンドル 3 コサイクルによる定義を与える．一般の局所系係数版は [CEGS] を参照．
また結び目論に関し，説明が足りない部分は参考書 [Kaw] などで補って頂けると幸いです．
を一つとる (おおよそ，はめ込みを向付き結び目とする．結び目図式$D\subset S^{2}$$K\subset S^{3}$$S^{1}+,$$C$$S^{2}$

で，交点の上下情報をとったもの). また $X$ をカンドルとする．

いまからシャドーカラリングを復習する．まず図式 $D$ の X- カラリングとは，写像:{ $D$ のアーク} X であって， の各交点に対し，図 1 の左側の条件を満たす事であ$D$$arrow$

る．さらに，シャドーカラリングとは，X- カラリングへの写像$\overline{C}$$C$と， の補領域$D$との組で次を満たすものである: もし二つの補領域$\lambda’$$\lambda,$$\pi_{0}(S^{2}\backslash D)$がアーク$\alpha$から $X$で分離されたとき (図 1 の右側を見よ), 条件式 $\tilde{C}(\lambda)*C(\alpha)=\tilde{C}(\lambda’)$ を満たす．

さて， のシャドーカラリングの集合をと書くことにする．すると，集合のが ‘ ライデマイ
Colx $(D)$ の基数は，図式の取り方によらない．つまりもし二つの図式
スター移動” で移りあうのであれば，カンドルの定義より一対一対応
が自然に作れる (詳細は [CJKLS, CEGS] を見よ). 特に，井上氏 [Ino] が示された事に，もし$X$ が上のアレクサンダーカンドルであるとき，次の全単射がある$D$$\overline{Co1}_{X}(D)$$D_{1},$$D_{2}$$\overline{Co1}_{X}(D_{1})rightarrow\overline{Co1}_{X}(D_{2})$$F_{q}$$Co1_{X}(D)rightarrow(F_{q})^{2}\oplus\bigoplus_{i=1}F_{q}[T]/(T-\omega, \triangle_{i}(K)/\triangle_{i+1}(K))$

ここで $\triangle_{i}(K)$は “結び目 $K$ の$i$,番アレクサンダー多項式 $\in Z[T^{\pm}]$ ”(7)である．その多項式の定義は [Kaw] を参照するとして，言いたい事は，Col$x(D)$ は結び目理論で身近な位相不変量である事である．

75$\Pi_{1}$$\overline{C}(\lambda)*C(\alpha)=\overline{C}(\lambda’)$

$-’$
図1

各交点と，各アーク上でのカラリング条件式．

そこで次に，この不変量に重みをつけ，さらに細かしたのがカンドルコサイクル不変量である．今からそれを復習する (節 3 で説明した複体の定義を使う). まずシャドーを固定する．そして図 2 のように交点 に対し， の重みを，をが正交の符合とする (つまりと定義する．ここで$+1$ (resp. $-1$ ) とする). さらに，すべての交点に対し，重みを足点 (resp. 負交点) であれば，し上げよう．つまり，次を定義する:
カラリング $S\in\overline{Co1}_{X}(D)$$\tau$$\epsilon_{\tau}(x, y, z)\in C_{3}^{R}(X;Z)$$\epsilon_{\tau}\in\{\pm 1\}$$[S]:= \sum_{\tau:\text{交点}}\epsilon_{\tau}(x, y, z)\in C_{3}^{R}(X;Z)$

これは，$C_{3}^{R}(X;Z)$$\tau$$\tau$$\tau$.

の中で 3-サイクルである事が知られている．さて次に，カンドル 3- コサイ

クル $\phi\in C_{Q}^{3}(X;A)$

をとり，それとのペアリング$\langle\phi,$$[S]\}\in A$

を考える．但し，ここでペアリ

ングはカンドルの複体 $\phi\in C_{3}^{Q}(X)$ に一度おとしてから取っている．

すると，(3- コサイクル $\phi\in C_{Q}^{3}(X;A)$ による)K のカンドルコサイクル不変量とは，それらをカラリング全体で形式的に足しあげ，群環 $Z[A]$ に値を持たせたものである．厳密には次式で定義される．
$\Phi_{\phi}(K):=\sum_{S\in\overline{Co1}_{X}(D)}1_{Z}\{\{\phi, [S]\rangle\}\in Z[A]$.

これは実際に，図式 $D$ の取り方によらない．その理由はおおむね，カンドルコサイクル$\phi\in C_{Q}^{3}(X;A)$のコサイクル条件式が，ライデマイスター移動に綺麗に対応することによる．

図2

正交点と負交点での，$x,$ $y,$ $z\in

X$ の取り方．

以上が定義である．この組合せ的な定義が或る DW 不変量と一致する事 (定理 1.1) は，非自明であるように思われる．また他方で，シンプルなカンドル 3 コサイクル の表示を得ら$\phi$

れれば，コサイクル不変量は定義からして比較的計算可能である．特に節 6.1 で紹介した望月氏のコサイクル$\Gamma(q_{1}, q_{2}, q_{3}, q_{4})$は扱いやすい表示であり，実際計算できる．

参考文献[Bro] K. S. Brown, Cohomology of Groups, Graduate Texts in Mathematics, S7, Springer-Verlag, New
York, 1994.

76[CEGS] J. S. Carter, J. S. Elhamdadi, M.

$Gra\overline{n}a$, M. Saito, Cocycle knot invanants from quandle modules

and generalized quandle homology, Osaka J. Math. 42 (2005), 499-541.
[CJKLS] J. S. Carter, D. Jelsovsky, S. Kamada, L. Langford, M. Saito, Quandle cohomology and state-

sum invanants of knotted curves and surfaces, Trans. Amer. Math. Soc. 355 (2003) 3947-3989.
[Cla] F.J.-B.J. Clauwens, The adjoint group of an Alexander quandle, $arXiv:math/1011.15S7$ .
[DW] R. Dijkgraaf, E. Witten, Topological gauge theones and group cohomology, Comm. Math. Phys.
129 (1990) 393-429.
[FRS] R. Fenn, C. Rourke, B. Sanderson, Trunks and classifying spaces, Appl. Categ. Structures 3 (1995)

321-356.
[E] M. Eisermann, Knot colounng polynomials, Pacific Journal of Mathematics 231 (2007) 305-336.
[Ino] A. Inoue, Quandle homomorphisms of knot quandles to Alexander quandles, J. Knot Theory Ram-

ifications 10 (2001) 813-821.
[IK] A. Inoue, Y. Kabaya, Quandle homology and complex volume, $arXiv:math/1012.2923$ .
[Kab] Y. Kabaya, Cyclic branched coverengs of knots and quandle homology, $arXiv:math/1012.3729v2$[Kaw] 河内明夫編著，結び目理論，シュプリンガーフェラーク東京 1990.
[Moc] T. Mochizuki, The 3-cocycles of the Alexander quandles $F_{q}[T]/(T-\omega)$ , Algebraic and Geometric
Topology. 5 (2005) 183-205.

[Nl] T. Nosaka, Quandle cocycle invamants of links using Mochizuki’s 3-cocycles and Dijkgraaf- Witten

invariants of 3-manifolds, arXiv: 1103.3839.

[N2] –, Quandle homotopy invareants of knotted surfaces, $arXiv:math/1011.6035$ .
[N3] –, On quandle homology groups of Alexander quandles of prime order, to appear Trans. Amer.

Math. Soc.
[N4] –, G-families of Alexander quandles and invari ant theory, preprint

E-mail address: nosaka@kurims.kyoto-u.ac.jp