སོ་ཁ་

toposはよくなくてsiteが大事なのかもしれない

@Alwe_Logic preprints.ihes.fr/storage/Galois… これに書いてあるっぽい

@haru_mathphys モデル理論の結果で全範疇的な概強極小な理論は擬有限公理化可能という定理なんですが、その証明の大枠はモデルのAutの位相群構造の分類みたいなことと、そこから理論に対する情報を復元するconceptual completenessっぽいところがあるなぁという気持ちになっています

Ahlbrandt–Zieglerの結果ってトポス理論的な解釈できないかなぁと思っているんだけど、トポス力が私に足りていない。やはりtopological Galois theoryを勉強する必要があるんだよな

葉廣環の機運

chatgptにこの論文のここの証明を教えてって言ったら元論文を超える証明を出してきた

高木レクチャーにClausen来るのアツすぎる

hypersheafとsheafの差に苦しんでる

@quasi_cosmoi へー 論文直は見たことない

学会とか修論発表でスライドを使わずhtmlで発表って許されるのかな

専門を博士でもこのまま継続すべきなのか悩んでいる

人生あるある: 金がない

無職転生本当に面白すぎる 最高のアニメ

@Galois_sk こちらこそよろしく〜

@haru_mathphys 班分け見て驚いた よろしくねー

p進幾何班、ほとんど知っている人で構成されている

絶対数学の機運が高まってきた

@Alwe_Logic smooth setでは駄目でdiffeological spaceにしないとまわらないことってあるんですか？

そもそもsmooth setでは駄目でdiffeological spaceにしないとまわらないのがどういうところにあるのかあんまり分かっていない (つまりconcretenessが本質なところ) 。まあ素朴には具体的な定義ができているところがdiffeological spaceが扱い安い理由にはなっているのだろうけど。

Zariski main theoremの証明わからねぇ... 論理は追えるけど直感が全く生えない...

@yotsunva あー、なるほど。(セミナーでそんな話を聞いたような気もする) ありがとうございます。

@haru_mathphys この entailment に ¬a という命題を追加して公理 a,¬a ⊢ , ⊢ a,¬a を追加しても保存拡大になります。a, ¬a を a=0, a≠0 だと思うと、整域でできる議論は大体 ⊢ でできます。 さらに U,¬a ⊢_A V は U ⊢_{A[1/a]} V と同値なので、好きな非ゼロ元を可逆にしていくことができます。

"Revisiting Zariski Main Theorem from a constructive point of view"のこれの証明がわからない... なんで体に帰着できるんだ？

@yotsunva formal Nullstellensatzのちゃんとした主張ってなんですか？

@haru_mathphys （主張を読んでいないので嘘かもしれませんが）非構成的証明において A を素イデアルで割って商体を取って体に帰着するのであれば、その議論は実質的に構成的です（formal Nullstellensatz は ∩p=√0 の構成的なバージョンです）