On Defining Ideals or Subrings of Hall Algebras

Dong Yang
DOI: https://doi.org/10.1007/s10468-007-9069-y
2007-01-01
Algebras and Representation Theory
Abstract:Let A be a finitary algebra over a finite field k, and A-\(\text{mod}\) the category of finite dimensional left A-modules. Let \(\mathcal{H}(A)\) be the corresponding Hall algebra, and for a positive integer r let D r (A) be the subspace of \(\mathcal{H}(A)\) which has a basis consisting of isomorphism classes of modules in A-\(\text{mod}\) with at least r + 1 indecomposable direct summands. If A is the path algebra of the quiver of type A n with linear orientation, then D r (A) is known to be the kernel of the map from the twisted Hall algebra to the quantized Schur algebra indexed by n + 1 and r. For any A, we determine necessary and sufficient conditions for D r (A) to be an ideal and some conditions for D r (A) to be a subring of \(\mathcal{H}(A)\). For A the path algebra of a quiver, we also determine necessary and sufficient conditions for D r (A) to be a subring of \(\mathcal{H}(A)\).
What problem does this paper attempt to address?