表現論のtopos的逆数学

## Trigger Notion「研究テーマ」DBの `(数理の後輩) A topos theoretic view of Representation theory / Dynkin topos project`（優先度★★★★、進行状況 ●○○、共著 Hisashi Aratake・Ivan Tomasic・Kuroki・Yiqi）から瓶化した。 既存の [[jedtmj]]（Dynkin topos構想）は chatgpt との会話由来の単独の構想で、共著者が記録されていない。こちらは後輩たちとの共同プロジェクトとして別に立てる（洞の判断）。以下は Notion 本文にある洞自身のメモの範囲にとどめる。 ## Idea メインアイデアは、次の二つが対応するというものである。 - （学部1年の）線形代数について、構成可能数学を土台に逆数学を展開すること - 各種の表現論（群、モノイド、quiver、圏など）や、ベクトル空間の層の圏に関する性質の分類 すなわち「構成可能数学でどのくらい線形代数が展開できるか」という問いは、「表現論における定理がどのくらい成立するか」と密接に結びつくはずである。 具体的な対応の見立てとして次が挙げられている。 - 群の表現論は古典論理に対応する。では \(\mathbb N\) の表現論は何に対応するか - complete reducibility は ambient topos が boolean であることに対応するのではないか - Dynkin 図形に対して、Gabriel の定理を通した論理的な対応物があれば最高 対象を広げる方向として、profinite 群の表現、位相空間上の層の圏、そして Galois 表現が挙がっている。 ## Goal 表現論の各定理を、それが成立する ambient topos の論理的性質によって分類する。（Notion のメモに明示された Goal ではなく、上の Idea から立つ自然な目標として書いた。） ## Personal context [[jedtmj]] は Gabriel の定理を internal linear algebra として読む構想で、[[d8q3wc]]（LSC classification and Gabriel's theorem）がその親にあたる。本瓶はそれを「線形代数の逆数学」という広い枠へ置き直し、共同プロジェクトとして進めるものである。 hora-tex には関連する草稿として `overleaf/A topos theoretic view of Gabriel's theorem` と `papers/topos-view-gabriels-theorem` がある。後者の registry での readiness は `idea_archive`、authorship_status は `authorship_unclear_in_progress`。 ## 訂正（2026-08-16） 本文で Hisashi Aratake・Ivan Tomasic・Kuroki・Yiqi を「共著」と書いたのは誤りである。Notion の `coresearcher` 欄の記載をそのまま共著と解釈したが、洞の確認により、この欄は共著者・議論した相手・謝辞に載せる人を区別せず含むことが分かった。**この4名は議論した相手であり、論文の著者に名を連ねる関係ではない。** ## 数学的訂正（2026-08-27・独立検証2件つき） Idea 節の見立て「complete reducibility は ambient topos が Boolean であることに対応するのではないか」は、**両方向とも反例で否定される**（2026-05-05 の ChatGPT 会話「最初の論考」で得られ、Claude Opus 5 と GPT 系 codex の独立検証 2 件で確認済み。ADR-0018 quorum）。 - Boolean ⇒ 完全可約 の反例: \(G=C_p\), \(k=\mathbb F_p\)。\(\mathrm{PSh}(BG)\) は Boolean（groupoid 上の presheaf topos）で、内部文 Split\(^{\mathrm{loc}}\)（全射線型写像の分裂の Mitchell–Bénabou 解釈）も満たすが、\(\mathbb F_p[C_p]\cong\mathbb F_p[x]/((x-1)^p)\) は nilpotent ideal を持ち \(\mathrm{Rep}_{\mathbb F_p}(C_p)\) は semisimple でない。 - 完全可約 ⇒ Boolean の反例: \(M=\{1,e\}\), \(e^2=e\)。\(kM\cong k\times k\) は semisimple だが \(M\) は群でないので \(M\text{-Set}\) は Boolean でない。 より強く、\(G\)-Set では忘却関手 \(U:G\text{-Set}\to\mathrm{Set}\) が logical かつ conservative なので、内部の higher-order 文の充足は underlying の古典線型代数と完全に一致し、**外部完全可約性は通常の内部文では原理的に表せない**（局所性による。global-sections modality を足した拡張言語は除く）。Maschke が出るのは論理からではなく、内部スカラー環側の \(|G|^{-1}\in k\) と有限平均化からである。 残る正方向: - 局所完全可約性の slice 特徴づけ: \(\mathrm{PSh}(C)\models\mathrm{Split}^{\mathrm{loc}}\iff\) 任意の \(c\) で \([(C/c)^{\mathrm{op}},\mathrm{Vect}_k]\) が semisimple。 - 「内部の非自明な体上、有限生成加群は基底を持つ」を要求すると内部排中律が導かれる（\(I_p=\{x\in\mathbb F_2\mid x=0\vee p\}\) と \(\mathbb F_2/I_p\) による）。線形代数の逆数学の最初のマイルストーン。 - Conjecture 4–7 系（Krull–Schmidt の構成的成立、Dynkin 図形をちょうど特徴づける論理的公理 Ax の存在）は本訂正の影響を受けず生存。