ノルム剰余同型定理

数学において、ノルム剰余同型定理 またはブロック・加藤予想  は、ミルナーのK-理論とガロアコホモロジーを結びつける、長らく予想されていた定理である。ジョン・ミルナー はこの定理がの場合に正しいと予想し、これはミルナー予想として知られるようになった。一般の場合はスペンサー・ブロックと加藤和也により予想され、ブロック・加藤予想  、もしくはモチーフ的ブロック・加藤予想  として知られるようになった。ノルム剰余同型定理はウラジミール・ヴォエヴォツキー  により、マーカス・ロストの数々の斬新な結果を用いて証明された。

1. ステートメント
----------

体において可逆な整数 に対し、自然な写像 が存在する。ここで は の分離閉包における1の -乗根のなす群であり、 は のガロアコホモロジーである。この写像は同型 を導く。これがK-理論に関連していることの最初のヒントは、 が群 であることである。テンソル積をとりカップ積を適用することで、写像 は

に拡張される。これらの写像は のすべての元 に対して が0になるという性質を持つ。これはミルナーのK-理論の定義関係式である。具体的には、ミルナーK-理論は次の環の斉次部分として定義される：

ここで は乗法群 のテンソル代数であり、商は の形をしたすべての元で生成される両側イデアルによるものである。従って写像 は写像

を経由する。この写像はガロア記号、あるいはノルム剰余写像と呼ばれる。mod- ガロアコホモロジーは-捻れ群であるので、この写像はさらに を経由する。

ノルム剰余同型定理は、体 と で可逆な整数 に対し、ミルナーのK-理論から mod- ガロアコホモロジーへのノルム剰余写像

は同型であるという定理である。 の場合がミルナー予想であり、 の場合がメルクリエフ・ススリンの定理  である。

2. 歴史
-----

この予想は体 のミルナーのK-群の -次の余捩れ  が1の -乗根のなすガロア加群を係数とする のガロアコホモロジーに等しいことを主張する。予想の重要な点は、ミルナーのK-群には成立することが容易に分かるが、ガロアコホモロジーで成立するか直ちに分からない性質、あるいはその逆の性質があることである。ノルム剰余同型定理は、同型の片側の対象に適用可能なテクニックを，もう一方の側の対象へ適用することを可能にする。

が0の場合は自明であり、 の場合はヒルベルトの定理90から容易に従う。 かつ の場合は Merkurjev で証明された。重要な前進は 1=//n// = 2}} で ℓ が任意の場合である。この場合は、Merkurjev で証明され、メルクリエフ・ススリンの定理として知られている。後日、メルクリエフとススリンと、それとは独立にロストは、1=//n// = 3}} と 1=ℓ = 2}} の場合に証明した。Merkurjev Rost。

名称「ノルム剰余」は、体 のブラウアー群に値をとるヒルベルト記号 に起源を持つ。この命名は通常の局所類体論との類似に基づいており、「高次」類体論の一部をなすと期待されている。

ノルム剰余同型定理はキレン・リヒテンバウム予想を含んでいる。またこれはかつてベイリンソン・リヒテンバウム予想として知られていた定理と等価である。

2.1. 証明の歴史
----------

ミルナー予想はウラジミール・ヴォエヴォツキー  により証明された。のちにヴォエヴォツキーは一般の場合も証明した。

この予想の証明の出発点は、Lichtenbaum と Beilinson による一連の予想にある。彼らはモチーフ的複体という、そのコホモロジーがモチヴィック・コホモロジーに関連するような層の複体の存在を予想した。これらの複体に予想される性質には次のようなものがあった：

ミルナーのK-理論と，この複体のザリスキーコホモロジーとを関連づける性質。
1の巾根の層に係数を持つコホモロジーと，この複体のエタールコホモロジーとを関連づける性質。
この複体のエタールコホモロジーとザリスキーコホモロジーとを関連づける性質。これらの性質は非常に特別な場合としてノルム剰余写像同型定理を導く。

予想の証明の重要な特徴として、「ウェイト」に関する帰納法を用いることが挙げられる。帰納的段階には単にブロッホ・加藤の予想のステートメントだけではなく、ベイリンソンとリヒテンバウムによる予想の大半を含むような一般的なステートメントも必要となる。帰納法による証明ではしばしば、帰納的段階の証明のために主張を強めなければならないことがある。この予想の場合、その強化の部分に新しい数学の莫大な進展が必要であった。

ミルナー予想の最初の証明は1995年のヴォエヴォツキーのプレプリント にあり、これはモラヴァのK-理論  の代数的類似があるべきだというアイデアに基づいている。1996年のプレプリントで、ヴォエヴォツキーは代数的コボルディズム  を導入し、当時は証明されていなかったそれらの性質を使うことで、モラヴァの K-理論を描像から取り去ることを可能とした。1995年と1996年のプレプリントの構成は正しいことが知られているが、ミルナー予想の最初の完全な証明はいくらか異なる枠組みを使っている。

その枠組みはブロック・加藤予想全体の証明が得られる枠組みでもある。それは1996年のプレプリントから数ヶ月後に、ヴォエヴォツキーにより考案された。この枠組みを実現するには、ある一連の性質を持つ代数多様体の構成法を見つけるとともに、モチーフ的ホモトピー論 の分野の進展が必要とされた。具体的には、モチーフ的ホモトピー論からは次のことが要求された。

 滑らかな射影代数多様体のモチーフ的基本類を、モチーフ的球面からモチーフ的法束のトム空間  への射として構成すること。

 スティーンロッド代数のモチーフ的類似の構成。

 標数0の体上ではモチーフ的スティンロッド代数 がモチヴィックコホモロジーの二重安定なコホモロジー作用素全体を特徴付けることの証明。

とは2003年にヴォエヴォツキーにより開発された。1980年代後半から知られていた結果と合わせると、これらはミルナー予想を再証明するのに充分であった。

同じく2003年に、ヴォエヴォツキーは一般の場合の証明をほぼ含んだプレプリントをウェブ上に公開した。このプレプリントは最初の枠組みに従うものであったが、3つのステートメントの証明が残されていた。これらのステートメントのうち1つめと2つめはモチーフ的スティーンロッド代数の性質に関連していて、上記のを必要としており、3つめは「ノルム多様体」に関する当時知られていなかった事実を必要とした。ノルム多様体に要求される性質は1997年にヴォエヴォツキーが定式化し、多様体自体は1998年から2003年にマーカス・ロストにより構成されていた。それらが必要な性質を満たすことの証明は、2006年にアンドレイ・ススリンとセヴァ・ジョウコヴィツキーにより完成された。

上記のを示すには、モチーフ的ホモトピー論での新しいテクニックの開発が必要であった。目標となったのは、極限や余極限と交換するとは限らないある函手が、ある種の対象の間の弱同値を保存することの証明であった。主要な困難のひとつは、弱同値を調べるための標準的なアプローチであるバウスフィールド・キレンの分解系とモデル圏  の構造が不十分であることであった。別の方法が開発される必要があり、この仕事はヴォエヴォツキーにより2008年に完成された。

これらのテクニックを開発する過程で、ヴォエヴォツキーの2003年のプレプリントに証明なしで使われている1つめのステートメントが誤りであることが判明した。証明は修正されたステートメントに合わせてわずかに変更される必要があった。ヴォエヴォツキーがモチーフ的アイレンバーグ・マックレーン空間 に関する主定理の証明の細部を詰めている間に、チャールズ・ワイベル は証明の変更すべき箇所を修正するアプローチを考案した。ワイベルは2009年に、ヴォエヴォツキーの構成の要約と彼の開発した修正を含んだ論文も出版している。

3. ベイリンソン・リヒテンバウム予想
-------------------

//X// を を含む体の上の滑らかな多様体とする。ベイリンソン  とリヒテンバウム  は、モチヴィックコホモロジー  群 は、//p//≤//q// のときエタールコホモロジー群 と同型であろうと予想した。この予想はノルム剰余同型定理と同値であり、今では証明されている。

4. 脚注
-----

4.1. 注釈
-------

4.2. 出典
-------

5. 参考文献
-------