名前　決まらない　対処法

Reference をよく見ていなかったんですが Intro 最後の項目 1 で引用されてる論文では Lichtenbaum が（number field の整数環に対し）Weil–étale topology というのを定義しているんですね……

condensed homotopy type の方は単に pro-étale topology でやっているから、π_1 として Weil group が出てくるようにするには何かしら別の topology を選んできて "Weil 版" を考えることになるのかもしれない

Weil–Moore anima の introduction を一通り見た condensed homotopy type の話と関係してたら面白いですね……

Clausen の単著はだいたい気になるし、Clausen が何を目指しているかは完全には知らないけど、自分の関心にかなり近い気がしている

最近読みたさが湧いていた論文に Clausen の duality のやつ（これ）があったんだけど、内容的にこれも関係していそうでより気になってきた arxiv.org/abs/2506.18174

Clausen の Weil anima が論文として出たらしいです（メモ） arxiv.org/abs/2605.11950

いわゆる arithmetic duality を Atiyah duality 的に解釈できたりしないのかなということが最近気になってる

ノート作ってたら新たなギャップを発見して厳しい 追加でさらに条件を課せば良いけど、課さなかったときの反例があるかがまた新たな問題に……

right multi-adjoint と local right adjoint と stable の関係完全に理解した

BSSW のやつは L_K(n) 𝕊 ≃ E_n^h𝔾_n の descent spectral sequence の E_2-term を Lubin–Tate tower と Drinfeld tower の同型を利用して（algebraic に）調べるという感じのことをしていて、ここの議論をスペクトル系列に落とす前の spectrum レベルで理解できたら嬉しい気持ち

Salch とか Ma–Zhu が Lubin–Tate tower の spectral な実現にあたるものを構成してるけど、それも solid に持っていけるのかな できたとして何に使えうるかはまだクリアな見通しはないけど、BSSW の rational K(n)-local sphere の計算の話を conceptual に（SAG 的に）理解できたりしたら良い話そう

本題も気になるし、Morava E-theory を solid 𝔼_∞-ring として構成してるところも気になる

最近 Clausen の Duality and linearization for p-adic Lie groups が気になってる

Stefanich は Stefanich ring のことを categorical ring と呼んでいるっぽくてうける

ここにあるノートめっちゃ良い antieau.github.io/workshops/2026…

Gemini が言ってたことが正しいことの確認がとれた　これで次回の発表のときに紹介できる……

ようやく理解

Diers I の最初の命題の証明でいきなり詰まっててきびしい

Λ²₁ には合成がないのに Λ²₁ → Δ² の straightening ができてしまう（？）っていうのがよくないのかな　あんまりちゃんと読んでない & 考えてないけど

simplicial HoTT では圏（Rezk type と呼ばれている）全体のなす type Cat が圏にならない、具体的には Cat が合成の一意性にあたる条件をみたさないらしいことがこれの section 3.8 に書いてあった　そうなんだ…… arxiv.org/abs/2604.18668