空閒上の函數環
ベーシック圏論 普遍性からの速習コース | Tom Leinster, 斎藤 恭司, 土岡 俊介 |本 | 通販 | Amazon p.27
代數は幾何の雙對である
多樣體の各點每に定義された環の集まりから、多樣體の情報を復元できる
作用素環論
作用素環論 - Wikipedia
函數解析
Isbell 雙對
Isbell duality - Wikipedia
Isbell duality in nLab
イズベル双対性 - 檜山正幸のキマイラ飼育記 (はてなBlog)
Isbell双対
$ \bf Cを$ \cal V-豐饒圈として、
$ ({\cal O}\dashv{\rm Spec}):({\cal V}^{\bf C})^{\rm op}\xtofrom[\rm Spec]{\cal O}{\cal V}^{{\bf C}^{\rm op}}
geometry in nLab$ {\cal O}(X):c\mapsto{\cal V}^{{\bf C}^{\rm op}}(X,{\bf C}(\_,c))
algebra in nLab$ {\rm Spec}(A):c\mapsto({\cal V}^{\bf C})^{\rm op}({\bf C}(c,\_),A)
dualizing object in nLab$ {\bf C}(\_,\_):{\bf C}^{\rm op}\times{\bf C}\to{\cal V}
Stone 雙對
ストーン双対性 - Wikipedia
Stone duality in nLab
ストーンの表現定理 - Wikipedia
Гельфанда 雙對
compact (位相) Hausdorff 空閒→Banacha 函數環 (單位的可換 C*-環)
バナッハ関数環 - Wikipedia
compact (位相) Hausdorff 空閒上の複素數値連續函數の全體$ \{f|f:X\to\Complex,fは連續\}は單位的可換 C*-環を成す
加法は點每の加法$ (f+g)(x):=f(x)+g(x)
乘法は點每の乘法$ (f\cdot g)(x):=f(x)\cdot g(x)
對合は複素共軛$ f^*(x):=(f(x))^*
規準 (norm)は上界$ |f|:=\sup\{|f(x)|~|x\in X\}
scalar 倍$ (zf)(x):=zf(x)を考へて多元環にもなる
單位的可換 C*-環に Зари́сского 位相を入れると compact (位相) Hausdorff 空閒になる
Гельфанда 變換
ゲルファント=ナイマルクの定理 - Wikipedia
Banacha 環
代數幾何→有理整數環$ \Z
非可換幾何→非可換環
非可換幾何 - Wikipedia
ジョン・フォン・ノイマンによる作用素環論の創始において既に、作用素環は量子力學的な物理量に對する「座標」をあたへるための系として用ゐられてゐる。その後ゲルファント・ナイマルクの定理などを通じて可換な作用素環が古典的な幾何學の對象に對應してをり、非可換な作用素環論にも數々の類似が存在することや、古典的な理論の枠組みでは病的とも見なされるやうな對象が非可換な作用素環によって取り扱へることが認識されるやうになった。
アラン・コンヌによる非可換幾何學の硏究で用ゐられた技法の一部はより古い理論、例へばエルゴード理論にたどることができる。閉部分群による商として得られる等質空閒への作用の類推から、任意のエルゴード的群作用を假想的な部分群と見なすといふジョージ・マッケイによる發想などが積極的に利用されてゐる。
http://pantodon.jp/index.rb?body=noncommutative_topology
代数幾何学と解析幾何学 - Wikipedia (GAGA)
Jean-Pierre Serre "Géometrie Algébrique et Géométrie Analytique" 1956