-
- いいね！0
どうでもいい前置き
ロールパンナちゃん
@__dingdongbell
@piano2683 使ってないです、アディック空間は位相空間です(古典的なリジッド幾何においては点を増やすのではなく位相を取り替えることで連結性の問題に対処していて、そこで位相空間ではむりでトポスを使うという話になる)
2016-08-23 11:28:06
ロールパンナちゃん
@__dingdongbell
@piano2683 数十年前の論文の概説講演をされていて、論文出版当時はアディック空間がなかったので古典的にやっている？らしくおそらくフォーマルスキームにトポスを考えているのだと思いますが、講演ではそれをすべて現代的にやっているのでトポスは登場しないということです。
2016-08-23 11:32:59
ロールパンナちゃん
@__dingdongbell
@piano2683 元々のリジッド解析空間って点を素朴に考えるんですけど、アディックでは点として付値を考えるんですよね。級数に値代入して元々の体の付値をとるというのでアフィノイド代数に自然に高さ1の付値ははいるので、これは元々の点概念の拡張になっています
2016-08-23 11:38:13
ロールパンナちゃん
@__dingdongbell
@piano2683 一般の付値なので飛躍的に点の数は増えていて、どういうのが増えててどういう形してるのかとかは全然わからないのですが。。。
2016-08-23 11:39:02
ロールパンナちゃん
@__dingdongbell
アディックが生まれるまでの正しい手続きを知らないのであれだし、ただアディック空間は位相空間で古典的なリジッド解析空間はトポスで、後者は扱いづらいとかそういうことだと思われ #SS2016
2016-08-23 11:43:20
ぴあのん
@piano2683
ちなみにだいたいのトポスは「空間上の層トポス」っぽい表現を持つから、その意味では考察しているトポスを扱いやすくするために“元の空間”を探すのは自然な流れに見える [ただし今回の場合にアディック空間からトポスが自然に作れて、それが古典的につくられたものと一致するかは知らないけど]
2016-08-23 11:57:59
H. Miyoshi (ALC Japan is rescheduled in 2025)
@metaphusika
@piano2683 そういえばJohnstoneがrealizability toposに批判的だったのは明確な特徴付けがなかったからなのですが，最近Freyが成功して動きがあるようですが，トポス新人類としてはどうお考えでしょう？ arxiv.org/abs/1403.3672
2016-08-23 13:16:52
H. Miyoshi (ALC Japan is rescheduled in 2025)
@metaphusika
@piano2683 先日のCTでも関連発表へのJohnstone御大の質問では相変わらず気に入らないようではありましたが，以前より当たりは柔らかくなっていたように感じました。
2016-08-23 13:25:40
ぴあのん
@piano2683
@metaphusika FreyはGro. toposの発展の流れに沿わせたいようなので、Moerdijkがやったようなトポスの2-（余）極限や新しい構成法の類似を調べるのが自然に思います。ただ、その研究が計算機科学的に意味のあるものになるかは、門外漢なのでわかりません。
2016-08-23 14:33:20