Model building with $F$-theory

Nonperturbative Type IIB Model Building in the F - Theory Framework vorgelegt

Group Theory for Unified Model Building

The results gathered here on simple Lie algebras have been selected with attention to the needs of unified model builders who study Yang—Mills theories based on simple, local-symmetry groups that contain as a subgroup the SU~’x U!’ x SU~symmetry of the standard theory of electromagnetic, weak, and strong interactions. The major topics include, after a brief review of the standard model and its ...

Model Building and Interactive Theory Discovery

We show how our former approach to model building can be extended into a uniied approach to model building and model checking, able to guide the discovery of theories in which a model can be built for a given formula. In contrast with other enumeration approaches used to decide some classes of rst-order formulae, our approach automatically discovers (in the best case) or strongly guides (in the...

M-Theory Model-Building and Proton Stability

We study the problem of baryon stability in M theory, starting from realistic four-dimensional string models constructed using the free-fermion formulation of the weakly-coupled heterotic string. Suitable variants of these models manifest an enhanced custodial gauge symmetry that forbids to all orders the appearance of dangerous dimension-five baryon-decay operators. We exhibit the underlying g...

B ∧ F theory with dual - pairs

We construct a SU(N) membrane B ∧ F theory with dual pairs of scalar and tensor fields. The moduli space of the theory is precisely that of N M2-branes on the noncompact flat space. The theory possesses explicit SO(8) invariance and is an extension of the maximal SU(N) super-Yang-Mills theory.