グロダンディークの夢－トポスと正多面体

**Sascha Schapiro** · 2020/07/25(土) 09:28:31.60

本スレッドは、グロタンディークが上げた12テーマについて語る

１．位相的テンソル核と核型空間
２．"連続"と"離散"の双対性　(導来圏と六つの演算)
３．グロタンディーク‐リーマン・ロッホの定理の一般化 (K-理論、交叉理論との関係)
４．スキーム
５．トポス
６．l-進エタール・コホモロジー
７．モチーフとモチヴィック・ガロア群
８．クリスタルとクリスタリンヌ・コホモロジー
９．トポロジー代数、∞-園、"デリヴァトゥール"("dérivateurs") (新しいホモトピーによるトポスのコホモロジーによる定式化)
１０．穏和トポロジー
１１．遠アーベル幾何学、ガロア・タイヒミュラー理論
１２．正多面体と正規配位図形のスキーム的、数論的な観点からの研究

**１３２人目の素数さん** · 2020/08/02(日) 14:33:55.22

ホッジ標準予想

ホッジ標準予想はホッジ指数定理(Hodge index theorem)上でモデル化された。
ホッジ標準予想は、原始的代数的コホモロジー類上のペアのカップ積の定値性
（正値性と負値性が次元に従い変化する）のことを言っている。
もし定値性が成り立つと、レフシェッツ予想が、予想 Dを意味する。
標数が 0 のときには、ホッジ理論の結果、ホッジ標準予想が成立する。
正の標数のとき、ホッジ標準予想は曲面の場合のみしか知られていない。

ホッジ標準予想は、
C 上の滑らかな射影多様体に対し、
全ての有理 (p, p)-クラスは代数的である
というホッジ予想とは異なるので、混乱しないでほしい。

ホッジ予想は標数が 0 の体の上の多様体の予想 D と
レフシェッツの定理とを含んでいる。

テイト予想は、すべての体上のℓ-進コホモロジーの
レフシェッツの定理、キネットの公式、予想 D を含んでいる。

**１３２人目の素数さん** · 2020/08/02(日) 14:41:17.71

モチーフの理論は標準予想だけでは終わらない
コンヌやコンツェビッチが思想を広げて射程すらよくわからなくなってきてるな

**１３２人目の素数さん** · 2020/08/02(日) 14:57:49.13

>>99
それは結構　ぜひコンヌやコンツェビッチの仕事も紹介して下さい

**１３２人目の素数さん** · 2020/08/02(日) 16:36:33.99

正多面体ってたしか5種類しかないよね
ここになんか豊かな理論があるの？
誰か3行で説明してくれ

**１３２人目の素数さん** · 2020/08/02(日) 16:39:46.04

実際には、正多面体以外の正規配位図形も含まれるらしい

双曲平面上の配置まで考えれば無限に存在するのではないでしょうか？

**１３２人目の素数さん** · 2020/08/02(日) 17:19:57.40

>>96
Kunnethのことをキネットって呼ぶ人初めて見た
と思ったらwikiはそう呼んでるのね
キュネスとかクヌースとかが多い印象

**１３２人目の素数さん** · 2020/08/02(日) 17:30:18.06

>>103
>>96の元はウィキペディアの記述です

Ku"nneth自身はドイツ人なので現地の発音は「キュネット」でしょう
https://en.wikipedia.org/wiki/Hermann_K%C3%BCnneth

**１３２人目の素数さん** · 2020/08/02(日) 19:10:38.24

>>102
正規配位図形が何かわからん
定義教えて

**１３２人目の素数さん** · 2020/08/02(日) 19:20:09.58

>>104
なるほど、ありがとうございます

**１３２人目の素数さん** · 2020/08/02(日) 21:36:40.05

球面にランダムにドット振ってもけっきょく不動点できちゃうのと関係ある？。

**１３２人目の素数さん** · 2020/08/03(月) 16:33:05.80

滑らかな無限小解析

滑らかな無限小解析（英: Smooth infinitesimal analysis、SIA）は
無限小の言葉を用いた微分積分学の現代的な再定式化（のひとつ）である。

ウィリアム・ローヴェアのアイデアに基づき、また圏論の手法を用いることで、
SIAは全ての関数は連続であって、離散的実体を用いて表現することができないものと見做す。
SIAは理論としては総合微分幾何の一部である。

**１３２人目の素数さん** · 2020/08/03(月) 16:43:01.94

総合微分幾何学
https://en.wikipedia.org/wiki/Synthetic_differential_geometry

数学では、総合微分幾何学は、微分幾何学の理論を
トポス理論の言語で形式化したものである。
このような再構成を可能にするいくつかの洞察がある。
第一に、滑らかな多様体のクラスを記述するための解析データのほとんどは、
多様体上の特定のファイバー束、すなわちジェット束に符号化できる
ということである。
第二の洞察は、滑らかな多様体にジェット束を割り当てる操作は、
本質的に汎関数であるということです。
第三の洞察は、ある圏上では、これらは表現可能な関手であるということである。
さらに、それらの代表は二重数の代数に関連しているので、
滑らかな無限小解析が使用される可能性があります。

総合微分幾何学は、微分幾何学の概念を定式化するための
プラットフォームとして機能します。
例えば、自然（不変）であることの意味は、
古典的な微分幾何学での定式化は非常に難しいかもしれませんが、
特に簡単な表現を持っています。

**１３２人目の素数さん** · 2020/08/03(月) 16:48:47.62

ジェット束
https://en.wikipedia.org/wiki/Jet_bundle

微分位相幾何において、ジェット束は、与えられた平滑なファイバー束から
新たな平滑なファイバー束を作るある種の構造である。
これにより、ファイバー束の断面上の微分方程式を
不変形で書くことが可能になります。
ジェットはまた、テイラー展開の座標自由版として見られることもある。

歴史的には、ジェット束はシャルル・エレスマンによるものであり、
新たに導入された形式変数に微分形式の条件を課すことで、
高次導関数を幾何学的に扱うというエリー・カルタンの方法（延長）を
発展させたものである。
ジェット束は、時にはスプレーと呼ばれていますが、
スプレーは通常、より具体的には、対応するバンドルに誘導された
関連するベクトル場を参照してください
（例えば、フィンスラー多様体上の測地線スプレー）。

1980年代初頭から、ジェット束は写像の導関数に関連する現象、
特に変分法に関連する現象を簡潔に記述する方法として登場した。
その結果、ジェット束は現在、幾何学的共変場理論のための
正しい領域として認識されており、このアプローチを用いた
場の一般相対論的定式化では多くの研究が行われている。

**１３２人目の素数さん** · 2020/08/05(水) 14:55:29.84

SKETCH OF A PROGRAMME　by Alexandre Grothendieck
https://webusers.imj-prg.fr/~leila.schneps/grothendieckcircle/EsquisseEng.pdf

Summary:
1. Preface.
2. A game of “Lego-Teichm¨uller” and the Galois group Q over Q.
3. Number fields associated to a child’s drawing.
4. Regular polyhedra over finite fields.
5. Denunciation of so-called “general” topology, and heuristic reflections
towards a so-called “tame” topology.
6. “Differentiable theories” (`a la Nash) and “tame theories”.
7. Pursuing Stacks.
8. Digressions on 2-dimensional geometry.
9. Assessment of a teaching activity.
10. Epilogue.

**グロタンの見果てぬ夢ーモチーフ** · 2020/08/05(水) 21:15:33.95

保型形式に対しモチーフを対応させることができる
ラングランズは保型表現の全体からなる圏を考えて
ある群の表現圏と同値になるようなものを想定した
その群はラングランズ・ガロア群と呼ばれているけど
話を逆にたどって、ラングランズ・ガロア群の表現
こそがモチーフなのだ、と考えたらどうだろうか
というわけで、ラングランズ・ガロア群の正体を
まずは明らかにする必要があるな、という妄想です

**１３２人目の素数さん** · 2020/08/05(水) 21:28:06.55

ところが実はそう単純な話でもないのである

**１３２人目の素数さん** · 2020/08/06(木) 17:22:48.74

＞１２．正多面体と正規配位図形のスキーム的、数論的な観点からの研究

これって「マッカイ対応」に関係した話？

**グロタンの見果てぬ夢ーモチーフ** · 2020/08/09(日) 17:31:12.86

そもそもモチーフなどというものは、グロタンの空想から湧き
出たもので、実際にはそんなものは存在しないのかもしれない
例えば、一元体上の絶対数学などが研究されてるわけだけども
実際には一元からなる体など存在しないし、一元体上定義された
代数多様体やらスキームなどの圏があるというわけでもない
数値的同値とホモロジカル同値が一致するといったような標準
予想も成り立っていない可能性があるし、そこに存在するのは
ガロア加群とL関数だけだよという、そんな妄想を抱いています

**１３２人目の素数さん** · 2020/08/09(日) 18:09:43.85

モチーフとはようするにヴェイユ予想の普遍性なんだろ?
一例だけでも証明されてるからその範囲では成立してるが
より広範囲ってことなんだろ?

**１３２人目の素数さん** · 2020/08/09(日) 18:12:45.19

>>115
創造的な（誤ってるかもしれない）仮説ってのもいいんじゃないか？

**１３２人目の素数さん** · 2020/08/09(日) 18:15:08.40

望月新一も「ＡＢＣ予想解いた！」とかいうんじゃなくて
あくまで創造的な仮説としてＩＵＴを提案できたらよかった

ただ、グロタンディクやティッツほどのセンスはなかったようだが

**１３２人目の素数さん** · 2020/08/09(日) 18:20:24.87

とりあえず広範囲、あらゆる場合ではなくて
実数のリーマン予想でモチーフ理論(の証明)が成り立つということでいいのかと

**１３２人目の素数さん** · 2020/08/09(日) 18:24:48.70

>>116
普遍性といっときながら、自分をそれを無視してるが
普遍性は証明されてないが、ヴェイユ予想は証明されてる状態か
現行構成が理想的なやつかどうかをわからないし

**１３２人目の素数さん** · 2020/08/09(日) 18:30:24.02

モチーフがなんなのか、なにが嬉しいのかがよく分かってはいないが
ダイレクトサム、プロダクトみたいな極限的な考えで、
コホモロジー論の親玉みたいのがつねに存在しヴェイユ予想が成立しているというやつでいいのか

**１３２人目の素数さん** · 2020/08/09(日) 23:04:04.47

>>121
何が嬉しいかははっきりしている
代数多様体を全て「すっきり」計算できることだ
単にヴェイユ予想が成り立つかどうかではなく、良いコホモロジー理論があるからヴェイユ予想が
すっきり特徴付けされるとも言える
一つのポイントは、代数体のl進コホモロジーがどう理解されるかだろう
有限体と違い一般のエタールコホモロジーは良いモチーフの性質を必ずしも満たさないように見られるので、
むしろはなからモチーフ理論的な観点を利用し、数論的なコホモロジーをはっきり捉えることが期待される

**１３２人目の素数さん** · 2020/08/10(月) 22:49:05.30

Motivic cohomologyとモチーフって直接関係あるの？

**１３２人目の素数さん** · 2020/08/11(火) 22:08:53.28

Ext部分とウィキペディアに書いてあるじゃん
K理論やチャウ群を使って代数的サイクルの拡大を定式化する場合に該当するのがモチーフ的コホモロジーだから
モチーフ理論の本質的な要素ということ

**１３２人目の素数さん** · 2020/08/12(水) 00:00:49.02

コホモロジーとホモロジーの関係が
Ext 依存なのなんとなくわかった気がするんだが、これ射影空間だと、ねじれ部分は無視できるということ？

**１３２人目の素数さん** · 2020/08/12(水) 07:07:40.29

ホモロジー、コホモロジーではないとおもうぞ
ざっくり調べてみたところ
ざっくりいってモチーフが全体で、モチビックコホモロジーが個々で等式等で必要なものでは?
ざっくりいって圏と射の関係では

**１３２人目の素数さん** · 2020/08/12(水) 07:09:35.42

ちがってて射はfunctorかもしらない

**１３２人目の素数さん** · 2020/08/22(土) 00:19:12.13

スキームは好きか

**１３２人目の素数さん** · 2020/09/09(水) 23:07:25.98

スキームは空きー無

2021/03/17(水) 13:55:25.86

色川高志（葛飾区青戸６－２３－２１ハイツニュー青戸１０３）
●色川高志「高添沼田の息子の金属バット集団殴打撲殺を熱望します」
龍神連合五代目総長・高添沼田の息子（葛飾区青戸６－２６－６）の挑発
●高添沼田の息子「糞関東連合文句があったらいつでも俺様を金属バットで殴り殺しに来やがれっ!! 糞関東連合の見立・石元・伊藤リオンの糞野郎どもは
龍神連合五代目総長の俺様がぶちのめしてやるぜっ!! 賞金をやるからいつでもかかって来いっ!!　糞バエ関東連合どもっ!! 待ってるぜっ!!」(挑戦状)

492盗聴盗撮犯罪者色川高志（青戸６－２３－２１ハイツニュー青戸１０３2021/02/03(水) 13:53:22.55ID:QtP78E4Z
●青戸六丁目被害者住民一同「盗聴盗撮犯罪者の高添沼田ハゲエロ老義父の逮捕を要請します」
長木親父＆長木よしあき（盗聴盗撮犯罪者の高添沼田ハゲエロ老義父を逮捕に追い込む会＆被害者の会会長）住所＝東京都葛飾区青戸6－23－20
●盗聴盗撮つきまとい嫌がらせ犯罪者／アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父
高添沼田ハゲエロ老義父の住所＝東京都葛飾区青戸6－26－６
【通報先】亀有警察署＝東京都葛飾区新宿4ー22ー19　℡０３ー３６０７ー０１１０

盗聴盗撮つきまとい嫌がらせ犯罪者／アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父の盗聴盗撮つきまとい嫌がらせ犯罪者／愛人変態メス豚家畜清水婆婆（青戸6－23－19）の
五十路後半強制脱糞
http://img.erogazou-pinkline.com/img/2169/scatology_anal_injection-2169-027.jpg
アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父によりバスタブで清水婆婆の巨尻の肛門にシャワーのキャップをはずしてずっぽり挿入。

**１３２人目の素数さん** · 2021/11/27(土) 13:13:07.45

〔問題〕
ある4面体は、どの2面も同じ角度(二面角)で交わっています。
これはどんな4面体でしょうか。

**１３２人目の素数さん** · 2022/11/17(木) 04:04:32.59

難しそう…

**１３２人目の素数さん** · 2023/03/11(土) 21:30:04.51

>>1
穏和トポロジーって何？

**１３２人目の素数さん** · 2023/03/11(土) 23:30:06.55

ホモトピー代数では?

**１３２人目の素数さん** · 2023/03/12(日) 12:05:50.32

>>1
核型空間ってグロタン以降発展してるのけ？

**１３２人目の素数さん** · 2023/04/03(月) 06:43:41.27

>>L-関数に関するBeilinson-Bloch予想

デデキントのζ関数のs=0における主要項の記述を
一般化したもの