In the present paper, we give a definition of the quantum group U υ (sl(S 1 )) of the circle S 1 := R/Z, and its fundamental representation. Such a definition is motivated by a realization of a quantum group U υ (sl(S 1 Q )) associated to the rational circle S 1 Q := Q/Z as a direct limit of U υ ( sl(n))'s, where the order is given by divisibility of positive integers. The quantum group U υ (sl(S 1 Q )) arises as a subalgebra of the Hall algebra of coherent sheaves on the infinite root stack X ∞ over a fixed smooth projective curve X defined over a finite field. Via this Hall algebra approach, we are able to realize geometrically the fundamental and the tensor representations, and a family of symmetric tensor representations, depending on the genus g X , of U υ (sl(S 1 Q )). Moreover, we show that U υ ( sl(+∞)) and U υ ( sl(∞)) are subalgebras of U υ (sl(S 1 Q )). As proved by T. Kuwagaki in the appendix, the quantum group U υ (sl(S 1 )) naturally arises as well in the mirror dual picture, as a Hall algebra of constructible sheaves on the circle S 1 . 30 4.5. Hecke operators on line bundles and the fundamental representation of U υ ( gl(n)) 34 4.6. Tensor and symmetric tensor representations of U υ ( gl(n)) 35 5. Relations between different Hall algebras 35 6. Hall algebra of the infinite root stack over a curve 36 6.1. Preliminaries on Hall algebras 36 6.2. Hecke algebra and U υ (sl(S 1 Q )) 37 6.3. Shuffle algebra presentation of U > ∞ 44 6.4. Hecke operators on line bundles and the fundamental representation of U υ (sl(S 1 Q )) 47 6.5. Tensor and symmetric tensor representations of U υ (sl(S 1 Q )) 47 6.6. Representation of the completed Hecke algebra 47 7. Comparisons with U υ sl(+∞)) and U υ sl(∞)) 48 Appendix A. Some results from [Lin14] 50 Appendix B. U υ (sl(S 1 )) from mirror symmetry 57 Acknowledgments 57 B.1. Mirror symmetry for P 1 ∞ 57 B.2. U υ (sl(S 1 )) from the mirror side 58 B.3. Fundamental representation 60 B.4. The composition Hall algebra of S 1 60 B.5. Other Dynkin types 60 References 62 1.1. Definition of U υ (sl(S 1 )). Let us introduce some notation. We call interval of S 1 a half-open interval J = [a, b[⊆ S 1 . We say that an interval J is rational if J ⊆ S 1 Q . We say that an interval J (resp. rational interval J) is strict if J = S 1 (resp. J = S 1 Q ). For an interval J, we denote by χ J its