1: \begin{abstract}

2: Let $G$ be a semi-simple simply connected group over $\CC$. Following \cite{GLOI} we use the $q$-Toda integrable system obtained by quantum group version

3: of the

4: Kostant-Whittaker reduction (cf. \cite{Et} and \cite{Sev}) to define the notion of $q$-Whittaker functions $\Psi_{\chlam}(q,z)$.

5: This is a family of invariant polynomials on the maximal torus $T\subset G$ (here $z\in T$) depending

6: on a dominant weight $\check\lam$ of $G$ whose coefficients are rational functions in a variable $q\in \CC^*$.

7: For a conjecturally the same (but a priori different) definition of the $q$-Toda system these functions were studied

8: by B.~Ion in \cite{Ion} and by I.~Cherednik in \cite{C} (we shall denote the $q$-Whittaker functions from \cite{C}

9: by $\Psi'_{\chlam}(q,z)$). For $G=SL(N)$ these functions were extensively studied in \cite{GLOI}-\cite{GLOIII}.

10: 

11: We show that when $G$ is simply laced, the function $\hatPsi_{\check\lam}(q,z)=\Psi_{\chlam}(q,z)\cdot{\prod\limits_{i\in I}\prod\limits_{r=1}^{\langle\alpha_i,\check\lambda\rangle}(1-q^r)}$

12: (here $I$ denotes the set of vertices of the Dynkin diagram

13: of $G$) is equal to the character of a certain finite-dimensional $G[[\st]]\rtimes\CC^*$-module $D(\check\lam)$

14: (the Demazure module). When $G$ is not simply laced a twisted version of the above statement holds. This result is known for $\Psi_{\chlam}$ replaced by $\Psi'_{\chlam}$

15: (cf. \cite{San} and \cite{Ion}); however our proofs are algebro-geometric (and rely on our previous work \cite{BF11}) and thus they are completely

16: different from \cite{San} and

17: \cite{Ion} (in particular, we give an apparently new algebro-geometric interpretation of the modules $D(\chlam)$).

18: \subclass{19E08}

19: \end{abstract}

20: