K理論

数学において、K理論とは、大まかに言えば、位相空間または位相スキーム上のベクトル束によって生成される環の研究である。代数位相幾何学においては、位相K理論として知られるコホモロジー理論である。代数学および代数幾何学においては、代数K理論と呼ばれる。また、作用素環の分野における基本的なツールでもある。これは、大規模行列のある種の不変量に​​関する研究とみなすことができる。^[1]

K理論は、位相空間または位相スキーム、またはより一般的には、ホモトピーカテゴリの任意のオブジェクトを関連付けられた環にマッピングするK関数の族の構築を伴います。これらの環は、元の空間またはスキームの構造のいくつかの側面を反映します。代数的位相幾何学における群への関数と同様に、この関数マッピングの理由は、マッピングされた環からの方が、元の空間またはスキームからよりも位相特性を計算するのが容易であるためです。K理論アプローチから得られる結果の例には、グロタンディーク・リーマン・ロッホの定理、ボット周期性、アティヤ・シンガーの指数定理、アダムス演算などがあります。

高エネルギー物理学において、K理論、特にツイストK理論はII型弦理論に登場し、Dブレーン、ラモンド・ラモン場の強度、そして一般化複素多様体上の特定のスピノルを分類すると推測されている。凝縮系物理学において、K理論はトポロジカル絶縁体、超伝導体、安定フェルミ面の分類に用いられている。詳細については、K理論（物理学）を参照のこと。

グロタンディーク完成

アーベルモノイドからアーベル群へのグロタンディーク完備化は、K理論を定義する上で必須の要素である。なぜなら、すべての定義は、適切な圏からアーベルモノイドを構築し、この普遍構成を通してそれをアーベル群に変換することから始まるからである。アーベルモノイドが与え られ、${\displaystyle (A,+')}$ ${\displaystyle \sim }$ ${\displaystyle A^{2}=A\times A}$

${\displaystyle (a_{1},a_{2})\sim (b_{1},b_{2})}$

が存在する場合、その集合は次のような群の構造を持ちます。 ${\displaystyle c\in A}$ ${\displaystyle a_{1}+'b_{2}+'c=a_{2}+'b_{1}+'c.}$ ${\displaystyle G(A)=A^{2}/\sim }$ ${\displaystyle (G(A),+)}$

${\displaystyle [(a_{1},a_{2})]+[(b_{1},b_{2})]=[(a_{1}+'b_{1},a_{2}+'b_{2})].}$

この群の同値類は、アーベルモノイドの元の形式的な差異として考えるべきである。この群はまた、によって与えられるモノイド準同型と関連しており、これは特定の普遍性を持つ。 ${\displaystyle (G(A),+)}$ ${\displaystyle i:A\to G(A)}$ ${\displaystyle a\mapsto [(a,0)],}$

この群をより深く理解するために、アーベルモノイドの同値類を考えてみましょう。ここで、 の単位元を で表すと、 は の単位元になります。まず、任意の に対して となるので、を設定し、同値関係から の式を適用して を得ることができます。これは次を意味します。 ${\displaystyle (A,+)}$ ${\displaystyle A}$ ${\displaystyle 0}$ ${\displaystyle [(0,0)]}$ ${\displaystyle (G(A),+).}$ ${\displaystyle (0,0)\sim (n,n)}$ ${\displaystyle n\in A}$ ${\displaystyle c=0}$ ${\displaystyle n=n.}$

${\displaystyle [(a,b)]+[(b,a)]=[(a+b,a+b)]=[(0,0)]}$

したがって、各 に対して加法的な逆元が存在する。これは、同値類を形式的な差分として考えるべきであるというヒントを与えてくれる。もう一つの有用な観察は、同値類がスケーリングに対して不変であるということである。 ${\displaystyle [(b,a)]}$ ${\displaystyle [(a,b)]\in G(A)}$ ${\displaystyle [(a,b)]}$ ${\displaystyle a-b.}$

${\displaystyle (a,b)\sim (a+k,b+k)}$ いかなる${\displaystyle k\in A.}$

グロタンディーク完備化は関手 として見ることができ、対応する忘却関手の左随伴であるという性質を持つ。これは、アーベル群の基礎となるアーベルモノイドへのアーベルモノイドの射が与えられたとき、唯一のアーベル群射が存在することを意味する。${\displaystyle G:\mathbf {AbMon} \to \mathbf {AbGrp} ,}$ ${\displaystyle U:\mathbf {AbGrp} \to \mathbf {AbMon} .}$ ${\displaystyle \phi :A\to U(B)}$ ${\displaystyle A}$ ${\displaystyle B,}$ ${\displaystyle G(A)\to B.}$

自然数の例

分かりやすい例として、 のグロタンディーク完備化を見てみましょう。任意のペアに対して、スケーリング不変性を用いることで最小の代表値を見つけることができることがわかります。例えば、スケーリング不変性から、 ${\displaystyle \mathbb {N} }$ ${\displaystyle G((\mathbb {N} ,+))=(\mathbb {Z} ,+).}$ ${\displaystyle (a,b)}$ ${\displaystyle (a',b')}$

${\displaystyle (4,6)\sim (3,5)\sim (2,4)\sim (1,3)\sim (0,2)}$

一般的に、 ${\displaystyle k:=\min\{a,b\}}$

${\displaystyle (a,b)\sim (a-k,b-k)}$ これは、または${\displaystyle (c,0)}$ ${\displaystyle (0,d).}$

これは、を正の整数、を負の整数として考えるべきであることを示しています。 ${\displaystyle (a,0)}$ ${\displaystyle (0,b)}$

定義

K 理論にはいくつかの基本的な定義があり、そのうち 2 つは位相幾何学から、残りの 2 つは代数幾何学から来ています。

コンパクトハウスドルフ空間のグロタンディーク群

コンパクトハウスドルフ空間 が与えられたとき、上の有限次元ベクトル束の同型類の集合を と表記し、ベクトル束の同型類を と表記する。ベクトル束の同型類は直和に関して良好な振る舞いを示すので、同型類に対するこれらの演算は次のように書ける。 ${\displaystyle X}$ ${\displaystyle X}$ ${\displaystyle {\text{Vect}}(X)}$ ${\displaystyle \pi :E\to X}$ ${\displaystyle [E]}$

${\displaystyle [E]\oplus [E']=[E\oplus E']}$

はアーベルモノイドであり、単位元は自明なベクトル束 によって与えられることは明らかである。グロタンディーク完備化を適用することで、このアーベルモノイドからアーベル群を得ることができる。これは のK理論と呼ばれ、 と表記される。 ${\displaystyle ({\text{Vect}}(X),\oplus )}$ ${\displaystyle \mathbb {R} ^{0}\times X\to X}$ ${\displaystyle X}$ ${\displaystyle K^{0}(X)}$

セール・スワンの定理といくつかの代数を用いて、 上のベクトル束を連続複素数値関数の環上の射影加群として別の記述で得ることができる。そして、これらは何らかの行列環 内のべき等行列と同一視できる。べき等行列の同値類を定義し、アーベルモノイド を形成することができる。そのグロタンディーク完備化は とも呼ばれる。位相空間のグロタンディーク群を計算する主な手法の一つは、アティヤ・ヒルツェブルッフのスペクトル列に由来しており、これによってグロタンディーク群は非常にアクセスしやすくなっている。スペクトル列を理解するために必要な計算は、球面 の群を計算することだけである。^{[2] 51-110 ページ}${\displaystyle X}$ ${\displaystyle C^{0}(X;\mathbb {C} )}$ ${\displaystyle M_{n\times n}(C^{0}(X;\mathbb {C} ))}$ ${\displaystyle {\textbf {Idem}}(X)}$ ${\displaystyle K^{0}(X)}$ ${\displaystyle K^{0}}$ ${\displaystyle S^{n}}$

代数幾何学におけるベクトル束のグロタンディーク群

代数幾何学におけるベクトル束を考えることで、同様の構成が得られる。ネータースキーム に対して、上の代数的ベクトル束のすべての同型類の集合が存在する。すると、前述と同様に、ベクトル束の同型類の直和は明確に定義され、アーベルモノイド を与える。そして、このアーベルモノイドにグロタンディーク構成を適用することで、 グロタンディーク群が定義される。${\displaystyle X}$ ${\displaystyle {\text{Vect}}(X)}$ ${\displaystyle X}$ ${\displaystyle \oplus }$ ${\displaystyle ({\text{Vect}}(X),\oplus )}$ ${\displaystyle K^{0}(X)}$

代数幾何学におけるグロタンディーク連接層の群

代数幾何学では、滑らかなスキーム上の代数的ベクトル束にも同じ構成を適用できます。しかし、任意のネータースキームには別の構成法があります。連接層の同型類を見ると、短完全列が存在する場合、関係式によってmod outすることができます。${\displaystyle X}$ ${\displaystyle \operatorname {Coh} (X)}$ ${\displaystyle [{\mathcal {E}}]=[{\mathcal {E}}']+[{\mathcal {E}}'']}$

${\displaystyle 0\to {\mathcal {E}}'\to {\mathcal {E}}\to {\mathcal {E}}''\to 0.}$

これはグロタンディーク群を与え、これは滑らかな場合と同型である。この群は環構造も持つため特別である。これを以下のように定義する。 ${\displaystyle K_{0}(X)}$ ${\displaystyle K^{0}(X)}$ ${\displaystyle X}$ ${\displaystyle K_{0}(X)}$

${\displaystyle [{\mathcal {E}}]\cdot [{\mathcal {E}}']=\sum (-1)^{k}\left[\operatorname {Tor} _{k}^{{\mathcal {O}}_{X}}({\mathcal {E}},{\mathcal {E}}')\right].}$

グロタンディーク・リーマン・ロッホの定理を用いると、

${\displaystyle \operatorname {ch} :K_{0}(X)\otimes \mathbb {Q} \to A(X)\otimes \mathbb {Q} }$

は環の同型である。したがって、交差理論に用いることができる。^[3]${\displaystyle K_{0}(X)}$

初期の歴史

この主題はアレクサンダー・グロタンディーク(1957)に始まったと言ってもいいでしょう。彼はこれを用いてグロタンディーク・リーマン・ロッホの定理を定式化しました。この定理はドイツ語のKlasseに由来し、「類」を意味します。^{[4]グロタンディークは}代数多様体X上の連接層 を扱う必要がありました。彼は層を直接扱うのではなく、層の同型類を群の生成元として使い、2 つの層の任意の拡大をそれらの和と同一視する関係に従う群を定義しました。結果として得られる群は、局所自由層だけが使われるときはK ( X )と呼ばれ、すべてが連接層のときはG ( X ) と呼ばれます。これら 2 つの構成はどちらもグロタンディーク群と呼ばれます。K ( X ) はコホモロジー的振る舞いをし、G ( X ) はホモロジー的振る舞いをします。

Xが滑らかな多様体の場合、2つの群は同じです。X が滑らかなアフィン多様体の場合、局所自由層の拡大はすべて分解されるため、群は別の定義を持ちます。

位相幾何学において、マイケル・アティヤとフリードリヒ・ヒルツェブルッフは、1959年にベクトル束に同じ構成を適用することで、位相空間Xに対してK ( X )を定義し、ボット周期性定理を用いてこれを並外れたコホモロジー理論の基礎とした。これは、アティヤ・シンガーの指数定理の第二証明（1962年頃）において重要な役割を果たした。さらに、このアプローチはC*-代数に対する非可換K理論へとつながった。

ジャン＝ピエール・セールは、1955 年にはすでに、ベクトル束と射影加群の類推を用いて、多項式環上の有限生成射影加群はすべて自由であるというセールの予想を定式化していました。この主張は正しいのですが、20 年も経ってようやく解決されました。(スワンの定理は、この類推の別の側面です。)

開発

代数 K 理論のもう 1 つの歴史的起源は、 JHC ホワイトヘッドらによる、後にホワイトヘッドねじれとして知られるようになった研究でした。

その後、高次K理論の関手に関する様々な部分的な定義が提示された時期がありました。最終的に、 1969年と1972年にダニエル・キレンによってホモトピー理論を用いた2つの有用かつ同等な定義が与えられました。また、擬同位体研究に関連する空間の代数的K理論を研究するために、フリードヘルム・ヴァルトハウゼンによっても変種が与えられました。高次K理論に関する現代の研究の多くは、代数幾何学とモティヴィックコホモロジーの研究に関連しています。

補助二次形式を含む対応する構成は、一般的にL理論と呼ばれています。これは外科手術理論の主要なツールです。

弦理論では、ラモンド・ラモン場の強度と安定なD膜の電荷のK理論分類が1997年に初めて提案されました。^[5]

2022年、ロシアの数学者アレクサンダー・イワノビッチ・エフィモフは、特に双対化可能な-カテゴリに適用された代数的K理論の重要な一般化を構築した^[6]${\displaystyle (\infty ,1)}$

例と特性

K₀フィールドの

グロタンディーク群の最も簡単な例は、体 の点 のグロタンディーク群です。この空間上のベクトル束は有限次元ベクトル空間にすぎず、これは連接層の圏における自由対象であり、したがって射影的であるため、同型類のモノイドはベクトル空間の次元に対応します。したがって、グロタンディーク群が であることを示すのは簡単な演習です。 ${\displaystyle {\text{Spec}}(\mathbb {F} )}$ ${\displaystyle \mathbb {F} }$ ${\displaystyle \mathbb {N} }$ ${\displaystyle \mathbb {Z} }$

K₀フィールド上のアルティニアン代数の

ノイザンスキーム のグロタンディーク群の重要な性質の一つは、それが縮約に対して不変であることである。したがって、 となる。^{[7]したがって、任意の}アルティン代数のグロタンディーク群は、スペクトルの各連結成分について1つずつ、のコピーの直和となる。例えば、 ${\displaystyle X}$ ${\displaystyle K(X)=K(X_{\text{red}})}$ ${\displaystyle \mathbb {F} }$ ${\displaystyle \mathbb {Z} }$ $${\displaystyle K_{0}\left({\text{Spec}}\left({\frac {\mathbb {F} [x]}{(x^{9})}}\times \mathbb {F} \right)\right)=\mathbb {Z} \oplus \mathbb {Z} }$$

K₀射影空間の

グロタンディーク群の計算で最もよく使われるものの一つは、体上の射影空間に対するの計算である。これは、射影の交差数が を埋め込んでプッシュプル公式 を用いることで計算できるためである。これにより、 の構造を明示的に知らなくてもの元を用いた具体的な計算が可能になる。なぜなら^{[8] の} グロタンディーク群を決定する一つの手法は、としての成層化から得られる。 なぜなら、アフィン空間上の連接層のグロタンディーク群は と同型であり、 の交差はに対して一般的に となる からである。 ${\displaystyle K(\mathbb {P} ^{n})}$ ${\displaystyle X}$ ${\displaystyle i:X\hookrightarrow \mathbb {P} ^{n}}$ ${\displaystyle i^{*}([i_{*}{\mathcal {E}}]\cdot [i_{*}{\mathcal {F}}])}$ ${\displaystyle K(X)}$ $${\displaystyle K(\mathbb {P} ^{n})={\frac {\mathbb {Z} [T]}{(T^{n+1})}}}$$ ${\displaystyle \mathbb {P} ^{n}}$ $${\displaystyle \mathbb {P} ^{n}=\mathbb {A} ^{n}\coprod \mathbb {A} ^{n-1}\coprod \cdots \coprod \mathbb {A} ^{0}}$$ ${\displaystyle \mathbb {Z} }$ ${\displaystyle \mathbb {A} ^{n-k_{1}},\mathbb {A} ^{n-k_{2}}}$ $${\displaystyle \mathbb {A} ^{n-k_{1}}\cap \mathbb {A} ^{n-k_{2}}=\mathbb {A} ^{n-k_{1}-k_{2}}}$$ ${\displaystyle k_{1}+k_{2}\leq n}$

K₀射影束の

グロタンディーク群のもう一つの重要な公式は、射影束公式である：^[9]ノイザンスキーム上の階数rのベクトル束が与えられたとき、射影束のグロタンディーク群は、基底 を持つ階数rの自由-加群である。この公式を用いることで、 のグロタンディーク群を計算することができる。これにより、 またはヒルツェブルッフ面を計算することが可能となる。さらに、グロタンディーク群が 体上の射影束であることを観察することで、グロタンディーク群を計算することもできる。 ${\displaystyle {\mathcal {E}}}$ ${\displaystyle X}$ ${\displaystyle \mathbb {P} ({\mathcal {E}})=\operatorname {Proj} (\operatorname {Sym} ^{\bullet }({\mathcal {E}}^{\vee }))}$ ${\displaystyle K(X)}$ ${\displaystyle 1,\xi ,\dots ,\xi ^{n-1}}$ ${\displaystyle \mathbb {P} _{\mathbb {F} }^{n}}$ ${\displaystyle K_{0}}$ ${\displaystyle K(\mathbb {P} ^{n})}$ ${\displaystyle \mathbb {F} }$

K₀特異空間と孤立した商特異点を持つ空間

マイナー特異点を持つ空間のグロタンディーク群を計算する最近の技術の 1 つは、との差を評価することです。この差は、すべてのベクトル束が同値にコヒーレント層として記述できるという事実に由来します。これは、導来非可換代数幾何学 の特異点カテゴリ [10] [11] のグロタンディーク群を使用して行われます。これ^は、から始まる長い正確なシーケンスを提供します 。 ここで、高次の項は高次 K-理論に由来します。特異点上のベクトル束は、滑らかな軌跡 上のベクトル束によって与えられることに注意してください。これにより、重み付き射影空間が通常孤立した商特異点を持つため、その上のグロタンディーク群を計算することができます。特に、これらの特異点が等方性群を持つ場合、に対して写像は 単射であり、余核は によって消滅します。[ ^{11] 3 ページ}${\displaystyle K^{0}(X)}$ ${\displaystyle K_{0}(X)}$ ${\displaystyle D_{sg}(X)}$ $${\displaystyle \cdots \to K^{0}(X)\to K_{0}(X)\to K_{sg}(X)\to 0}$$ ${\displaystyle X}$ ${\displaystyle E\to X_{sm}}$ ${\displaystyle X_{sm}\hookrightarrow X}$ ${\displaystyle G_{i}}$ $${\displaystyle K^{0}(X)\to K_{0}(X)}$$ ${\displaystyle {\text{lcm}}(|G_{1}|,\ldots ,|G_{k}|)^{n-1}}$ ${\displaystyle n=\dim X}$

K₀滑らかな射影曲線の

滑らかな射影曲線の場合、グロタンディーク群は のピカール群 に対してである。これは、代数 K 理論 のBrown-Gersten-Quillen スペクトル列^{[12] pg 72}から従う。体上の有限型の 正則スキームの場合、余次元点の集合、つまり余次元 のサブスキームの集合と、サブスキームの代数関数体 の収束スペクトル列が存在する。このスペクトル列は、 の Chow 環に対して^{[12] pg 80 の}特性を持ち、本質的に の計算を与える。 には余次元点がないので、スペクトル列の唯一の非自明な部分は であり、したがって で ある点に注意する。その後、コニヴォー濾過を使用して を目的の明示的な直和として 決定することができる。これは 、左側の項が に同型で、右側の項が に同型である正確な列を与えるからである。なので、上アーベル群の列は を分割し、同型性を与える。 が上の種数 の滑らかな射影曲線である場合、 となることに注意されたい 。さらに、孤立した特異点に対する導来圏を用いた上記の手法は、孤立したコーエン＝マコーレー特異点にも拡張でき、任意の特異代数曲線のグロタンディーク群を計算する手法が得られる。これは、縮約によって一般的に滑らかな曲線が得られ、すべての特異点がコーエン＝マコーレーであるためである。 ${\displaystyle C}$ $${\displaystyle K_{0}(C)=\mathbb {Z} \oplus {\text{Pic}}(C)}$$ ${\displaystyle C}$ $${\displaystyle E_{1}^{p,q}=\coprod _{x\in X^{(p)}}K^{-p-q}(k(x))\Rightarrow K_{-p-q}(X)}$$ ${\displaystyle X^{(p)}}$ ${\displaystyle p}$ ${\displaystyle x:Y\to X}$ ${\displaystyle p}$ ${\displaystyle k(x)}$ $${\displaystyle E_{2}^{p,-p}\cong {\text{CH}}^{p}(X)}$$ ${\displaystyle X}$ ${\displaystyle K_{0}(C)}$ ${\displaystyle C}$ ${\displaystyle 2}$ ${\displaystyle E_{1}^{0,q},E_{1}^{1,q}}$ $${\displaystyle {\begin{aligned}E_{\infty }^{1,-1}\cong E_{2}^{1,-1}&\cong {\text{CH}}^{1}(C)\\E_{\infty }^{0,0}\cong E_{2}^{0,0}&\cong {\text{CH}}^{0}(C)\end{aligned}}}$$ ${\displaystyle K_{0}(C)}$ $${\displaystyle 0\to F^{1}(K_{0}(X))\to K_{0}(X)\to K_{0}(X)/F^{1}(K_{0}(X))\to 0}$$ ${\displaystyle {\text{CH}}^{1}(C)\cong {\text{Pic}}(C)}$ ${\displaystyle CH^{0}(C)\cong \mathbb {Z} }$ ${\displaystyle {\text{Ext}}_{\text{Ab}}^{1}(\mathbb {Z} ,G)=0}$ ${\displaystyle C}$ ${\displaystyle g}$ ${\displaystyle \mathbb {C} }$ $${\displaystyle K_{0}(C)\cong \mathbb {Z} \oplus (\mathbb {C} ^{g}/\mathbb {Z} ^{2g})}$$

アプリケーション

仮想バンドル

グロタンディーク群の有用な応用の一つは、仮想ベクトル束を定義することである。例えば、滑らかな空間の埋め込みがある場合、短い完全列が存在する。 ${\displaystyle Y\hookrightarrow X}$

${\displaystyle 0\to \Omega _{Y}\to \Omega _{X}|_{Y}\to C_{Y/X}\to 0}$

ここではにおけるの余法線束である。特異空間が滑らかな空間に埋め込まれている場合、仮想余法線束を次のように定義する。 ${\displaystyle C_{Y/X}}$ ${\displaystyle Y}$ ${\displaystyle X}$ ${\displaystyle Y}$ ${\displaystyle X}$

${\displaystyle [\Omega _{X}|_{Y}]-[\Omega _{Y}]}$

仮想束のもう一つの有用な応用は、空間の交差の仮想接束の定義である。滑らかな射影多様体の射影部分多様体を とする。すると、それらの交差の仮想接束を次のように 定義できる。${\displaystyle Y_{1},Y_{2}\subset X}$ ${\displaystyle Z=Y_{1}\cap Y_{2}}$

${\displaystyle [T_{Z}]^{vir}=[T_{Y_{1}}]|_{Z}+[T_{Y_{2}}]|_{Z}-[T_{X}]|_{Z}.}$

コンツェビッチはこの構文を彼の論文の一つで使用している。^[13]

チャーン文字

チャーン類は、空間の位相的K理論からその有理コホモロジー（の完備化）への環の準同型を構成するために用いることができる。直線束Lに対して、チャーン指標chは次のように定義される 。

${\displaystyle \operatorname {ch} (L)=\exp(c_{1}(L)):=\sum _{m=0}^{\infty }{\frac {c_{1}(L)^{m}}{m!}}.}$

より一般的には、直線束の直和が第一チャーン類である場合、チャーン指標は加法的に定義される。 ${\displaystyle V=L_{1}\oplus \dots \oplus L_{n}}$ ${\displaystyle x_{i}=c_{1}(L_{i}),}$

${\displaystyle \operatorname {ch} (V)=e^{x_{1}}+\dots +e^{x_{n}}:=\sum _{m=0}^{\infty }{\frac {1}{m!}}(x_{1}^{m}+\dots +x_{n}^{m}).}$

チャーン指標は、テンソル積のチャーン類の計算を容易にするため、特に有用である。チャーン指標は、ヒルツェブルッフ・リーマン・ロッホの定理において用いられる。

同変K理論

同変代数K理論は、 QuillenのQ構成を介して、線型代数群の作用を持つ代数スキーム上の同変連接層のカテゴリに関連付けられた代数K理論である。したがって、定義により、 ${\displaystyle \operatorname {Coh} ^{G}(X)}$ ${\displaystyle X}$ ${\displaystyle G}$

${\displaystyle K_{i}^{G}(X)=\pi _{i}(B^{+}\operatorname {Coh} ^{G}(X)).}$

特に、は のグロタンディーク群である。この理論は1980年代にRWトーマスンによって発展した。^[14]具体的には、彼は局所化定理などの基本定理の同変類似を証明した。 ${\displaystyle K_{0}^{G}(C)}$ ${\displaystyle \operatorname {Coh} ^{G}(X)}$

参照

• ボット周期性
• KK理論
• KR理論
• コホモロジー理論の一覧
• 代数的K理論
• 位相的K理論
• 演算子K理論
• グロタンディーク・リーマン・ロッホの定理

注記

1. アティヤ、マイケル(2000). 「K理論の過去と現在」. arXiv : math/0012213 .
2. パーク、エフトン (2008).複素位相K理論. ケンブリッジ: ケンブリッジ大学出版局. ISBN 978-0-511-38869-9. OCLC  227161674。
3. グロタンディーク。 「SGA 6 - 適切なスキーマ代数における交差の形式主義」。 2023-06-29 のオリジナルからアーカイブされました。2020年10月20日に取得。
4. カロウビ、2006年
5. Ruben Minasian (http://string.lpthe.jussieu.fr/members.pl?key=7)、およびGregory Moore著「K-theory and Ramond–Ramond Charge」。
6. Efimov, Alexander I. (2025-02-06)、K理論と大規模カテゴリの局所的不変量、arXiv : 2405.12169
7. 「双対数上の射影空間のグロタンディーク群」. mathoverflow.net . 2017年4月16日閲覧。
8. 「kt.k理論とホモロジー - 双対数上の射影空間のグロタンディーク群」MathOverflow . 2020年10月20日閲覧。
9. マニン、ユリ I (1969-01-01)。 「代数幾何学における K 関数の講義」。ロシアの数学的調査。24 (5): 1– 89。書誌コード:1969RuMaS..24....1M。土井：10.1070/rm1969v024n05abeh001357。ISSN  0036-0279。
10. “ag.algebraic geometry - 重み付き射影空間の代数グロタンディーク群は有限生成か？” MathOverflow . 2020年10月20日閲覧。
11. Pavic, Nebojsa; Shinder, Evgeny (2021). 「K理論と商特異点の特異点圏」Annals of K-Theory . 6 (3): 381– 424. arXiv : 1809.10919 . doi :10.2140/akt.2021.6.381. S2CID  85502709.
12. Srinivas, V. (1991).代数的K理論. ボストン: Birkhäuser. ISBN 978-1-4899-6735-0. OCLC  624583210。
13. Kontsevich, Maxim (1995), 「トーラス作用による有理曲線の列挙」,曲線のモジュライ空間 (Texel Island, 1994) , Progress in Mathematics, vol. 129, Boston, MA: Birkhäuser Boston, pp.  335– 368, arXiv : hep-th/9405035 , MR  1363062
14. チャールズ・A・ワイベル、ロバート・W・トーマソン（1952–1995）。

参考文献

• アティヤ、マイケル・フランシス(1989). K理論. アドバンスト・ブック・クラシックス (第2版).アディソン・ウェスレー. ISBN 978-0-201-09394-0. MR  1043170。
• フリードランダー, エリック; グレイソン, ダニエル編 (2005). K理論ハンドブック. ベルリン, ニューヨーク:シュプリンガー・フェアラーク. doi :10.1007/978-3-540-27855-9. ISBN 978-3-540-30436-4. MR  2182598。
• パーク、エフトン (2008).複素位相K理論. ケンブリッジ高等数学研究. 第111巻. ケンブリッジ大学出版局. ISBN 978-0-521-85634-8。
• スワン, RG (1968).代数的K理論. 数学講義ノート. 第76巻.シュプリンガー. ISBN 3-540-04245-8。
• カロウビ、マックス(1978). K理論入門. 数学の古典. シュプリンガー出版. doi :10.1007/978-3-540-79890-3. ISBN 0-387-08090-2。
• カロウビ、マックス(2006). 「K理論 初等入門」. arXiv : math/0602082 .
• ハッチャー、アレン(2003).「ベクトル束とK理論」
• ワイベル、チャールズ(2013). 『Kブック：代数的K理論入門』 . 大学院数学研究. 第145巻. アメリカ数学会. ISBN 978-0-8218-9132-2。

外部リンク

• グロタンディーク・リーマン・ロッホ
• マックス・カルービのページ
• K理論プレプリントアーカイブ