薄い圏の考察(15).「薄い圏の考察(12)」を通してヤコビアン予想を分析する

2026年7月、Levent Alpöge 氏と Claude Fable 5 によってヤコビアン予想の反例が発見されました。

本稿では、この話題を「薄い圏の考察(12)」で展開した「厚い圏から薄い圏への薄化（メトリック・順序評価）」および「最適化・普遍的対象の探索」の枠組みに載せて分析を試みます。

１. 設定：元の圏 $\mathcal{C}$ と局所化 $\mathcal{C}[W^{-1}]$
複素アフィン空間 $\mathbb{C}^n$ を対象とし、多項式写像を射とする圏を $\mathcal{C}$ とします。
この圏 $\mathcal{C}$ において、大域的に逆写像を持つ多項式自己同型写像（Automorphisms）のクラスを真の同型射のクラス $W$ と定義します。この $W$ を普遍的に同型射として実現した対象が局所化 $\mathcal{C}[W^{-1}]$ であり、局所化関手 $Q: \mathcal{C} \to \mathcal{C}[W^{-1}]$ は以下の普遍的性質を持ちます。

普遍的性質
任意に関手 $F: \mathcal{C} \to \mathcal{D}$ が $W$ に属するすべての射を同型射に写すならば、一意的な関手 $G: \mathcal{C}[W^{-1}] \to \mathcal{D}$ が存在して $F = G \circ Q$ と分解（ファクタライズ）される。
すなわち、$\mathcal{C}[W^{-1}]$ は真の大域的構造（可逆性）を完全に保持した「普遍的対象」です。

２. 薄化関手 $T'$ による局所化（数値化と極値問題への置き換え）
「薄い圏の考察(12)」の文脈にしたがい、圏 $\mathcal{C}$ の複雑な代数・幾何的構造を評価値（メトリック・順序）の世界へ射影する薄化関手 $T'$ を構築します。
　多項式写像 $f: \mathbb{C}^n \to \mathbb{C}^n$ のヤコビ行列式 $\det J_f$ に対し、合成における関手性（乗法性 $\det J_{f \circ g} = \det J_f \cdot \det J_g$）を加法的な距離構造へと整合させるための指標として $T(f)$ を対数ヤコビアンで定義します：
$$T(f) = \log \vert{}\det J_f\vert{}.$$
これにより、射の合成に対して $T(f \circ g) = T(f) + T(g)$ という加法的・モノイダルな距離構造が保たれます。

Keller条件の「極値条件（1階の必要条件）」としての再解釈
　ヤコビアン予想における Keller条件（$\det J_f$ が全空間で非ゼロ定数 $c \in \mathbb{C}^\times$） は、上指標の空間的変動（勾配）を用いて次のように置き変えることができます：

$\nabla T(f) = \nabla (\log \vert{}\det J_f\vert{}) = 0 \quad (\text{全空間で勾配ゼロ}).$

これは変分法や最適化問題において、「局所的な変動エネルギーが完全に平坦・平衡状態（Stationary / Critical）にある」という1階の極値条件に他なりません。

そこで、指標間の距離$d_{T(f_1)T(f_2)}$ を、この極値条件を満たしているか否かで以下のように割り当てます：

$$d_{T(f_1)T(f_2)} = \begin{cases} 0 & (\nabla T(f_1) = \nabla T(f_2) = 0 \text{、すなわち$T(f_1)$と$T(f_2)$が共に定数のとき}) \\ \infty & (\text{それ以外のとき}) \end{cases}$$
こうして、薄化関手 $T'$ が次のように定式化されます：
$$T': \mathcal{C} \to \mathcal{C}\left(\mathrm{Ob}(\mathcal{C}), \{\ge_{T(i)T(j)}\}\right).$$

３. ヤコビアン予想の圏論的再定式化
この枠組みのもとでは、ヤコビアン予想を次のように表すことができます。

問い
　薄化関手 $T'$ においてターゲット圏での極値条件をみたす射（ヤコビアンが非ゼロ定数となる多項式）は真の同型射のクラス $W$ に属するか？
（すなわち、局所化関手 $Q: \mathcal{C} \to \mathcal{C}[W^{-1}]$ を通じての、$\mathcal{C}[W^{-1}]$ における同型射の判定と、薄化関手 ${T}': \mathcal{C}\to \mathcal{C}\left(\mathrm{Ob}(\mathcal{C}), \{\ge_{T(i)T(j)}\}\right)$ によるターゲット圏での極値候補判定（指標間の距離が $0$）が一致するか？）

　もしこれが常に真であれば、薄化関手 T′ による局所的な極値評価は、元の圏の真の大域的構造 W を完璧に抽出する「ノイズのない万能なフィルター」として機能することになります。

４. 今回発見された反例の解釈
　アルポゲ氏らの反例（3変数多項式写像で$det J_f \equiv -2$）は、薄い圏側では極値条件をみたすものの、元の圏 C へ引き戻すと大域的単射性を欠いており、W に含まれないことが判明しました。

５．ラグランジュの未定乗数法における「不完全性」との類似と、反例発見に対する感想

　この現象は、解析学におけるラグランジュの未定乗数法とまったく同じ構造を持っています。
　ラグランジュの未定乗数法において、$L=f-\lambda g$とおいたとき、1階の条件 ∇L=0（勾配ゼロ）は$g=0$という条件下で$f$が極値をとるための必要条件に過ぎず、得られた候補点が真の極値（極大・極小）なのか、あるいは 鞍点(Saddle point)のような偽の候補なのかまでは判定できません。

　同様に、ヤコビアン予想の「fのヤコビアンが非ゼロ定数、すなわち∇T(f)=0」という条件も、局所的な平坦性を示す1階の必要条件に過ぎず、それが「大域的な可逆性（W に属すること）」まで保証するものではなかったのだな、というのが今回のアルポゲ氏らの反例発見に対する筆者の感想です。
「（一般に）薄化関手は万能ではない」ことを示した具体例と考えます。