Showing 1–5 of 5 results for author: Blanchette, B

Stabilization of the Spread-Global Dimension

Authors: Benjamin Blanchette, Justin Desrochers, Eric J. Hanson, Luis Scoccola

Abstract: Motivated by constructions from applied topology, there has been recent interest in the homological algebra of linear representations of posets, specifically in homological algebra relative to non-standard exact structures. A prominent example of such exact structure is the spread exact structure, which is an exact structure on the category of representations of a fixed poset whose indecomposable… ▽ More Motivated by constructions from applied topology, there has been recent interest in the homological algebra of linear representations of posets, specifically in homological algebra relative to non-standard exact structures. A prominent example of such exact structure is the spread exact structure, which is an exact structure on the category of representations of a fixed poset whose indecomposable projectives are the spread representations (that is, the indicator representations of convex and connected subsets). The spread-global dimension is known to be finite on finite posets, and unbounded on the collection of Cartesian products between two arbitrary finite total orders. It is conjectured in [AENY23] that the spread-global dimension is bounded on the collection of Cartesian products between a fixed, finite total order and an arbitrary finite total order. We give a positive answer to this conjecture, and, more generally, we prove that the spread-global dimension is bounded on the collection of Cartesian products between any fixed, finite poset and an arbitrary finite total order. In doing this, we also establish the existence of finite spread-resolutions for finitely presented representations of arbitrary upper semilattices. △ Less

Submitted 2 June, 2025; originally announced June 2025.

Comments: 25 pages, 5 figures

Exact structures for persistence modules

Authors: Benjamin Blanchette, Thomas Brüstle, Eric J. Hanson

Abstract: We discuss applications of exact structures and relative homological algebra to the study of invariants of multiparameter persistence modules. This paper is mostly expository, but does contain a pair of novel results. Over finite posets, classical arguments about the relative projective modules of an exact structure make use of Auslander-Reiten theory. One of our results establishes a new adjuncti… ▽ More We discuss applications of exact structures and relative homological algebra to the study of invariants of multiparameter persistence modules. This paper is mostly expository, but does contain a pair of novel results. Over finite posets, classical arguments about the relative projective modules of an exact structure make use of Auslander-Reiten theory. One of our results establishes a new adjunction which allows us to ``lift'' these arguments to certain infinite posets over which Auslander-Reiten sequences do not always exist. We give several examples of this lifting, in particular highlighting the non-existence and existence of resolutions by upsets when working with finitely presentable representations of the plane and of the closure of the positive quadrant, respectively. We then restrict our attention to finite posets. In this setting, we discuss the relationship between the global dimension of an exact structure and the representation dimension of the incidence algebra of the poset. We conclude with our second novel contribution. This is an explicit description of the irreducible morphisms between relative projective modules for several exact structures which have appeared previously in the literature. △ Less

Submitted 3 January, 2025; v1 submitted 3 August, 2023; originally announced August 2023.

Comments: v3: improved exposition, added references, added figures, corrected typos, made other small clarifications and improvements. To appear in Proceedings of ICRA 2022. v2: corrected typos and minor errors. 28 pages

MSC Class: 55N31; 16G20; 18G25 (primary); 16E10; 16E20; 16S50; 19A49 (secondary)

Homological approximations in persistence theory

Authors: Benjamin Blanchette, Thomas Brüstle, Eric J. Hanson

Abstract: We define a class of invariants, which we call homological invariants, for persistence modules over a finite poset. Informally, a homological invariant is one that respects some homological data and takes values in the free abelian group generated by a finite set of indecomposable modules. We focus in particular on groups generated by "spread modules", which are sometimes called "interval modules"… ▽ More We define a class of invariants, which we call homological invariants, for persistence modules over a finite poset. Informally, a homological invariant is one that respects some homological data and takes values in the free abelian group generated by a finite set of indecomposable modules. We focus in particular on groups generated by "spread modules", which are sometimes called "interval modules" in the persistence theory literature. We show that both the dimension vector and rank invariant are equivalent to homological invariants taking values in groups generated by spread modules. We also show that the free abelian group generated by the "single-source" spread modules gives rise to a new invariant which is finer than the rank invariant. They are also thankful to an anonymous referee for their thorough reading of this paper and suggestions for improvement. △ Less

Submitted 23 August, 2024; v1 submitted 14 December, 2021; originally announced December 2021.

Comments: v3: accepted manuscript, v2 (sizable update): added numerous references, reorganized paper, added new section on motivation and related work (Section 3), expanded upon the relationship between homological invariants and dimensions of hom-spaces (Theorem 1.1), extended main Theorem 1.2 (formerly Theorem 1.1), corrected errors in comparisons to other invariants (Section 7). 24 pages

MSC Class: 55N31; 16E20 (primary); 16Z05; 18G35 (secondary)

Journal ref: Canadian Journal of Mathematics 76 (2024), no. 1, 66-103

Quasi-automatic semigroups

Authors: Benjamin Blanchette, Christian Choffrut, Christophe Reutenauer

Abstract: A quasi-automatic semigroup is defined by a finite set of generators, a rational (regular) set of representatives, such that if a is a generator or neutral, then the graph of right multiplication by a on the set of representatives is a rational relation. This class of semigroups contains previously considered semigroups and groups (Sakarovitch, Epstein et al., Campbell et al.). Membership of a sem… ▽ More A quasi-automatic semigroup is defined by a finite set of generators, a rational (regular) set of representatives, such that if a is a generator or neutral, then the graph of right multiplication by a on the set of representatives is a rational relation. This class of semigroups contains previously considered semigroups and groups (Sakarovitch, Epstein et al., Campbell et al.). Membership of a semigroup to this class does not depend on the choice of the generators. These semigroups are rationally presented. Representatives may be computed in exponential time. Their word problem is decidable in exponential time. They enjoy a property similar to the so-called Lipschitz property, or fellow traveler property. If graded, they are automatic. In the case of groups, they are finitely presented with an exponential isoperimetric inequality and they are characterized by the weak Lipschitz property. △ Less

Submitted 10 June, 2019; v1 submitted 6 June, 2019; originally announced June 2019.

Comments: 17 pages. In press. Theoretical Computer Science, 2019

Quasi-automatic groups are asynchronously automatic

Authors: Benjamin Blanchette

Abstract: A quasi-automatic semigroup is a finitely generated semigroup with a rational set of representatives such that the graph of right multiplication by any generator is a rational relation. A asynchronously automatic semigroup is a quasi-automatic semigroup for which these rational relations are also recognisable by two-tape automata. We show that when such a semigroup happens to be a group, the conve… ▽ More A quasi-automatic semigroup is a finitely generated semigroup with a rational set of representatives such that the graph of right multiplication by any generator is a rational relation. A asynchronously automatic semigroup is a quasi-automatic semigroup for which these rational relations are also recognisable by two-tape automata. We show that when such a semigroup happens to be a group, the converse actually holds, meaning quasi-automatic groups are asynchronously automatic. △ Less

Submitted 4 June, 2019; originally announced June 2019.

Comments: Short note, 5 pages, complementing a previous paper named Quasi-automatic Semigroups by Blanchette, Choffrut and Reutenauer