I have some trouble understanding a proposition in Leung's paper "Symplectic Structures on Gauge Theory" published in Commun. Math. Phys. 193, 47 – 67 (1998).

I expose here the setup for my question: Let $\mathcal{A}$ be the set of unitary connections on a holomorphic vector bundle $E\rightarrow X$. We pull back $E$ to the product $\mathbb{E}\rightarrow \mathcal{A}\times X$ and we call that bundle the universal vector bundle on $\mathcal{A}\times X$. It is endowed with a canonical connection $\mathbb{A}$ whose curvature is described here Canonical connection on $\mathcal{A}\times X$.

This curvature $\mathbb{A}^2$ belongs to the space $\Omega^2(\mathcal{A}\times X,End(\mathbb{E}))$ that can be decomposed using the decomposition (on the level of forms) $$\Omega^2(\mathcal{A}\times X)=\Omega^2(\mathcal{A})\oplus \Omega^1(\mathcal{A})\otimes \Omega^1(X)\oplus \Omega^2(X)$$ Now for the middle component it is seemingly commonly accepted to write it (in Leung's paper $\mathbb{F}^{1,1}$) $$\mathbb{F}^{1,1}_{x,A}(v,B)=B(v)$$ where $v\in T_xX$ and $B\in T_A\mathcal{A}$.

Here is where I start missing something: The curvature is a **2-form**, that is we have
$$\mathbb{F}_{x,A}(v\oplus A,w\oplus B)=F_A(v,w)+A(w)-B(v)$$
for $v,w\in T_xX$ and $A,B\in T_A\mathcal{A}$, and so
$$\mathbb{F}^{1,1}_{x,A}(v\oplus A,w\oplus B)=A(w)-B(v)$$
So the expression above for $\mathbb{F}^{1,1}$ is inacurate.

This problem makes things worse later in proposition 1 where we consider powers of $\mathbb{F}^{1,1}$ in the expression of the index of the elliptic family $\mathcal{A}$ over $\Gamma(X,E)$. As a matter of fact it uses the fact that $$(\mathbb{F}^{1,1})^k(B_1,...,B_k)=B_1\wedge...\wedge B_k$$ which does not make sense to me.

Any help would be much appreciated