{"id":"arxiv:2609.15927","kind":"preprint","title":"Interval endomorphism algebras of posets: Reedy structure, combinatorics, and homological theory","authors":["Toshitaka Aoki"],"author_count":1,"year":2026,"published":"2026-09-14","venue":null,"cited_by":null,"doi":null,"arxiv_id":"2609.15927","nct_id":null,"source_url":"https://arxiv.org/abs/2609.15927","archive_url":"https://space-kitty.com/papers/arxiv:2609.15927","updated":"2026-09-14","pmid":null,"pmcid":null,"openalex_id":null,"pdf_url":"https://arxiv.org/pdf/2609.15927","abstract":"Let $P$ be a finite connected poset and let $Λ_P$ be the opposite endomorphism algebra of the direct sum of all interval representations of $P$ over a field. Via projectivization, this algebra governs resolutions relative to interval-decomposable representations, which arise naturally in persistence theory. We first show that $Λ_P$ carries a Reedy algebra structure in the sense of Dalezios--Šťovíček. Its Reedy degree is given by the cardinality of the indexing interval, and the induced quasi-hereditary order is given by reverse interval cardinality. With respect to the resulting quasi-hereditary structure, we give a concrete combinatorial description of the standard modules and construct explicit projective resolutions of these modules. Using these resolutions, we reduce the calculation of standard--simple Ext groups to the reduced cohomology of simplicial complexes determined by the interval combinatorics. Order reversal gives the corresponding simple--costandard formula. Building on these calculations, we determine all simple--simple Ext groups. These groups are one-dimensional in a unique degree when the corresponding pair of intervals is saturated, and vanish otherwise. As a consequence, we obtain an exact combinatorial formula for the global dimension of $Λ_P$, which in particular shows that it is independent of the coefficient field. As an application, for the $m$ by $\\ell$ grid $G_{m,\\ell}$ with $m\\geq\\ell\\geq2$, we give the explicit formula $\\operatorname{gldim}Λ_{G_{m,\\ell}}=\\min\\{2\\ell,m+\\ell-2\\}$. This also gives an explicit formula for the interval-resolution global dimension of these grids, settling the corresponding grid conjectures of Asashiba--Escolar--Nakashima--Yoshiwaki and determining the stable value and the precise stabilization threshold.","abstract_license":"CC0-1.0 (arXiv descriptive metadata)","license":null,"is_open_access":false,"retracted":false,"peer_reviewed":false,"categories":["math.RT","math.CO"],"details":null,"provenance":"arxiv","attribution":"Abstract: arXiv descriptive metadata (CC0). Thank you to arXiv for use of its open access interoperability. This service was not reviewed or approved by, nor does it necessarily express or reflect the policies or opinions of, arXiv.","topics":[],"cited_in_dossiers":[]}