The Moduli of Reducible Vector Bundles

A procedure for computing the dimensions of the moduli spaces of reducible, holomorphic vector bundles on elliptically fibered Calabi-Yau threefolds X is presented. This procedure is applied to poly-stable rank n+m bundles of the form V + pi* M, where V is a stable vector bundle with structure group SU(n) on X and M is a stable vector bundle with structure group SU(m) on the base surface B of X. Such bundles arise from small instanton transitions involving five-branes wrapped on fibers of the elliptic fibration. The structure and physical meaning of these transitions are discussed.Comment: 33+1 page

Generating multimedia presentations: from plain text to screenplay

In many Natural Language Generation (NLG) applications, the output is limited to plain text – i.e., a string of words with punctuation and paragraph breaks, but no indications for layout, or pictures, or dialogue. In several projects, we have begun to explore NLG applications in which these extra media are brought into play. This paper gives an informal account of what we have learned. For coherence, we focus on the domain of patient information leaflets, and follow an example in which the same content is expressed first in plain text, then in formatted text, then in text with pictures, and finally in a dialogue script that can be performed by two animated agents. We show how the same meaning can be mapped to realisation patterns in different media, and how the expanded options for expressing meaning are related to the perceived style and tone of the presentation. Throughout, we stress that the extra media are not simple added to plain text, but integrated with it: thus the use of formatting, or pictures, or dialogue, may require radical rewording of the text itself

Relative Riemann-Zariski spaces

In this paper we study relative Riemann-Zariski spaces attached to a morphism of schemes and generalizing the classical Riemann-Zariski space of a field. We prove that similarly to the classical RZ spaces, the relative ones can be described either as projective limits of schemes in the category of locally ringed spaces or as certain spaces of valuations. We apply these spaces to prove the following two new results: a strong version of stable modification theorem for relative curves; a decomposition theorem which asserts that any separated morphism between quasi-compact and quasi-separated schemes factors as a composition of an affine morphism and a proper morphism. (In particular, we obtain a new proof of Nagata's compactification theorem.)Comment: 30 pages, the final version, to appear in Israel J. of Mat

The Canonical Model of a Singular Curve

We give refined statements and modern proofs of Rosenlicht's results about the canonical model C' of an arbitrary complete integral curve C. Notably, we prove that C and C' are birationally equivalent if and only if C is nonhyperelliptic, and that, if C is nonhyperelliptic, then C' is equal to the blowup of C with respect to the canonical sheaf \omega. We also prove some new results: we determine just when C' is rational normal, arithmetically normal, projectively normal, and linearly normal.Comment: 28 pages, no figures, IV Congresso Iberoamericano de Geometria Complex

Stability conditions and positivity of invariants of fibrations

We study three methods that prove the positivity of a natural numerical invariant associated to $1-$parameter families of polarized varieties. All these methods involve different stability conditions. In dimension 2 we prove that there is a natural connection between them, related to a yet another stability condition, the linear stability. Finally we make some speculations and prove new results in higher dimension.Comment: Final version, to appear in the Springer volume dedicated to Klaus Hulek on the occasion of his 60-th birthda

Spectral properties of entanglement witnesses

Entanglement witnesses are observables which when measured, detect entanglement in a measured composed system. It is shown what kind of relations between eigenvectors of an observable should be fulfilled, to allow an observable to be an entanglement witness. Some restrictions on the signature of entaglement witnesses, based on an algebraic-geometrical theorem will be given. The set of entanglement witnesses is linearly isomorphic to the set of maps between matrix algebras which are positive, but not completely positive. A translation of the results to the language of positive maps is also given. The properties of entanglement witnesses and positive maps express as special cases of general theorems for $k$-Schmidt witnesses and $k$-positive maps. The results are therefore presented in a general framework.Comment: published version, some proofs are more detailed, mistakes remove

Fibrations on four-folds with trivial canonical bundles

Four-folds with trivial canonical bundles are divided into six classes according to their holonomy group. We consider examples that are fibred by abelian surfaces over the projective plane. We construct such fibrations in five of the six classes, and prove that there is no such fibration in the sixth class. We classify all such fibrations whose generic fibre is the Jacobian of a genus two curve.Comment: 28 page

Exceptional collections and D-branes probing toric singularities

We demonstrate that a strongly exceptional collection on a singular toric surface can be used to derive the gauge theory on a stack of D3-branes probing the Calabi-Yau singularity caused by the surface shrinking to zero size. A strongly exceptional collection, i.e., an ordered set of sheaves satisfying special mapping properties, gives a convenient basis of D-branes. We find such collections and analyze the gauge theories for weighted projective spaces, and many of the Y^{p,q} and L^{p,q,r} spaces. In particular, we prove the strong exceptionality for all p in the Y^{p,p-1} case, and similarly for the Y^{p,p-2r} case.Comment: 49 pages, 6 figures; v2 refs added; v3 published versio

Homological Type of Geometric Transitions

The present paper gives an account and quantifies the change in topology induced by small and type II geometric transitions, by introducing the notion of the \emph{homological type} of a geometric transition. The obtained results agree with, and go further than, most results and estimates, given to date by several authors, both in mathematical and physical literature.Comment: 36 pages. Minor changes: A reference and a related comment in Remark 3.2 were added. This is the final version accepted for publication in the journal Geometriae Dedicat

Counting BPS Operators in Gauge Theories: Quivers, Syzygies and Plethystics

We develop a systematic and efficient method of counting single-trace and multi-trace BPS operators with two supercharges, for world-volume gauge theories of $N$ D-brane probes for both $N \to \infty$ and finite $N$. The techniques are applicable to generic singularities, orbifold, toric, non-toric, complete intersections, et cetera, even to geometries whose precise field theory duals are not yet known. The so-called ``Plethystic Exponential'' provides a simple bridge between (1) the defining equation of the Calabi-Yau, (2) the generating function of single-trace BPS operators and (3) the generating function of multi-trace operators. Mathematically, fascinating and intricate inter-relations between gauge theory, algebraic geometry, combinatorics and number theory exhibit themselves in the form of plethystics and syzygies.Comment: 59+1 pages, 7 Figure