ブロッホ群

数学において、ブロッホ群（英: Bloch group）はブロッホ・ウィグナーの関数の線形関係式を記述する群であり、高次のブロッホ群は一般にブロッホ・ススリン複体のコホモロジー群として定義される。複体の名前はスペンサー・ブロッホ（英語版） (Spencer Bloch) とアンドレイ・ススリン（英語版） (Андре́й Су́слин) に因む。ブロッホ群は以下に述べるように多重対数関数、双曲幾何学、代数的K理論などと密接に関係している。 二重対数関数（英語版）は |z| < 1 に対して次の冪級数で定義される。 Li 2 ⁡ ( z ) = ∑ k = 1 ∞ z k k 2 {\displaystyle \operatorname {Li} _{2}(z)=\sum _{k=1}^{\infty }{\frac {z^{k}}{k^{2}}}} この冪級数から二重対数関数の積分表示 Li 2 ⁡ ( z ) = − ∫ 0 z log ⁡ ( 1 − t ) d t t {\displaystyle \operatorname {Li} _{2}(z)=-\int _{0}^{z}\log(1-t)\;{\frac {dt}{t}}} が得られる。ただし二重対数関数は2点 0, 1 で分岐しモノドロミー（多価性）を持つため、積分表示が冪級数表示に一致するためには 0 から z への積分路は z ∈ C ∖ { 0 , 1 } {\displaystyle z\in \mathbb {C} \setminus \{0,1\}} の非自明なサイクルを含まないようなものをとる必要がある。（一見すると z = 0 に分岐はないように見えるが、実は z = 1 を周回したシート上に z = 0 の分岐が現れる。）この積分表示によって Li2(z) は z ∈ C ∖ { 0 , 1 } {\displaystyle z\in \mathbb {C} \setminus \{0,1\}} の普遍被覆空間に正則に解析接続される。 ブロッホ・ウィグナーの関数は二重対数関数を用いて次のように定義される。 D 2 ( z ) = ℑ ( Li 2 ⁡ ( z ) ) + arg ⁡ ( 1 − z ) log ⁡ | z | {\displaystyle D_{2}(z)=\Im (\operatorname {Li} _{2}(z))+\arg(1-z)\log \left|z\right|} D2(z) には次のような著しい性質がある。 D2(z) はモノドロミーを持たず C ∖ { 0 , 1 } {\displaystyle \mathbb {C} \setminus \{0,1\}} 上の一価実解析的関数になる。 D 2 ( z ) = D 2 ( z − 1 z ) = D 2 ( 1 1 − z ) = − D 2 ( 1 z ) = − D 2 ( 1 − z ) = − D 2 ( z z − 1 ) . {\displaystyle D_{2}(z)=D_{2}\left({\frac {z-1}{z}}\right)=D_{2}\left({\frac {1}{1-z}}\right)=-D_{2}\left({\frac {1}{z}}\right)=-D_{2}(1-z)=-D_{2}\left({\frac {z}{z-1}}\right).} D 2 ( x ) + D 2 ( y ) + D 2 ( 1 − x 1 − x y ) + D 2 ( 1 − x y ) + D 2 ( 1 − y 1 − x y ) = 0. {\displaystyle D_{2}(x)+D_{2}(y)+D_{2}\left({\frac {1-x}{1-xy}}\right)+D_{2}\left(1-xy\right)+D_{2}\left({\frac {1-y}{1-xy}}\right)=0.} 最後の恒等式は本質的に二重対数関数に対するアーベルの5項関係式である (Abel 1881)。 K を体とし、 Z ( K ) = Z [ K ∖ { 0 , 1 } ] {\displaystyle \mathbb {Z} (K)=\mathbb {Z} [K\setminus \{0,1\}]} を K ∖ { 0 , 1 } {\displaystyle K\setminus \{0,1\}} の元 x に対する [x] により Z 上生成された自由加群とする。また D ( K ) {\displaystyle {\mathcal {D}}(K)} を [ x ] + [ y ] + [ 1 − x 1 − x y ] + [ 1 − x y ] + [ 1 − y 1 − x y ] {\displaystyle [x]+[y]+\left[{\frac {1-x}{1-xy}}\right]+[1-xy]+\left[{\frac {1-y}{1-xy}}\right]} の形の元の生成する Z(K) の部分加群とし、 A ( K ) = Z ( K ) / D ( K ) {\displaystyle {\mathcal {A}}(K)=\mathbb {Z} (K)/{\mathcal {D}}(K)} と定めよう。いまブロッホ・ウィグナーの関数の定義域を Z(C) に線形に拡張し、x = Σnj[xj] ∈ Z(C) に対して D2(x) = ΣnjD2(xj) と定める。すると D2 の 5項関係式は x ∈ D ( C ) ⇒ D 2 ( x ) = 0 {\displaystyle x\in {\mathcal {D}}(\mathbb {C} )\Rightarrow D_{2}(x)=0} と言い換えられ、従って D2 は A ( C ) {\displaystyle {\mathcal {A}}(\mathbb {C} )} 上定義される。さて、 d : A ( K ) ⟶ ∧ 2 ( K × ) {\displaystyle d\colon {\mathcal {A}}(K)\longrightarrow \wedge ^{2}(K^{\times })} を、 x ∈ K ∖ { 0 , 1 } {\displaystyle x\in K\setminus \{0,1\}} に対しては d[x] = x∧(1−x) と定め、これを Z(K) に線形に拡張したものとする。（d が A {\displaystyle {\mathcal {A}}} 上 well-defined であることをみるには D ( K ) ⊂ ker ⁡ d {\displaystyle {\mathcal {D}}(K)\subset \ker d} をチェックする必要がある。）このときブロッホ群 B 2 ( K ) {\displaystyle {\mathcal {B}}_{2}(K)} を B 2 ( K ) = ker ⁡ d {\displaystyle {\mathcal {B}}_{2}(K)=\ker d} と定義する (Bloch 1978)。松本の定理により K 2 ( K ) {\displaystyle {\mathcal {K}}_{2}(K)} を 2次の代数的K群として K 2 ( K ) = coker ⁡ d {\displaystyle {\mathcal {K}}_{2}(K)=\operatorname {coker} d} が知られている。 B 2 ( C ) {\displaystyle {\mathcal {B}}_{2}(\mathbb {C} )} は D2 の線形関係式を完全に記述する群である。すなわち次が成り立つ。 x ∈ B 2 ( C ) ⇔ D 2 ( x ) = 0. {\displaystyle x\in {\mathcal {B}}_{2}(\mathbb {C} )\Leftrightarrow D_{2}(x)=0.} K を無限体とする。このとき c = [ x ] + [ 1 − x ] ∈ B 2 ( K ) {\displaystyle c=[x]+[1-x]\in {\mathcal {B}}_{2}(K)} は x の取り方に依らない。GM(K) を無限次単項行列のなす GL(K) の部分群、BGM(K)+ をキレンのプラス構成とすると、 coker ⁡ [ π 3 ( BGM ⁡ ( K ) + ) → K 3 ( K ) ] = ( 2 c ) − 1 B 2 ( K ) {\displaystyle \operatorname {coker} \left[\pi _{3}(\operatorname {BGM} (K)^{+})\rightarrow {\mathcal {K}}_{3}(K)\right]=(2c)^{-1}{\mathcal {B}}_{2}(K)} が成り立つ (Suslin 1990)。ここで K 3 ( K ) = π 3 ( BGL ⁡ ( K ) + ) {\displaystyle {\mathcal {K}}_{3}(K)=\pi _{3}(\operatorname {BGL} (K)^{+})} は 3次の代数的K群である。 さらに、ミルナーのK群を K 3 M {\displaystyle {\mathcal {K}}_{3}^{M}} として、 K 3 ( K ) i n d = coker ⁡ ( K 3 M ( K ) → K 3 ( K ) ) , {\displaystyle {\mathcal {K}}_{3}(K)_{\mathrm {ind} }=\operatorname {coker} ({\mathcal {K}}_{3}^{M}(K)\rightarrow {\mathcal {K}}_{3}(K)),\;} 　 Tor ⁡ ( K × , K × ) ∼ {\displaystyle \operatorname {Tor} (K^{\times },K^{\times })^{\sim }} を Tor ⁡ ( K × , K × ) {\displaystyle \operatorname {Tor} (K^{\times },K^{\times })} のただ一つの非自明な Z/2Z 拡大とする。このとき以下の完全列が知られている。 0 ⟶ Tor ⁡ ( K × , K × ) ∼ ⟶ K 3 ( K ) i n d ⟶ B 2 ( K ) ⟶ 0. {\displaystyle 0\longrightarrow \operatorname {Tor} (K^{\times },K^{\times })^{\sim }\longrightarrow {\mathcal {K}}_{3}(K)_{\mathrm {ind} }\longrightarrow {\mathcal {B}}_{2}(K)\longrightarrow 0.} ブロッホ・ウィグナー関数 D 2 ( z ) {\displaystyle D_{2}(z)} は C ∖ { 0 , 1 } = C P 1 ∖ { 0 , 1 , ∞ } {\displaystyle \mathbb {C} \setminus \{0,1\}=\mathbb {C} P^{1}\setminus \{0,1,\infty \}} 上の関数であり、次のような双曲幾何学的な意味を持つ。 H 3 {\displaystyle \mathbb {H} ^{3}} を実3次元の双曲空間とし、 H 3 = C × R > 0 {\displaystyle \mathbb {H} ^{3}=\mathbb {C} \times \mathbb {R} _{>0}} と半空間表示する。 H 3 {\displaystyle \mathbb {H} ^{3}} の無限遠点の全体 H 3 ¯ ∖ H 3 {\displaystyle {\overline {\mathbb {H} ^{3}}}\setminus \mathbb {H} ^{3}} は C ∪ { ∞ } = C P 1 {\displaystyle \mathbb {C} \cup \{\infty \}=\mathbb {C} P^{1}} とみなすことができる。無限遠点のみを頂点とする四面体を理想的四面体と呼び、 ( p 1 , … , p 3 ∈ C P 1 ) {\displaystyle (p_{1},\ldots ,p_{3}\in \mathbb {C} P^{1})} を無限遠点上の頂点として ( p 0 , p 1 , p 2 , p 3 ) {\displaystyle (p_{0},p_{1},p_{2},p_{3})\;} で表す。四面体の(符号付き)体積を ⟨ p 0 , p 1 , p 2 , p 3 ⟩ {\displaystyle \left\langle p_{0},p_{1},p_{2},p_{3}\right\rangle } と表す。このとき、計量の定数倍を適切にとれば、四面体の複比は、 ⟨ p 0 , p 1 , p 2 , p 3 ⟩ = D 2 ( ( p 0 − p 2 ) ( p 1 − p 3 ) ( p 0 − p 1 ) ( p 2 − p 3 ) ) {\displaystyle \left\langle p_{0},p_{1},p_{2},p_{3}\right\rangle =D_{2}\left({\frac {(p_{0}-p_{2})(p_{1}-p_{3})}{(p_{0}-p_{1})(p_{2}-p_{3})}}\right)} であり、特に D 2 ( z ) = ⟨ 0 , 1 , z , ∞ ⟩ {\displaystyle D_{2}(z)=\left\langle 0,1,z,\infty \right\rangle } である。 D 2 ( z ) {\displaystyle D_{2}(z)} の5項関係式は、退化した理想的 4単体 ( p 0 , p 1 , p 2 , p 3 , p 4 ) {\displaystyle (p_{0},p_{1},p_{2},p_{3},p_{4})} の境界の体積が 0 であることと ⟨ ∂ ( p 0 , p 1 , p 2 , p 3 , p 4 ) ⟩ = ∑ i = 0 4 ( − 1 ) i ⟨ p 0 , … , p