Let be a finite connected poset and let be the opposite endomorphism algebra of the direct sum of all interval representations of over a field. Via projectivization, this algebra governs resolutions relative to interval-decomposable representations, which arise naturally in persistence theory. We first show that 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 , which in particular shows that it is independent of the coefficient field. As an application, for the by grid with , we give the explicit formula . 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.

生成讲解博客的中文版本

生成AI智能校验的中文版本