Hyperholomorpic connections on coherent sheaves and stability

Let $M$ be a hyperkaehler manifold, and $F$ a torsion-free and reflexive coherent sheaf on $M$. Assume that $F$ (outside of its singularities) admits a connection with a curvature which is invariant under the standard SU(2)-action on 2-forms. If the curvature is square-integrable, then $F$ is stable and its singularities are hyperkaehler subvarieties in $M$. Such sheaves (called hyperholomorphic sheaves) are well understood. In the present paper, we study sheaves admitting a connection with SU(2)-invariant curvature which is not necessarily square-integrable. This situation arises often, for instance, when one deals with higher direct images of holomorphic bundles. We show that such sheaves are stable.Comment: 37 pages, version 11, reference updated, corrected many minor errors and typos found by the refere

Supercharges in the HKT Supersymmetric Sigma Models

We construct explicitly classical and quantum supercharges satisfying the standard N = 4 supersymmetry algebra in the supersymmetric sigma models describing the motion over HKT (hyper-Kaehler with torsion) manifolds. One member of the family of superalgebras thus obtained is equivalent to the superalgebra derived and formulated earlier in the purely mathematical framework.Comment: 12 pages. Final version published in J. Math. Phy

On LpL^p--LqL^q trace inequalities

We give necessary and sufficient conditions in order that inequalities of the type $$\| T_K f\|_{L^q(d\mu)}\leq C \|f\|_{L^p(d\sigma)}, \qquad f \in L^p(d\sigma),$$ hold for a class of integral operators $T_K f(x) = \int_{R^n} K(x, y) f(y) d \sigma(y)$ with nonnegative kernels, and measures $d \mu$ and $d\sigma$ on $\R^n$, in the case where $p>q>0$ and $p>1$. An important model is provided by the dyadic integral operator with kernel $K_{\mathcal D}(x, y) \sum_{Q\in{\mathcal D}} K(Q) \chi_Q(x) \chi_Q(y)$, where $\mathcal D=\{Q\}$ is the family of all dyadic cubes in $\R^n$, and $K(Q)$ are arbitrary nonnegative constants associated with $Q \in{\mathcal D}$. The corresponding continuous versions are deduced from their dyadic counterparts. In particular, we show that, for the convolution operator $T_k f = k\star f$ with positive radially decreasing kernel $k(|x-y|)$, the trace inequality $$\| T_k f\|_{L^q(d\mu)}\leq C \|f\|_{L^p(d x)}, \qquad f \in L^p(dx),$$ holds if and only if ${\mathcal W}_{k}[\mu] \in L^s (d\mu)$, where $s = {\frac{q(p-1)}{p-q}}$. Here ${\mathcal W}_{k}[\mu]$ is a nonlinear Wolff potential defined by ${\mathcal W}_{k}[\mu](x)=\int_0^{+\infty} k(r) \bar{k}(r)^{\frac 1 {p-1}} \mu (B(x,r))^{\frac 1{p-1}} r^{n-1} dr,$ and $\bar{k}(r)=\frac1{r^n}\int_0^r k(t) t^{n-1} dt$. Analogous inequalities for $1\le q < p$ were characterized earlier by the authors using a different method which is not applicable when $q<1$

Bounded derived categories of very simple manifolds

An unrepresentable cohomological functor of finite type of the bounded derived category of coherent sheaves of a compact complex manifold of dimension greater than one with no proper closed subvariety is given explicitly in categorical terms. This is a partial generalization of an impressive result due to Bondal and Van den Bergh.Comment: 11 pages one important references is added, proof of lemma 2.1 (2) and many typos are correcte