arXiv Science⌕ Search

arXiv · 2609.38992

Normalization graphs and Dold-Kan equivalences for generalized Reedy categories

Abstract

We introduce a combinatorial criterion for the projectivity of standard modules over generalized Reedy categories, formulated in terms of a finite bipartite graph whose normalized weightings determine normalization idempotents and hence projective splittings of standard modules. We apply this framework to recover several classical normalization constructions and Dold--Kan--type equivalences, and to obtain new Dold--Kan--type equivalences for categories of finite-dimensional affine, semilinear, and semiaffine spaces over a finite field. These equivalences also yield explicit descriptions of uniformly continuous representations of the corresponding infinite transformation monoids. Together with our previous work on Hom-spaces between standard modules, the results provide a combinatorial machinery, based mainly on graph theory and linear algebra, for establishing Dold--Kan--type equivalences for generalized Reedy categories.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Liping Li. 2026-09-30. Normalization graphs and Dold-Kan equivalences for generalized Reedy categories. https://arxiv.org/abs/2609.38992

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Bethe subalgebras in Yangians and Kirillov-Reshetikhin crystals

Let $\mathfrak{g}$ be a simple finite-dimensional Lie algebra and $G$ its adjoint group. For each $C\in G$, we consider the Bethe subalgebra $B(C)\subset Y(\mathfrak{g})$, a commutative subalgebra encoding the integrals of the generalized $XXX$ spin chain. Adapting the construction of arXiv:1708.05105 of $\mathfrak{g}$-crystals on spectra of inhomogeneous Gaudin subalgebras in $U(\mathfrak{g})$, we construct a natural $\hat{\mathfrak{g}}$-crystal structure on the spectra of $B(C)$ in Kirillov--Reshetikhin $Y(\mathfrak{g})$-modules in type $A$. We conjecture that such a construction exists for arbitrary $\mathfrak{g}$ and recovers Kirillov--Reshetikhin crystals. The main technical ingredient is a degeneration of Bethe subalgebras $B(C)$ to commutative subalgebras $\mathcal{A}_χ^{\mathrm{u}} \subset U(\mathfrak{g}[t])$, depending on $χ\in\mathfrak{g}$. We call these subalgebras universal inhomogeneous Gaudin subalgebras and show that they arise from the Feigin--Frenkel center at the critical level. This allows us to identify the affine crystals above with Kirillov--Reshetikhin crystals. We then apply these results to prove the monodromy conjecture of Ilin and the second and third authors for the spectra of the algebras $B(C)$ and for the spectra of quantum cohomology rings of type $A$ quiver varieties.

math.RT↗

Balanced pairs, virtually Gorenstein rings, and cotorsion torsion triples

For any ring $R$, we investigate balanced pairs of classes of modules and their relations to cotorsion triples. We characterize the special balanced pairs that fit into complete hereditary cotorsion triples. As an application, we prove that Gorenstein projective and Gorenstein injective modules form a balanced pair, if and only if $R$ is right virtually Gorenstein. We also characterize the tilting and cotilting cotorsion pairs arising from balanced pairs. In [4], cotorsion torsion triples in abelian categories were employed in the representation theory of rectangular grids occurring in persistent homology theory. For module categories, we use infinite dimensional tilting theory to completely classify all cotorsion torsion triples by means of $1$-resolving subcategories of $\rfmod R$, and to give an explicit 1-1 correspondence between the formally dual notions of cotorsion torsion triples of right $R$-modules and torsion cotorsion triples of left $R$-modules. This correspondence is bijective in case the underlying ring $R$ is left noetherian, but not in general.

math.RT↗

$q$-Oper Structures on a Formal Punctured Disc

Let $G$ be a connected reductive complex algebraic group and let $q\in\mathbb{C}^{\times}$ be not a root of unity. We prove that every $(G,q)$-connection on a formal punctured disc admits a $(G,q)$-oper structure.

math.RT↗