薄い圏の考察(16).薄化関手から見た各種数学予想。

前稿『薄い圏の考察(15)』では、薄化関手 $T'$ を用いてヤコビアン予想を薄い圏での最適化問題として捉える試みを行った。
本稿はその延長として、薄化関手という視点から数学史上の様々な予想をメタ的に眺めることを試みる。

１. 薄化関手で各種数学予想を見る。
　
数学では「局所的な良い条件から大域的な強い結論を引き出そうとする」予想が数多く存在する。これらを薄い圏の枠組みで見ると、多くの破綻例に共通のパターンが見えてくる。

「薄化 → 最適化/判定 → 大域的再構成の失敗」

この構造は、薄化関手 $T'$ が局所情報をきれいに抽出できたとしても、その引き戻し操作が大域的構造を完全に回復できないときに現れやすい。

２.予想破綻の例。

ヤコビアン予想（2026年反例発見）：「局所微分情報（det J）→ 大域的可逆性を期待 → 失敗」

Dinitz–Garg–Goemans (DDG) 予想（2026年反例発見）：「fractional flowという局所的数値情報 → unsplittable flowの大域的コストを期待 → 失敗」

Hedetniemiの予想（2019年反例発見）：「各グラフの彩色数という薄い情報 → テンソル積の大域的彩色数を期待 → 失敗」

これらの予想では、薄い圏の「数値・局所情報のみ」からもとの厚い圏の大域構造を再構成しようとしたが、うまくいかなかった。

３. 薄化が成功した代表例。

一方で、局所から大域がきれいに再現できた成功例も存在する。

Max-Flow Min-Cut定理：局所的な辺容量情報から大域的最適フローを復元。

Mengerの定理：局所的な連結性から大域的な路の存在を保証。

De Rhamの定理：局所的な微分形式から大域的なコホモロジーを再構成。

これら（薄い圏からの引き戻し操作がうまく機能した）予想に共通するのは、薄い圏の（単なる数値）情報だけでなく、もとの厚い圏に構造的・整合性条件が十分に備わっている点である。

４. 薄化関手と引き戻しの関係。
圏論的に見ると、数学における多くの予想は厚い圏から薄い圏への薄化関手 $T'$ とそれに対応する引き戻し操作の関係として捉えることができる。
予想が成り立つ場合、この引き戻しがうまく機能し、大域的構造を適切に復元できる。一方、破綻する場合は引き戻しにおいて情報損失が生じて、偽の最適解（noise）が現れる。元の圏が分厚くなるほど(射の数が増えるほど)、この引き戻し操作が完全に成功することは困難となる。
またラグランジュの未定係数法において、調べる関数の複雑さの程度によって極値性判定の難度が変化したように、薄化関手を使った予想の成否は、元の圏における対象や射の複雑さにも大きく依存する。上記の予想を比較してみると

成功しやすい場合：もとの圏に「線形性、双対性、良好な貼り合わせ条件など」の扱いやすい構造がある。

失敗しやすい場合：もとの圏の構造が高次で複雑、薄い数値情報だけに頼る。

傾向がある。

５. 反例発見の道具としての薄化関手

上記の数学予想たちは、薄化関手Tとその引き戻し操作の成否という視点に近い。つまり予想に反例が存在するのは、薄い圏の最適値（極値）からの引き戻しがうまく機能していない状況に相応する。

仮に、引き戻し操作の成否を薄化関手の右随伴の成否として捉えられる場合、これは『薄い圏の考察12』の補足で述べたように、右Kan拡張$Ran_T(d)$が任意の$d$に対して定義できるかどうかの問題となる。同じく『薄い圏の考察13』で見たように、右Kan拡張の可否判定については「（標準的な薄化による）薄い圏での下限（$\mathrm{Inf}$）存在判定」によって、簡易なスクリーニングが行えた。

この手法を、数学予想の反例探索に応用することは（引き戻し操作を右随伴と見なせないときでも）意義があるかもしれない。右Kan拡張が定義できない$d$を探すことによって、新たな反例が見つかる可能性がないとはいえない。

いまだ反例の未確認な「2変数のヤコビアン予想」や、グラフマイナー順序構造と深く結びつく「ハドウィガー予想」などをこの方向性から探索してみるのも、興味深い試みではないだろうか。

追加１。上記の議論を未だ未解決であるナビエ–ストークス方程式をはじめとする微分方程式問題に適用すると、これらは本質的に「薄い条件から厚い対象を引き戻す」問題となる。

薄い側：微分方程式そのもの（局所的・微分的な関係式）。点ごとの、あるいは無限小の振る舞いを規定する条件。

厚い側：実際の解となる関数（あるいは関数の空間）。大域的な存在・正則性・一意性・長時間挙動など、豊かな構造を持つ対象。

「方程式を満たす（滑らかな）解が大域的に存在するか？」という問いは、薄い圏（微分関係で結ばれた局所データ）から、厚い圏（適切な関数空間）への引き戻しがうまくいくかどうか、という形で捉え直せる。
すなわち一般に「微分方程式を解く」とは「局所的な制約（極限や勾配という『薄い関係性』の集積）として記述された世界から、破綻（特異点・爆発）を起こすことなく『関数の空間（厚い圏）』へ構造を引き戻し、大域的な実体として再構成する操作」と定義してよい、と筆者は考える。

追加２。同じく、上記の議論を計算機科学の未解決問題の一つである P≠NP予想 に適用すると、過去のP≠NP証明の試みの多くも「薄化 → 局所的・数値的条件への還元 → 大域的分離の主張」という流れを取って失敗していると見える。具体的には

・相対化の壁 (Relativization Barrier - Baker-Gill-Solovay, 1975)
神託（オラクル）を付けた世界では $\mathbf{P}=\mathbf{NP}$ も $\mathbf{P} \neq \mathbf{NP}$ も両方成り立ち得る。
薄化的解釈: 対象の「内部構造」を無視して、外部からの射（ブラックボックスな関手）の入出力だけを見るような薄化では、$\mathbf{P}$ と $\mathbf{NP}$ を分離できない。

・自然な証明の壁 (Natural Proofs Barrier - Razborov-Rudich, 1994)
組合せ論的な「扱いやすい（薄い）性質」を使って論理回路の下限（複雑さ）を証明しようとすると、暗号理論（擬似乱数生成器の存在）と矛盾する。
薄化的解釈: 扱いやすい性質へと情報を削ぎ落とす「過度な薄化」を行うと、$\mathbf{NP}$ が持つ本質的な質感（幾何的・代数的な厚み）が消失してしまう。

・代数化の壁 (Aroborization/Algebrization Barrier - Aaronson-Wigderson, 2008)
多項式補間などの代数的拡張（薄化の一種）を使っても、まだ分離には届かない。

これらを「薄化関手で情報を落とすと、引き戻しがうまくいかない」として見ると、P≠NP予想を示すには「どんなに巧みな多項式時間アルゴリズム（薄化）も、$\mathbf{NP}$ 完全問題の厚みを潰しきれない」すなわち「いかなる薄化関手をもってしても、NPの本質的な厚みを完全に薄い圏の中に再現することはできず、必ず漏れ出てしまう構造的な障害が存在する」ことを示す方向性しかないかもしれない。つまり、予想の困難さを薄化の限界として捉える視点である。
無論これはただの推測であり、この方向性の厳密な理論展開は筆者の能力を超えるが、興味深い研究課題となり得るように思われる。