Related papers: String Model Building

A personal view is given of the development of string theory out of dual models, including the analysis of the structure of the physical states and the proof of the No-Ghost Theorem, the quantization of the relativistic string, and the…

We study the category pro-SSet of pro-simplicial sets, which arises in etale homotopy theory, shape theory, and pro-finite completion. We establish a model structure on pro-SSet so that it is possible to do homotopy theory in this category.…

This paper is a contribution to the study of extensions of arbitrary models of ZF (Zermelo-Fraenkel set theory), with no regard to countability or well-foundedness of the models involved. We present some new constructions of certain types…

Heterotic toroidal orbifolds are a powerful framework for testing our understanding of string vacua. We review recent advances in heterotic model building, from constructing new vacua to proving novel de Sitter no-go theorems. We also…

An informal discussion of how the construction problem in algebraic geometry motivates the search for formal proof methods. Also includes a brief discussion of my own progress up to now, which concerns the formalization of category theory…

Let $R$ be a commutative ring with unit. We consider the homotopy theory of the category of spectral sequences of $R$-modules with the class of weak equivalences given by those morphisms inducing a quasi-isomorphism at a certain fixed page.…

An algorithm to systematically and efficiently generate free fermionic heterotic string models was recently introduced. This algorithm has been adopted by the Free Fermionic Model Construction (FFMC) program at Baylor University. As its…

The geometrical description of BPS 3-string junction in the F-theory background is given by lifting a string junction in IIB into F-theory and constructing a holomorphic curve in K3 with respect to a special complex structure of K3. The…

We propose examples, which involve orbifolds by elements of the U-duality group, with M-theory moduli fixed at the eleven-dimensional Planck scale. We begin by reviewing asymmetric orbifold constructions in perturbative string theory, which…

All known string theory models may be obtained as partial fermionization, projection and background Ans\"atze from the original, purely bosonic string theory. The latter theory in turn has been recently shown to describe a chirally and…

Work in progress is described which aims to construct a background independent formulation of M theory by extending results about background independent states and observables from quantum general relativity and supergravity to string…

We consider an alternative derivation of the GSO Projection in the free fermionic construction of the weakly coupled heterotic string in terms of root systems, as well as the interpretation of the GSO Projection in this picture. We then…

We study soft SUSY breaking terms in heterotic M-theory. We show that both weakly and strongly coupled heterotic string models lead to the same relations of soft SUSY breaking terms, $A=-M$ and $m^2 = M^2/3$, up to $O((\alpha T/S)^2)$.

We review recent progress in embedding the supersymmetric standard model into string theory. We discuss how, with the incorporation of certain aspects of grand unification, a search strategy can be developed that allows to efficiently find…

Little String Theory (LST) is a still somewhat mysterious theory that describes the dynamics near a certain class of time-like singularities in string theory. In this paper we discuss the topological version of LST, which describes…

This paper investigates the use of symmetric monoidal closed (SMC) structure for representing syntax with variable binding, in particular for languages with linear aspects. In our setting, one first specifies an SMC theory T, which may…

The study of homotopy theoretic phenomena in the language of type theory is sometimes loosely called `synthetic homotopy theory'. Homotopy theory in type theory is only one of the many aspects of homotopy type theory, which also includes…

A new formalism for construction of the stationary solutions is developed for the four-dimensional gravity coupled to the dilaton, Kalb-Ramond and two Maxwell fields in a low-energy heterotic string theory form. The result of generation is…

We generalize Berger and Moerdijk's results on axiomatic homotopy theory for operads to the setting of enriched symmetric monoidal model categories, and show how this theory applies to orthogonal spectra. In particular, we provide a…

This paper surveys recent results on classifying partially hyperbolic diffeomorphisms. This includes the construction of branching foliations and leaf conjugacies on three-dimensional manifolds with solvable fundamental group.…