The Hopf algebra Rep U_{q} widehat{frak g frak l}_infty

We define the Hopf algebra structure on the Grothendieck group of finite-dimensional polynomial representations of in the limitN→∞. The resulting Hopf algebra Rep is a tensor product of its Hopf subalgebras Rep_a ,a ∈ ℂ^×/q^2ℤ. Whenq is generic (resp.,q ² is a primitive root of unity of orderl), we construct an isomorphism between the Hopf algebra Rep _a and the algebra of regular functions on the prounipotent proalgebraic group (resp., ). Whenq is a root of unity, this isomorphism identifies the Hopf subalgebra of Rep _a spanned by the modules obtained by pullback with respect to the Frobenius homomorphism with the algebra generated by the coefficients of the determinant of an element of considered as anl×l matrix over the Taylor series. This gives us an explicit formula for the Frobenius pullbacks of the fundamental representations. In addition, we construct a natural action of the Hall algebra associated to the infinite linear quiver (resp., the cyclic quiver withl vertices) on Rep _a and describe the span of tensor products of evaluation representations taken at fixed points as a module over this Hall algebra.