[論文レビュー] Geometric Structures in $\mathbb{R}$-enriched adjunctions

Juan Luis Gastaldi, Samantha Jarvis+2 more|arXiv (Cornell University)|Jan 12, 2026

Polynomial and algebraic computation被引用数 0

ひとこと要約

要約: 論文は Isbell 双対性を用いて ℝ̄-enriched profunctor を統一的枠組みとして用い、核の幾何をメトリック（Hilbert 投影型）と多面体（トロピカル）幾何とを結合する。隙間行列を導入してセル構造と壁への距離を示すメトリクスを明らかにする。

ABSTRACT

A real $m\times n$ matrix $M$ determines tropical row and column polytopes in tropical projective spaces $\mathbb{TP}^{m-1}$ and $\mathbb{TP}^{n-1}$, with canonical polyhedral cell structures that are naturally dual. We reinterpret this picture via Isbell duality: viewing $M$ as an $Rbar$-enriched profunctor $M$: $C^{op}\otimes D\to Rbar$, we study the associated order-reversing Isbell adjunction $M^*\dashv M_*$ and its fixed-point locus, the nucleus $Nuc(M)$. After projectivization, $pnuc(M)$ carries two interacting geometries. On the metric side, $Rbar$-enrichment induces a canonical Hilbert projective--type (max-spread) metric on projective (co)presheaves, and we show that the projective Isbell maps identify the presheaf and copresheaf realizations of $pnuc(M)$ by mutually inverse isometries. On the polyhedral side, in the discrete real setting the Isbell inequalities cut out a canonical polyhedral decomposition of $pnuc(M)$ recovering the usual tropical cell structure. Our main new ingredient is a pointwise invariant of a nucleus point $(f,g)$: the nonnegative $\textit{gap matrix}$ $δ^{(f,g)}(c,d)=M(c,d)-f(c)-g(d)$. Its zero pattern determines the cell containing $(f,g)$, while its positive entries compute exact metric distances to the boundary strata where additional inequalities become tight (Events Theorem). This distance-to-wall principle refines cells into order chambers and supports a constructible tower of complete lattices obtained by thresholding $δ^{(f,g)}$.

研究の動機と目的

• トロピカル多面体的な行列 Span の描像を、標準的な投影メトリックを与えることで refinement する。
• Isbell 双対性を通じて presheaf および copresheaf による投影核の realizations を結びつける。
• 単純な点ごとの不変量（隙間行列）がセルの包含関係と壁までの距離を符号化することを明らかにする。
• projective nucleus 上に 2 つの幾何（メトリックと多面体）を持つ枠組みを開発し、それらの相互作用を研究する。

提案手法

• 実数 matrix M を overline-R enrich profunctor M:C^op ⊗ D → overline-R としてモデル化する。
• Isbell 双対性を用いて順序を反転させる随伴 M* ⊣ M_* を構成し、固定点の核 Nuc(M)（f,g）を定義する。
• Nuc(M) を射影化して ℙNuc(M) を得て、双対幾何を持つ。
• δ^(f,g)(c,d) = M(c,d) − f(c) − g(d) を定義し、その零パターンからセルを特定する。
• 正の隙間成分は境界層（Events Theorem）への正確な距離を測ることを証明する。
• δ^(f,g) の閾値付けによって完全格子の塔を作成し、順序円室分解と結びつける。
• 射影 Isbell 写像が presheaf realizations と copresheaf realizations の間の相互逆等距を与えることを示す（Theorem 18）。
• 有限/離散設定で Isbell-type 不等式からトロピカルなセル分解を回復する。

実験結果

リサーチクエスチョン

• RQ1 実数行列 M から生じるメトリックと多面体構造を Isbell 双対性でいかに統一できるか。
• RQ2 核のセルと壁までの距離を決定する点wise な不変量 δ^(f,g) の役割は何か。
• RQ3 ℙNuc(M) の presheaf realizations と copresheaf realizations は projection Isbell 写像の下で等距同型のデュアルとして同定できるか。
• RQ4 証人的多面体分解が projection presheaves 上の canonical Hilbert-type メトリックとどう相互作用するか。
• RQ5 隙間行列を閾値付けすることから生じる格子理論的・部屋（chamber）構造の洗練は何か。

主な発見

• プロジェクティブ核 ℙNuc(M) は二つの相互作用する幾何を帯びる：メトリック幾何（Hilbert 投影型距離）と多面体幾何（トロピカルなセル分解）。
• プロジェクティブ Isbell 写像は ℙNuc(M) の presheaf realizations と copresheaf realizations を相互に逆等距で同定する（Theorem 18）。
• 有限の M に対して Isbell 不等式は ℙNuc(M) の canonical な多面体分解を与え、トロピカルなセル構造を復元する。
• 点ごとの隙間行列 δ^(f,g) は projection クラス [(f,g)] を含むセルを零パターンによって決定し、正の成分は境界面までの距離を正確に符号化する（Events Theorem）。
• δ^(f,g) の正の成分は壁までの距離を等しく、セルを順序室（order chambers）に精練し、完全格子の構築可能な塔を支持する距離-壁の原理を提供する。
• この構成は ℙNuc(M) の証人セル、イベント半径、部屋分層の組み合わせ・幾何を結ぶ組合せ的幾何フレームワークを生み出す。