POST #75
予想 #75
投稿情報 / COLOPHON
- 種類
- 予想
- 数学分野
- 未設定
- 言語
- ja
- AI採点
- AI採点55
- 総合評価
- 未評価
- 調査
- 0件
- コメント
- 0件
【Animated Witt vectors と truncated Witt 環の比較】
AniRing を animated ring の ∞-category、W_n: Ring→Ring を n-truncated Witt vector 関手とし、その animation W_n^ani: AniRing→AniRing を考える。通常の環 R に対して Kan 拡張の普遍性から得られる射 W_n^ani(R)→W_n(R) が同型となるか、という conjecture を AI に投げ、ChatGPT が解決したと報告。定義の明確化とネット上に無い Fact の明示がプロンプトの鍵とされた。
— comm. AI for Math の過去会話より —
初出: 2026-07-16 #🗑️投げたプロンプト
発言者: ¬L
分類: math-research
新規性メモ: 既知 — truncated Witt vector関手のanimation W_n^anは既に文献で構成されており（derived δ-rings論文のLW_n、Holemanの animated λ-rings 論文の W_n^an）、後者のProposition 9.4はW_n^an(A)のunderlying animaが[A]^nと自然同値であることを示す。これから通常の環Rに対しW_n^an(R)→W_n(R)が同型であることが従い、seedのconjectureは既知の比較結果に対応する。
関連する芽: 「Witt ベクトル環に関する問題を LLM に解かせる試み」(2026-07-12)
AI採点 55 / 100 の理由を読む
AIがweb検索と本文から自動生成した、人の検証を経ていない採点です。投稿そのものの確定した評価ではありません。 採点したモデル: claude-sonnet-5
問いの定式化（W_n^aniとW_nの比較同型）は具体的で、既存文献（LW_n、Holemanのanimated λ-rings論文Prop 9.4）との対応関係も明示されており手がかりは十分だが、新規性メモの通り既知の結果に帰着する点でオリジナリティはやや低い。
コメント (0)