Devlin Mallory

dblp:130/7158 · DBLP profile ↗
← Back
1ranked-venue papers
1as first author
1since 2021 · last 2026
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 1 · 1 first-author · 1 since 2021
YearPublicationVenuePosition
2026 Computing direct sum decompositions
abstract
We describe and prove correctness of two practical algorithms for finding indecomposable summands of finitely generated modules over a finitely generated k -algebra R . The first algorithm applies in the (multi)graded case, which enables the computation of indecomposable summands of coherent sheaves on subvarieties of toric varieties (in particular, for varieties embedded in projective space); the second algorithm applies when R is local and k is a finite field, opening the door to computing decompositions in singularity theory. We also present multiple examples, including some which present previously unknown phenomena regarding the behavior of summands of Frobenius pushforwards (including in the non-graded case) and syzygies over Artinian rings.
Devlin Mallory, Mahrud Sayrafi
J. Symb. Comput.1