Related papers: Extended moduli spaces and the Kan construction

Given a base manifold $M$ and a Lie group $G$, we define $\bar{\cal A}^H_M$ a space of generalized $G$-connections on $M$ with the following properties: - The space of smooth connections ${\cal A}^\infty_M = \sqcup_\pi {\cal A}^\infty_\pi$…

We demonstrate our recent general results on the Casimir construction and moduli space of all bicovariant calculi by means of some detailed examples, including finite-difference and 2-jet cacluli on $\R^n$ and full details of the Casimir…

Let G be a connected real reductive algebraic group, and let K be a maximal compact subgroup of G. We prove that the conjugation orbit space Hom(Z^{2d},K)/K is a strong deformation retract of the space Hom(Z^{2d},G)/G of equivalence classes…

This paper develops the foundations of a simplicial theory of weak omega-categories, which builds upon the insights originally expounded by Ross Street in his 1987 paper on oriented simplices. The resulting theory of weak complicial sets…

We describe moduli spaces of invariant generalized complex structures and moduli spaces of invariant generalized K\"ahler structures on maximal flag manifolds under $B$-transformations. We give an alternative description of the moduli space…

We investigate relationship between a gauge theory on a principal bundle and that on its base space. In the case where the principal bundle is itself a group manifold, we also study relations of those gauge theories with a matrix model…

We describe a general method for algorithmic construction of G-equivariant chain homotopy equivalences from non-equivariant ones. As a consequence, we obtain an algorithm for computing equivariant (co)homology of Eilenberg-MacLane spaces…

Let W be a compact simply connected triangulated manifold with boundary and $K \subset W$ be a subpolyhedron. We construct an algebraic model of the rational homotopy type of the complement $W \setminus K$ out of a model of the map of pairs…

We prove that if $\Gamma$ is a lattice in a classical simple Lie group $G$, then the symmetric space of $G$ is $\Gamma$-equivariantly homotopy equivalent to a proper cocompact $\Gamma$-CW complex of dimension the virtual cohomological…

Using spaces of homomorphisms and the descending central series of the free groups, simplicial spaces are constructed for each integer q>1 and every topological group G, with realizations B(q,G) that filter the classifying space BG. In…

We demonstrate that companionships and conjunctions in double $\infty$-categories -- and more generally, in double Segal spaces -- extend to functors out of the free-living companionship and conjunction respectively. Specifically, we prove…

We study bundle gerbes on manifolds $M$ that carry an action of a connected Lie group $G$. We show that these data give rise to a smooth 2-group extension of $G$ by the smooth 2-group of hermitean line bundles on $M$. This 2-group extension…

For $A$ a gentle algebra, and $X$ and $Y$ string modules, we construct a combinatorial basis for Hom($X,\tau Y$). We use this to describe support $\tau$-tilting modules for $A$. We give a combinatorial realization of maps in both directions…

In this paper, we compare several functors which take simplicial categories or model categories to complete Segal spaces, which are particularly nice simplicial spaces which, like simplicial categories, can be considered to be models for…

Motivated by ideas from stable homotopy theory we study the space of strongly homotopy associative multiplications on a two-cell chain complex. In the simplest case this moduli space is isomorphic to the set of orbits of a group of…

The structure space S(M) of a closed topological m-manifold M classifies bundles whose fibers are closed m-manifolds equipped with a homotopy equivalence to M. We construct a highly connected map from S(M) to a concoction of algebraic…

For any dg algebra $A$ we construct a closed model category structure on dg $A$-modules such that the corresponding homotopy category is compactly generated by dg $A$-modules that are finitely generated and free over $A$ (disregarding the…

We introduce a new `geometric realization' of an (abstract) simplicial complex, inspired by probability theory. This space (and its completion) is a metric space, which has the right (weak) homotopy type, and which can be compared with the…

This article is a follow-up of ``Holonomy and Path Structures in General Relativity and Yang-Mills Theory" by Barrett, J. W. (Int.J.Theor.Phys., vol.30, No.9, 1991). Its main goal is to provide an alternative proof of this part of the…

We provide a partial solution to the problem of defining a constructive version of Voevodsky's simplicial model of univalent foundations. For this, we prove constructive counterparts of the necessary results of simplicial homotopy theory,…