Related papers: Principal $\infty$-Bundles and Smooth String Group…
We study noncommutative principal bundles (Hopf-Galois extensions) in the context of coquasitriangular Hopf algebras and their monoidal category of comodule algebras. When the total space is quasi-commutative, and thus the base space…
Band topology is both constrained and enriched by the presence of symmetry. The importance of anti-unitary symmetries such as time reversal was recognized early on leading to the classification of topological band structures based on the…
We study the moduli spaces which classify smooth surfaces along with a complex line bundle. There are homological stability and Madsen--Weiss type results for these spaces (mostly due to Cohen and Madsen), and we discuss the cohomological…
This is a sequel to a previous paper, developing an intrinsic, combinatorial homotopy theory for simplicial complexes; the latter form the cartesian closed subcategory of 'simple presheaves' in !Smp, the topos of symmetric simplicial sets,…
We prove the conjecture that any Grothendieck $(\infty,1)$-topos can be presented by a Quillen model category that interprets homotopy type theory with strict univalent universes. Thus, homotopy type theory can be used as a formal language…
Given a field of Hilbert spaces there are two ways to endow it with a smooth structure: the standard and geometrical notion of Hilbert (or Hermitian) bundle and the analytical notion of smooth field of Hilbert spaces. We study the…
Tangent categories provide an axiomatic framework for understanding various tangent bundles and differential operations that occur in differential geometry, algebraic geometry, abstract homotopy theory, and computer science. Previous work…
We show that unstable D-branes play the role of ``D-sphalerons'' in string theory. Their existence implies that the configuration space of Type II string theory has a complicated homotopy structure, similar to that of an infinite…
We present the first definition of strictly associative and unital $\infty$-category. Our proposal takes the form of a type theory whose terms describe the operations of such structures, and whose definitional equality relation enforces…
We define a diffeology on the Milnor classifying space of a diffeological group $G$, constructed in a similar fashion to the topological version using an infinite join. Besides obtaining the expected classification theorem for smooth…
In [arXiv:2008.04625] the authors constructed a classifying space for polystable holomorphic vector bundles on a compact K\"ahler manifold using analytic GIT theory. The aim of this article is to show that this classifying space taken in…
We compute the Brauer group of the universal moduli stack of vector bundles on (possibly marked) smooth curves of genus at least three over the complex numbers. As consequence, we obtain an explicit description of the Brauer group of the…
The purpose of this note is to define sheaves for diffeological spaces and give a construction of their \v{C}ech cohomology. As an application, we prove that the first degree \v{C}ech cohomology classes for the sheaf of smooth functions to…
Constructing and manipulating homotopy types from categorical input data has been an important theme in algebraic topology for decades. Every category gives rise to a `classifying space', the geometric realization of the nerve. Up to weak…
We propose an approach to formulating string theory in a curved spacetime, which is based on the connection between the states of the WZW model for the isometry group of a background spacetime metric and the representations of the…
This paper is a short version of some joint work with Stefan Haller. It describes the structure of "smooth manifold with corners" on the space of possibly broken instantons and on the completion of unstable manifolds of a generic smooth…
In this article, we study the smoothness of the moduli space of finite quiver vector bundles over the smooth complex projective curves.
In their construction of the topological index for flat vector bundles, Atiyah, Patodi and Singer associate to each flat vector bundle a particular $\mathbb{C/Z}$-$K$-theory class. This assignment determines a map, up to weak homotopy, from…
We propose a generalization of Sullivan's de Rham homotopy theory to non-simply connected spaces. The formulation is such that the real homotopy type of a manifold should be the closed tensor dg-category of flat bundles on it much the same…
In this paper, we study the notion of smooth $\infty$-categories within the framework of a six-functor formalism. By leveraging the theory of condensed mathematics and analytic stacks, we apply these results to demonstrate that a rigid…