arXiv++ Combinatorics

We establish a ring isomorphism between the derived Hall algebra of the Jordan quiver and the ring of double symmetric functions (i.e., the ring of symmetric polynomials in two sets of countably many variables, invariant under the respective actions of their symmetric groups) with a parameter $t$. This isomorphism maps the derived Hall basis (the natural basis of the derived Hall algebra) to a class of double Hall-Littlewood (HL) symmetric functions, which are formulated via raising and lowering operators. These double HL functions are parameterized by bipartitions; they reduce to the classical HL functions when one of the partitions is empty, and specialize to Schur Laurent symmetric functions at $t = 0$. We also derive the Pieri rules for these double HL functions. Additionally, we obtain several natural generating functions for the derived Hall algebra as well as their transition relations, which can be transferred to the ring of double symmetric functions via the established ring isomorphism.

The $\imath$Hall algebra of a weighted projective line is defined to be the semi-derived Ringel-Hall algebra of the category of $1$-periodic complexes of coherent sheaves on the weighted projective line over a finite field. We show that this Hall algebra provides a realization of the $\imath$quantum loop algebra, which is a generalization of the $\imath$quantum group arising from the quantum symmetric pair of split affine type ADE in its Drinfeld type presentation. The $\imath$Hall algebra of the $\imath$quiver algebra of split affine type A was known earlier to realize the same algebra in its Serre presentation. We then establish a derived equivalence which induces an isomorphism of these two $\imath$Hall algebras, explaining the isomorphism of the $\imath$quantum group of split affine type A under the two presentations.

We show that the $\imath$Hall algebra of the Jordan quiver is a polynomial ring in infinitely many generators and obtain transition relations among several generating sets. We establish a ring isomorphism from this $\imath$Hall algebra to the ring of symmetric functions in two parameters $t, θ$, which maps the $\imath$Hall basis to a class of (modified) inhomogeneous Hall-Littlewood ($\imath$HL) functions. The (modified) $\imath$HL functions admit a formulation via raising and lowering operators. We formulate and prove Pieri rules for (modified) $\imath$HL functions. The modified $\imath$HL functions specialize at $θ=0$ to the modified HL functions; they specialize at $θ=1$ to the deformed universal characters of type C, which further specialize at $(t=0, θ=1)$ to the universal characters of type C.