A Categorification of Subword Complexes and Its Hall Algebra

TL;DR

This paper categorifies subword complexes, constructs a Hall algebra framework, and relates flips to automorphisms, providing new algebraic insights especially in type A.

Contribution

It introduces a categorical structure for subword complexes, linking them to Hall algebras and automorphisms, extending prior algebraic models.

Findings

The Hall algebra of subword complexes is isomorphic to Bergeron-Ceballos's algebra.

Full subcategory of root-independent objects is proto-abelian.

In type A, realizes the nilpotent part of the universal enveloping algebra.

Abstract

Bergeron and Ceballos defined a Hopf algebra structure on equivalence classes of subword complexes. We introduce a category of subword complexes, endow it with a proto-exact-like structure, and show that the corresponding dual Hall Hopf algebra is isomorphic to the algebra of Bergeron-Ceballos. We prove that the full subcategory of root-independent objects is proto-abelian in the sense of Dyckerhoff. We give a categorical lift of flips in subword complexes. We consider a version of a category of formal direct sums of subobjects for a root-independent subword complex and interpret it in terms of quivers. If the corresponding quiver is a tree, the category is endowed with a proto-exact structure. We show that its Hall algebra is isomorphic to the Hall algebra of the category of representations of this quiver over $\mathbb{F}_1$. Under certain conditions, a flip corresponds to changing a proto-exact structure while keeping the category the same up to isomorphism, which corresponds to a non-trivial automorphism of the Hall algebra. In type $A$, this leads to a realization of the nilpotent part of the universal enveloping algebra and its automorphisms.