Misplaced Pages

Hall algebra

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
(Redirected from Hall polynomial) For the more general Hall algebra of a category, see Ringel–Hall algebra.

In mathematics, the Hall algebra is an associative algebra with a basis corresponding to isomorphism classes of finite abelian p-groups. It was first discussed by Steinitz (1901) but forgotten until it was rediscovered by Philip Hall (1959), both of whom published no more than brief summaries of their work. The Hall polynomials are the structure constants of the Hall algebra. The Hall algebra plays an important role in the theory of Masaki Kashiwara and George Lusztig regarding canonical bases in quantum groups. Ringel (1990) generalized Hall algebras to more general categories, such as the category of representations of a quiver.

Construction

A finite abelian p-group M is a direct sum of cyclic p-power components C p λ i , {\displaystyle C_{p^{\lambda _{i}}},} where λ = ( λ 1 , λ 2 , … ) {\displaystyle \lambda =(\lambda _{1},\lambda _{2},\ldots )} is a partition of n {\displaystyle n} called the type of M. Let g μ , ν λ ( p ) {\displaystyle g_{\mu ,\nu }^{\lambda }(p)} be the number of subgroups N of M such that N has type ν {\displaystyle \nu } and the quotient M/N has type μ {\displaystyle \mu } . Hall proved that the functions g are polynomial functions of p with integer coefficients. Thus we may replace p with an indeterminate q, which results in the Hall polynomials

g μ , ν λ ( q ) ∈ Z [ q ] . {\displaystyle g_{\mu ,\nu }^{\lambda }(q)\in \mathbb {Z} .\,}

Hall next constructs an associative ring H {\displaystyle H} over Z [ q ] {\displaystyle \mathbb {Z} } , now called the Hall algebra. This ring has a basis consisting of the symbols u λ {\displaystyle u_{\lambda }} and the structure constants of the multiplication in this basis are given by the Hall polynomials:

u μ u ν = ∑ λ g μ , ν λ ( q ) u λ . {\displaystyle u_{\mu }u_{\nu }=\sum _{\lambda }g_{\mu ,\nu }^{\lambda }(q)u_{\lambda }.\,}

It turns out that H is a commutative ring, freely generated by the elements u 1 n {\displaystyle u_{\mathbf {1} ^{n}}} corresponding to the elementary p-groups. The linear map from H to the algebra of symmetric functions defined on the generators by the formula

u 1 n ↦ q − n ( n − 1 ) / 2 e n {\displaystyle u_{\mathbf {1} ^{n}}\mapsto q^{-n(n-1)/2}e_{n}\,}

(where en is the nth elementary symmetric function) uniquely extends to a ring homomorphism and the images of the basis elements u λ {\displaystyle u_{\lambda }} may be interpreted via the Hall–Littlewood symmetric functions. Specializing q to 0, these symmetric functions become Schur functions, which are thus closely connected with the theory of Hall polynomials.

References

Categories: