IUTを読むための用語集資料スレ2

[過去ﾛｸﾞ] IUTを読むための用語集資料スレ2 (489ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

409: １３２人目の素数さん [] 2024/05/06(月) 09:30:54.33 ID:Co8XPBRF

IUTとF1 その3

https://m-hiyama.はてなブログ.com/entry/20100707/1278464212
檜山正幸のキマイラ飼育記 (はてなBlog)
2010-07-07
モノイドだけで作る幾何空間 準備編

コンヌとコンサニの論文 "Characteristic 1, entropy and the absolute point" （ http://www.alainconnes.org/docs/Jamifine.pdf）を拾い読みすると、次のようなメッセージがあるように思えます。

掛け算があれば、足し算はなくてもいいんじゃないか
今まで可換環が担っていた役割を、吸収元付き可換モノイド（commutative monoid with absorbing element）で代用することがかなりの程度できるようです。ただし、足し算は冗長な概念だったということではなくて、足し算がない世界も存在し得るということです。そして足し算がない世界は、足し算がある世界とは様相が一変します。エキゾチックを超えてミステリアスな世界のようです*1。

以下では、モノイド演算は常に掛け算（乗法）とみなし、その吸収元をゼロと呼びます。足し算は考えないので、ゼロは足し算の中立元（単位元）ではなくて、掛け算により次のように特徴付けられる元です。

・任意のxに対して、x・0 = 0・x = 0

ゼロ付き可換モノイドの圏をCMoZ（Commutative Monoid with Zero から）と書くことにします。CMoZの射は、f(0) = 0 となるモノイド準同型です。（コンヌ／コンサニは、CMoZではなくMoという記法を使っています。）

ここでは、コンヌ／コンサ二に沿って、ゼロ付き可換モノイド概念だけから幾何空間（geometric space）を構成します。「空間」という言葉はやたらに色々な場面で使われるので、本来の幾何学的な空間を幾何空間と呼びます。幾何空間とは位相空間であって、座標や関数環（の類似）の概念を持つものです。デカルトの意味での解析幾何の対象物と言ってもいいかもしれません。

まだ定義はしていませんが、幾何空間の圏をGSと書きます。モノイドがベースなので、モノイド幾何空間または幾何モノイド空間（monoidal geometric space, geometric monoidal space）と呼ぶのが正式ですが、モノイド・ベースだと了解されているなら単に幾何空間とします。モノイド空間とは限らない場合は、「一般の幾何空間」と呼ぶことにします。

一般の幾何空間のアブストラクトナンセンスな定義
Cは圏で、その部分圏Lが与えられているとします。C=(可換環の圏)、L=（局所環の圏）が典型的な例です。圏Cの対象は、空間の上に棲んでいる関数達の集合を表現するモノです。部分圏Lの対象は特に、1点での関数芽の集合を表現するのに適したモノ、Lの射は1点の周辺の対応を記述するモノですね。茎や芽の概念を定義するために、圏Cでは、有向系（directed family of objects）の極限が取れる必要があります。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1606813903/409

410: １３２人目の素数さん [] 2024/05/06(月) 09:31:20.81 ID:Co8XPBRF

つづき

さて、(X, S)が(C, L)に値を持つ幾何空間であるとは：
1.Xは位相空間である。Xを、幾何空間の台空間（underlying (topological) space）と呼ぶ。
2.SはX上の層である。Sを、幾何空間の構造層（structure sheaf）と呼ぶ。
3.Xの点xにおける茎Sxは、部分圏Lの対象となる。
最後の条件は局所性（locality）条件と呼びます。Cの部分圏Lに属する対象は、空間の1点の状況を記述する目的のモノで、局所対象と呼びます。局所性条件は、空間の各点が実際に局所対象で記述できるということです。

C=(可換環の圏)、L=（局所環の圏）であるときが、通常の代数幾何のセッティングです。これ以外の状況を一般的に定義してもナンセンスな感じですが、可換環以外の例が少なくとも1つ（モノイドのケース）がある*2ので、一般的な定義を与えておきます。

モノイド・ベースの幾何空間
上の一般的な幾何空間の定義では、(C, L)がパラメータになっていました。(C, L)を具体化します。
・ベースとなる圏Cとして、CMoZを採用する。つまり、可換な掛け算ができて、0を持つような代数系とその準同型の圏です。
・Cの部分圏Lとして、対象はCMoZと同じで、可逆元の逆像がちょうど可逆元になるような準同型（後述）からなる圏をとる。
二番目の条件は次の意味です； f:M→N がCMoZの射だとして、M×, N×を可逆元の集合だとします。掛け算の単位1は可逆元なので、M×, N×は空ではありません。fが局所射だとは次が成立することです。

足し算と掛け算
ここまでの話は、やたらに一般的な枠組みを準備しただけで、「足し算が不要」とか「掛け算だけ」の内容には踏み込んでいません。「掛け算だけでOK」を実質的に示すには、可換な掛け算（とゼロ）だけを持つモノイドM（CMoZの対象）から、幾何空間 Spec(M) を実際に作る必要があります。Spec は関手になっていて、CMoZをGSに（反変的に）埋め込みます。

これが事実なら、可換モノイドは必ず何らかの幾何空間なのだ（控えめに言えば、「何らかの幾何空間から派生するものだ」）と言えます。

[追記]
圏GSは、グロタンディーク構成の良い例になっていますので、そのことを補足します。

位相空間X上の「圏Cに値をとる層」の圏をShf[X]とします。圏のベキ（指数）DCを[C, D]とも書くことにすれば、Shf[X] = ([Open(X), C]の適当な部分圏）です。連続写像 f:X→Y があると、層の押し出しは、f*:Shf[X]→Shf[Y] という関手を定義します。この状況は、（関手の反変・共変の違いを無視すれば）Shf[-] が位相空間の圏Topをベース圏とするインデックス付き圏（indexed category）であることを意味します。幾何空間の圏は、このようなインデックス付き圏から作ったグロタンディーク構成になっています。（「インデックス付き圏のグロタンディーク構成」を参照。）
(引用終り)
以上

http://rio2016.5ch.net/test/read.cgi/math/1606813903/410

413: １３２人目の素数さん [] 2024/05/06(月) 22:51:48.96 ID:Co8XPBRF

望月さんも、2003年ころは F1（一元体）による理論構築を考えていた
最終的には、圏論とモノイドが残った

https://ja.wikipedia.org/wiki/%E4%B8%80%E5%85%83%E4%BD%93
一元体
しばしば、一元体を F1 あるいは Fun[note 1] で表す
一元体上の数学は日本の黒川信重ら一部の数学者によって、絶対数学と呼ばれている
https://en.wikipedia.org/wiki/Field_with_one_element
Field with one element
Monoid schemes
Deitmar's construction of monoid schemes[25] has been called "the very core of F1‑geometry",[16] as most other theories of F1‑geometry contain descriptions of monoid schemes. Morally, it mimicks the theory of schemes developed in the 1950s and 1960s by replacing commutative rings with monoids.

https://www.kurims.kyoto-u.ac.jp/~motizuki/travel-japanese.html
望月新一 出張・講演
https://www.kurims.kyoto-u.ac.jp/~motizuki/Suuronteki%20log%20scheme%20no%20kenrontekihyouji%20kara%20mita%20daen%20kyokusen%20no%20suuron%20(Hokudai%202003-11).pdf
[10] 数論的log schemeの圏論的表示から見た楕円曲線の数論（北海道大学 2003年11月）
P1 F1上のキカが必要
　「属性方程式」 a∈aを解きたい
https://www.kurims.kyoto-u.ac.jp/~motizuki/taguchi-san-no-nooto.pdf
[9] 数論的 log scheme の圏論的表示　（九州大学 2003年7月）. 田口さんのノート
(引用開始)
P1
これは新しい幾何の世界への入口である。
但し、scheme論では上の等式によりaffine schemeを貼合せることが出来たが、
ここでは通常のscheme論を安易にまねて貼合せをするのではなく、
一般の圏を､圏同値を除いて､扱ふ
(つまり圏が基本的幾何的対象｡）
これをIU幾何( inter-universal geometry )と呼ぶ。
この様な新しい幾何的対象（圏）として､現在
次の二つのものが考へられてゐる：
(1) Loc*型圏（ここでは″F_1上のFrobenius"が定義出来る｡）
(2)分布版（これにより"F 1上の楕円曲線の族の分類射"が定義出来る｡）
略す
P2
別な言ひ方をすれば､分類射Loc*→M/F_1が出来た！
(引用終り)

https://アマゾン
ABC予想入門 ペーパーバック – 2018/2/16
黒川 信重 (著), 小山 信也 (著) ‎ PHP研究所
レビュー
susumukuni
5つ星のうち5.0 abc予想が映す現代数学の風景： 数学愛好者に薦められる超面白い一冊
2013年4月2日
本書の最大の魅力は、ゼータ関数論や絶対数学の開拓者であり唱道者でもある著者が、abc予想とゼータ関数に関する「リーマン予想」と「ラングランズ予想」、さらに楕円曲線と保型形式の数論との関わりを情熱的に語っている所にあると思う。
例えば、2.6「素数とリーマン予想」、2.7「リーマン予想と絶対数学」では、リーマン予想とラングランズ予想攻略への絶対数学の位置づけに関する著者の揺ぎない信念が語られており、非常に印象的である。
また、「望月氏の論文は、F1上の微分をF1上の小平・スペンサー写像として構成するところが最大の要点であり」とあり、壮大な数学宇宙の広がりを予見させてくれる。

http://rio2016.5ch.net/test/read.cgi/math/1606813903/413

上下前次 1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.023s