Massless D-Branes on Calabi-Yau Threefolds and Monodromy

We analyze the link between the occurrence of massless B-type D-branes for specific values of moduli and monodromy around such points in the moduli space. This allows us to propose a classification of all massless B-type D-branes at any point in the moduli space of Calabi-Yau's. This classification then justifies a previous conjecture due to Horja for the general form of monodromy. Our analysis is based on using monodromies around points in moduli space where a single D-brane becomes massless to generate monodromies around points where an infinite number become massless. We discuss the various possibilities within the classification.Comment: 29 pages, LaTeX2e, 3 figures, author order fixe

Quantization of the Chern-Simons Coupling Constant

We investigate the quantum consistency of p-form Maxwell-Chern-Simons electrodynamics in 3p+2 spacetime dimensions (for p odd). These are the dimensions where the Chern--Simons term is cubic, i.e., of the form FFA. For the theory to be consistent at the quantum level in the presence of magnetic and electric sources, we find that the Chern--Simons coupling constant must be quantized. We compare our results with the bosonic sector of eleven dimensional supergravity and find that the Chern--Simons coupling constant in that case takes its corresponding minimal allowed value.Comment: 15 pages, 1 figure, JHEP3.cls. Equation (8.6) corrected and perfect agreement with previous results is obtaine

Topological String Partition Functions as Polynomials

We investigate the structure of the higher genus topological string amplitudes on the quintic hypersurface. It is shown that the partition functions of the higher genus than one can be expressed as polynomials of five generators. We also compute the explicit polynomial forms of the partition functions for genus 2, 3, and 4. Moreover, some coefficients are written down for all genus.Comment: 22 pages, 6 figures. v2:typos correcte

Mandatory multidisciplinary approach for the evaluation of the lymph node status in rectal cancer

Colorectal cancer is the third most frequently reported malignancy and also the third leading cancer-related cause of death worldwide. Lymph node evaluation, both preoperatively and postoperatively, represents an important aspect of the diagnosis and therapeutic strategy in colorectal cancer, such that an accurate preoperative staging is required for a correct therapeutic strategy. Treatment of rectal cancer with positive lymph nodes, a very important predictive prognostic parameter, is currently based on neoadjuvant chemoradiotherapy followed by total/ surgical mesorectal excision and adjuvant regimen. Preoperative evaluation of the lymph node status in rectal cancer is based on endoscopic ultrasound and magnetic resonance imaging, but their accuracy, specificity, and sensitivity still require improvement. Postoperative evaluation also presents points of debate, especially related to the role of sentinel lymph node mapping and their final implication, represented by detection of micrometastases and isolated tumor cells. The pathologic interpretation of tumor deposits represents other points in discussion. From a surgical perspective, extended lateral lymph node dissection vs. abstinence and (neo)adjuvant therapeutic approach represent another unresolved issue. This review presents the major controversies existing today in the treatment and pathologic interpretation of the lymph nodes in rectal cancer, the role/ indication and value of the lateral pelvic lymph node dissection, and the postoperative interpretation of the value of the micrometastatic disease and tumor deposits

Prepotentials for local mirror symmetry via Calabi-Yau fourfolds

In this paper, we first derive an intrinsic definition of classical triple intersection numbers of K_S, where S is a complex toric surface, and use this to compute the extended Picard-Fuchs system of K_S of our previous paper, without making use of the instanton expansion. We then extend this formalism to local fourfolds K_X, where X is a complex 3-fold. As a result, we are able to fix the prepotential of local Calabi-Yau threefolds K_S up to polynomial terms of degree 2. We then outline methods of extending the procedure to non canonical bundle cases.Comment: 42 pages, 7 figures. Expanded, reorganized, and added a theoretical background for the calculation

The Ruled Vertex and Nontoric del Pezzo Surfaces

We construct the topological partition function of local nontoric del Pezzo surfaces using the ruled vertex formalism.Comment: 16 pages, 4 figure

Fractional Branes in Non-compact Type IIA Orientifolds

We study fractional D-branes in the Type-IIA theory on a non-compact orientifold of the orbifold C^3/Z_3 in the boundary state formalism. We find that the fractional D0-branes of the orbifold theory become unstable due to the presence of a tachyon, while there is a stable D-instanton whose tachyon gets projected out. We propose that the D-instanton is obtained after tachyon condensation. We evidence this by calculating the Whitehead group of the Abelian category of objects corresponding to the boundary states as being isomorphic to Z_2.Comment: 29 pages, Latex2e minor corrections. references updated. Version accepted in JHE

Some Navigation Rules for D-Brane Monodromy

We explore some aspects of monodromies of D-branes in the Kahler moduli space of Calabi-Yau compactifications. Here a D-brane is viewed as an object of the derived category of coherent sheaves. We compute all the interesting monodromies in some nontrivial examples and link our work to recent results and conjectures concerning helices and mutations. We note some particular properties of the 0-brane.Comment: LaTeX2e, 28 pages, 4 figures, some typos corrected and refs adde

Hybridization of institutions

Extended version including all proofsModal logics are successfully used as specification logics for reactive systems. However, they are not expressive enough to refer to individual states and reason about the local behaviour of such systems. This limitation is overcome in hybrid logics which introduce special symbols for naming states in models. Actually, hybrid logics have recently regained interest, resulting in a number of new results and techniques as well as applications to software specification. In this context, the first contribution of this paper is an attempt to ‘universalize’ the hybridization idea. Following the lines of [DS07], where a method to modalize arbitrary institutions is presented, the paper introduces a method to hybridize logics at the same institution-independent level. The method extends arbitrary institutions with Kripke semantics (for multi-modalities with arbitrary arities) and hybrid features. This paves the ground for a general result: any encoding (expressed as comorphism) from an arbitrary institution to first order logic (FOL) deter- mines a comorphism from its hybridization to FOL. This second contribution opens the possibility of effective tool support to specification languages based upon logics with hybrid features.Fundação para a Ciência e a Tecnologia (FCT