arXiv Science⌕ Search

arXiv · 2610.00413

Magnitude of module categories and special biserial algebras

Abstract

Børve, Horiatakis, and Kalck defined the magnitude of the module category of a representation-finite algebra as the sum of the entries of the inverse of the matrix of Hom dimensions between indecomposable modules. They showed it is an Euler characteristic, the alternating count of vertices, arrows, and meshes of the Auslander--Reiten quiver, and conjectured that it is at least the number of simple modules, with equality precisely for special biserial algebras. We prove this conjecture over an algebraically closed field. For a representation-directed algebra, we relate the magnitudes of the module category, the subcategory of modules without a given simple composition factor, and the ideal quotient by it. By the theory of hammocks of Ringel and Vossieck, this quotient is equivalent to a category of representations of a finite poset, whose magnitude we compute. The general case reduces to the representation-directed case through algebras obtained by grading a standard form.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Haruhisa Enomoto. 2026-09-30. Magnitude of module categories and special biserial algebras. https://arxiv.org/abs/2610.00413

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

KEEP EXPLORING

Related papers

Log-concavity and unimodality of cluster monomials in fan coordinates of type A_n

We prove that every cluster monomial of type A_n is log-concave and unimodal with respect to its Laurent expansion in a fan initial cluster. We derive a coefficient formula for laminar interval products arising from compatible diagonals in the polygon model. This gives partial affirmative answers to the log-concavity conjecture of Chen-Huang-Sun and the unimodality conjecture of Chen. Our result for cluster A-varieties also complements Shen's study on the supports of products of canonical basis elements for cluster X-varieties of type A_n.

math.RT↗

Cells, cacti, and the asymptotic algebra

We prove that the action of the cactus group on a Coxeter group defined by Losev and Bonnafé can be realised as an action on the asymptotic algebra of the Hecke algebra, thus resolving a conjecture of Rouquier and White. We prove this in the setting of general (potentially unequal) parameters, conditional on Lusztig's conjectures P1-P15, which are known to hold in the equal parameter case.

math.RT↗

Arithmetic Kac Theory for Ramified Species

Let $K=k((t))$, where $k$ is algebraically closed of characteristic zero, and let $Λ$ be an acyclic ramified species over $K$. An indecomposable $Λ$-module can split after extending $K$. The number of its distinct geometric indecomposable summands is the degree of its residue endomorphism field $\operatorname{End}_Λ(M)/\operatorname{rad}\operatorname{End}_Λ(M)$. We use the positive roots and cyclic automorphism of the unfolded quiver to determine the number of isomorphism classes at every nonzero rank and residue degree $e\ge1$: it is zero, an explicitly computable finite number, or $|K|$. For every invariant imaginary root of the unfolding, including at nonprimitive ranks, we construct a smooth invariant family of absolutely indecomposable representations whose rational quotient by the change-of-bases group has dimension $1-q_d(β)$. We characterize ranks admitting absolutely Schur representations by the Schur roots of the unfolded quiver. For the associated species over finite fields, we realize the polynomials counting absolutely indecomposable representations as graded traces of the unfolding automorphism on preprojective BPS cohomology. Galois-orbit formulas and Möbius inversion then recover the counts at each residue degree. Finally, we prove an all-rank symmetrizable analogue of Kac's constant-term conjecture: the constant term of the polynomial counting all indecomposables, rather than only absolutely indecomposable ones, equals the corresponding Kac--Moody root multiplicity. This constant is independent of the symmetrizer and modulation.

math.RT↗