\documentclass[12pt]{article}

\textwidth=17cm
\textheight=22.5cm

\topmargin -1.5cm
\oddsidemargin -0.3cm
%\evensidemargin -0.8cm



  
 




\def\d{\partial}
\def\a{\alpha}
\def\b{\beta}
\def\m{\mu}
\def\n{\nu}
\def\l{2\pi\alpha'}
\def\d{\partial}
\def\inv{^{-1}}
\def\Pf{{\rm Pf}}
\def\Fhat{\hat{F}}
\def\t{\theta}
\def\vg{,}
\def\pt{.}
\def\({\left(}
\def\){\right)}
\def\[{\left[}
\def\]{\right]}

\def\({\left(}
\def\){\right)}
\def\X{\tilde{X}}
\def\psit{\tilde{\psi}}




\def\a{\alpha}
\def\s{\sigma}
\def\l{\lambda}
\def\l{\lambda}
\def\m{\mu}
\def\n{\nu}
\def\d{\partial}
\def\inv{^{-1}} 
\def\Pf{{\rm Pf}} 
\def\Fhat{\hat{F}}
\def\t{\theta}
\def\psibar{\bar{\psi}}
\def\vg{\;,}


 







\def\beq{\begin{equation}}
\def\eeq{\end{equation}}
\def\bea{\begin{eqnarray}}
\def\eea{\end{eqnarray}}
\def\bq{\begin{quote}}
\def\eq{\end{quote}}





\def\a{\alpha}
\def\s{\sigma}
\def\l{\lambda}
\def\l{\lambda}
\def\m{\mu}
\def\n{\nu}
\def\d{\partial}
\def\inv{^{-1}} 
\def\Pf{{\rm Pf}} 
\def\Fhat{\hat{F}}
\def\t{\theta}
\def\psibar{\bar{\psi}}
\def\vg{\;,}
\def\pt{\;.}
\def\({\left(}
\def\){\right)}
\def\e{e^}
\def\dir{\gamma^\mu(\d_\mu+A_\mu)}
\def\psibar{\bar{\psi}}
\def\gammamu{\gamma ^\mu}        
\def\g5{\gamma_5}

\def\AJ{{\it Astrophys.J.} }
\def\AJL{{\it Ap.J.Lett.} }
\def\AJS{{\it Ap.J.Supp.} }
\def\AM{{\it Ann.Math.} }
\def\AP{{\it Ann.Phys.} }
\def\APJ{{\it Ap.J.} }
\def\APP{{\it Acta Phys.Pol.} }
\def\ASAS{{\it Astron. and Astrophys.} }
\def\BAMS{{\it Bull.Am.Math.Soc.} }
\def\CMJ{{\it Czech.Math.J.} }
\def\CMP{{\it Commun.Math.Phys.} }
\def\FP{{\it Fortschr.Physik} }
\def\HPA{{\it Helv.Phys.Acta} }
\def\IJMP{{\it Int.J.Mod.Phys.} }
\def\JMM{{\it J.Math.Mech.} }
\def\JP{{\it J.Phys.} }
\def\JCP{{\it J.Chem.Phys.} }
\def\LNC{{\it Lett. Nuovo Cimento} }
\def\SNC{{\it Suppl. Nuovo Cimento} }
\def\MPL{{\it Mod.Phys.Lett.} }
\def\NAT{{\it Nature} }
\def\NC{{\it Nuovo Cimento} }
\def\NP{{\it Nucl.Phys.} }
\def\PL{{\it Phys.Lett.} }
\def\PR{{\it Phys.Rev.} }
\def\PRL{{\it Phys.Rev.Lett.} }
\def\PRTS{{\it Physics Reports} }
\def\PS{{\it Physica Scripta} }
\def\PTP{{\it Progr.Theor.Phys.} }
\def\RMPA{{\it Rev.Math.Pure Appl.} }
\def\RNC{{\it Rivista del Nuovo Cimento} }
\def\SJPN{{\it Soviet J.Part.Nucl.} }
\def\SP{{\it Soviet.Phys.} }
\def\TMF{{\it Teor.Mat.Fiz.} }
\def\TMP{{\it Theor.Math.Phys.} }
\def\YF{{\it Yadernaya Fizika} }
\def\ZETF{{\it Zh.Eksp.Teor.Fiz.} }
\def\ZP{{\it Z.Phys.} }
\def\ZMP{{\it Z.Math.Phys.} }


\parskip 0.3cm

\def\gappeq{\mathrel{\rlap {\raise.5ex\hbox{$>$}}
{\lower.5ex\hbox{$\sim$}}}}

\def\lappeq{\mathrel{\rlap{\raise.5ex\hbox{$<$}}
{\lower.5ex\hbox{$\sim$}}}}

\def\Toprel#1\over#2{\mathrel{\mathop{#2}\limits^{#1}}}
\def\FF{\Toprel{\hbox{$\scriptscriptstyle(-)$}}\over{$\nu$}}



\begin{document}



\pagestyle{empty}
\begin{flushright}
{\ttfamily hep-th/0304059}\\
{CPHT-RR 012.0303}\\ 

\end{flushright}
\vspace*{5mm}
\begin{center}
{ \Huge \Huge Modified Star-Products  \\
 \vspace*{5mm}Beyond the Large-$B$ Limit} \\
\vspace*{19mm}
{\large Pascal Grange} \\
\vspace{0.5cm}

 {\it Centre de physique th{\'e}orique de l'Ecole polytechnique,\\
 \vspace*{0.2cm}route de Saclay, F-91128 Palaiseau Cedex}\\
\vspace{0.5cm} 
{\tt{ pascal.grange@cpht.polytechnique.fr}}\\




\vspace*{4.5cm}
{\bf ABSTRACT} \\ \end{center}
\vspace*{4mm}
\noindent
 
Derivative corrections to the Wess--Zumino couplings of open-string
effective actions are computed at all orders in derivatives, taking the open-string metric into
account. This leads to a set of deformed star-products beyond the
Seiberg--Witten limit, and allows to
reinterpret the couplings in terms of a deformed integration
prescription along a Wilson line in the non-commutative
set-up. Moreover, the recursive definition of the star-products
induces deformations of $U(1)$ non-commutative {\mbox{Yang--Mills}} theory. 




\vspace*{1cm}
\noindent

\begin{flushleft} 
April 2003
\end{flushleft}

\vfill\eject
%\pagestyle{empty}
%\clearpage\mbox{}\clearpage


\setcounter{page}{1}
\pagestyle{plain}

 

\section{Introduction}

Non-commutative field
theory on the world-volume of a D-brane has been developed in a
peculiar limit where a large constant background $B$-field is turned
on ~\cite{CH,SW}. This is called the Seiberg--Witten limit and amounts
to $\alpha'\rightarrow 0$ together with a scaling of the metric,
$g_{ij}\sim\alpha'^2$, while open-string parameters are kept fixed. Duality properties have been studied, and an explicit mapping
between ordinary and non-commutative gauge fields exhibited ~\cite{Cornalba,L,OO}. This
inspiring correspondence has been successfully extended to the
Ramond--Ramond couplings in the Seiberg--Witten limit, leading to an infinite set of
derivative corrections ~\cite{CSterms,LM,DMS}, since the corrections
are suppressed by powers of $\alpha'$ in the non-commutative set-up. The
series of corrections are expressed in terms of modified star-products
named $\star_p$ (for integer $p$) that arise naturally from an
integration prescription along an open Wilson line. This prescription
originates from the requirement of gauge invariance of observables in
non-commutative field theory
~\cite{Rey1,Rey2,Gross,star-trekI,MW,DT,ReyHouches}. Computations at tree level in presence of a
single Euclidean {\mbox{D9-brane}} in commutative string theory
provided successful checks ~\cite{M, mezigue}, confirming that
these corrections are leading in the Seiberg--Witten limit. This suggested that the
correspondence could be extended by string computations beyond this limit. Mukhi and
Suryanarayana ~\cite{MSbeyond} derived the first correction in terms of the
open-string metric to the coupling of quadratic order in the field
strength, and generalized it to all orders (in the metric) by using a
disk amplitude computed by Liu and Michelson ~\cite{star-trekIII}. This led to a
deformation of the $\star_2$-product by a differential operator $t$
constructed out of the open-string metric $G$: 



$$C^{(6)}(-k)\wedge\int dx\, \langle F\wedge F\rangle_{\star_2}e ^{ikx}\mapsto
C^{(6)}(-k)\wedge\int dx\, \langle F\wedge F\rangle_{\star_2(t)}e ^{ikx},$$

\noindent{where} the $\star_2(t)$ has the expected Seiberg--Witten
limit

$$t~:=\alpha'\d G\d',\,\,\,\,\,\,\,\,\,\,\,a~:=\frac{\d\theta\d'}{2\pi}, $$
$$\star_2(t)=\frac{\Gamma(1+2t)}{\Gamma(1-a+t)\Gamma(1+a+t)},$$
$$\star_2(0)=\frac{\sin{\pi a}}{\pi a}=\star_2.$$


The deformed star-product $\star_{2}(t)$ received an interpretation
in terms of a deformed {\mbox{smearing}} prescription along an open Wilson
line, that parallels the one that had given rise to the
{\mbox{$\star_2$-product}}, since

$$ \int dx\,\langle F\wedge F\rangle_{\star_2(t)} e ^{ikx}=\int dx\int_0^1d\tau\, F(x) \star(t)\wedge F(x+\theta k\tau)\star
e ^{ikx}, $$
$${\mathrm{ where }}\,\,\, \star(t)=\star\times\frac{\star_{2}(t)}{\star_2}=\star\times\frac{\Gamma(1-a)\Gamma(1+a)\Gamma(1+2t)}{\Gamma(1-a+t)\Gamma(1+a+t)}.$$




{\noindent In} this letter we shall 
derive the contribution of the open-string metric to the amplitude

$$S_{CS}+\Delta S_{CS}=\langle C|\exp\(-\frac{i}{2\pi\alpha'}\int d\sigma d\theta D\phi^\mu A_\mu(\phi)\)|B\rangle_R,$$
  
\noindent{so} that we shall be able  to derive the prescription of
~\cite{MSbeyond}  and to extend it to larger
orders in the field strength.\\

The recursive definition of the modified star-products allows to
address the question of the correct definition of gauge tranformation
  laws beyond the large-$B$ limit. We shall
work with a single Euclidean D9-brane in the description where the open-string
metric $G$ is defined by


$$  \(\frac{1}{g+2\pi\alpha' B}\)^{ij}=\frac{\theta ^{ij}}{2\pi\alpha'}+G^{ij}.$$  

\noindent{We} shall first work out the deformation of the star-products in
presence of the symmetric part of the two-point functions of
 world-sheet scalars,
 and then interpret the results in terms of a deformed gauge-invariant
 smearing
 prescription in the non-commutative set-up. 


\section{ Taking the open-string metric into account}

\subsection{Quadratic order in the field strength }
As noticed in previous investigations of Ramond--Ramond couplings for
small field strength, we are instructed to compute couplings whose
order in the field strength is half of the degree as a differential
form. Writing the result in terms of the differential form $F$, one
has to 
make the substitution

$$\frac{1}{2}\psi_0^\mu\psi_0^\nu F_{\mu\nu}\mapsto -i\alpha'F.$$ 

\noindent{Therefore} the only role played by the fermions in our
computation will be to provide us with the suitable
number of zero modes, in order to build the grading of the coupling. As we are dealing with the Ramond--Ramond sector, we may forget the first
part of the following expression, because it does not contibute to the grading.

  


$$\int d\sigma d\theta D\phi^\mu A_\mu(\phi)=-\int d\sigma d\theta\sum_{k\geq 0}\frac{1}{(k+1)!}\frac{k+1}{k+2}D\tilde{\phi}^\nu \tilde{\phi}^{\mu}\tilde{\phi}^{\mu_1}\dots\tilde{\phi}^{\mu_{k}}\d_{\mu_1}\dots\d_{\mu_{k}}F_{\mu\nu}(x)$$
$$-\int
d\sigma(\tilde{\psi}^\mu\psi_0^\nu+{\psi}_0^\mu\psi_0^\nu)\sum_{k\geq
  0}\frac{1}{k!}\tilde{X}^{\mu_1}\dots\tilde{X}^{\mu_k}\d_{\mu_1}\dots\d_{\mu_k}F_{\mu\nu}(x).$$


\noindent{ The}
computation   amounts to contracting pairs of scalars using the
open-string propagator



 $$D^{a,b}(\sigma)=~\alpha '\(\frac{\theta
    ^{a_ib_i}}{2\pi\alpha'}\log\(\frac{1-e ^{-\epsilon+i\sigma}}{1-e
      ^{-\epsilon-i\sigma}}\)+G^{a_ib_i}\log|1-e ^{-\epsilon+i\sigma}|^2\).$$ 

\noindent{Each} of the propagators contributing
to the regular part of the coupling comes with
two derivatives acting on two different field strengths:
$D^{a,b}\d_a\d'_b|_{x'=x}$. At order $2n$ in derivatives, the regular
part of the coupling
to $C^{(6)}$ reads   
 
$$
\frac{\alpha'^n}{n!}\int_0^{2\pi}\frac{d\sigma}{2\pi}\prod_{i=1}^n\left\{\frac{\theta
    ^{a_ib_i}\d_{a_i}\d'_{b_i}}{2\pi\alpha'}\log\(\frac{1-e ^{-\epsilon+i\sigma}}{1-e
      ^{-\epsilon-i\sigma}}\)+(G^{a_ib_i}\d_{a_i}\d'_{b_i})\log|1-e ^{-\epsilon+i\sigma}|^2
 \right\}F(x)\wedge F(x').$$

\noindent{Let} us expand the product in the above expression in terms of the symmetric and antisymmetric
parts of the propagator, and remove the regulator:

$$\sum_{p=0}^nC_n^p\frac{1}{(2\pi\alpha')^p}\theta
^{a_1b_1}\dots\theta ^{a_pb_p}i ^p(\sigma-\pi)^p\times
G ^{a_{p+1}b_{p+1}}\dots G ^{a_nb_n}(\log|1- e ^{i\sigma}|^2)^{n-p}.$$


\noindent{As} we expand the gauge coupling to all orders in derivatives, we have to sum these
contributions over $n$:




$$\sum_{n\geq 0}\frac
{\alpha'^n}{n~!}\int_0^{2\pi}\(\frac{d\sigma}{2\pi}
\(\frac{\d\theta\d'}{2\pi\alpha'}i(\sigma-\pi)+ \d G\d'\log|1-e^{-i\sigma}|^2\)^n\)$$
$$= \int_0^{2\pi}\frac{d\sigma}{2\pi}\exp\(\alpha'\(\frac{\d\theta\d'}{2\pi\alpha'}i(\sigma-\pi)+
\d G\d'\log|1-e ^{-i\sigma}|^2\)\).$$

\noindent{The} last integral expression therefore equals

$$\int_0^1d\tau
|2\sin(\pi\tau)|^{2t}\exp((ia\pi)(2\tau-1))=\frac{\Gamma(1+2t)}{\Gamma(1-a+t)\Gamma(1+a+t)}.$$


\noindent{This} is a recipe for going beyond
the Seiberg--Witten limit at quadratic order in the field strength. It
confirms the prescription of ~\cite{MSbeyond}, where the first order
in $G$ thereof was computed, and where larger orders were included by
requiring consistency with ~\cite{star-trekIII}.

\subsection{Higher orders in the field strength}

The derivation ~\cite{mezigue} of the regular part of the couplings of
larger orders in the field strength relies on symmetry factors and not on
the precise form of the propagator. It may therefore be applied here
using the full open-string propagator with derivatives included, together
with 
the following notations:


$$Q_{ij}~:=ia_{ij}(\sigma_{ij}-\epsilon(\sigma_{ij}))+t_{ij}\log\left|2\sin\(\frac{\sigma_{ij}}{2}\)\right|^2,$$
$$\sigma_{ij}~:=\sigma_i-\sigma_j,\,\,\,\,\,\,\,a_{ij}~:=\frac{\d_{i,\mu}\theta
  ^{\mu\nu}\d_{j,\nu}}{2\pi},\,\,\,\,\,\,\,t_{ij}~:=\alpha'\d_{i,\mu}G^{\mu\nu}\d_{j,\nu}.$$


\noindent{The} coupling to a mode of $C^{(10-2p)}$ is going to be expressed as the image
of $F^{p}$ by some differential operator $\tilde{\star}_p$, so that $\tilde{\star}_2$
is the $\star_2{(t)}$ of ~\cite{MSbeyond}. Furthermore, if all the metric-dependent coefficients $t_{ij}$ are set to 0, the
kernel $\tilde{\star}_p$ will reduce to the modified star-product $\star_p$. The only change
with respect to the derivation in the Seiberg--Witten limit comes from
 the symmetric part of the propagator, which is going to insert a
 factor of $\left|2\sin\(\frac{\sigma_{ij}}{2}\)\right|^{2t_{ij}}$ in the
 integral for each pair of labels $\{i,j\}$ (with $i\neq j$, since
 extracting the regular part of the coupling prohibits self-contractions).\\

At cubic order in the field strength one can write explicitly
 

\begin{eqnarray*}  
\tilde{\star}_3 &=& \sum_{A,B,C\geq 0}\frac{1}{A~!}\frac{1}{B~!}\frac{1}{C~!}
\int_0^{2\pi}\frac{d\sigma_1}{2\pi}\int_0^{2\pi}\frac{d\sigma_2}{2\pi}\int_0^{2\pi}\frac{d\sigma_3}{2\pi}\;
Q_{12} ^A Q_{23}^B Q_{31}^C\\
&=&\int_0^{1}d\tau_1\int_0^{1}d\tau_2\int_0^{1}d\tau_3\exp\{ia_{12}\pi(2\tau_{12}-\epsilon(\tau_{12}))
+2t_{12}\log|2\sin(\pi\tau_{12})|\\
& &
 \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\; \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\; +ia_{23}\pi(2\tau_{23}-\epsilon(\tau_{23}))+2t_{23}\log|2\sin(\pi\tau_{23})|\\
   & &\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\; \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\; +
    ia_{31}\pi(2\tau_{31}-\epsilon(\tau_{31}))+2t_{31}\log|2\sin(\pi\tau_{31})\}.
\end{eqnarray*}

{\noindent As} the symmetry factors have been shown to keep the same structure for an arbitrary
number of operators, the desired operator is seen to be the following
for any integer $p$:

$$\tilde{\star}_p=\int_0^{1}d\tau_1\dots\int_0^{1}d\tau_p\exp\left\{\sum_{i<j}\(i\pi
  a_{ij}\(2\tau_{ij}-\epsilon(\tau_{ij})\)+2t_{ij}\log|2\sin(\pi\tau_{ij})|\) 
\right\}.$$




\section{Effect on the non-commutative action}
\subsection{How to modify the smearing prescription}

It is possible to use the above derivation in the non-commutative
set-up, by inserting a factor of $2\sin(\pi\tau_{ab})^{2t_{ab}}$ at each of
the points at which the operators are inserted along the Wilson
line, since the full operator entering the 
coupling of degree $2p$ reads


$$\tilde{\star}_p=\int_0^1 d\tau_1\dots\int_0^1 d\tau_p \prod_{1\leq i<j\leq p}\exp\left\{i\pi a_{ij}(2\tau_{ij}-\epsilon(\tau_{ij}))\right\}(2\sin(\pi\tau_{ij}))^{2t_{ij}}.$$




{\noindent {In}} order to see wether the couplings can be rewritten in terms of a
 smearing prescription, ordered with respect to a deformed
 star-product along a Wilson line, we are urged to find a recursive
 definition of the deformed star-products. It should be compatible the one derived
 by Liu ~\cite{L} 
 between 
 the modified star-products in the Seiberg--Witten limit:


$$i\theta^{ij}\d_i\langle f_1,\dots,f_{p},\d_j
f_{p+1}\rangle_{\star_{p+1}}
=\sum_{i=1}^{p}\langle f_1,\dots,[f_i,f_{p+1}],\dots,f_{p}\rangle_{\star_{p}}.$$

 

\noindent{where} the commutator is understood with respect to the
star-product. As noted in ~\cite{MSbeyond}, the commutator can still
be expressed in terms of $\star_2$ after deformation:


$$i\theta ^{ij}\langle\d_i f,\d_j
g\rangle_{\star_2(t)}=[f,g]_{\star(t)},$$

\noindent{where $\star(t)$ is the deformed version of the star-product
  defined by the prescription of integration along an open Wilson line
 for two observables.
 Therefore we are inclined to look for a deformed version of the recursive formula
using derivatives for some of the arguments. 
Let us onsider the following $p$-ary expression
$$i\theta^{ij}\d_i\langle f_1,\dots,f_{p},\d_j
f_{p+1}\rangle_{\tilde{\star}_{p+1}},$$
and show how the recursion is organized for one of the
terms in the above derivative. It is of the general form of multiple
convolutions (denoted by $\circ$) between operators $O_i$ smeared along a line, where the
kernel $K$
is translation invariant.

\begin{eqnarray*}
&&i\theta ^{ij}\d_iO_1\circ \d_jO_2\circ\dots\circ
O_{p+1}\\
&=&i\theta ^{ij}\int_0^1 d\tau_1\dots \int_0^1 d\tau_{p}\, \d_i O_1(0)
K(\tau_1)\d_j O_2(\tau_1)K(\tau_2)O_3(\tau_1+\tau_2)K(\tau_3)O_4(\tau_1+\tau_2+\tau_3)\dots\\
&&\dots  K(\tau_{p-1})O_{p}(\tau_1+\dots+\tau_{p-1})K(\tau_p)O_{p+1}(\tau_1+\dots+\tau_p)
\delta(\tau_1+\dots+\tau_p-1) \\  
 &=&\(i\theta ^{ij}\int d\tau_1 \d_i O_1(0)
 K(\tau_1)\d_j O_2(\tau_1)\)\\
&&\times \int_0^1 d\tau_2\dots \int_0^1 d\tau_{p}\,
K(\tau_2) O_3(1-\tau_3-\dots-\tau_p) K(\tau_3)\dots O_{p}(1-\tau_p)K(\tau_p)O_{p+1}(1)\\
&=&\int_0^1 d\tau_2\dots \int_0^1 d\tau_{p}[O_1,O_2]_{\star(t_{12})}(0)
K(\tau_2)O_3(\tau_2)K(\tau_3) O_4(\tau_2+\tau_3)\dots\\
&&\dots
O_{p}(\tau_2+\dots+\tau_{p-1})K(\tau_p)O_{p+1}(\tau_2+\dots+\tau_p)\delta(\tau_2+\dots+\tau_p-1)\\
&=&[O_1,O_2]_{\star(t_{12})}\circ O_3\circ\dots\circ O_{p}\circ{O_{p+1}}.
\end{eqnarray*}

\noindent{This} allows us to open up one more integration interval over an intermediate
time and to write the recursive definition of the deformed smearing prescription 

$$i\theta^{ij}\d_i\langle f_1,\dots,f_{p},\d_j
f_{p+1}\rangle_{ \tilde{\star}_{p+1}
}=\sum_{i=1}^{p}\langle f_1,\dots,[f_i,f_{p+1}]_{\star(t_{i,{p+1}})},\dots,f_{p}\rangle_{\tilde{\star}_{p}}.$$

\noindent{Let} us write the third rank explicitly 

$$\langle f_1,f_2,f_3\rangle_{\tilde{\star}_3}=$$
$$\frac{a_{32}}{a_{31}+a_{32}}\frac{\Gamma\( 1+2t_{32}\)}{\Gamma\(1-a_{32}+t_{32}
  \)\Gamma\(1+a_{32}+t_{32} \)}\frac{\Gamma\(1+2t_{12}+2t_{13}
  \)}{\Gamma\(1-a_{12}-a_{13}+t_{12}+t_{13}
  \)\Gamma\(1+a_{12}+a_{13}+t_{12}+t_{13}  \)}$$
$$+\frac{a_{31}}{a_{31}+a_{32}}\frac{\Gamma\( 1+2t_{31}\)}{\Gamma\(1-a_{31}+t_{31}
  \)\Gamma\(1+a_{31}+t_{31} \)}\frac{\Gamma\(1+2t_{32}+2t_{12}
  \)}{\Gamma\(1-a_{32}-a_{12}+t_{32}+t_{12}
  \)\Gamma\(1+a_{32}+a_{12}+t_{32}+t_{12}  \)},$$

\noindent{whose} Seiberg--Witten limit is recognized as $\star_3$:

$$\langle f_1,f_2,f_3\rangle_{{\star}_3}=\frac{\sin\(\pi
  a_{32}\)\sin\(\pi(a_{12}+a_{13})\)}{\pi(a_{31}+a_{32})\pi(a_{12}+a_{13})}+
\frac{\sin\(\pi
  a_{31}\)\sin\(\pi(a_{32}+a_{12})\)}{\pi(a_{31}+a_{32})\pi(a_{32}+a_{12})}=\lim_{\alpha'\rightarrow 0} \langle f_1,f_2,f_3\rangle_{\tilde{\star}_3}.$$








\subsection{Deformed non-commutative gauge transformations}
The previous investigation of deformed star-products at larger degree
allows to derive the deformation of non-commutative field strength and
gauge transformation required to ensure gauge invariance of the
deformed smeared expression. These are as announced in
~\cite{MSbeyond}:  

$$\hat{F}_{ij}=\d_i\hat{A}_j-\d_j\hat{A}_i-i[\hat{A}_i,\hat{A}_j]_{\star(t)},$$
$$\delta\hat{A}_i=\d_i\hat{\lambda}-i[\hat{A}_i,\hat{\lambda}]_{\star(t)}.$$

\noindent{The} recursive formula was the custodian of gauge invariance in the
Seiberg--Witten limit. Extending our prescriptions to larger orders in
the gauge potentials by expanding the deformed Wilson line, we see
that the deformed smeared prescription plays exactly the same role.
 The Ramond--Ramond couplings $Q(k)$ are given, for some mode $k$, by a
 smeared integral along a straight open Wilson line of operators $O_i$
 of
 the form $(\theta -\theta\hat{F}\theta)^{\mu\nu}$
 transforming as 
$$O_i\mapsto -i[O_i,\hat{\lambda}]_{\tilde{\star}},$$

\noindent{so} that the gauge invariance of the couplings can be checked on an
 expansion in terms of the gauge potential, using the
recursive definition of the deformed star-products:  
  
$$Q(k)=\sum_{m\geq 0} Q_m(k),$$


$${\rm where}\,\,\,\,\,\,\,Q_m(k)=\frac{1}{m~!}(\theta\d)^{\mu_1}\dots(\theta\d)^{\mu_m}\langle
O_1,\dots,O_p,\hat{A}_{\mu_1},\dots,\hat{A}_{\mu_m} \rangle_{\tilde{\star}_{p+m}}.$$

\noindent{The gauge} variation of one of the terms in the above
  expansion reads 

\begin{eqnarray*}
\delta
Q_m&=&-\frac{i}{m~!}(\theta\d)^{\mu_1}\dots(\theta\d)^{\mu_m}\sum_{i=1}^p\langle
O_1,\dots,[\hat{\lambda},O_i]_{\tilde{\star}},\dots,
  O_p,\hat{A}_{\mu_1},\dots,\hat{A}_{\mu_m}
  \rangle_{\tilde{\star}_{p+m} }\\
&&-\frac{i}{m~!}(\theta\d)^{\mu_1}\dots(\theta\d)^{\mu_m}\sum_{i=1}^m\langle
O_1,\dots,
  O_p,\hat{A}_{\mu_1},\dots,[\hat{\lambda},\hat{A}_{\mu_i}]_{\tilde{\star}},\dots,\hat{A}_{\mu_m} \rangle_{\tilde{\star}_{p+m} } \\
&&+\frac{1}{(m-1)~!}(\theta\d)^{\mu_1}\dots(\theta\d)^{\mu_{m}}\langle
O_1,\dots,O_p,\hat{A}_{\mu_1},\dots,\hat{A}_{\mu_{m-1}},\d_{\mu_{m}}\hat{\lambda}
\rangle_{\tilde{\star}_{p+m}},
\end{eqnarray*} 

\noindent{so} that the gauge variation of the field strengths in $Q_m$ is
compensated by the gauge variation of the gauge potentials in
$Q_{m+1}$. The quantity $Q(k)$ is therefore gauge invariant, and the
deformed smearing prescription is consistent in the non-commutative
set-up provided the commutators of non-commutative Yang--Mills theory
are also deformed.\\ 





\section{Conclusion}


In order to obtain results beyond the Seiberg--Witten limit, the full open-string propagator has been taken into account in the
computation of the Ramond--Ramond couplings for small $U(1)$ 
field strength
 at all orders in derivatives. The resulting differential operators
 acting on powers of the field strength are deformations of the
 modified star-products previously derived in the Seiberg--Witten
 limit. The expression of $\tilde{\star}_2$ is consistent with known string
 amplitudes. Moreover, the recursive definition
 of the modified star-products enables us to express any of them as rational functions of differential operators containing open-string parameters, and Gamma functions thereof.  
The results can be reformulated in the
 non-commutative set-up in terms of a deformed smearing prescription
 along an open Wilson line. This confirms earlier proposals at all
 orders in the open-string metric at disk level, and extends them to
 couplings of higher degrees. Furthermore, the deformation of the commutators
   induced in non-commutative {\hbox {Yang--Mills}} theory by
 $\tilde{\star}_2$ has been shown to lead to gauge-invariant
 couplings.\\

\noindent{{{ \Large \bf Acknowledgements}}}\\ 

I have benefited from conversations with R. Minasian and P. Vanhove,
and from correspondence with S. Mukhi. It
is a pleasure to thank the organizers of the Les Houches Winter
School {\it Frontiers in Number Theory, Physics, and Geometry} (HPCF 2002-00334), during which
part of this work was done. 





\begin{thebibliography}{beyond}


 \bibitem {CH} C.-S. Chu and P.-M. Ho, \emph{Non-Commutative Open String and D-brane}, Nucl. Phys. {\bf B550} (1999) 151-168,  {\ttfamily hep-th/9812219}. 

\bibitem {SW} N. Seiberg and E. Witten, \emph{String Theory and Non-Commutative Geometry}, JHEP {\bf 9909} (1999) 032, {\ttfamily hep-th/9908142}.


\bibitem {Cornalba} L. Cornalba, \emph{D-branes Physics and Non-Commutative
    Yang--Mills Theory}, Adv. Theor. Math. Phys. {\bf 4} (2000)
  271-281, {\ttfamily hep-th/9909081}.

\bibitem  {L} H. Liu, \emph{$\star$-Trek II: $\star_n$ Operations, Open Wilson Lines and the Seiberg--Witten Map}, Nucl. Phys. {\bf B614} (2001) 305-329, {\ttfamily hep-th/0011125}.

  

\bibitem {OO} Y. Okawa and H. Ooguri, \emph{An Exact Solution to Seiberg--Witten
  Equation of {\mbox{Non-Commutative}} Gauge Theory}, Phys. Rev. {\bf D64} (2001) 046009, {\ttfamily hep-th/0104036}.




\bibitem {CSterms} S. Mukhi and N.V. Suryanarayana, \emph{Gauge-Invariant Couplings of Non-Commutative Branes to Ramond--Ramond Backgrounds}, JHEP {\bf{0105}} (2001) 023, {\ttfamily hep-th/0104045}.

   
\bibitem  {LM} H. Liu and J. Michelson, \emph{Ramond--Ramond Couplings of Non-Commutative {\mbox{D-Branes,}}} Phys. Lett. {\bf B518} (2001) 143-152, {\ttfamily hep-th/0104139}.





\bibitem {DMS} S.R. Das, S. Mukhi and N.V. Suryanarayana, \emph{ Derivative Corrections from {\mbox{Non-Commutativity}}}, JHEP {\bf 0108} (2001) 039, {\ttfamily hep-th/0106024}.






\bibitem{Rey1} S.-J. Rey and R. von Unge, \emph{S-Duality, Non-Critical
    Open String and Non-Commutative Gauge Theory}, Phys. Lett. {\bf B499}
    (2001) 215-222, {\ttfamily hep-th/0007089}.



\bibitem{Rey2} S. Das and S.-J. Rey, \emph{Open Wilson Lines in Non-Commutative Gauge Theory and Tomography of Holographic
      Dual Supergravity}, Nucl. Phys. {\bf B590} (2000) 453-470, {\ttfamily hep-th/0008042}.




\bibitem {Gross}  D.J. Gross, A. Hashimoto and N. Itzhaki, \emph{ Observables of Non-Commutative Gauge {\mbox{Theories}}}, Adv. Theor. Math. Phys. {\bf 4} (2000) 893-928, {\ttfamily hep-th/0008075}.



\bibitem {star-trekI} H. Liu and J. Michelson, \emph{$\star$-TREK: The
    One-Loop N=4 Non-Commutative SYM Action}, Nucl. Phys. {\bf B614}
  (2001) 279-304, {\ttfamily hep-th/0008205}.
 



\bibitem{MW} T. Mehen and M. Wise, \emph{Generalized $\star$-Products,
    Wilson Lines and the Solution of the Seiberg-Witten Equations},
  JHEP {\bf 0012} (2000) 008, {\ttfamily hep-th/0010204}.



\bibitem{DT} S.R. Das and S.P. Trivedi, \emph{Supergravity Couplings to Non-Commutative Branes, Open Wilson Lines
and Generalised Star Products},
  JHEP {\bf 0102} (2001) 046, {\ttfamily hep-th/0011131}.



\bibitem{ReyHouches} S.-J. Rey, \emph{Exact Answers to Approximate Questions: Non-Commutative Dipoles, Open
Wilson Lines, and UV-IR Duality}, Lecture given at Les Houches
Summer School, Session 76, {\it Unity of
Fundamental Physics: Gravity, Gauge Theory and Strings}, {\ttfamily hep-th/0207108}.

\bibitem {M} S. Mukhi, \emph{ Star Products from Commutative String Theory}, Pramana {\bf 58} (2002) 21-26, {\ttfamily hep-th/0108072}.



\bibitem {mezigue} P. Grange, \emph{Derivative Corrections from Boundary State Computations}, Nucl. Phys. {\bf
  B649} (2003) 297-311, {\ttfamily hep-th/0207211}.


  

\bibitem {MSbeyond} S. Mukhi and N.V. Suryanarayana, \emph{Open-String
    Actions and Noncommutativity Beyond the Large-B Limit},  JHEP {\bf
    0211} (2002) 002, {\ttfamily hep-th/0208203}.


  

\bibitem{star-trekIII} H. Liu and J. Michelson, 
 \emph{$\star$-Trek III: The Search for Ramond-Ramond Couplings},
  Nucl. Phys. {\bf B614} (2001) 330-366, {\ttfamily hep-th/0107172}.


\end{thebibliography}

\end{document}

