Related papers: Principal $\infty$-Bundles and Smooth String Group…

Categorifying the concept of topological group, one obtains the notion of a 'topological 2-group'. This in turn allows a theory of 'principal 2-bundles' generalizing the usual theory of principal bundles. It is well-known that under mild…

A major problem in discussing heterotic string models is the stabilisation of the many vector bundle moduli via the superpotential generated by world-sheet instantons. In arXiv:1110.6315 we have discussed the method to make a discrete twist…

The existence of a model structure on the category $\mathcal{D}$ of diffeological spaces is crucial to developing smooth homotopy theory. We construct a compactly generated model structure on the category $\mathcal{D}$ whose weak…

Tangent categories are categories equipped with a tangent functor: an endofunctor with certain natural transformations which make it behave like the tangent bundle functor on the category of smooth manifolds. They provide an abstract…

We investigate the properties of a specific quotient space construction, the "warped projection'" $\pi: W_\alpha \to D_\alpha$, over a smoothly contractible base. In a previous version of this work, it was claimed that this structure…

Stable fold maps are fundamental tools in studying a generalized theory of the theory of Morse functions on smooth manifolds and its application to geometry of the manifolds. It is important to construct explicit fold maps systematically to…

Let $R$ be a ring spectrum and $ E\to X$ an $R$-module bundle of rank $n$. Our main result is to identify the homotopy type of the group-like monoid of homotopy automorphisms of this bundle, $hAut^R(E)$. This will generalize the result…

We develop a generalization of the theory of Thom spectra using the language of infinity categories. This treatment exposes the conceptual underpinnings of the Thom spectrum functor: we use a new model of parametrized spectra, and our…

This study first provides a brief overview of the structure of typical Grassmann manifolds. Then a new type of supergrassmannians is construced using an odd involution in a super ringed space and by gluing superdomains together. Next,…

We study how the notion of tangent space can be extended from smooth manifolds to diffeological spaces, which are generalizations of smooth manifolds that include singular spaces and infinite-dimensional spaces. We focus on two definitions.…

We address the construction of smooth bundles of fermionic Fock spaces, a problem that appears frequently in fermionic gauge theories. Our main motivation is the spinor bundle on the free loop space of a string manifold, a structure…

The classifying space of the embedded cobordism category has been identified in by Galatius, Tillmann, Madsen, and Weiss as the infinite loop space of a certain Thom spectrum. This identifies the set of path components with the classical…

Principal bundles have at least three different definitions, depending on the category of geometric objects studied. In Differential Geometry, they are defined as locally trivial projection map of smooth manifolds with an atlas whose…

We present a finite-dimensional and smooth formulation of string structures on spin bundles. It uses trivializations of the Chern-Simons 2-gerbe associated to this bundle. Our formulation is particularly suitable to deal with string…

We consider non-perturbative superpotentials from world-sheet instantons wrapped on holomorphic genus zero curves in heterotic string theory. These superpotential contributions feature prominently in moduli stabilization and large field…

We construct smooth bundles with base and fiber products of two spheres whose total spaces have non-vanishing $\hat{A}$-genus. We then use these bundles to locate non-trivial rational homotopy groups of spaces of Riemannian metrics with…

A loop is a rather general algebraic structure that has an identity element and division, but is not necessarily associative. Smooth loops are a direct generalization of Lie groups. A key example of a non-Lie smooth loop is the loop of unit…

For each integer n\ge 2, we construct an irreducible, smooth, complex projective variety M of dimension n, whose fundamental group has infinitely generated homology in degree n+1 and whose universal cover is a Stein manifold, homotopy…

The main objective of the present paper is to set up the theoretical basis and the language needed to deal with the problem of direct images of hermitian vector bundles for projective non-necessarily smooth morphisms. To this end, we first…

In heterotic string theories consistency requires the introduction of a non-trivial vector bundle. This bundle breaks the original ten-dimensional gauge groups $\text{E}_8\times\text{E}_8$ or $\text{SO}(32)$ for the supersymmetric heterotic…