Abstract
The goal of this paper is two-fold. First, we write down the semi-infinite Plücker relations, describing the Drinfeld–Plücker embedding of the (formal version of) semi-infinite flag varieties in type A. Second, we study the homogeneous coordinate ring, that is, the quotient by the ideal generated by the semi-infinite Plücker relations. We establish the isomorphism with the algebra of dual global Weyl modules and derive a new character formula.