1: \begin{definition}

2: \label{defn:antistringform}

3: For $j >0$, the \emph{$j$-th string potential} of the path $\gamma$ is the $(2j-2)$-form

4: \[

5: S_j(\gamma) := j \int_0^1 \int_\sone \Big( (j-1) \overline{\tr}_j\big(\sB_t , \underbrace{\sR_t,\dotsc,\sR_t}_{j-2\;\text{times}}, \Delta_t(\phi) \big) + \overline{\tr}_j\big(\underbrace{\sR_t,\dotsc,\sR_t}_{j-1\;\text{times}},\varphi_t \big)\Big)\,dt

6: \]

7: where $\sR_t$ is the curvature of $\Delta_t$, $\Delta_t(\phi)$ is the Higgs field covariant derivative of $\phi_t$ (with respect to $\Delta_t$) and

8: \[

9: \sB_t := \varsigma_t^\ast(\cL_{\d_t} \Delta^\gamma)\;\;\mbox{ and }\;\;\varphi_t := \varsigma_t^\ast(\cL_{\d_t} \phi^\gamma)

10: \]

11: are the time derivatives of $\Delta_t$ and $\phi_t$ along the path, which are both $\Omega \mathfrak{u}(n)$-valued forms.

12: The invariant polynomials $\overline{\tr}_k$ on $\mathfrak{u}(n)$ are the symmetrised traces of \eqref{eqn:traceline}.

13: 

14: The \emph{total string potential} of $\gamma$ is the form

15: \[

16: S(\gamma) = \sum_{j=1}^\infty S_j(\gamma),

17: \]

18: whose degree $2k-2$ piece is the $k$-th string potential.

19: The forms $S_j (\gamma)$ and $S(\gamma)$ appear to live on the total space $\sE$ but are in fact basic by Theorem \ref{theorem:stringycs} below.

20: \end{definition}

21: