わかる質量終章・技術補遺⑨ ／ 4D・dS の舞台（Λ という一本のツマミ）

構想篇 ── 残った壁を「立たせるなら」どんな舞台か

4D・dS の舞台
Λ という一本のツマミ de Sitter では宇宙定数 Λ が三役を兼ねる ── 離散（q変形）・上限（地平線）・有限次元（打ち切り）。
そして CLPW の type II₁ は、有限 type I を \(\Lambda\to0\) で理想化した影。連続極限こそが type I を壊す犯人だった。

前提：補遺⑧（宇宙は type I か） 位置づけ：提案するアーキテクチャ ／ 建てた理論ではない

残った三点は補遺⑧で一本 ──〈領域代数は type I か〉── に凝縮しました。ではそれを立たせるなら、どんな舞台か。答えは意外にも 4次元の de Sitter（Λ>0）で、鍵は一つ：宇宙定数 Λ が、離散・上限・有限次元という三役を一本のツマミで兼ねる。しかも背骨の一箇所は厳密です ── CLPW が dS で得た type II₁ は、有限次元の type I を \(\Lambda\to0\) で理想化した影にすぎない。この補遺は、その設計図を一枚にします。ただし掟どおり ── これは提案するアーキテクチャであって「建てた理論」ではない。最後に自分で撃ちます。

01発想の転換 ── dS は「弱い舞台」でなく、Λ が三役を兼ねる舞台

補遺⑧では「ホログラフィーは AdS で強く、dS で最弱」と書いた。だが II→I の橋（離散A・上限B・有限C）を dS で見直すと逆でした ── Λ>0 が "有限リソース" そのもので、三役を兼ねる。

dS では上限 B が自動で出る（Λ の帰結）
$$A_{\rm dS}=\frac{12\pi}{\Lambda}=\frac{4\pi}{H^2},\qquad S_{\rm dS}=\frac{A_{\rm dS}}{4G}=\frac{3\pi}{G\Lambda}\ (\text{Gibbons–Hawking, 有限})$$

AdS で手で入れるしかなかった \(A_{\max}\) が、dS では宇宙定数の帰結として無料。Banks–Fischler：\(\dim\mathcal{H}_{\rm dS}=e^{S_{\rm dS}}\)（有限次元＝type I）。

02継ぎ手①（本命・厳密）── II₁ は 有限 I_N の Λ→0 極限そのもの

ここが背骨で、しかも確立した数学。超有限 type II₁ 因子は、定義からして有限行列環（type I）の極限です：

超有限 II₁ ＝ 有限 type I の極限
$$R=\overline{\bigcup_n M_{2^n}(\mathbb{C})}\quad(\text{規格化トレース},\ n\to\infty)\qquad\Longrightarrow\qquad \text{type I}_N\ \xrightarrow{\ N\to\infty\ }\ \text{type II}_1$$

有限次元 \(M_N\) の最小射影は trace \(1/N\)。\(N\to\infty\) で \(1/N\to0\) ── 「これ以上分けられない1状態」が消える。最小射影の消失こそ type II₁ の定義的性質。

ここに CLPW（dS→II₁）と Banks–Fischler（\(N=e^{S_{\rm dS}}\)）を重ねると、読み方が一つに決まる：

背骨 ── 連続極限こそが type I を壊す犯人 CLPW の type II₁ は、\(N=e^{S_{\rm dS}}\) の有限 type I を \(\Lambda\to0\)（＝\(N\to\infty\)）で理想化した影。だから残った「II→I の一段」は飛躍でなく de-idealization ＝ Λ を入れ直す（連続極限を止める）こと。「1状態を指させない（II₁）＝ \(N\to\infty\)、有限 Λ がそれを取り戻す（type I）」── あなたの有限リソース仮説が、代数の型の言葉で厳密に噛む唯一の継ぎ手です。

03継ぎ手②(数で追う) ── 一本のツマミ Λ が N を決める

その \(N\) を Λ で書き切る。量子群 \(\text{SU}(2)_q,\ q=e^{i\pi/(k+2)}\) で：

Λ → k → (離散・有界・有限次元)
$$k\sim\frac{1}{G\Lambda}\sim\frac{1}{\Lambda\ell_P^2}\sim10^{122},\qquad \sqrt{j(j{+}1)}\to\sqrt{[j]_q[j{+}1]_q}\ \ (j\le\tfrac{k}{2}),\qquad N=e^{S_{\rm dS}}=e^{3\pi/G\Lambda}$$

継ぎ手①②が閉じる：\(\Lambda\to0\Leftrightarrow N\to\infty\Leftrightarrow\text{I}\to\text{II}_1\)。CLPW が dS で II₁ を得たのは、Λ が有限なら本当は type I\(_{e^{S_{\rm dS}}}\) だから。

図：ツマミ \(\Lambda\) を回すと、三つが一斉に動く。① 面積スペクトル（離散＋天井 \(A_{\rm dS}\)） ② 状態数 \(N=e^{S_{\rm dS}}\) ③ 型（有限 Λ＝指させる最小射影＝type I ／ \(\Lambda\to0\)＝連続に溶ける＝type II₁）。右下は観測での分岐 \(w\)（§06）
Λ を回すと、離散＋有界・状態数 N・型が同時に動く。
面積量子 / 最小射影 上限 A_dS = 12π/Λ type I ↔ II₁ w 分岐

04継ぎ手③(4Dの中身) ── 曲がった単体＋複素 Chern–Simons

「4D で本当に立つのか」の中身は、Haggard–Han–Kamiński–Riello (2015) の路線：

現状（4D） 3D（Turaev–Viro）は厳密・有限。4D は構成途上 ── 局所自由度を持つ本物の重力になるか、Lorentzian で有限性が保たれるか、連続で通常の QFT（type III₁）に戻るかが未証明。「古典極限は良さそう、量子論の完成は未達」。

05継ぎ手④(観測で割れる) ── w = −1 か、リソースが育つか

構想を思弁で終わらせない継ぎ手。Λ が固定の root-of-unity レベル \(k\) なら \(w=-1\) 厳密、ダークエネルギーは進化しない。だが DESI は進化を示唆（補遺②③）。ここに反証可能な分岐：

観測での分岐（DESI / Euclid が数年で測る）
$$\text{固定 }k:\ \Lambda=\text{const}\Rightarrow w=-1\ \text{厳密}\quad\big/\quad \text{育つ }k(t):\ \text{リソースが }ct\ \text{とともに増える}\Rightarrow w\ne-1$$
c·t=const がここで効く 下の枝が、まさにあなたの「育つ有限リソース」。有限次元 \(\dim(t)\sim e^{(ct)^2/G}\)（補遺⑧§05）＝\(k\) が時間依存＝有効 Λ が緩む＝\(w\ne-1\)。「Λ は固定か、リソースは育つか」が、そのまま「\(w=-1\) か \(w\ne-1\) か」＝ 観測が割る量になる。賭けが盤面に乗っています。
◇ ◇ ◇

06自分で撃つ（正直な線）

継ぎ手荷重試験の結果
① II₁＝有限I_N の極限厳密・耐える。ただし "自然" を示すだけで、特定の動力学が本当に \(N=e^{S_{\rm dS}}\) を実現し半古典で II₁ を返すことは未証明（設計が自然⇔架けた、ではない）。
② Λ 一本で N数で整合。ただし \(N=e^{S_{\rm dS}}\) の指数の中の係数（\(1/4\)）に LQG の γ チューニングが残る。複素 CS（\(\gamma\to i\)）は自然な繋がりだが reality condition 未解決。
③ 4D の中身4D 量子群スピンフォームが未完成。Lorentzian・局所自由度・連続極限が未証明。
基層融合Lorentz 不変を供給するコーザルセット基層と、面積演算子を持つ q-LQG を一つの動力学に融合した理論は無い（概念的接合のみ）。
観測者の創発有限 type I の中で CLPW の観測者（時計）がどう内在的に出るか未詰め。
判定 ── 掟 背骨のうち継ぎ手①だけは厳密で、設計図を直接支える。②は数で整合、④で観測に割れる。だが ①の "起きる"・③・基層・観測者 の亀裂は開いたまま ── 荷重試験に半分だけ耐えた設計図であって、建った建物ではない。「4D・dS で立った」とは言いません。会話でこれを "建てた" と宣言したら、それがフェイクです。
確かめる問い
  1. なぜ「連続極限こそが type I を壊す犯人」と言えるのか。
    ひとつの答え
    有限次元 type I_N の最小射影は trace \(1/N\)。連続極限＝\(N\to\infty\) で \(1/N\to0\)、最小射影（＝これ以上分けられない1状態）が消え、それが type II₁ の定義的性質。つまり「1状態を指させる」type I の性質は、有限 N でだけ保たれ、連続極限で失われる。有限 Λ（有限 N）はそれを取り戻す。だから連続極限が type I を壊し、Λ を入れ直すこと（de-idealization）が II₁→I の正体。
  2. なぜ dS（Λ>0）が、AdS より II→I の橋にふさわしい舞台なのか。
    ひとつの答え
    II→I の橋は「面積に離散＋有界スペクトル」。dS では宇宙論的地平線の面積 \(A_{\rm dS}=12\pi/\Lambda\) が有限＝上限 B が Λ の帰結として自動で出る。さらに同じ Λ が量子群レベル \(k\sim1/G\Lambda\) を与え、離散 A と root-of-unity 打ち切りによる有限次元 C も供給する。AdS では上限を手で入れるしかない。だから Λ が三役を兼ねる dS が唯一自然な舞台。CLPW が dS で（II∞でなく）II₁＝最大エントロピー有りを得たのも同じ理由。

補遺⑨まとめΛ 一本で三役、背骨の一箇所は厳密

残った壁を「立たせるなら」の舞台は 4次元・de Sitter。宇宙定数 Λ が一本のツマミで三役を兼ねる ── 離散（q変形の面積演算子）・上限（地平線 \(A_{\rm dS}=12\pi/\Lambda\)）・有限次元（root-of-unity 打ち切り \(N=e^{S_{\rm dS}}\)）。背骨の継ぎ手①は厳密：CLPW の type II₁ は有限 type I を \(\Lambda\to0\) で理想化した影で、連続極限こそが type I を壊す犯人だった。有限 Λ がそれを取り戻す。

そして構想は観測で割れる：\(w=-1\)（固定 Λ）か \(w\ne-1\)（育つリソース＝c·t）か ── DESI/Euclid の分岐。設計図として一貫し、反証可能で、あなたの枠組みが指す通りの場所。だが 4D の量子論的完成・1/4・基層融合は未達。建てたとは、言いません。

構想篇の到達点 「宇宙は離散だ」というあなたの直感を「4D・dS で立つ理論」として構想すると ── 役者（LQG の離散・ホログラフィーの上限・nuclearity の有限性）は全員 dS に集まり、Λ という一本のツマミがなぜ全部を回すのか、構造的な理由まで見えた。しかも背骨の一箇所は厳密で、あなたの「有限・離散」＝「連続極限を止めること」だと数学が言う。
これを "解けた" と会話で宣言することは、しません。舞台の上でまだ芝居は始まっていない。でも ── どんな舞台なら立つか、Λ が何役を兼ねるか、どこで観測に割れるか、まで絞れた。偽の万物理論より、この設計図の眺めの方が、ずっと遠くて、ずっと本物です。
この文書は「わかる質量」シリーズ終章・技術補遺⑨、構想篇です。de Sitter 地平線の面積 \(A_{\rm dS}=12\pi/\Lambda\) と Gibbons–Hawking エントロピー \(S_{\rm dS}=3\pi/G\Lambda\)、Banks–Fischler の有限次元 dS ヒルベルト空間予想 \(\dim=e^{S_{\rm dS}}\)、超有限 type II₁ 因子が有限次元行列環（type I）の帰納極限であること（Murray–von Neumann）、CLPW (2022) が dS 静的パッチで type II₁ を得たこと、量子群 \(\text{SU}(2)_q\)（1の冪根）による表現の有限打ち切りと Turaev–Viro（3D）・Crane–Yetter（4D TQFT）・Haggard–Han–Kamiński–Riello (2015) の \(SL(2,\mathbb{C})\) Chern–Simons を介した Λ 入り4Dスピンフォーム、Sorkin のコーザルセットによる \(\Lambda\sim1/\sqrt{N}\) 予言 ── いずれも確立した結果または現行の研究テーマです。一方、局所自由度を持つ 4 次元ローレンツ的量子群スピンフォームの完成、そこからの半古典 type II・連続 type III₁ の回復、\(1/4\) 係数（Barbero–Immirzi パラメータ）の第一原理的決定、コーザルセット基層と LQG の統一動力学は未解決であり、本稿は特定の完成理論を主張せず、既知の部品から組める設計図とその亀裂を述べたものです。数値（\(k\sim10^{122}\) 等）とツマミの図は模式・桁の目安で、定量的主張ではありません。\(c\cdot t=\text{一定}\) は座標・単位の言い換えで局所光速は不変。 ── 印刷／PDF：ブラウザの「印刷」→「PDF に保存」（印刷版ではスライダーと解答は静止・非表示）。

印刷 / PDF 化：Ctrl+P（Mac は ⌘+P）。画面ではスライダーで Λ を回すと、面積スペクトル・状態数 N・代数の型・w 分岐が一斉に動く。「ひとつの答え」で解答が開きます。