Quaternionic Monopoles

We present the simplest non-abelian version of Seiberg-Witten theory: Quaternionic monopoles. These monopoles are associated with Spin^h(4)-structures on 4-manifolds and form finite-dimensional moduli spaces. On a Kahler surface the quaternionic monopole equations decouple and lead to the projective vortex equation for holomorphic pairs. This vortex equation comes from a moment map and gives rise to a new complex-geometric stability concept. The moduli spaces of quaternionic monopoles on Kahler surfaces have two closed subspaces, both naturally isomorphic with moduli spaces of canonically stable holomorphic pairs. These components intersect along Donaldsons instanton space and can be compactified with Seiberg-Witten moduli spaces. This should provide a link between the two corresponding theories. Notes: To appear in CMP The revised version contains more details concerning the Uhlenbeck compactfication of the moduli space of quaternionic monopoles, and possible applications are discussed. Attention ! Due to an ununderstandable mistake, the duke server had replaced all the symbols "=" by "=3D" in the tex-file of the revised version we sent on February, the 2-nd. The command "\def{\ad}" had also been damaged !Comment: LaTeX, 35 page

Positivity of Chern Classes for Reflexive Sheaves on P^N

It is well known that the Chern classes $c_i$ of a rank $n$ vector bundle on \PP^N, generated by global sections, are non-negative if $i\leq n$ and vanish otherwise. This paper deals with the following question: does the above result hold for the wider class of reflexive sheaves? We show that the Chern numbers $c_i$ with $i\geq 4$ can be arbitrarily negative for reflexive sheaves of any rank; on the contrary for $i\leq 3$ we show positivity of the $c_i$ with weaker hypothesis. We obtain lower bounds for $c_1$, $c_2$ and $c_3$ for every reflexive sheaf \FF which is generated by H^0\FF on some non-empty open subset and completely classify sheaves for which either of them reach the minimum allowed, or some value close to it.Comment: 16 pages, no figure

Instanton bundles on Fano threefolds

We introduce the notion of an instanton bundle on a Fano threefold of index 2. For such bundles we give an analogue of a monadic description and discuss the curve of jumping lines. The cases of threefolds of degree 5 and 4 are considered in a greater detail.Comment: 31 page, to appear in CEJ

On complex surfaces diffeomorphic to rational surfaces

In this paper we prove that no complex surface of general type is diffeomorphic to a rational surface, thereby completing the smooth classification of rational surfaces and the proof of the Van de Ven conjecture on the smooth invariance of Kodaira dimension.Comment: 34 pages, AMS-Te

Knot homology via derived categories of coherent sheaves II, sl(m) case

Using derived categories of equivariant coherent sheaves we construct a knot homology theory which categorifies the quantum sl(m) knot polynomial. Our knot homology naturally satisfies the categorified MOY relations and is conjecturally isomorphic to Khovanov-Rozansky homology. Our construction is motivated by the geometric Satake correspondence and is related to Manolescu's by homological mirror symmetry.Comment: 51 pages, 9 figure

Quantisation of twistor theory by cocycle twist

We present the main ingredients of twistor theory leading up to and including the Penrose-Ward transform in a coordinate algebra form which we can then `quantise' by means of a functorial cocycle twist. The quantum algebras for the conformal group, twistor space CP^3, compactified Minkowski space CMh and the twistor correspondence space are obtained along with their canonical quantum differential calculi, both in a local form and in a global *-algebra formulation which even in the classical commutative case provides a useful alternative to the formulation in terms of projective varieties. We outline how the Penrose-Ward transform then quantises. As an example, we show that the pull-back of the tautological bundle on CMh pulls back to the basic instanton on S^4\subset CMh and that this observation quantises to obtain the Connes-Landi instanton on \theta-deformed S^4 as the pull-back of the tautological bundle on our \theta-deformed CMh. We likewise quantise the fibration CP^3--> S^4 and use it to construct the bundle on \theta-deformed CP^3 that maps over under the transform to the \theta-deformed instanton.Comment: 68 pages 0 figures. Significant revision now has detailed formulae for classical and quantum CP^

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

Chirality Change in String Theory

It is known that string theory compactifications leading to low energy effective theories with different chiral matter content ({\it e.g.} different numbers of standard model generations) are connected through phase transitions, described by non-trivial quantum fixed point theories. We point out that such compactifications are also connected on a purely classical level, through transitions that can be described using standard effective field theory. We illustrate this with examples, including some in which the transition proceeds entirely through supersymmetric configurations.Comment: 50 pages, 2 figure

Cohomology of bundles on homological Hopf manifold

We discuss the properties of complex manifolds having rational homology of $S^1 \times S^{2n-1}$ including those constructed by Hopf, Kodaira and Brieskorn-van de Ven. We extend certain previously known vanishing properties of cohomology of bundles on such manifolds.As an application we consider degeneration of Hodge-deRham spectral sequence in this non Kahler setting.Comment: To appear in Proceedings of 2007 conference on Several complex variables and Complex Geometry. Xiamen. Chin

Heterotic Compactification, An Algorithmic Approach

We approach string phenomenology from the perspective of computational algebraic geometry, by providing new and efficient techniques for proving stability and calculating particle spectra in heterotic compactifications. This is done in the context of complete intersection Calabi-Yau manifolds in a single projective space where we classify positive monad bundles. Using a combination of analytic methods and computer algebra we prove stability for all such bundles and compute the complete particle spectrum, including gauge singlets. In particular, we find that the number of anti-generations vanishes for all our bundles and that the spectrum is manifestly moduli-dependent.Comment: 36 pages, Late