\section{Introduction}

Time-dependent statistical descriptions of condensed matter systems are often made in terms of continuum, Langevin equations of the relevant dynamical variables driven by noises~\cite{chaikin}. The noises represent inherent microscopic stochasticity of the dynamics. In equilibrium systems, such stochasticity arises from thermal fluctuations. Conditions of thermal equilibrium, known as the fluctuation-dissipation theorem (FDT)~\cite{chaikin}, ensures that the damping in the system is proportional to the noise variance, which is assumed to be Gaussian-distributed with a zero mean. The proportionality constant in fact gives the temperature. In nonequilibrium systems, there is no FDT, and hence, the damping and the noise variance are independent of each other. As a result, nonequilibrium steady states (NESS) are far more diverse and complex than their equilibrium counterparts.

Physical descriptions of many natural driven systems involve coupled dynamics of several
degrees of freedom. Prominent examples include driven symmetric
mixture of a miscible binary fluid~\cite{binfluid} and magnetohydrodynamics~\cite{mhd}. Stochastically driven binary fluid equations of the velocity and concentration gradient~\cite{binfluid1} and magnetohydrodynamics (MHD) equations of the velocity and magnetic fields~\cite{abmhd} have been used to study turbulence in these systems. In equilibrium systems, conditions of thermal equilibrium, e.g., in the form an FDT, ensures that the noise statistics have no role to play in determining the thermodynamic properties of the system. For instance, relaxational dynamics both without and with a conservation law for the order parameter~\cite{halpin} refer to the same equal-time, thermal equilibrium properties. In contrast to equilibrium systems, in the absence of any FDT, varying the noise statistics can result into distinctly different NESS in driven systems. { For instance, the Kardar-Parisi-Zhang (KPZ) equation driven by white noises~\cite{kpz,stanley}, and its conserved counterpart (the CKPZ equation) driven by conserved noises~\cite{ckpz} have very different universal properties. }

Introduction of noise cross-correlations in a stochastically driven coupled model necessarily changes the noise distribution, Whether or not this can lead to a new NESS, is a question of basic importance in nonequilibrium statistical mechanics. In fact, there are examples where non-zero cross-correlations of the two noises in the two dynamical equations are found to affect the scaling properties of the NESS. Presence of such noise cross-correlations in driven systems cannot be ruled out on the basis of any symmetry arguments or physical principles.  Simpler reduced models have been proposed and further studied to explore the role of noise cross-correlations. For instance, noise cross-correlations in a nonconserved relaxational model for the complex scalar field turns out to be generally a relevant perturbation on the equilibrium states of the model near a critical point~\cite{niladri-noise}. Subsequently, by using a coupled Burgers model originally proposed in~\cite{abfrey1}, Refs.~\cite{abfrey1,abfrey2} have been shown that noise cross-correlations can lead to continuously varying scaling exponents in the NESS. Nonetheless, general understanding of the effects of noise cross-correlations on the NESS of driven models still remains largely at an early stage.

In this work, we revisit the issue of the effects of noise crosscorrelations on the NESS of coupled driven models. Since we are interested in studying a question of principle, it suffices to work with simple models where explicit calculations can be performed relatively easily, but still nontrivial results can be obtained. To that end, we use a one-dimensional (1D) model~\cite{ertas,barabasi,jkb-mode-coup}, where one of the fields $v(x,t)$ in autonomous, and satisfies the well-known 1D Burgers equation~\cite{fns}.  The second dynamical field $b$ is dynamically influenced by $v$, and follows an equation similar to the well-known passive scalar equation with a compressible velocity field. We investigated the universal spatio-temporal scaling properties. Using a specific structure of the noise crosscorrelations, we show that depending upon the specific model at hand, either it introduces instabilities to the NESS characterised by well-known scaling exponents, or is {\em irrelevant} (in the renormalisation group or RG sense), leaving the long wavelength scaling properties unaffected. In the former case, the ultimate steady state that the instability by the noise cross-correlations lead to cannot be determined from the low order perturbation theory employed here. The remainder of this article is organised as follows. In Section~\ref{model}, we have introduced the models we have used, along with the form of the noise  cross-correlations. Then in Section~\ref{rg-an}, we have discussed the details of the dynamic RG analysis on the model. In Section~\ref{summ}, we summarise and conclude. Some of the intermediate technical details including the one-loop Feynman  diagrams are given in Appendix for interested readers.

\section{Model}\label{model}

Noise crosscorrelations can generically exist in any multi-variable system described by stochastically driven dynamical  equations for the dynamical variables.  Since we are trying to answer questions of principles, we use a simple, purpose-built 1D model that suffices for our purposes. The model consists of two dynamical variables $v(x,t)$ and $b(x,t)$. Out of these two, we assume $v$ to be {\em autonomous}, i.e., independent of $b$, and follows the well-known 1D Burgers equation~\cite{fns}. This is given by

\begin{equation}
\frac{ \partial v}{\partial t}=\nu\partial_{xx} v +\frac{\lambda_1}{2}\partial_x v^2 + f_v.\label{eq1}
\end{equation}
Here, $\nu>0$ is a diffusivity, and $\lambda_1$ a non-linear coupling constant, and can be of any sign. Further, $f_v$ is a conserved noises. Hereafter, we refer to $v$ as the ``Burgers velocity field''~\cite{fns}.

The second field $b$ is assumed to be advected by the Burgers velocity $v$ {\em passively}, i.e., it has no effect on the dynamics of $v$. The dynamics of $b$ follows~\cite{jkb-mode-coup}

\begin{equation}
 \frac{ \partial b}{\partial t}=\mu\partial_{xx} b + \lambda_2 \partial_x (vb) + f_b.\label{eq2}
\end{equation}
Here, $\mu>0$ is a diffusivity, and $\lambda_2$ a non-linear coupling constant, and can be of any sign. Further, $f_b$ is a  conserved noise. Following the nomenclature of Ref.~\cite{abfrey1}, we call $b$ as the ``Burgers magnetic field''.
Equations~(\ref{eq1}) and (\ref{eq2}) in fact can be obtained from the coupled Burgers equations without the feedback term in the equation of $v$; see Refs.~\cite{diamond,abfrey1}. These can also be written in terms of nonconserved height or displacement fields; see, e.g., Refs.~\cite{ertas,lahiri}.

The noises $f_v$ and $f_b$ have zero mean, and are Gaussian-distributed. Their joint probability distribution is characterised by the three variances (written in the Fourier space and functions of frequency $\omega$ and wavevector $k$)
\begin{eqnarray}
 \langle f_v(k,\omega) f_v (-k,-\omega)\rangle &=& 2D_v k^2,\label{var1}\\
 \langle f_b(k,\omega) f_b (-k,-\omega)\rangle &=& 2D_b k^2,\label{var2}\\
 \langle f_v(k,\omega) f_b(-k,-\omega)\rangle &=& 2iD_\times k |k|,\label{var3}
\end{eqnarray}
where $D_v,\,D_b>0$ necessarily, but the sign of $D_\times$ is arbitrary. {  Reality of the noises means the noise variance matrix constructed from (\ref{var1})-(\ref{var3}) must have real, non-negative eigenvalues, which in turn implies $D_v\,D_b\geq D_\times^2$.}
Equation~(\ref{var3}) gives the noise cross-correlation here, which is {\em purely imaginary} and {\em odd} in $k$, i.e., $D_\times(k) = - D_\times(-k)$. The structure of (\ref{var3}) is dictated by the symmetry properties of (\ref{eq1}) and (\ref{eq2}). In line with \cite{abfrey1}, we assume $v$ to be a {\em pseudo-scalar} field and $b$ to be a {\em scalar} field (i.e., a vector and a pseudo-vector at dimensions $d>1$). This means Eqs.~(\ref{eq1}) and (\ref{eq2}) are invariant under $x\rightarrow -x,\,v\rightarrow -v,\,b\rightarrow b$. These symmetries hold true even if there is a ``mean $b$'', i.e., $\langle b\rangle\neq 0$~\cite{abfrey1}. On the other hand, if $\langle b\rangle =0$, the model has a higher symmetry: Equations~(\ref{eq1}) and (\ref{eq2}) are also invariant under $x\rightarrow -x,\,v\rightarrow -v,\,b\rightarrow -b$. While our subsequent calculations specialise for $\langle b\rangle = 0$, we continue to impose invariance under (\ref{eq1}) and (\ref{eq2}) are invariant under $x\rightarrow -x,\,v\rightarrow -v,\,b\rightarrow b$ only. This symmetry implies the cross-correlation function $\langle v(x,t)b(0,0)\rangle$ is an {\em odd} function of $x$. This in turn means, as in Ref.~\cite{abfrey1}, $\langle v(k,t)b(-k,0)\rangle$ is purely imaginary and odd in $k$. Since $\langle v(k,t)b(-k,0)\rangle$ proportional to the noise cross-correlations, and the noises in (\ref{eq1}) and (\ref{eq2}) must follow the symmetries of the corresponding dynamical variables,  (\ref{var3}) follows directly~\cite{foot1}.

\section{Galilean invariance}\label{gal-inv}

Model equations (\ref{eq1}) and (\ref{eq2}) are invariant under a pseudo-Galilean transformation $x\rightarrow x+ v_0t,\, v\rightarrow v+v_0,\, t\rightarrow t,\, \frac{\partial}{\partial t} \rightarrow \frac{\partial}{\partial t} + \lambda_1 v_0\partial_x$, when $\lambda_1=\lambda_2$. When $\lambda_1\neq \lambda_2$, there is no Galilean invariance. However, as our calculations below show (see also Refs.~\cite{ertas,abfrey1,abfrey2,abfrey3} for related discussions) even if $\lambda_1\neq \lambda_2$, i.e., even when they are unequal microscopically, Galilean invariance is recovered and appears as an {\em emergent symmetry} in the long wavelength limit, i.e., $\lambda_1=\lambda_2$ in the renormalised theory, so long as  $\lambda_1\lambda_2>0$ holds. In contrast, if $\lambda_1\lambda_2<0$, Galilean invariance is {\em not} restored even in the long wavelength limit. Hence, Galilean invariance is genuinely broken even in the renormalised theory in this case. These are the two distinct cases, which we discuss separately below. We further consider a third case, in which we set $\lambda_1=0$. Thus in this case, $v$ satisfies the linear 1D diffusion equation. The corresponding equation in terms of a height field is the well-known Edward-Wilkinson equation~\cite{stanley}, forced by a nonconserved noise.

\section{Scaling}\label{scaling}

We are interested in calculating the scaling exponents which characterise the time-dependent correlation functions of $v$ and $b$:
\begin{eqnarray}
 C_v( r,t)\equiv \langle v({ r},t)v(0,0)\rangle&=&|r|^{2\chi_v}f_v(|r|^{z_v}/t),\label{cvreal}\\
 C_b( r,t)\equiv \langle b({ r},t)b(0,0)\rangle&=&|r|^{2\chi_b}f_b(|r|^{z_b}/t).\label{cbreal}
\end{eqnarray}
or their Fourier transformed versions
\begin{eqnarray}
 C_v(k,\omega)\equiv \langle |v({ k},\omega)|^2\rangle&=&k^{2\tilde\chi_v}\tilde f_{v}(k^{z_v}/\omega),\label{cvfour}\\
 C_b(k,\omega)\equiv \langle |b({ k},\omega)|^2\rangle&=&k^{2\tilde\chi_b}\tilde f_{b}(k^{z_b}/\omega),\label{cbfour}

\end{eqnarray}
in the long wavelength limit. Here $\chi_v$  and $z_v$  are the roughness and dynamic exponents of $v(x,t)$; $\chi_b$ and $z_b$ are respectively the corresponding roughness and dynamic exponents of $b(x,t)$; $\tilde\chi_v$ ($\tilde\chi_b$) can be connected to $\chi_v$ ($\tilde\chi_b$) by Fourier transform, giving
\begin{equation}
 \tilde\chi_v=1+\chi_v+z_v,\;\;\tilde\chi_b=1+\chi_b+z_b.
\end{equation}
Further, $f_{v,b}(|r|^z/t)$ and $\tilde f_{v,b}(k^z/\omega)$ are dimensionless scaling functions of their respective arguments.  Notice  that we have allowed for two different dynamic exponents. If $z_v=z_b$, then one gets {\em strong} dynamic scaling, else, if $z_v\neq z_b$, weak dynamic scaling ensues~\cite{dibyendu}.

\subsection{Linear theory}

The linear limit of the model equations is obtained by setting all nonlinear term to zero, i.e., by setting $\lambda_1 = 0 =\lambda_2$. In this limit, all the two point correlations can be calculated exactly. We have
\begin{eqnarray}
 \langle |v(k,\omega)|^2\rangle &=& \frac{2D_vk^2}{\omega^2 + \nu^2 k^4},\label{lin-corr-u}\\
 \langle |b(k,\omega)|^2\rangle &=& \frac{2D_bk^2}{\omega^2 + \mu^2 k^4},\label{lin-corr-b}\\
 \langle v(k,\omega)b(-k,-\omega)\rangle &=& \frac{2ik|k|D_\times}{(-i\omega + \nu k^2)(i\omega +\mu k^2)}.\label{lin-corr-cross}
\end{eqnarray}
These give the exact exponent values $\chi_v=\chi_b=-1/2$, which may be obtained by inverse Fourier transforming the above correlators, and $z_v=z_b=2$, corresponding to strong dynamic scaling in the linear theory. If noise crosscorrelations vanish, the linearised equations actually admit an FDT. {  In fact, if $D_\times=0$, $v$ and $b$ fully decouple at the linear level, and by using FDT one can identify two ``temperatures'' $T_v=D_v/\nu$ and $T_b=D_b/\mu$ in the linear theory, which are in general unequal. But a non-zero noise cross-correlation breaks FDT even at the linear level, making it impossible to identify any temperature-like quantity. } {  Lastly, it is straightforward to show by using that (\ref{lin-corr-u})-(\ref{lin-corr-cross}) that the ratios of the equal-time correlators $\langle v(x,0)v(0,0\rangle,\,\langle b(x,0)b(0,0)\rangle,\,\langle v(x,0)b(x,0)\rangle$ are all just numbers.}

\subsection{Nonlinear effects}\label{rg-an}

The presence of the nonlinear terms no longer allows enumeration of the exact scaling exponents for (\ref{eq1}) and (\ref{eq2}), unlike in the linear theory. Thus perturbative treatments are necessary. Na\"ive perturbation theory produces diverging corrections to the model parameters. These divergences may be systematically handled within the framework of dynamic RG~\cite{halpin}.

While the dynamic RG procedure is already well-documented in the literature~\cite{halpin}, we give below a brief
outline of this method for the convenience of the readers. It is useful to first cast the model equations (\ref{eq1}) and (\ref{eq2}) into a dynamic generating functional by introducing dynamic conjugate fields $\tilde v(x,t)$ and $\tilde b(x,t)$; see Ref.~\cite{janssen}, see also Appendix~\ref{short-action} and Appendix~\ref{rg-appen} for some intermediate details. The dynamic generating functional is then averaged over the Gaussian  distribution of the noises $f_v$ and $f_b$ with variances (\ref{var1}), (\ref{var2}) and (\ref{var3}). The momentum shell dynamic RG procedure consists of integrating over the short wavelength Fourier modes of $v(x,t),\,b(x,t),\,\tilde v(x,t)$ and $\tilde b(x,t)$ in the generating functional. This is then followed by  rescaling of lengths
and time. In particular, we follow the standard approach of initially restricting wavevectors to lie in a Brillouin zone: $|q| < \Lambda$, where $\Lambda$ is an ultra-violet cutoff
 of order the inverse of the lattice spacing $a$,
although its precise value is unimportant so far as the scaling in the long wavelength limit is considered. The  fields $v(x,t),\,b(x,t)$ and their dynamic conjugates $\tilde v (x,t),\,\tilde b(x,t)$ are then split into two parts, a high and low wave vector parts $v(x,t)=v^>(x,t) + v^<(x,t),\,b(x,t)=b^>(x,t) + b^<(x,t)$ and $\tilde v(x,t)=\tilde v^>(x,t) + \tilde v^<(x,t),\,\tilde b(x,t)=\tilde b^>(x,t) + \tilde b^<(x,t)$, where $(v,b)^>(x,t)$ and $(\tilde v,\tilde b)^>(x,t)$ are non-zero in the high wavevector range $\Lambda/b< k < \Lambda,\,b>1$, whereas $(v,b)^<(x,t)$ and $(\tilde v,\,\tilde b)^<(x,t)$ are non-zero in the low wavevector range $k< \Lambda/b$. Next, $v^>(x,t),\,b^>(x,t)$ and $\tilde v^> (x,t),\,\tilde b^>(x,t)$ are to be integrated out in the dynamic generating functional. Of course, this integration cannot be done exactly, but is done
perturbatively in the anharmonic couplings in Appendix~\ref{short-action}.
This perturbation theory is usually represented
by Feynman diagrams, with the order of perturbation
theory given by the number of loops in the diagrams that
we calculate; see Appendix~\ref{resc}. Next to this perturbative step, we rescale length by $x=x' \exp(l)$,
in order to restore the UV cutoff back to $\Lambda$. We further rescale time by $t = t'\exp(l\,z)$, whether or not $z$ is the actual dynamic exponent will be found as we go along. This is then followed by rescaling of $v^<(x,t),\,b^<(x,t)$ and $\tilde v^<(x,t),\,\tilde b^<(x,t)$,
the long wave length parts of $v(x,t),\,b(x,t)$ and $\tilde v(x,t),\,\tilde b(x,t)$; see Appendix~\ref{resc}. We discuss (i) $\lambda_1\lambda_2>0$ (Case I),  (ii) $\lambda_1\lambda_2<0$ (Case II), and (iii) $\lambda_1=0\,\lambda_2> 0$ (Case III) separately below. Before we discuss the RG results in details, we note that the dynamics of $v$, independent of $b$, follows the well-known 1D Burgers equation~\cite{fns}, for the scaling exponents $\chi_u$ and $z_u$ are known {\em exactly}, thanks to the Galilean invariance and FDT~\cite{fns,stanley}. This gives $\chi_v=-1/2,\,z_v=3/2$, which are exact. The corresponding scaling exponents of $b$, however, cannot be obtained exactly, necessitating perturbative approaches. The relevant one-loop Feynman diagrams for the model parameters and the noise strengths are given in Appendix~\ref{diag}. Independent of the sign of $\lambda_1,\lambda_2$, the critical dimension of the model is two. Since we are interested in 1D, less than the critical dimension, we use a fixed dimension RG scheme, same as that used in the RG calculations on the 1D KPZ equation~\cite{stanley}.

\subsection{Case I: Renormalisation group analysis}

The one-loop Feynman diagrams upon evaluation produces the discrete recursion relations. These are given in Appendix~\ref{dist-rec}. This procedure is followed by rescaling of space, time and the fields together with ${\mathcal L}=e^{dl}\approx 1+dl$ for small $dl$ (here $\mathcal L$ is a running scale factor, not to be confused with the system size, which we formally take to be infinity), which ultimately give the following RG recursion relations:
\begin{eqnarray}
 \frac{d\nu}{dl}&=&\nu\left[z-2+\frac{g}{4}\right],\label{nuflow}\\
 \frac{d\mu}{dl}&=&\mu\left[z-2+\frac{g\psi^2}{2(1+P)P}+ \frac{g(1-P)\psi^2}{(1+P)^2P}\right],\label{muflow}\\
\frac{dD_v}{dl}&=&D_v\left[z-2\chi_v-3 +\frac{g}{4}\right],\label{flowDv}\\
 \frac{dD_b}{dl}&=&D_b\left[z-2\chi_b-3+\frac{g\psi^2}{P(1+P)}-\frac{4\Gamma \alpha g\psi^2}{(1+P)^3}\right],\nonumber\\\label{flowDb}\\
\frac{d\lambda_1}{dl}&=&\lambda_1\left[\chi_v+z-1\right],\label{flowl1}\\
 \frac{d\lambda_2}{dl}&=&\lambda_2\bigg[\chi_v+z-1-\frac{\psi^2 g}{(1+P)^2}+\frac{\psi g(3+P)}{2(1+P)^2}\nonumber \\&-&\frac{g\psi}{2(1+P)}\bigg],\label{flowl2}\\
 \frac{dD_\times}{dl}&=&D_\times\left[z-\chi_v-\chi_b-3\right].\label{flowDx}
\end{eqnarray}
Here, $g\equiv  \frac{\lambda_1^2D_v}{\nu^3}$ is the dimensionless coupling constant, $P\equiv \frac{\mu}{\nu}$ is the dimensionless magnetic Prandtl number, $\Gamma\equiv D_\times^2/D_v^2,\,\alpha\equiv D_v/D_b$. All these are non-negative by construction. {  For reasons of notational convenience, we define $\Phi\equiv \alpha\Gamma$.} In addition, $\psi\equiv \lambda_2/\lambda_1$, which in the present case in positive. {Notice that there are no relevant one-loop corrections to $D_\times$. This is because the vertices in Eqs.~(\ref{eq1}) and (\ref{eq2}) are ${\cal O}(k)$, and hence cannot generate any relevant corrections to the noise crosscorrelation (\ref{var3}), which scales as $k|k|$~\cite{abfrey2}. This reason for  the lack of renormalisation of $D_\times$ actually holds to all orders in the perturbation theory, making $D_\times$ unrenormalised to any order in the perturbation theory.}

Flow equations~(\ref{nuflow})-(\ref{flowDx}) can be used to calculate the flow equations for $g,P,\Gamma,\alpha$. We find
\begin{eqnarray}
 &&\frac{dg}{dl}=g \left[1-\frac{g}{2}\right],\label{flowg}\\
 &&\frac{dP}{dl}=Pg\left[\frac{\psi^2}{2P(1+P)}+\frac{\psi^2(1-P)}{P(1+P)^2}-\frac{1}{4}\right],\label{flowP}\\
 &&\frac{d\psi}{dl}=\psi g \bigg[-\frac{\psi^2 }{(1+P)^2}+\frac{\psi }{(1+P)^2}\bigg], \label{flowpsi}\\
 &&\frac{d\Phi}{dl} = \Phi g\left[-\frac{1}{4}-\frac{\psi^2}{1+P}+\frac{4\Phi\psi^2}{(1+P)^3}\right].\label{flowalgam}
 \end{eqnarray}
 At the RG fixed point, $dg/dl=0=dP/dl=d\psi/dl=d\Phi/dl$. This gives $g^*=2,\,\psi^*=1$ and $P^*=1$ as the {\em stable} RG fixed point; here and below a superscript $^*$ refers to the RG fixed point value of any quantity. {  Notice that $\psi^*=1$ is obtained from (\ref{flowpsi}) for any $P$. Notice that $\psi=0=g$ is {\em also} a fixed point of (\ref{flowg}) and (\ref{flowpsi}); it is however globally unstable.} Unsurprisingly, $g^*$ is same as that for the 1D Burgers equation~\cite{fns,stanley}, since $g$ depends only on the parameters of (\ref{eq1}), which is autonomous. This in turn gives $\chi_v=-1/2,\,z_v=3/2$, which are {\em exact}, due to the Galilean invariance and FDT of the 1D Burgers equation~\cite{fns,stanley,frey-2-loop}. Further, $P^*=1$ means at the RG fixed point $\nu^*=\mu^*$, i.e., the two renormalised diffusivities are equal, even if they were unequal microscopically. This further implies that the fields $v$ and $b$ have the {\em same} dynamic exponent: $z_v=z_b=z$. This is an example of {\em strong dynamic scaling}~\cite{dibyendu}. Furthermore, at the RG fixed point $\psi^*=1$ implies that $\lambda_1^*=\lambda_2^*$ at the RG fixed point, such that the fixed point is Galilean invariant, even if it were not so microscopically (but with $\lambda_1\lambda_2>0$ microscopically). Thus, the Galilean invariance is an emergent symmetry, even though it is absent microscopically, a statement that holds even in the presence of noise crosscorrelations just as it does in its absence~\cite{ertas}.

 The RG flow of $\Phi$ requires careful attention. We see that the fixed point condition $d\Phi/dl=0$  produces the following fixed points, at each of which the spatial scaling of $b$ given by $\chi_b$ is analysed:

 (i) $\Phi^*=0$, a stable fixed point. At this RG fixed point, the noise crosscorrelations effectively vanish, and the long wavelength scaling properties of the system are identical to that without it: {  $\chi_b=-1/4$}.

 (ii) There is a second fixed point  given by the condition
 \begin{equation}
  -\frac{1}{4}-\frac{\psi^2}{1+P}+ \frac{4\Phi\psi^2}{(1+P)^3}=0,
 \end{equation}
giving
   $\Phi^*=3/2\equiv \Phi_{c1}$ obtained by using $\psi^*=1=P^*$, which is {\em linearly unstable}. This implies if $\Phi(\ell=0)<\Phi_{c1}$, the system flows to the fixed point $\Phi^*=0$, meaning  a steady state that is statistically identical to a state having no crosscorrelations at the microscopic level in the long wavelength limit, and hence the scaling exponents have the values identical to their values {\em without} crosscorrelations. {  At this unstable fixed point $\chi_b=-7/8$, different from its value when $\Phi^*=0$, i.e., without crosscorrelations.} However, $\Phi(\ell =0)>\Phi_{c1}$, then the system reaches a steady state not known from perturbation theories. Thus in this case, noise crosscorrelations remain {\em relevant} in the RG sense.

 (iii) Given that $\Phi^*=\Phi_{c1}$ is a linearly unstable fixed point,  such that if the ``initial value'' $\Phi(l=0)>\Phi_{c1}$, $\Phi(l)$ flows away as $l$ grows, there should be another ``strong coupling'' fixed point presumably stable, but cannot be accessed in this one-loop perturbation theory. This indicates an instability of the zero crosscorrelation state, induced by noise crosscorrelations. It is instructive to find out how $\Phi(l)$ diverges for sufficiently large $l$. As $\Phi(l)$ grows, (\ref{flowalgam}) reduces to
 \begin{equation}
  \frac{d\Phi}{dl}\approx \frac{4g\Phi^2\psi^2}{(1+P)^3}={\Phi^2}.
 \end{equation}
Solving this, we find
\begin{equation}
 \Phi(l)=\frac{\Phi(\ell=0)}{\ell\Phi(l=0)-1}.
\end{equation}
This shows that $\Phi(\ell)$ diverges as $\ell\rightarrow l_c\equiv 1/\Phi(\ell=0)$ from below. In other words, $\phi(\ell)$ diverges as the system size reaches a {\em non-universal} threshold $a_0\exp(l_c)$, where $a_0$ is a small-scale cutoff. This happens so long as the ``initial'' or microscopic value $\Phi(l=0)>\Phi_{c1}$. What is the nature of the steady state in this case? We note from (\ref{flowDb}) that as $\Phi(\ell)$ grows, $\chi_b$ decreases continuously. This is of course unphysical. We cannot in fact follow the flow of $\Phi(\ell)$ all the way to $\ell\rightarrow l_c$, as the perturbation theory breaks down long before that.

{  Combining the fixed points of $\psi$ and $\Phi$, we thus find the following fixed points in the $\psi-\phi$ plane for $g=2$: \\

(i) The origin (0,0). This  has quite an interesting stability property - it is {\em marginally unstable} along the $\psi$-direction, but {\em stable} along the $\Phi$-direction! Naturally, the flow along the $\Phi$-axis is towards the origin.\\

(ii) A globally stable fixed point $(1,0)$. At this fixed point, the long wavelength scaling properties are identical to those with zero noise crosscorrelations.\\

(iii) A fixed point $(1,3/2)$ that is stable along the $\psi$-direction, but unstable along the $\Phi$-direction. \\

(iv) A putative globally stable ``strong coupling'' fixed point, which cannot be captured in our perturbation theory.

The presence of the several fixed points suggests the existence of one or more separatrix, which separates different regions of the phase space having distinct behaviours. Since the origin is stable along the $\Phi$-axis, but unstable along the $\psi$-axis, there should be a separatrix originating from the origin delineating these behaviours. Linearising
(\ref{flowpsi}) and (\ref{flowalgam}) about (0,0), and defining $\Gamma_1=\Phi/\psi$ as the slope of the separatrix near the origin, we set $d\Gamma_1/dl=0$ for  the separatrix. This gives  $\Gamma_1=0$ near the origin, i.e., the $\psi$-axis. In the same way, we linearise about the unstable fixed point $(1,3/2)$, and define $\tilde \Gamma_1 =\delta \Phi/\delta \psi$, where $\delta \Phi$ and $\delta \psi$ are (small) fluctuations of $\Phi$ and $\psi$ from their fixed point values. For a separatrix that passes through $(1,3/2)$, we set $d\tilde\Gamma/dl=0$ giving
\begin{equation}
 \delta \Phi = -\frac{3}{4}\delta \psi, \label{sep1}
\end{equation}
giving the separatrix near the fixed point (1,3/2).

A schematic RG flow diagram of the model in the $\psi-\Phi$ plane is shown in Fig.~\ref{phase1}. }

  \begin{figure}[htb]
  \includegraphics[width=7cm]{phase1n2.pdf}
  \caption{Schematic RG flow diagram in the $\psi-\Phi$-plane for Case I. Arrows show the RG flow directions. The filled square represents the unstable fixed point, and the filled circle on the $\psi$-axis is a stable fixed point. The red broken line is the separatrix  (\ref{sep1})
  }\label{phase1}
 \end{figure}

 {  At this point, it is instructive to draw a formal analogy of this instability with the roughening transition in the KPZ equation at $d>2$, a transition between the smooth phase and the perturbatively inaccessible rough phase. This can be accessed, e.g., by increasing the noise strength. Similarly in the present problem, by increasing $\Phi$ one can observe a transition from a perturbatively accessible phase having no effects of the noise crosscorrelations to a perturbatively inaccessible phase, where noise crosscorrelations should be relevant in the RG sense, via an unstable fixed point that is reminiscent of a critical point. }

 {  While one-loop perturbative RG cannot predict the nature of the steady states near the putative strong coupling fixed point, we note that in the special limit with $\lambda_1=\lambda_2$ and $\nu=\mu$ ``initially'' (i.e., microscopically), these conditions remain satisfied under mode eliminations. It is therefore reasonable to expect that even at the strong coupling fixed point, these should hold in the long wavelength limit at least when these are satisfied microscopically. This in turn means $z_v=z_b=3/2$ (strong dynamic scaling) at the strong coupling fixed point. Roughness exponent $\chi_b$ however cannot be estimated in this way. Nonetheless, given that $\chi_b\neq \chi_v$ at the unstable fixed point $\Phi^*=\Phi_{c1}$, we are tempted to speculate that $\chi_b\neq \chi_v$ at the strong coupling fixed point as well. Furthermore, since $\Phi$ should be non-zero, at this strong coupling fixed point, we expect at this fixed point $\chi_b < \chi_b(\Phi=0)$. In addition, the topology of the RG flow lines suggest that at the perturbatively inaccessible strong coupling fixed point $\Phi^*> \Phi_{c1}$, the fixed point value of $\phi$ at the unstable fixed point. If this is the case, then we must have the hierarchy $\chi_b ({\rm strong\,coupling})< \chi_b (\Phi=\Phi_{c1})< \chi_b (\Phi=0)$. This runs in contrast to the KPZ equation at $d>2$, where the strong coupling phase is also the ``rough phase'', being rougher than both the smooth phase and at the roughening transition. Physical implication of what this means is not immediately clear to us. Numerical studies of the equations of motion or mode coupling approaches should help in this regard.

 The different scaling exponents obtained in Case I are presented in a tabular form in Table~\ref{tab1} below.
  \begin{table}[h!]
 \begin{center}
\begin{tabular}{|p{2cm} |p{2cm}|p{2cm}|p{2cm}| }
  \hline
  \multicolumn{4}{|c|}{Case I fixed points and scaling exponents ($g=2$)} \\
 \hline
 \hline
 $\psi=0,\,\Phi=0$ & $\psi=1,\,\Phi=0$ & $\psi=1,\,\Phi=3/2$ & $\psi={\rm not known,}\,\Phi\rightarrow {\rm large}$\\
 Linearly unstable along $\psi$, stable along $\Phi$ & Linearly fully stable & Linearly stable along $\psi$, unstable along $\Phi$ & Strong coupling, presumably fully stable\\
 Linear theory for $b$, $\chi_b=-1/2$ & $\chi_b=-1/4,z_b=3/2$ & $\chi_b=-1,z_b=3/2$ &  $z_b=3/2$ if $P=1$ microscopically, $\chi_b$ not known\\
 \hline\hline
 \end{tabular}
\caption{Fixed points in the $\psi-\Phi$ plane and the associated scaling exponents (with $g=2$) in Case I (see text).}\label{tab1}
\end{center}
   \end{table}

Although we cannot obviously follow the RG flow of $\Phi(l)$, starting from $\Phi(l=0)>\Phi_{c1}$, all
the way to infinity as $\Phi(l)$ appears to diverge as $l\rightarrow l_c$ from below, it is possible to speculate about the nature of the
phases in this region of the parameter space. For this, we are guided
by the fact that  $\psi=1$ and $P=1$ is maintained by the perturbation theory, and hence at the strong coupling fixed point also. Given that the form of the noise crosscorrelations, as given in (\ref{var3}), {\em does not} break the Galilean invariance by itself,  this persuades us to speculate that $\psi^*=1$ (corresponding to Galilean invariance) and $P^*=1$ are stable at the strong coupling fixed point. All that the noise crosscorrelations can do is to generate a non-zero fixed   value of $\Phi$, leading to $\chi_b\neq \chi_v$, something that already happens at the unstable fixed point. This suggests the existence of {\em another} stable fixed point located at $\psi=1$ and $\Phi>\Phi_{c1}$. This is an Occam's razor-style argument which allows us to draw the simplest RG flow lines that are one hand physically intuitive and also consistent with the perturbatively obtained flow lines; see Fig.~\ref{occ1}.
 \begin{figure}[htb]
  \includegraphics[width=8cm,height=6cm]{phase1-occam.pdf}
  \caption{Conjectured global RG flows constructed by using Occam's razor style arguments diagram in the $\psi-\Phi$-plane for Case I. Arrows show the RG flow directions. The filled square represents the unstable fixed point, and the filled circle in a stable fixed point. The red square is the speculated, presumably globally stable fixed point. The red, broken line is the separatrix, drawn schematically as an extension of (\ref{sep1}), which we do not expect to meet any of the axes at any finite distance from the origin. }\label{occ1}
 \end{figure}
 }

\subsection{Case II: Renormalisation group analysis}

We now consider the case with $\psi <0$, or $\lambda_1\lambda_2<0$.
{As in Case I, there are no relevant corrections to $D_\times$.} To proceed further, we assume $\lambda_1>0$ without any loss of generality. Then $\lambda_1\lambda_2<0$ implies $\lambda_2<0$. Writing $\psi = -|\psi|$, flow equation (\ref{flowpsi}) takes the form
\begin{eqnarray}
 \frac{d|\psi|}{dl}&=&|\psi|g\bigg[-\frac{\psi^2 }{(1+P)^2}-\frac{|\psi| }{(1+P)^2}\bigg]. \label{flowpsi1}
\end{eqnarray}
Thus, $\psi^*=0$ is the {\em only} RG fixed point, which is {\em stable}. Further, $g^*=2$ at the RG fixed point, which is stable as before. {  With $\psi^*=0$, Eq.~(\ref{eq2}) effectively decouples from Eq.~(\ref{eq1}); as a result, fluctuation corrections to $\mu$ vanish}, which means $z_b=2$. However, the fluctuation corrections to $\nu$ remains unaffected, giving $z_v=3/2$ as before. Therefore $z_v>z_b$, giving $P^*\rightarrow 0$ at the RG fixed point. This gives {\em weak dynamic scaling}~\cite{ertas,barabasi,jkb-mode-coup}. These in turn gives
\begin{equation}
 \frac{d\Phi}{dl}=-\frac{\Phi}{2}<0,
\end{equation}
in the long wavelength limit. This means $\Phi$ flows to zero rapidly near the RG fixed point in the thermodynamic limit. Thus, the effects of the noise cross-corrections are {\em irrelevant} in the RG sense when $\lambda_1\lambda_2<0$: even if noise crosscorrelations are present microscopically, the long wavelength scaling properties of the steady states are same as those without it. A schematically drawn RG flow diagram in the $|\psi|-\Phi$-plane is shown in Fig.~\ref{phase2}. {  Unsurprisingly, the origin (0,0) is the only stable fixed point in the flow diagram. The flows along both the $\psi$ and $\Phi$-directions are towards the origin.}

\begin{figure}[htb]
  \includegraphics[width=7cm]{phase2.pdf}
  \caption{Schematic RG flow diagram in the $\psi-\Phi$-plane for Case II. Arrows show the RG flow directions. The filled circle represents the globally stable fixed point. Here, noise crosscorrelations are generally irrelevant (see text). }\label{phase2}
 \end{figure}

\subsection{Case III: Renormalisation group analysis}

We now consider the case with $\lambda_1=0$. Thus, not only $v$ is autonomous, it follows a linear equation, and its scaling exponents are of course exactly known: we have $\chi_v=-1/2,\,z=2$. {  In this case, the sign of $\lambda_2$ has no significance.} We first define a new dimensionless coupling constant $\tilde g=\lambda_2^2 D_v/\nu^3$, which plays the role of $g$ here. The RG flow equations now read
\begin{eqnarray}
 \frac{d\nu}{dl}&=&\left[z-2\right],\label{nuflow3}\\
 \frac{d\mu}{dl}&=&\mu\left[z-2+\frac{\tilde g}{2(1+P)P}+ \frac{\tilde g(1-P)}{(1+P)^2P}\right],\label{muflow3}\\
\frac{dD_v}{dl}&=&D_u\left[z-2\chi_v-3 \right],\label{flowDv3}\\
 \frac{dD_b}{dl}&=&D_b\left[z-2\chi_b-3+\frac{\tilde g}{P(1+P)}-\frac{4\Phi \tilde g}{(1+P)^3}\right],\nonumber\\\label{flowDb3}\\
 \frac{d\lambda_2}{dl}&=&\lambda_2\left[\chi_v+z-1-\frac{\tilde g}{(1+P)^2}\right].\nonumber\\\label{flowl23}

 \end{eqnarray}
{Since $\lambda_1=0$, there are no diagrammatic corrections to $D_\times$.} Hence, the flow of $D_\times$ follows the same equation (\ref{flowDx}).  We have noted above that $z_v=2$ gives the dynamic exponent of $v$. Does $z_b=2$ for $b$ as well? If it is so, then $P^*$ must be finite at the RG fixed point. The flow of $P$ can be calculated by using (\ref{nuflow3}) and (\ref{muflow3}) as given above. We find
\begin{equation}
 \frac{dP}{dl}=P\tilde g\left[\frac{1}{2P(1+P)}+\frac{1-P}{P(1+P)^2}\right].\label{flowP3}
\end{equation}
This has a stable fixed point at $P^*=3$, meaning $\mu^*=3\nu^*$. This further means that like $v$, even $b$ has a dynamic exponent $z_b=2$. Furthermore, the flow equation for $\tilde g$ reads
\begin{equation}
 \frac{d\tilde g}{dl}=\tilde g\left[1- \frac{2\tilde g}{(1+P)^2}\right].
\end{equation}
Therefore, at the RG fixed point $\tilde g^*=8$, using $P^*=3$. Then, proceeding as for Case I, we find
\begin{equation}
 \frac{d\Phi}{dl}=\Phi\tilde g\left[-\frac{1}{P(1+P)}+\frac{4\Phi}{(1+P)^3}\right]. \label{flowa3}
\end{equation}
Flow equation (\ref{flowa3}) gives the following fixed points, which interestingly are qualitatively similar to Case I:

(i) We have $\Phi^*=0$, a stable fixed point. At this RG fixed point, noise crosscorrelations are irrelevant in the RG sense, and the long wavelength scaling properties of the model is statistically identical to its zero noise crosscorrelation version~\cite{ertas,barabasi,jkb-mode-coup}. {  In particular, $\chi_b=-1/6$ and $z_b=2$.}

(ii) {  Then there is a linearly unstable fixed point $\Phi^*=4/3\equiv \Phi_{c2}$. Thus, if the initial value $\Phi(l=0)<4/3\equiv \Phi_{c2}$, $\Phi(l)$ flows to zero, rendering noise crosscorrelations irrelevant in the RG sense. At this unstable fixed point, $\chi_b (\Phi_{c2})=-1/2<\chi_b(\Phi=0)$. On the other hand, if  $\Phi(l=0)>\Phi_{c2}$, $\Phi(l)$ grows indefinitely as $l$ grows. Again as in Case I, this indicates an instability, induced by noise crosscorrelations. In fact, proceeding as in Case I, we can show that $\Phi(l)$ diverges as $l\rightarrow \tilde l_c\equiv 2/\Phi (l=0)$, a non-universal value.

Similar to Case I, a separatrix can be obtained that passes through $(8,4/3)$ in the $\tilde g-\psi$ plane. Following the procedure outlined in Case I, we find
\begin{equation}
 \frac{\delta\Phi}{\delta\tilde g}=0 \label{sep3}
\end{equation}
as the equation for separatrix near the fixed point $(8,4/3)$, where $\delta \tilde g$ and $\delta \psi$ are small deviations of $\tilde g$ and $\psi$ from their fixed point values.}

(iii) Again as in Case I, given that if  $\Phi(l=0)>\Phi_{c2}$, $\Phi(l)$ grows, another (presumably stable) fixed point $\Phi^*>4/3$ should exist, whose actually value cannot be obtained in the present one-loop perturbation theory. Based on our one-loop theory, no inference can be drawn about the scaling properties of this ``strong coupling'' state. However, given that if one has $P=3$ microscopically, it remains so under mode eliminations, we still expect $z_v=z_b=2$. By using arguments similar to Case I, we expect $\chi_b<\chi_b (\Phi=0)$ at this fixed point. By using arguments similar to Case I above, we again expect an analogous hierarchy $\chi_b(\Phi>\Phi_{c2})<\chi_b(\Phi=\Phi_{c2})<\chi_b(\Phi=0)$. Numerical approaches should provide qualitative results and additional physical insight about the strong coupling phase.

{
The different scaling exponents obtained in Case III are presented in a tabular form in Table~\ref{tab3} below.
  \begin{table}[h!]
 \begin{center}
\begin{tabular}{ |p{2.7cm}|p{2.7cm}|p{2.7cm}| }
  \hline
  \multicolumn{3}{|c|}{Case III fixed points and scaling exponents ($\tilde g=8$)} \\
 \hline
 \hline
 $\Phi^*=0$ & $\Phi^*=4/3$ & $\Phi\rightarrow \infty$\\
  Linearly stable & Linearly unstable & Strong coupling\\
 $\chi_b=-1/6,z_b=3/2$ & $\chi_b=-1/2,z_b=3/2$ &  $z_b=3/2$ if $P=3$ microscopically, $\chi_b$ not known\\
 \hline\hline
 \end{tabular}
\caption{Fixed points and the associated scaling exponents (with $\tilde g=8$) in Case III (see text)}\label{tab3}
\end{center}
   \end{table}
}

A schematically drawn RG flow diagram in the $\tilde g-\Phi$-plane is shown in Fig.~\ref{phase3}. {  There is a stable fixed point at $\tilde g=8,\,\Phi=0$ and an unstable fixed point at $\tilde g=8,\,\Phi=4$. Further, it is clear from (\ref{flowa3}) that the $\Phi$-axis (i.e., $\tilde g=0$) is a {\em marginal} direction. Naturally, the origin, another fixed point, is unstable along the $\tilde g$ direction, but marginal along the $\Phi$-direction.}

\begin{figure}[htb]
  \includegraphics[width=7cm]{phase3nn.pdf}
  \caption{Schematic RG flow diagram in the $\tilde g-\Phi$-plane for Case I. Arrows show the RG flow directions. The filled square represents the unstable fixed point, and the filled circle represents a stable fixed point. The red broken line is the separatrix (\ref{sep3}). }\label{phase3}
 \end{figure}

Notice that in Case III, similar to Case I, the divergence of $\Phi(l)$ for a sufficiently large initial value $\Phi(l=0)$ is reminiscent of the divergence of the dimensionless coupling constant in the higher dimensional ($d> 2$) KPZ equation in the long wavelength limit, resulting into a perturbatively inaccessible strong coupling rough phase. In an analogy to the rough phase in the $d>2$ KPZ equation, we are tempted to speculate the perturbatively inaccessible steady states with a large but presumably finite $\Phi$ as a type of strong coupling  phase.

{  Similar to Case I, one may use Occam's razor type arguments draw the global RG flow lines, which match with the flow diagram in (\ref{phase3}). Due to the obvious qualitative similarity between  Case I and Case III, such a global RG flow diagram in the $\tilde g-\Phi$ plane in Case III should have the same topology as the corresponding diagram for Case I in its $\psi-\Phi$ plane as shown in Fig.~\ref{occ1}.}

\section{Summary and outlook}\label{summ}

In this work, we have studied the effects of noise crosscorrelations on the steady states of a 1D coupled driven model. Specifically, one of the dynamical variables $v$ follows the well-known Burgers equation, and evolves autonomously, being independent of the second dynamical field $b$. The second dynamical field $b$ is passively advected by the ``Burgers velocity'' $v$, and follows an equation that closely resembles the well-known passive scalar model~\cite{passive-scal}. We have analysed the long wavelength properties of this model in the presence of finite noise crosscorrelations, whose effects depends upon the precise nature of the model. We consider three different cases, delineated by the nonlinear coupling constants. For instance in Case I with Galilean invariance appearing as an emergent symmetry, where the advective coupling constant $\lambda_2$ in the $b$-equation has the same sign as the advective nonlinearity $\lambda_1$ in the Burgers equation for $v$, a sufficiently strong noise crosscorrelation amplitude above a finite threshold can destabilise the system, whereas its microscopic values weaker than the threshold render noise crosscorrelations irrelevant in the RG sense. In the latter case, the model is identical to the one without noise crosscorrelations in the long wavelength limit. In contrast, in Case II, where $\lambda_2$ and $\lambda_1$ have opposite signs, noise crosscorrelations are {\em generically irrelevant} in the RG sense. We have also considered yet another case denoted Case III  here, where $\lambda_1=0$, making $v$ follow the linear diffusion equation. In this case, similar to Case I, noise crosscorrelations with amplitudes greater than a threshold lead to instabilities, whereas when below the threshold, it is irrelevant in the RG sense.  In the unstable cases, the eventual steady states cannot be obtained from our calculations. Numerical simulations of equivalent lattice models, or direct numerical solutions of the model equations can verify our perturbative results, and also shed light on the instabilities and the resulting unknown steady states. {  The existence of unstable fixed points in Case I and Case III, and the associated perturbatively inaccessible putative strong coupling phases have strong resemblance with the well-known roughening transition in the KPZ equation at $d>2$.  Quite interestingly, the scaling exponents of $b$ at the unstable fixed point in both Case I and Case III are less than their values at zero noise crosscorrelations. This suggests that the field $b$ actually {\em fluctuates less} at the unstable critical point. The RG analysis fails to capture the strong coupling phases in Case I and Case III. Mode coupling methods may be useful in extracting the scaling exponents in these strong coupling phases~\cite{jkb-mode-coup}. } It may however be noted that in Case III there are no parameter regimes where mode coupling theories may be straightforwardly applied to the strong coupling regime. This is because in Case III vertex corrections play a significant role for any nonzero $\lambda_2$. This is in contrast to Case I, where if the model is Galilean invariant (i.e., $\lambda_1=\lambda_2$) microscopically, there are no relevant vertex corrections. {On the whole, we thus see that the precise effects of the noise crosscorrelations depend quite sensitively on the details of the models under consideration.}

In this work, we have confined ourselves to studying only conserved noises. Similar calculations as here can be performed with noise variances than scale differently with $k$, e.g., long-range noises. We speculate similar effects will be visible even in that case.

We have assumed the noise crosscorrelations to be imaginary and odd in Fourier wavevector $k$. What would happen if we chose a different structure for the noise crosscorrelations, e.g., real and even in $k$? Straightforward perturbation theory generates a term of the form $\partial_{xx} v$ in the fluctuation-corrected (\ref{eq2}). This is not surprising, since a real and even noise crosscorrelation implies that $v$ and $b$ have the same properties under parity inversions; {see, e.g., discussions in Ref.~\cite{abfrey1}}. This then no longer rules out a diffusive $v$ term in (\ref{eq2})~\cite{abfrey1}. Given that $v$ is autonomous, such a term in (\ref{eq2}) effectively acts like another additive noise for $b$, whose statistics is given by the statistics of $v$. It would be interesting to study how  noise crosscorrelations in that case affects the known scaling and stability of the NESS without it.

{We have used a simple, purpose-built, minimal coupled 1D model to study the role of noise crosscorrelations.   However, the question of the effects of noise crosscorrelations should be important in hosts of natural systems, going much beyond such simple driven 1D models. RG studies, for instance, on  active XY models~\cite{astik1,astik2}, passive scalar models~\cite{sudip-multi}, can give interesting insights on the precise role of noise crosscorrelations on the NESS of more complex models. We hope our work here will provide impetus on further studies on this topic.}

{\em Acknowledgement:-} S.M. thanks
the SERB, DST (India) for partial financial support through the TARE scheme [file no.: TAR/2021/000170] (2022).


\section{Introduction}
	Let $k$ be a field of characteristic $p \neq 0$ and $q$ be a primitive $\ell^{th}$ root of unity. Let $G$ be the quantum $GL_n$ over $k$ at $q$ as described in \cite{Dip}. We know that the coordinate ring $k[G]$ is a Hopf algebra. Let $c_{ij}, 1 \leq i,j \leq n$, be the coordinate functions of $G$. Let $T$ be a maximal torus and $B$ be a Borel subgroup of $G$ containing $T$. Therefore the Hopf ideal corresponding to $T$ is given by $\{c_{ij}~|~i\neq j\}$ and the Hopf ideal corresponding to $B$ is given by $\{c_{ij}~ | ~1\leq i<j\leq n\}$.\\

	 Let $X(T)={\mathbb{Z}}^n$. The group $X(T)$ is called the character group of $T$. The integral group ring ${\mathbb{Z}}X(T)$ with basis $\{e(\lambda)~|~\lambda\in X(T)\}$ is a group algebra with multiplication given by the rule $e(\lambda)e(\mu)=e(\lambda+\mu)$ for $\lambda, \mu \in X(T)$. Given $\lambda=(\lambda_1,\lambda _2\dots,\lambda_n)\in X(T)$, we have a 1-dimensional $T$-module $k_{\lambda}$ with the comodule structure map sending $a$ to $a\otimes c_{11}^{\lambda_1}c_{22}^{\lambda_2}\dots c_{nn}^{\lambda_n} \in k_\lambda \otimes k[T]$. We know that the set $\{k_{\lambda}~|~\lambda\in X(T)\}$ is a complete set of mutually non-isomorphic irreducible $T$-modules. For any quantum group $H$, we denote the set of all finite dimensional $H$-modules by ${\rm mod}(H)$. Given $V \in {\rm mod}(T)$ and $\lambda \in X(T)$, let $V_\lambda$ denote the sum of all submodules of $V$ isomorphic to $k_\lambda$. We call the submodule $V_\lambda$ the $\lambda$-weight subspace of $V$. Any module $V \in {\rm mod}(G)$ is completely reducible as a $T$-module i.e., $V=\oplus _{\lambda\in X(T)}V_{\lambda}$. The formal character of $V$ is given by ${\rm ch}V=\sum _{\lambda\in X(T)}{\rm dim}(V_{\lambda})e(\lambda)$. \\

	 Let $\epsilon_i=(0,0,\dots,1,0,\dots,0)\in {\mathbb{Z}}^n$, for $1\leq i\leq n$, where 1 is in the $i^{th}$ position. The set $\Phi=\{\epsilon_i-\epsilon _j~|~1\leq i,j\leq n, i\neq j\}$ is called the set of all roots of $G$. We say that a root $\epsilon _i-\epsilon _j$ is a positive root if $i<j$ and is a negative root if $i>j$. Let $\Phi^+$ and $\Phi ^-$ be the set of all positive and negative roots respectively. The subset $S=\{\epsilon_1-\epsilon_2,\epsilon _2-\epsilon_3,\dots ,\epsilon _{n-1}-\epsilon_n\}$ of $\Phi$ is called the set of all simple roots. We have a ${\mathbb{Z}}$-bilinear form $(~~,~~)$ on $X(T)$ such that $(\epsilon _i,\epsilon _j)=\delta _{ij}$, for $1\leq i,j\leq n$. We define a partial order on $X(T)$ as follows: for $\lambda ,\mu \in X(T)$, let $\lambda\leq \mu$ if $\mu-\lambda$ is a sum of positive roots. Now for each $\lambda\in X(T)$, we have induced $G$-modules $\nabla (\lambda)={\rm Ind}_B^Gk_{\lambda}$. Let $X^+(T)=\{\lambda\in X(T)~|~\nabla(\lambda)\neq 0\}$ and it is called the set of all dominant weights. For $\lambda\in X^+(T)$, the module $\nabla(\lambda)$ is called a costandard module. For $\lambda\in X^+(T)$, we have a Weyl or standard module $\Dt (\lambda)=(\nabla(-w_0\lambda))^*$ where $w_0$ is the element of $S_n$ with maximum length. For $V\in {\rm mod}(G)$, a filtration $(0)=V_0\subset V_1\subset V_2\subset \cdots \subset V_n=V$ of $G$-submodules of $V$  is called a costandard filtration (or a good filtration) if $V_i/V_{i-1}\cong \nabla (\lambda_i)$ for some $\lambda_i\in X^+(T)$ and for all $1\leq i\leq n$. For a module $V\in {\rm mod}(G)$, we write $V\in {\cal F}(\nabla)$ if $V$ admits a good filtration. Similarly for $V\in {\rm mod}(G)$, a filtration $(0)=V_0\subset V_1\subset V_2\subset \cdots \subset V_n=V$ of $G$-submodules of $V$  is called a standard filtration (or a Weyl filtration) if $V_i/V_{i+1}\cong \Dt (\lambda_i)$ for some $\lambda_i\in X^+(T)$ and for all $1\leq i\leq n$. We write $V\in {\cal F}(\Delta)$ if $V$ admits a standard filtration. A module $V$ is said to be a tilting module if $V$ admits both costandard and standard filtration. By [\cite{Dongln},p.no. 262], for each $\lambda\in X^+(T)$ there exists a unique indecomposable tilting module $T(\lambda)$ of maximum weight $\lambda$. Also the set $\{T(\lambda)~|~ \lambda \in X^+(T)\}$ forms a complete set of mutually non-isomorphic indecomposable tilting modules. Any tilting $G$-module is a direct sum of copies of $T(\lambda)$'s. \\

	We denote the general linear group $GL_n(k)$ over the field $k$ by $\bar{G}$. Let $x_{ij}$ be the coordinate functions of $\bar{G}$ and $d$ be the determinant (ordinary). Let $\bar{T}$ be a maximal torus and $\bar{B}$ be a Borel subgroup containing $\bar{T}$. Let $X(\bar{T})$ be the group of all characters and $\mathbb{Z} X(\bar{T})$ be the integral group ring of $X(\bar{T})$. The coordinate ring $k[\bar{G}]$ of $\bar{G}$ is a Hopf algebra. We fix a Hopf $\mathbb{F}_p$-form of $k[\bar{G}]$ and let $\bar{F}$ be the corresponding Frobenius morphism. We write $\bar{F}^i$ for the $i^{th}$ iterated Frobenius morphism. If $V$ is a $\bar{G}$-module, then we denote the induced module via $\bar{F}$ by $V^{\bar{F}}$. Let $X^+(\bar{T})$ be the set of all dominant weights of $\bar{G}$. Then $\{\bar{L}(\lambda) ~|~ \lambda \in X^+(\bar{T}) \}$ be the complete set of mutually inequivalent simple $\bar{G}$-modules. By \cite{Donag}, we also have a complete set $\{\bar{T}(\lambda) ~|~ \lambda \in X^+(\bar{T}) \}$ of mutually non-isomorphic indecomposable tilting $\bar{G}$-modules. Any tilting $\bar{G}$-module is a direct sum of $\bar{T}(\lambda), \lambda \in X^+(\bar{T})$ and we call them as partial tilting modules. \\

	Let $F : G \longrightarrow \bar{G}$ be the morphism whose comorphism takes $x_{ij}$ to $c_{ij}^\ell$ where $1 \leq i,j \leq n$. Thus any $\bar{G}$-module $V$ is also a $G$-module via $F$ and we denote this $G$-module by $V^F$. The morphism $F$ is called the quantum Frobenius morphism. Let $X_1=\{(\lambda_1, \lambda_2, \dots,\lambda_n) \in X^+(T) ~|~ 0 \leq \lambda_1-\lambda_2, \lambda_2-\lambda_3, \dots, \lambda_{n-1}-\lambda_n \leq \ell-1\}$. By the Steinberg's tensor product theorem [\cite{Donqsc},p.no.65]: for $\lambda \in X_1$ and $\mu \in X^+(\bar{T})$, we have $L(\lambda + \ell \mu) \cong L(\lambda)\otimes\bar{L}(\mu)^F$. It has been shown in \cite{Dattsm} that the tensor product of two simple quantum $GL_2(k)$-modules can be expressed as a finite direct sum of indecomposable quantum twisted tilting modules of the form $T_{-1} \otimes (\bar{T}_0 \otimes \bar{T}_1^{\bar{F}} \otimes \cdots \bar{T}_r^{\bar{F}^r})^F$, where $T_{-1}$ is an indecomposable tilting $G$-module and $\bar{T}_i$'s are indecomposable tilting $\bar{G}$-modules, for all $i \geq 0$.\\

	Let $\rm {rep}(G)$ denote the set of all isomorphism classes of $\rm {mod}(G)$. For $V \in \rm {mod}(G)$, we denote the class in $\rm {rep}(G)$ through $V$ by $[V]$ . The set $\rm {rep}(G)$ is a ring with respect to the binary operations $[V]+[W]=[V \oplus W]$ and $[V][W]=[V \otimes W]$, for $V,W \in \rm {mod}(G)$. We call the ring $\rm {rep}(G)$ the representation ring of $G$. Let $\mathcal{B}=\{V_i ~|~ i \in I\} \subset \rm {mod}(G)$ be a complete set of mutually non-isomorphic indecomposable $G$-modules. Then $\{[V] ~|~ V \in \mathcal{B}\}$ is a basis for $\rm {rep}(G)$. Similarly we also have the Grothendieck ring $\rm {Grot} G$ of $\rm {mod}(G)$. For $V \in \rm {mod}(G)$, we denote the class in $\rm {Grot} G$ through $V$ by $\langle V \rangle$. Let $V \in \rm {mod}(G)$, we have $\langle V \rangle = \Sigma_{i} a_i \langle L_i \rangle$ where $L_i$'s are simple $G$-modules and $a_i$'s are their composition multiplicities in $V$. For $V,W \in \rm {mod}(G)$, define the multiplication $\langle V \rangle \langle W \rangle = \langle V\otimes W \rangle$. Then the ring $\rm {Grot} G$ is a free $\mathbb{Z}$-module with a basis $ \{ \langle L(\lambda) \rangle ~|~ \lambda \in X^+(T) \} $. By [\cite{Donqsc},69,14(iii)], we know that, if $V,W$ are tilting modules, then $V \otimes W$ and $V \oplus W$ are also tilting modules. Hence the span of classes of tilting modules forms a subring of $\rm {rep}(G)$ and we denote it by $\rm {rep_{tilt}(G)}$. Let $\rm {ch}$ denote the map from $\rm {rep} (G)$ to $(\mathbb{Z}X(T))^W$, which takes the class $[V]$ to $\rm {ch}V$. This induces an isomorphism from $\rm {Grot} G$ to $(\mathbb{Z}X(T))^W$. By [\cite{Donag},(1.3)] we have an isomorphism between $\rm {rep_{tilt}(G)}$ and $(\mathbb{Z}X(T))^W$. \\

	Let $A(G)$ be the subring of $\rm {rep} (G)$ generated by all tilting $G$-modules and quantum Frobenius twist of twisted tilting modules of $\bar{G}$. In \cite{Doty}, Doty and Henke has proved that the tensor product $L \otimes  L'$ of irreducible rational modules $L,L'$ of $SL_2(k)$ can be expressed as a direct sum of $GL_2(k)$-modules of the form $\bar{T}_0 \otimes \bar{T}_1^{\bar{F}} \otimes \dots \otimes \bar{T}_r^{\bar{F}^r}$, where each $\bar{T}_i$ is an indecomposable tilting module of $GL_2(k)$. In a paper by \cite{Dattag}, it has been shown that the ring of twisted tilting modules of $SL_2(k)$ is a reduced ring. In \cite{Dattsm}, it has been proved that the tensor product of any two simple quantum $GL_2(k)$-modules can be expressed as a finite direct sum of twisted tilting modules. \\

	In this paper, we give generators and relations for the ring $A(G)$. We show that the ring of twisted tilting modules for quantum $GL_2(k)$ is a reduced ring.

	\section{The ring of twisted tilting modules for quantum $GL_n$}
	 Let $R$ be the free $k$-algebra generated by the elements \{$X_{ij} ~|~ 1\leq i,j\leq n$\}. Then $R$ with comultiplication $\delta: R \longrightarrow R \otimes R, \delta (X_{ij})=\Sigma_{r=1}^n X_{ir} \otimes X_{rj}$ and counit $\epsilon: R \longrightarrow k, \epsilon(X_{ij})=\delta_{ij}$ is a bialgebra. Let $I$ be the ideal of $R$ generated by elements of the form
	\begin{center}
		$X_{ir}X_{is} - X_{is}X_{ir}$ \quad for all $i,r,s$, \\
		$X_{jr}X_{is} - qX_{is}X_{jr}$ \quad for all $i<j$ and $r \leq s$,\\
		$X_{jr}X_{is} - X_{is}X_{jr} - (q-1)X_{ir}X_{js}$ \quad for all $i<j$ and $r>s$,
	\end{center}
	where $i \leq i,j,r,s \leq n$. By assigning degree as $\deg X_{ij}=1 \ (\text{for} \ 1 \leq i,j \leq n)$, the ideal $I$ is a homogeneous ideal. Let $A_q(n)=R/I$ and $c_{ij}=X_{ij}+I$ for $1 \leq i,j \leq n$. We denote the quantum determinant $\sum _{\sigma\in S_n} sgn(\sigma)c_{1,1\sigma}c_{2,2\sigma}\cdots c_{n,n\sigma}$ by $d_q$. The localisation of $A_q(n)$ with respect to $d_q$ is a Hopf algebra $k[G]$. We denote the corresponding quantum general linear group by $G$. The Hopf algebra $k[G]$ is also called the coordinate ring of $G$. Let $E$ be an $n$-dimensional vector space over $k$ with standard basis $\{e_1,e_2, \dots e_n\}$. The map $e_i \mapsto \sum_{j=1}^{n}e_j \otimes c_{ji}$ from $E$ to $E \otimes k[G]$ defines a left $G$-module structure on $E$. We call the left $G$-module $E$, the natural left $G$-module.  \\

	Let $\mathbb{N}_0 = \mathbb{N} \cup \{0\}$. Let $\psi^+=\{(i,j) ~|~ 1 \leq j<i \leq n \}$ and $\psi^-=\{(i,j) ~|~ 1 \leq i<j \leq n \}$. Then the $k$-span $I_{\psi^+}$ of all $c_{11}^{a_{11}}c_{12}^{a_{12}}\cdots c_{nn}^{a_{nn}}$, where $(a_{11}, a_{12}, \dots, a_{nn}) \in \mathbb{N}_0^{n^2}$ and $a_{ij} \neq 0$ for some $(i,j) \in \psi^+$, is a Hopf ideal of $k[G]$. The quantum group $B^+$ corresponding to the Hopf algebra $H/I_{\psi^+}$ is called the positive Borel subgroup of $G$. Similarly the quantum subgroup corresponding to the Hopf algebra $k[G]/I_{\psi^-}$ is called the negative Borel subgroup of $G$. Let $\psi_0=\{(i,j) ~|~  i\neq j \}$. Let $I_{\psi_0}$ be the $k$-span of $c_{11}^{a_{11}}c_{12}^{a_{12}}\cdots c_{nn}^{a_{nn}}$, where  $(a_{11}, a_{12}, \dots, a_{nn}) \in \mathbb{N}_0^{n^2}$ and $a_{ij} \neq 0$ for some $(i,j) \in \psi_0$. Then the quantum subgroup $T$ of $G$ corresponding to the Hopf algebra $k[G]/I_{\psi_0}$ is called a torus of the group $G$. Let $G_1$ be the subgroup of $G$ whose defining ideal is the ideal of $k[G]$ generated by $c_{ij}^\ell - \delta_{ij}, 1 \leq i,j \leq n$. Let $B_1=G_1 \cap B, B_1^+=G_1 \cap B^+$ and $T_1=G_1 \cap T$. We let $X_1= \{ \lambda = (\lambda_1, \lambda_2, \dots \lambda_n) \in X^+(T) ~|~ 0 \leq \lambda_1-\lambda_2, \lambda_2-\lambda_3,\dots,\lambda_{n-1}-\lambda_n, \lambda_n \leq \ell-1\}$. Then $\{L(\lambda)_{|G_1} ~|~ \lambda \in X_1 \}$ is a complete set of mutually non-isomorphic simple $G_1$-modules. \\

	Let $\rho=(n,n-1,\dots,1) \in X^+(T)$. We have $L((\ell-1)\rho )= \nabla((\ell-1)\rho) = T((\ell-1)\rho)$ and $\bar{L}((\rho-1)\rho)=\bar{\nabla}((\rho-1)\rho)$. We denote $\nabla((\ell-1)\rho)$ by $\rm {St}$ and $\bar{\nabla}((\rho-1)\rho)$ by $  {\rm \bar{St}}$ and we call them quantum Steinberg and Steinberg (ordinary) modules respectively. More generally, we have the ordinary $r^{th}$ Steinberg module $ {\rm \bar{St}} _r$, for $r \geq 1$. \\

	Let $X^+(\bar{T})_\infty$ be the set of all sequences $(\lambda)= (\lambda(0),\lambda(1), \dots)$ of dominant weights of $\bar{G}$ with $\lambda(i)=0$ for sufficiently large $i$. We let $X^+(T)_\infty =X^+(T) \times X^+(\bar{T})_\infty$. Let $\mathbb{N}_{-1} =\mathbb{N} \cup \{0,-1\}$. For each $n \in \mathbb{N}_{-1}$, we let $X^+(T)_n= \{(\lambda)=(\lambda(-1),\lambda(0),\dots)\in X^+(T)_\infty ~|~ \lambda(i)=0 \ {\rm for\ all} \ i > n \}$. \\

	Let $\phi: {\rm rep} (\bar{G})\longrightarrow {\rm rep}(G)$ be the endomorphism which sends the class $[V]$ to $[V^F]$. We denote $\phi(a)$ by $a^\phi$, for $a \in {\rm rep}(\bar{G})$. Similarly let $\bar{\phi}:{\rm rep}(\bar{G})\longrightarrow {\rm rep}(\bar{G})$ be the endomorphism which sends $[V]$ to $[V^{\bar{F}}]$. As earlier for $\phi$, we denote $\bar{\phi}(a)$ by $a^{\bar{\phi}}$, for $a \in {\rm rep}(\bar{G})$. We write $\bar{a}^{\psi^{r+1}}$ for $(\bar{a}^{\bar{F}^r})^F$, where $r \geq 0$. The ring ${\rm rep}(G)$ has a $\mathbb{Z}$-basis $\{[T(\lambda)] ~|~ \lambda \in X^+(T) \}$, by [\cite{Donqsc}, 3.3]. Let us denote the class $[T(\lambda)]$ by $t(\lambda)$. Similarly for $\lambda \in X^+(\bar{T})$, we denote the class $[\bar{T}(\lambda)]$ by $\bar{t}(\lambda)$. For $(\lambda) \in X^+(T)_\infty$, we let $T((\lambda))= T(\lambda(-1)) \otimes (\bar{T}(\lambda(0)) \otimes (\bar{T}(\lambda(1))^{\bar{F}} \otimes \bar{T}(\lambda(2))^{\bar{F}^2} \otimes)^F$. Therefore, we have $t((\lambda))=t(\lambda(-1)) \bar{t}(\lambda(0))^\psi \bar{t}(\lambda(1))^{\psi^2}\dots \bar{t}(\lambda(r))^{\psi^r}\dots$. Now the ring $A=A(G)$ is the subring of ${\rm rep}(G)$ spanned by all elements $t((\lambda))$, with $(\lambda) \in X^+(T)_\infty$. For $n \in \mathbb{N}_{-1}$, we write $A_n=A(G)_n$ for the subring of ${\rm rep}(G)$ spanned by all elements $t((\lambda))$ with $(\lambda) \in X^+(T)_n$ and $A=\cup_{n=1}^\infty A_n$. \\

	Let $X_s^+(T)$ be the set of all elements $\lambda \in X^+(T)$ such that either $(\lambda, \check{\alpha}) < \ell-1$ for some simple root $\alpha$ or $\ell-1 \leq (\lambda, \check{\beta}) \leq 2(\ell-1)$ for all simple roots $\beta$ of the quantum group $G$, where $\check{\alpha}=2\alpha/{(\alpha,\alpha)}$ and $\check{\beta}=2\beta/{(\beta,\beta)}$. Similarly let $X_s^+(\bar{T})$ be the set of all elements $\lambda \in X^+(T)$ such that either$(\lambda, \check{\alpha}) < p-1$ for some simple root $\alpha$ of $\bar{G}$ or $p-1 \leq (\lambda, \check{\beta}) \leq 2p-2$ for all simple roots $\beta$ of $\bar{G}$. We say that an element $(\lambda)=(\lambda(-1),\lambda(0),\dots,\lambda(r), \dots) \in X^+(T)_\infty$ is $n$-special if $\lambda(-1) \in X_s^+(T)$ and $\lambda(i) \in X_s^+(\bar{T})$ for all $0 \leq i \leq n$ and $\lambda(j)=0$ for all $j>n$. We let $X_s^+(T)_n$ for the subset of $X^+(T)_\infty$ consisting of all special $n$ elements. We say that an element $(\lambda) \in X^+(T)_\infty$ is special if it is $n$-special for sufficiently large $n$. We write $X_s^+(T)_\infty$ for the subset of $X^+(T)_\infty$ consisting of all special elements. \\

	For $\lambda \in X^+(T)$, we set ${\rm ln}(\lambda)= \sum(\lambda, \check{\beta})$ for all simple roots $\beta$ of the quantum group $G$. We call ${\rm ln}(\lambda)$ the length of $\lambda$. Note that ${\rm ln}(\lambda) \neq 0$ for all $0 \neq \lambda \in X^+(T)$. Similarly for $\lambda \in X^+(\bar{T})$, we have ${\rm ln}(\lambda)= \sum(\lambda, \check{\beta})$ where sum is over all the simple roots $\beta$ of $\bar{G}$. For each positive root $\alpha$ of quantum $GL_2$ (resp. for positive root $\alpha$ of $\bar{G}$), we have ${\rm ln}(\lambda)>0$ (resp. ${\rm ln}(\lambda)>0$) if $\lambda \neq 0$. We have the following proposition. \\ \\
	\textbf{Proposition 2.1} \\
\textit{(i) $A_n$ is spanned by $\{t((\lambda)) ~|~ (\lambda) \in X_s^+(T)_n\}$. \\
		(ii) $A$ is spanned by $\{t((\lambda)) ~|~ (\lambda) \in X_s^+(T)_\infty\}$.}

\begin{proof}
	We follow the proof of proposition in \cite{Dattag}. For an element $(\lambda)=(\lambda(-1),\lambda(0),\dots) \in X^+(T)_n$, we define ${\rm ln} ((\lambda))={\rm ln} (\lambda(-1))+ \ell (\Sigma_{i=0}^\infty p^i {\rm ln} (\lambda (i)))$. We prove the proposition by induction on the length of $(\lambda) \in X^+(T)_n$. For $n=-1, A_{-1}$ is spanned by all $t(\lambda), \lambda \in X_s^+(T)$ as tensor product of two tilting modules is again tilting. Assume now that $n>-1$. For $m \in \mathbb{N}_0$, let $A_{n,m}$ be the subgroup of $A_n$ generated by all elements $(\lambda) \in X^+(T)_n$ such that ${\rm ln} ((\lambda))=m$. If $m=0$, then $A_{n,m}=\mathbb{Z}[t(0)]$ and hence we are through. So assume the induction hypothesis upto $m-1$ and that $m>0$. \\

	Let $Z$ be the subgroup of $A_n$ spanned by all $t((\lambda)), (\lambda) \in X_s^+(T)_n$. We want to show that $Z=A_n$. Suppose that $(\lambda) \in X^+(T)_n$ such that ${\rm ln} ((\lambda))<m$. Then by induction we have $t((\lambda)) \in Z$. Hence we assume that $(\lambda)=(\lambda(-1),\lambda(0),\lambda(1),\dots) \in X^+(T)_n$ such that ${\rm ln} ((\lambda))=m$. \\ \\
	\textit{Case(i)}
	Suppose that $\lambda(-1) \in X_s^+(T)$. Let $(\mu)=(\lambda(0),\lambda(1),\dots)$. If $(\mu)=(0,0,\dots,0,\dots)$, then $T((\lambda))=T(\lambda(-1))$. Now by [\cite{Donqsc}, 72(40)], we have $t((\lambda))=t(\lambda(-1)) \in Z$. If $(\mu) \neq (0,0,\dots,0,\dots)$, then ${\rm ln} ((\mu))<m$. Hence by the induction we have $\bar{t}(\mu)=\Sigma_{(\xi)\in \Lambda}r_(\xi) \bar{t}(\xi)$, where $\Lambda$ is a finite subset of $X_s^+(T)_{n-1}$ consisting of elements of length at most ${\rm ln} ((\mu))$,and $r_{(\xi)} \in \mathbb{Z}$, for $(\xi) \in \Lambda$. Therefore we have $t((\lambda))=t(\lambda(-1))\bar{t}(\mu)^\phi$. Then $t((\lambda))=\Sigma_{(\xi)\in \Lambda'}r_(\xi) t((\xi^+))$, where $(\xi^+)=(\lambda(-1),\xi(0),\xi(1),\dots) \in X_s^+(T)_n$ and of length ${\rm ln}(\lambda(-1))+\ell {\rm ln} ((\xi)) \leq {\rm ln}(\lambda(-1))+\ell {\rm ln} ((\xi))={\rm ln} ((\lambda))=m$, as required. \\ \\
	\textit{Case(ii)}
	Suppose that $\lambda(-1) \notin X_s^+(T)$. Then we can write $\lambda(-1)=(\ell-1)\rho+\nu+\ell \tau$ with $\nu \in X_1(T)$ and $\tau \in X^+(\bar{T})$. Now consider the module ${\rm St} \otimes T(\nu) \otimes (T((\ell-1)\rho)+\ell \tau)$, which is a tilting module. By [\cite{Donqsc},p.no. 72], we have $T((\ell-1)\rho+\nu)$ is a direct summand of the tilting module ${\rm St} \otimes T(\nu)$ by and it occurs exactly once as a composition factor. Then again by [\cite{Donqsc},p.no. 73], we have $T((\ell-1)\rho+\nu) \otimes \bar{T}(\tau)^F$ is a tilting module with the highest weight $\lambda(-1)$. Hence we have $[T((\ell-1)\rho+\nu) \otimes T(\tau)^F]=[T(\lambda(-1))]+\Sigma_{(\xi)\in \Lambda}r_{(\xi)}[T(\xi)]$, where $\Lambda$ is a subset of $X^+(T)$ such that ${\rm ln} ((\xi))< {\rm ln} (\lambda(-1))$. This implies that $[T((\ell-1)\rho+\nu) \otimes \bar{T}(\tau)^F][\bar{T}(\mu)^F]=[T(\lambda(-1))]+\Sigma_{(\xi)\in \Lambda}r_{(\xi)}[T(\xi)][T(\mu)]^F$. Hence $[T(\lambda)]=[T((\ell-1)\rho+\nu) \otimes \bar{T}(\tau)^F][\bar{T}(\mu)^F]-\Sigma_{(\xi)\in \Lambda}r_{(\xi)}[T(\xi)][T(\mu)]^F$. For $(\xi) \in \Lambda$, let $(\eta)=(\xi,\lambda(0),\lambda(1),\dots)$. Now $(\eta) \in X^+(T)_n$ and
	\begin{equation*}
		{\rm ln}((\eta))={\rm ln} ((\xi))+{\rm ln}((\mu))<{\rm ln}(\lambda(-1))+\ell {\rm ln} ((\mu))= {\rm ln} ((\lambda))=m.
	\end{equation*}
		Hence by induction we have $t((\xi))t((\mu))^F=t((\eta))\in Z$. Therefore to show that $t((\lambda)) \in Z$, it is enough to show that $[T((\ell-1)\rho+\nu) \otimes \bar{T}(\tau)^F][\bar{T}(\mu)^F] \in Z$. Now by [\cite{Dattag}, section 1, Prop.], we have $t(\tau)t(\mu)=\Sigma_{(\theta) \in \Omega}s_\theta t((\theta))$, where $s_\theta \in \mathbb{Z}$ and $\Omega$ is a finite subset of $X_s^+(T)_n$ consisting of elements $(\theta)$ such that $\theta(-1)=0$. Hence we have
		\begin{equation*}
		[T((\ell-1)\rho+\nu) \otimes \bar{T}(\tau)^F][\bar{T}(\mu)^F]= \Sigma_{(\theta )\in \Omega}s_\theta 	[T((\ell-1)\rho+\nu) \otimes \bar{T}(\theta)^F].
		\end{equation*}
	As each $[\bar{T}(\theta)] \in Z$ and $[T((\ell-1)\rho+\nu)] \in Z$ we have $[T((\ell-1)\rho+\nu) \otimes \bar{T}(\tau)^F][\bar{T}(\mu)^F] \in Z$ as required.
\end{proof}

\section{The structure of the tensor product of two simple modules of quantum $GL_2$}
In this section, we consider the quantum $GL_2$ at the primitive $\ell^{th}$ root of unity $q$ in $k$. Then $X(T)=\mathbb{Z}^2$ and $X^+(T)=\{ (\lambda_1,\lambda_2) ~|~ \lambda_1 \geq \lambda_2 \}$ and $W=S_2$. We let $X_1=\{ (a,b) \in X^+(T) ~|~ a-b \leq \ell -1 \}$ and $\bar{X_1}=\{ (a,b) \in X^+(\bar{T}) ~|~ a-b \leq 2p-2 \}$. Let $\pi= \{ (a,b) \in X^+(T) ~|~ a-b \leq 2(\ell -1) \}$ and $\bar{\pi}=\{ (a,b) \in X^+(\bar{T)} ~|~ a-b \leq 2p-2 \}$. Then $\pi$ and $\bar{\pi}$ are saturated subsets of $X^+(T)$ and $X^+(\bar{T})$ respectively. We write $\chi(\lambda)$ for the character of $\nabla(\lambda)$. Then we have the following results from \cite{Dattsm}: \\ \\
\textbf{Lemma 3.1} \ \textit{Let $\lambda=(\lambda_1,\lambda_2) \in \pi$. If $\lambda \in X_1$, then we have $L(\lambda)=T(\lambda)=\nabla(\lambda)=\Dt(\lambda)$. If $\lambda \in \pi \backslash X_1$, then we can write $\lambda_1-\lambda_2=\ell +r, \ 0 \leq r \leq \ell -2$. In this case $L(\lambda),L(\lambda-(r+1)(\epsilon_1-\epsilon_2))$ are the composition factors of $\nabla(\lambda)$. Further $\chi(\lambda)+\chi(\lambda-(r+1)(\epsilon_1-\epsilon_2))$ is the character of $T(\lambda)$.} \\ \\
\textbf{Lemma 3.2} \ \textit{Let $\lambda=(\lambda_1,\lambda_2), \lambda'=(\lambda_1',\lambda_2') \in X_1$. We can write $\lambda=(\lambda_1-\lambda_2)\epsilon_1+\lambda_2(\epsilon_1+\epsilon_2)$ and $\lambda'=(\lambda_1'-\lambda_2')\epsilon_1+\lambda_2'(\epsilon_1+\epsilon_2)$. We let $d_q=L(\epsilon_1+\epsilon_2), a=\lambda_1-\lambda_2, b=\lambda_1'-\lambda_2'$ and $r=\lambda_2+\lambda_2'$. Then $L(\lambda) \otimes L(\lambda')$ is $d_q^{\otimes r}$ times the direct sum of $T(u)$, where $u$ varies over the set $S(-1)$ which can be computed as follows: \\
	We list the weights $(a+b,0), (a+b-1,1),\dots,(a+b-i,i),\dots,(a+b-s,s)$ of $L(a,0)\otimes L(b,0)$, where $s=a+b-\ell, 0\leq s \leq (\ell -2)$. For each $j, 0 \leq j \leq s $, if $a+b-2j=\ell + u_j, 0 \leq u_j \leq (\ell -2)$ strike out $(a+b-j-u_j-1, j+u_j+1)$ from the list.} \\ \\
\textbf{Lemma 3.3} \ \textit{Let $\lambda=(\lambda_1,\lambda_2), \lambda'=(\lambda_1',\lambda_2') \in X^+(\bar{T})$ be such that $\lambda_1-\lambda_2, \lambda_1'-\lambda_2' < p$ and $d=L(\epsilon_1+\epsilon_2)$. Then $\bar{L}(\lambda) \otimes \bar{L}(\lambda')$ is $d^{\otimes(\lambda_2+\lambda_2')}$ times the direct sum of $\bar{T}(u)$, where $u$ varies over the set $S$ which can be computed as follows: Let $a=\lambda_1-\lambda_2, b=\lambda_1'-\lambda_2'$ and $a+b=p+r, 0 \leq r \leq (p-2)$. Let $A=\{ (a+b,0),(a+b-1,1),\dots,(a+b-r,r)\}$. Let $S(0)=A \backslash \{(a+b-i-u_i-1,i+u_i+1) ~|~ (a+b-i,i) \in A, a+b-2i = p+u_i, 0 \leq u_i \leq (p-2)\}$.} \\ \\
\textbf{Lemma 3.4} \ \textit{For $M \in {\rm mod}(G)$ and $N \in {\rm mod}(\bar{G})$, the map $\phi:M \otimes N^F \longrightarrow N^F \otimes M$ given by $\phi(x \otimes y)=y \otimes x$ is a $G$-module isomorphism.} \\ \\
The following theorem can be proved using lemma 3.2, lemma 3.3 and lemma 3.4. \\ \\
\textbf{Theorem 3.5} \ \cite{Dattsm} \textit{The tensor product of two simple $G$-modules is $d_q^{r'}(d^{r''})^F$ times a finite direct sum of indecomposable modules of the form $T(u_{-1}) \otimes (\bar{T}(u_0) \otimes \bar{T}(u_1)^{\bar{F}} \otimes \cdots \otimes \bar{T}(u_m)^{\bar{F}^m})^F$, where $u_{-1} \in X_1$ and $u_i \in \bar{\pi}$ for $0 \leq i \leq m$.} \\ \\
\textbf{Theorem 3.6} \ \cite{Dattsm} \textit{The indecomposable summand $T(u_{-1}) \otimes (\bar{T}(u_0) \otimes \bar{T}(u_1)^{\bar{F}} \otimes \cdots \otimes \bar{T}(u_m)^{\bar{F}^m})^F$ in the preceding theorem is tilting if and only if $\ell -1 \leq a_{-1}-b_{-1} \leq 2(\ell -1)$ and $p-1 \leq a_i-b_i \leq 2p-2$, where $u_i=(a_i,b_i)$ for $i=-1,0,\dots,m-1$. Also $T(u)$ is simple if $u_i \in \{ (a,b) \in X^+(\bar{T}) ~|~ a-b \leq p-1 \}, i=0,1,\dots,m.$}

\section{Generators and Relations.}

Now we consider the ring $A$ of twisted tilting modules of the quantum $GL_2(k)$. We give a set of generators and relations for this ring $A$. As in Section 3, we identify
 $X^+(T)_n,$ $ X^+(T)_{\infty},$ $ X^+_s(T)_n,$  $X^+_s(T)_{\infty}$ as subsets of $X^+(T)\times X^+(\bar{T})_{\infty} $ in the usual way.  By [\cite{Donqsc}, p.no 72 (5)] and [\cite{Donqsc},3.4 (1), p. no. 75],  $\{T(\lambda_1,\lambda_2))~|~(\lambda_1,\lambda_2)\in X^+(T), \lambda_1-\lambda_2\leq 2l-2\}$ is a set of pairwise non-isomorphic indecomposable $G_1$-modules. \\

\noindent {\bf Proposition 4.1}

\noindent {\it (i) For $a\in X^+_s(T)_n$, the twisted tilting module $T(a)$ is indecomposable.\\
(ii)  For $a,b\in X^+_s(T)_n$ the twisted tilting modules $T(a)$ and $T(b)$ are isomorphic if and only $a=b$.\\
(iii) Any indecomposable twisted tilting modules of height at most $n$ is isomorphic to $T(a)$, for some $a\in X^+_s(T)_n$.\\
(iv) The ring $A_n$ is a free ${\mathbb{Z}}$-module with ${\mathbb{Z}} $ basis $\{T(a)~|~a\in X^+_s(T)_n\}$.\\
(v) The ${\mathbb{Z}}$-module $A_n$ is free of rank $(2l-2)(2p-2)^n$ as a module over $\psi ^{n+1}(\bar{A}_0)$.\\
(vi) The ring $A$ is a free ${\mathbb{Z}}$-module with ${\mathbb{Z}}$-basis $\{t(a)~|~a\in X^+_s(T)_{\infty}\}$.}\\

\begin{proof}
(i) Let $a\in X^+_s(T)_n$. If $n=-1$, then $T(a)$ is an indecomposable tilting module. So, let us assume that $n\geq 0$. Let $\bar{a}=(a(0),a(1),\dots ,a(n))\in X^+_s(\bar{T})_n$ and $a(i)=(a(i)_1,a(i)_2)\in {\mathbb{Z}}^2$, $i\geq -1$. Then by the [\cite{Dattag}, Section 2, Prop], we have $\bar{T}(\bar{a})$ is indecomposable. As $0\leq a(-1)_1-a(-1)_2\leq 2(l-1)$, by [\cite{Donqsc}, p.no.72,(5)], we have $T(a)=T(a(-1))\otimes (\bar{T}(\bar{a}))^F$ is indecomposable.\\

\noindent (ii) Let $a,b\in X^+_s(T)_n$. Suppose that $T(a)\cong T(b)$. We want to show that $a=b$. Let $a=(a(-1),a(0),\cdots ,a(n))$ and $b=(b(-1),b(0),\cdots ,b(n))$. As $G_1$-module, we have $T(a(-1))=T(a)_{|G_1}\cong T(b)_{|G_1}= T(b(-1))$. The highest weight $a(-1)$ of $T(a(-1))$ is same as the highest weight $b(-1)$ of $T(b(-1))$. Let $L={\rm soc}(T(a(-1))={\rm soc}(T(b(-1))$, which is simple. Now we have $${\rm Hom}_{G_1}(L,T(a(-1))\otimes \bar{T}(\bar{a})^F)\cong {\rm Hom}_{G_1}(L,T(b(-1))\otimes \bar{T}(\bar{b})^F )$$
$${\rm End}_{G_1}(L)\otimes \bar{T}(\bar{a})^F\cong {\rm End}_{G_1}(L)\otimes \bar{T}(\bar{b})^F$$

Hence we have $$\bar{T}(\bar{a}))\cong \bar{T}(\bar{b})$$

Again by [\cite{Dattag}, Section 2, Prop], we have $\bar{a}=\bar{b}$. Therefore $a=b$.\\

\noindent (iii), (iv), (v) and (vi) follows from Proposition of Section 1 of \cite{Dattag}.
\end{proof}

Let $J={\mathbb{Z}}[d_q,d]$. For $r\in {\mathbb{N}}_0$, we have Laurent polynomials $P_r(t)\in J[t,t^{-1}]$ defined recursively as follows: $P_0(t)=1$, $P_1(t)=t+t^{-1}$ and $$(t+t^{-1})P_{r}(t)=P
_{r+1}(t)+d_qP_{r-1}(t)$$

Similarly, we also consider the following polynomials $Q_r(s), r\in {\mathbb{N}}_0$, recursively in the ring $J[s,s^{-1}]$ as follows:
We let $Q_0=1$, $Q_1=s+s^{-1}$ and for $r\geq 2$, $$(s+s^{-1})Q_r=Q_{r+1}(s)+dQ_{r-1}(s)$$

Let $\omega =t+t^{-1}$ and $\upsilon=s+s^{-1}$. If a Laurent polynomial $\sum _{i=-\infty}^{\infty}a_it^i\in J[t,t^{-1}]$ (resp. $J[s,s^{-1}]$) is such that the coefficient of $t^i$ is same as the coefficient of $t^{-i}$  for all $i$, then it can be expressed as a polynomial in $J[\omega]$ (resp. as a polynomial in $J[\upsilon]$). \\

Let $P_r(\omega)=P_r(t)$ and $Q_r(\upsilon)=Q_r(s)$ for $r\geq 0$. Then we have $P_0(\omega)=1$, $P_1(\omega)=\omega$ and $\omega P_r(\omega)=P_{r+1}(\omega)+d_qP_{r-1}(\omega)$.
Similarly we have $Q_0(\upsilon)=1$, $Q_1(\upsilon)=\upsilon$ and for $r\geq 2$, we have $\upsilon Q_r(\upsilon)=Q_{r+1}(\upsilon)+dQ_{r-1}(\upsilon)$. We let $g(t)=t^l+t^{-l}$ and $h(s)=s^p+s^{-p}$. Now we have $g'(\omega)=lP_{l-1}(\omega)$ and $h'(\upsilon)=pQ_{p-1}(\upsilon)$ and also $P_{2l-1}(\omega)=g(\omega)P_{l-1}(\omega)$ and $Q_{2p-1}(\upsilon)=h(\upsilon)Q_{p-1}(\upsilon)$.\\

For any Laurent polynomial $f(t)\in J[t,t^{-1}]$, we simply write $f(E)$ for the element $f([E])$ of $A$. Now we identify the integral group ring ${\mathbb{Z}}X(T)$ with  a subring of $J[t,t^{-1}]$ by $\epsilon _1\mapsto t$ and $\epsilon_1+\epsilon_2\mapsto d_q$. Now for any $(r,0)\in X^+(T)$, we have ${\rm ch}\nabla(r,0)=P_r(t)$, $r\geq 0$.  Therefore the element $P_r(E)$ has same character as the $G$-module $\nabla(r,0)$. By [\cite{Donqsc},(7), p.no.73], we know that $$T(2l-1,0)\cong T((l-1,0)\otimes \bar{E}^F$$ And similarly by the [\cite{Donqsc}, 3.4(1), p.no. 75], we have $\bar{T}(2p-1,0)\cong \bar{T}(p-1,0)\otimes \bar{E}^{\bar{F}}$ and hence we have $\bar{T}(2p-1,0)^F\cong \bar{T}(p-1,0)^F\otimes (\bar{E}^{\bar{F}})^F$.\\

Let $\widetilde{J}={\mathbb{Z}}[d_q,d,d_{q}^{-1},d^{-1}]$ and $K$ be its field of fractions. Here we consider the free polynomial ring $\widetilde{J}[X_{-1},X_0,X_1,\cdots ]$. We define a map $\Phi:\widetilde{J}[X_{-1},X_0,\dots ]\longrightarrow A$ by $\Phi(X_{-1})=[E]$, for $i\geq 0$, $\Phi(X_i)=[(\bar{E}^{\bar{F}})^F]$ and $\Phi(d_q)=D_q, \Phi(d)=D$. Now by the above discussion, we have $D_q^l-D^l, P_{l-1}(X_0-g(X_{-1}))$ and $Q_{p-1}(X_i)(X_{i+1}-h(X_i))\in {\rm Ker} \Phi$ for all $i\geq 0$. Let $\Phi _n$ be the restriction of $\Phi$ to the ring $\widetilde{J}[X_{-1},X_0,\dots ,X_n]$, then by [Prop.4.1 ( iv)], we have the following. \\

\noindent {\bf Proposition 4.2.} {\it For $n\geq -1$, the restriction $\Phi_{n}:\widetilde{J}[X_{-1},X_0,\dots, X_n]\longrightarrow A_n$ be the restriction of the ring homomorphism. Then $\Phi_n$ is surjective and  ${\rm Ker} (\Phi_n)$ is  generated by the elements  $(P_{l-1}(X_{-1})(X_0-g(X_{-1}))$ and $(Q_{p-1}(X_i)(X_{i+1}-h(X_i)))$, for $0\leq i<n$.} \hfill{$\Box$}\\

Now we show that the ring is reduced. Let $\Phi(X_i)=x_i$, $i\geq -1$. Let ${\mathbb{C}}$ be the field of complex numbers. We let  $A_{\mathbb{C}}(n)={\mathbb{C}}\otimes _{\mathbb{Z}}A_n$.  By \cite{Dattag}, we know that the polynomials $Q_{p-1}(X_{i+1}-h(X_i)))$, $i\geq 0$, has no repeated roots. Hence to show that the ring $A_{\mathbb{C}}(n)$ is reduced, it is enough to show that $(P_{l-1}(X_{-1})(X_0-g(X_{-1}))$ has no repeated roots. \\

First we note the ring $A_{-1}=\widetilde{J}[x_{-1}]$ is a reduced ring. Any element $F\in A_{\mathbb{C}}(0)$ is uniquely expressible in the form $F=\sum _{i=0}^{2l-2}a_iP_i$, $a_i\in J[x_0,x_1,\cdots ,x_n]$.\\

\noindent {\bf Theorem 4.3} {\it The ring $A$ is reduced.}\\

\noindent The theorem follows from the following Lemma.\\

\noindent {\bf Lemma 4.4} {\it For any $b\in {\mathbb{Z}}$, $(x_{-1}-b)$ is not a zero-divisor in $A_K(0)$}.

\begin{proof}
Suppose $b\in {\mathbb{Z}}$ and $(x_{-1}-b)F=0$. Then we have $$x_{-1}(\sum_ {i=0}^{2l-2}a_iP_i)=bF$$
\noindent Hence $$\sum _{i=0}^{2l-2}a_ix_{-1}P_i=bF$$ We know that $x_{-1}P_i=D_qP_{i-1}+P_{i+1}$, for $i\geq 2$

\noindent Hence we have $$a_0x_{-1}P_0+\sum _{i=1}^{2l-3}a_ix_{-1}P_i+a_{2l-2}x_{-1}P_{2l-2}=bF$$

\noindent It follows that $$a_0P_1+\sum _{i=1}^{2l-3}a_i(P_{i+1}+dP_{i-1})+a_{2l-2}(P_{2l-1}+dP_{2l-3})=bF$$

\noindent Therefore we have $$a_0P_1+\sum_{i=2}^{2l-2}a_{i-1}P_i+d\sum _{i=0}^{2l-4}a_{i+1}dP_i+a_{2l-2}(P_{2l-1}+dP_{2l-3})=bF$$

\noindent And hence we have $$a_0P_1+\sum _{i=2}^{2l-2}a_{i-1}P_i+d\sum _{i=0}^{2l-4}a_{i+1}dP_i+a_{2l-2}x_0P_{l-1}+da_{2l-2}P_{2l-3}=bF$$

\noindent By comparing the coefficients, we have\\

$$d^ia_i=P_i(b)a_0 \hspace{0.75cm}\mbox{for}\hspace{0.5cm}0\leq i\leq l-1\hspace{2cm}(\star)\\$$
$$a_{2l-2-i}=P_i(b)a_{2l-2}\hspace{0.4cm}\mbox{for}\hspace{0.5cm}0\leq i\leq l-1\hspace{1.5cm}(\star\star)$$

$$a_{l-2}+da_l+a_{2l-2}x_0=ba_{l-1}$$

\noindent Now by $(\star)$ and $(\star\star)$, we have \\

$$P_{l-2}(b)a_{2l-2}+x_0a_{2l-2}=bP_i(b)a_{2l-2}.$$

\noindent Hence we have $$(x_0-(P_l(b)-P_{l-2}(b))\displaystyle{\frac{a_0}{d^{l-1}}}=0.$$

\noindent Therefore $$ (x_0-(P_l(b)-P_{l-2}(b))a_0=0.$$

If $a_0=0$, then $a_{2l-2}=0$ and hence $F=0$. If $a_0\neq 0$, then $(x_0-(P_l(b)-P_{l-2}(b))$ is a zero divisor in $A_K(0)$. Now by [\cite{Dattag}, Section 3, Prop.], for $d=1$ and $q=1$ and $b=2$, we have $(x_0-2)$ is a zero divisor which is not true. Therefore $x_0\pm 2d$ are not zero divisor in $A_K(0)$.
\end{proof}

\begin{center}
 {\bf Statement of Conflict of Intereest}
\end{center}

 The authors do not have any conflict of interest with any of the content of this article.\\