dorsal/arxiv
View SchemaGeometric Structures in $\mathbb{R}$-enriched adjunctions
| Authors | Juan Luis Gastaldi, Samantha Jarvis, Thomas Seiller, John Terilla |
|---|---|
| Categories | |
| ArXiv ID | 2601.07900vv1 |
| URL | https://arxiv.org/abs/2601.07900 |
| License | http://arxiv.org/licenses/nonexclusive-distrib/1.0/ |
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}$ $\delta^{(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 $\delta^{(f,g)}$.
{
"annotation_id": "4b1d3008-1f43-4506-a9fc-2b4c3c8200a5",
"date_created": "2026-02-17T05:53:12.328000Z",
"date_modified": "2026-02-17T05:53:12.328000Z",
"file_hash": "06224ab85e93769f1d512f47e527fdcd72f4395f3b3cd0587c301d1d521aee55",
"private": false,
"record": {
"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}$ $\\delta^{(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 $\\delta^{(f,g)}$.",
"arxiv_id": "2601.07900",
"authors": [
"Juan Luis Gastaldi",
"Samantha Jarvis",
"Thomas Seiller",
"John Terilla"
],
"categories": [
"math.AG",
"math.CT"
],
"license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
"title": "Geometric Structures in $\\mathbb{R}$-enriched adjunctions",
"url": "https://arxiv.org/abs/2601.07900",
"version": "v1"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "32477e07-89bd-442f-bff1-8aba30024262",
"id": "arXiv Dataset",
"type": "Model",
"variant": "snapshot-2026-01-17",
"version": "0.1.0"
},
"user_id": 1000002
}