Source author record

David Michael Roberts

David Michael Roberts appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.DG hep-th math-ph math.AT math.MP math.CT math.FA math.LO

Catalog footprint

What is connected

6works

8topics

3close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

Explicit String bundles

While higher bundles are of clear relevance to higher gauge theory, examples other than abelian bundle gerbes are hard to come across. One would in particular like to see 2-bundles where the structure 2-group is the String 2-group associated to a compact simple simply-connected Lie group. This talk will outline a method to construct many examples over homogeneous spaces. We shall also consider one example in detail, giving explicit formulas for the crossed-module-valued Cech cocycle arising from a local trivialisation.

preprint2020arXiv

Extending Whitney's extension theorem: nonlinear function spaces

We consider a global, nonlinear version of the Whitney extension problem for manifold-valued smooth functions on closed domains $C$, with non-smooth boundary, in possibly non-compact manifolds. Assuming $C$ is a submanifold with corners, or is compact and locally convex with rough boundary, we prove that the restriction map from everywhere-defined functions is a submersion of locally convex manifolds and so admits local linear splittings on charts. This is achieved by considering the corresponding restriction map for locally convex spaces of compactly-supported sections of vector bundles, allowing the even more general case where $C$ only has mild restrictions on inward and outward cusps, and proving the existence of an extension operator.

preprint2020arXiv

Topological sectors for heterotic M5-brane charges under Hypothesis H

Assuming Fiorenza-Sati-Schreiber's Hypothesis H, on the charge quantization of M-theory's $C$-field, the topological sectors of the resulting $String^{c_2}(4)$-valued higher gauge theory on a heterotic M5-brane are classified by homotopy classes of maps from the worldvolume $Σ_{M5}$ to $BString^{c_2}(4)$. This note calculates the sectors in a number of examples of M5-brane topology, including examples considered in the 3d-3d correspondence, the emergence of skyrmions from higher-dimensional instantons and Witten's analysis of the S-duality of 4d Yang-Mills theory.

preprint2016arXiv

Simplicial principal bundles in parametrized spaces

In this paper we study the classifying theory of principal bundles in the parametrized setting, motivated by recent interest in higher gauge theory. Using simplicial techniques, we construct a product-preserving classifying space functor for groups in the category of spaces over a fixed space B. Additionally, we prove that the fiberwise geometric realization functor sends a large class of simplicial parametrized principal bundles to ordinary parametrized principal bundles. As an application we show that the fiberwise geometric realization of the universal simplicial principal bundle for a simplicial group G in the category of spaces over B gives rise to a parametrized principal bundle with structure group |G|.

preprint2015arXiv

The weak choice principle WISC may fail in the category of sets

The set-theoretic axiom WISC states that for every set there is a set of surjections to it cofinal in all such surjections. By constructing an unbounded topos over the category of sets and using an extension of the internal logic of a topos due to Shulman, we show that WISC is independent of the rest of the axioms of the set theory given by a well-pointed topos. This also gives an example of a topos that is not a predicative topos as defined by van den Berg.

preprint2012arXiv

On the existence of bibundles

We consider the existence of bibundles, in other words locally trivial principal $G$ spaces with commuting left and right $G$ actions. We show that their existence is closely related to the structure of the group $\Out(G)$ of outer automorphisms of $G$. We also develop a classifying theory for bibundles. The theory is developed in full generality for $(H, G)$ bibundles for a crossed-module $(H, G)$ and we show with examples the close links with loop group bundles.