$Ext$-algebra of stable vector bundles Let $X$ be a smooth projective variety over $\mathbb{C}$ and $E$ a slope-stable vector bundle on $X$ with regard to some ample line bundle $H$.
Question: What can we say about the algebra structure of $Ext^{\ast}(E,E)$?
Since this is a fairly general question, let me be more precise.
Let us for simplicity assume that $E$ is a smooth point in the moduli spaces of stable sheaves $M_H(v)$ with $v=v(E)$ its Mukai vector. Are there some general results on the algebra structure $Ext^{\ast}(E,E)$? In particular, do we know how the (Yoneda) product looks like or what properties it has?
For curves and Fano surfaces for example the product is trivial, whereas for K3 surfaces the pairing $Ext^1(E,E) \times Ext^1(E,E) \to Ext^2(E,E)\cong Hom(E,E) \cong \mathbb{C}$ is perfect and skew-symmetric. I was wondering if there are any known structural results in higher dimensions?
For example, is the product (e.g. on Calabi-Yau varieties, as suggested by the K3 case) graded commutative?
Since $E$ is assumed a smooth point in moduli, the obstructions to deform $E$ vanish and so the Maurer-Cartan equation gives that the product $Ext^1(E,E) \times Ext^1(E,E) \to Ext^2(E,E)$ is skew-symmetric
More generally, one can consider $RHom(E,E)$ as a differential-graded Lie algebra and as such one can associate to it a deformation functor which in this case controls the local deformation theory of $E$. This can be quite complicated, so for simplicity let us assume that this differential-graded Lie algebra is formal, i.e. quasi-isomorphic to its cohomology which is precisely $Ext^{\ast}(E,E)$. Are there on a smooth projective $X$ any a priori constraints on the algebra structure of $Ext^{\ast}(E,E)$?
 A: There have been recently various results revolving around this question. Let me quote a few:
$\bullet$ For any line bundle $L$ on $X$, the graded algebra $\mathrm{Ext}^*(L,L)$ is always graded-commutative. More generally, for any autoequivalence $\Phi$ of $\mathrm{D}^b(X)$, the graded algebra $\mathrm{Ext}^*(\Phi(\mathcal{O}_X),\Phi(\mathcal{O}_X))$ is graded commutative. See for instance this short proof by Suarez-Alvarez.
$\bullet$ If $\Delta_X$ is the diagonal in $X \times X$, then the graded algebra $\mathrm{Ext}^*(\mathcal{O}_{\Delta_X},\mathcal{O}_{\Delta_X})$ is graded commutative. Hence, the Hochschild cohomology algebra on $X$ is graded commutative. This is equally proved in the paper by Suarez-Alvarez I mentionned above.
$\bullet$ If $\mathrm{rank}(E) \neq 0$, then the trace map shows that $\mathrm{Ext}^{*}(E,E)$ has the structure of a faithful $H^{*}(\mathcal{O}_X)$-algebra. This algebra structure is conjectured to be a derived invariant (in car $0$). This is proved in dimension $\leq 4$ (and is some other situations related to moduli theory). It will be disproved in car $p>0$ in a forthcoming paper of Addington and Bragg.
$\bullet$ Hochenegger and Krug proved that for any $E \in \mathrm{D}^b(X)$, if $\mathrm{Ext}^*(E,E) = k[t]/t^{n +1}$ with $\deg(t) \geq 2$, then the DG-algebra $\mathrm{RHom}(E,E)$ is automatically formal.
