567 research outputs found
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 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 -Schmidt witnesses and -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 D-brane probes for both and finite . 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
- âŠ