[论文解读] 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 对偶性构建一个统一框架，将 ℝ̄-强化的探情运用于把核的度量（Hilbert 投影型）与多面几何（热带几何）结合起来，提出一个缝隙矩阵以揭示单元格结构与到墙的度量距离。

ABSTRACT

A real $m imes 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 o 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 $ extit{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)}$.

研究动机与目标

• 通过赋予一个 canonical 投影度量来完善矩阵张成的热带多面图像。
• 通过 Isbell 对偶性将投影核的前设与后设实现联系起来。
• 揭示一个简单的逐点不变量（缝隙矩阵）如何编码单元格包含关系与到墙的距离。
• 在投影核上发展一个两几何框架（度量与多面）并研究它们的相互作用。

提出的方法

• 将实数 m×n 矩阵 M 表示为 overline-R 增强的探情 M:C^op ⊗ D → overline-R。
• 使用 Isbell 对偶性形成一个序反向伴随 M* ⊣ M_*，并给出固定点的 nucleus Nuc(M)（f,g）的定义。
• 将 Nuc(M) 进行投影化，得到 carrying dual geometries 的 ℙNuc(M)。
• 定义缝隙矩阵 δ^(f,g)(c,d) = M(c,d) − f(c) − g(d)，研究其零模式以定位单元格。
• 证明正的缝隙条目测量到边界层的精确距离（Events Theorem）。
• 通过对 δ^(f,g) 设阈值形成完整格的塔，连接到序-腔分解。
• 证明投影 Isbell 映射在前设实现和后设实现之间提供互为逆的等距映射（Theorem 18）。
• 在有限/离散设置中，从 Isbell 型不等式恢复热带单元分解（多面侧））。

实验结果

研究问题

• RQ1 如何利用 Isbell 对偶性统一来自实数矩阵 M 的度量结构与多面结构？
• RQ2 缝隙矩阵 δ^(f,g) 在确定投影核中的单元格与距离方面的作用是什么？
• RQ3 ℙNuc(M) 的前设和后设实现是否可以在投影 Isbell 映射下同构为等距对偶？
• RQ4 见证多面分解如何与投影前设上的 canonical Hilbert 型度量相互作用？
• RQ5 通过对缝隙矩阵的阈值化会出现哪些格理论或腔结构的细化？

主要发现

• 投影化核 ℙNuc(M) 拥有两种交互几何：度量几何（Hilbert 投影型距离）和多面几何（热带单元分解）。
• 投影 Isbell 映射通过互为逆的等距关系将 ℙNuc(M) 的前设实现与后设实现识别为同构（Theorem 18）。
• 对于有限 M，Isbell 不等式给出 ℙNuc(M) 的 canonical 多面分解，从而恢复热带单元结构。
• 逐点缝隙矩阵 δ^(f,g) 通过零模式确定投影类 [(f,g)] 所在的单元格，并通过其正条目编码到边界面的精确距离（Events Theorem）。
• δ^(f,g) 的正条目等于到墙的距离，提供一个距离到墙的原则，将单元格细化为序腔并支持可构造的完整格塔。
• 该构造建立了一个组合几何框架，将见证单元、事件半径和腔层分解联系起来，适用于 ℙNuc(M)。