Freed-Witten anomaly in general flux compactification

Turning on a NS-NS three-form flux in a compact space drives some D-branes to be either Freed-Witten anomalous or unstable to decay into fluxes by the appearance of instantonic branes. By applying T-duality on a toroidal compactification, the NS-flux is transformed into metric fluxes. We propose a T-dual version of the Atiyah-Hirzebruch Spectral Sequence upon which we describe the Freed-Witten anomaly and the brane-flux transition driven by NS and metric fluxes in a twisted torus. The required conditions to cancel the anomaly and the appearance of new instantonic branes are also described. In addition, we give an example in which all D6-branes wrapping Freed-Witten anomaly-free three-cycles in the twisted torus T^6/Z(2)XZ(2) are nevertheless unstable to be transformed into fluxes. Evenmore we find a topological transformation between RR, NS-NS and metric fluxes driven by a chain of instantonic branes.Comment: v3: Shortened version. Examples added. Main results unchange

D-Branes on K3-Fibrations

B-type D-branes are constructed on two different K3-fibrations over IP_1 using boundary conformal field theory at the rational Gepner points of these models. The microscopic CFT charges are compared with the Ramond charges of D-branes wrapped on holomorphic cycles of the corresponding Calabi-Yau manifold. We study in particular D4-branes and bundles localized on the K3 fibers, and find from CFT that each irreducible component of a bundle on K3 gains one modulus upon fibration over IP_1. This is in agreement with expectations and so provides a further test of the boundary CFT.Comment: 16p, harvmac, tables.tex; typos corrected, refs added, discussion about moduli spaces improve

Duality symmetry and the form fields of M-theory

In previous work we derived the topological terms in the M-theory action in terms of certain characters that we defined. In this paper, we propose the extention of these characters to include the dual fields. The unified treatment of the M-theory four-form field strength and its dual leads to several observations. In particular we elaborate on the possibility of a twisted cohomology theory with a twist given by degrees greater than three.Comment: 12 pages, modified material on the differentia

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

The Elliptic curves in gauge theory, string theory, and cohomology

Elliptic curves play a natural and important role in elliptic cohomology. In earlier work with I. Kriz, thes elliptic curves were interpreted physically in two ways: as corresponding to the intersection of M2 and M5 in the context of (the reduction of M-theory to) type IIA and as the elliptic fiber leading to F-theory for type IIB. In this paper we elaborate on the physical setting for various generalized cohomology theories, including elliptic cohomology, and we note that the above two seemingly unrelated descriptions can be unified using Sen's picture of the orientifold limit of F-theory compactification on K3, which unifies the Seiberg-Witten curve with the F-theory curve, and through which we naturally explain the constancy of the modulus that emerges from elliptic cohomology. This also clarifies the orbifolding performed in the previous work and justifies the appearance of the w_4 condition in the elliptic refinement of the mod 2 part of the partition function. We comment on the cohomology theory needed for the case when the modular parameter varies in the base of the elliptic fibration.Comment: 23 pages, typos corrected, minor clarification

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

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

From E_8 to F via T

We argue that T-duality and F-theory appear automatically in the E_8 gauge bundle perspective of M-theory. The 11-dimensional supergravity four-form determines an E_8 bundle. If we compactify on a two-torus, this data specifies an LLE_8 bundle where LG is a centrally-extended loopgroup of G. If one of the circles of the torus is smaller than sqrt(alpha') then it is also smaller than a nontrivial circle S in the LLE_8 fiber and so a dimensional reduction on the total space of the bundle is not valid. We conjecture that S is the circle on which the T-dual type IIB theory is compactified, with the aforementioned torus playing the role of the F-theory torus. As tests we reproduce the T-dualities between NS5-branes and KK-monopoles, as well as D6 and D7-branes where we find the desired F-theory monodromy. Using Hull's proposal for massive IIA, this realization of T-duality allows us to confirm that the Romans mass is the central extension of our LE_8. In addition this construction immediately reproduces the conjectured formula for global topology change from T-duality with H-flux.Comment: 25 pages, 4 eps figure

Completeness and decidability results for hybrid(ised) logics

Adding to the modal description of transition structures the ability to refer to specific states, hybrid(ised) logics provide an interesting framework for the specification of reconfigurable systems. The qualifier ‘hybrid(ised)’ refers to a generic method of developing, on top of whatever specification logic is used to model software configurations, the elements of an hybrid language, including nominals and modalities. In such a context, this paper shows how a calculus for a hybrid(ised) logic can be generated from a calculus of the base logic and that, moreover, it preserves soundness and completeness. A second contribution establishes that hybridising a decidable logic also gives rise to a decidable hybrid(ised) one. These results pave the way to the development of dedicated proof tools for such logics used in the design of reconfigurable systems