Related papers: Recognition principle for generalized Eilenberg-Ma…

We prove that the classifying space of a simplicial group is modeled by its homotopy coherent nerve.

We study cohomological gauge theories on total spaces of holomorphic line bundles over complex manifolds and obtain their reduction to the base manifold by U(1) equivariant localization of the path integral. We exemplify this general…

We consider the category of presheaves of Gamma-spaces, or equivalently, of Gamma-objects in simplicial presheaves. Our main result is the construction of stable model structures on this category parametrised by local model structures on…

We compute the $\rm{SO}(n+1)$-equivariant mod $2$ Borel cohomology of the free iterated loop space $Z^{S^n}$ when $Z$ is a mod $2$ generalized Eilenberg Mac Lane space. When $n=1$, this recovers B\"okstedt and Ottosen's computation for the…

We propose a new method to compute the $C_{2^n}$-equivariant homotopy groups of the Eilenberg-Mac Lane spectrum $H\underline{\mathbb{Z}}$ as a $RO(C_{2^n})$-graded Green functor using the generalized Tate squares. As an example, we…

Let $G$ be a finite group. For a based $G$-space $X$ and a Mackey functor $M$, a topological Mackey functor $X\widetilde\otimes M$ is constructed, which will be called the stable equivariant abelianization of $X$ with coefficients in $M$.…

We develop category-theoretic framework for universal homogeneous objects, with some applications in the theory of Banach spaces, linear orderings, and in topology of compact spaces.

We study the existence of essential phantom maps into co-H-spaces, motivated by Iriye's observation that every suspension space $Y$ of finite type with $H_i(Y;\QQ)\neq 0$ for some $i>1$ is the target of essential phantom maps. We show that…

We compute the anomalies of the topological A and B models with target space geometry of Hitchin's generalized type. The dimension of the moduli space of generalized holomorphic maps is also computed, which turns out to be equal to the…

We survey research on the homotopy theory of the space map(X, Y) consisting of all continuous functions between two topological spaces. We summarize progress on various classification problems for the homotopy types represented by the…

We introduce the notion of Hamiltonian spaces for Manin pairs over manifolds, using the so-called generalized Dirac structures. As an example, we describe Hamiltonian spaces of a quasi-Lie bialgebroid using this general framework. We also…

We give a geometric characterization of extremal sets in ell_p spaces that generalizes our previous result for such sets in Hilbert spaces.

We prove that for any infinite-type orientable surface S there exists a collection of essential curves {\Gamma} in S such that any homeomorphism that preserves the isotopy classes of the elements of {\Gamma} is isotopic to the identity. The…

After introducing some motivations for this survey, we describe a formalism to parametrize a wide class of algebraic structures occurring naturally in various problems of topology, geometry and mathematical physics. This allows us to define…

We define inductively a sequence of purely algebraic invariants - namely, classes in the Quillen cohomology of the Pi-algebra \pi_* X - for distinguishing between different homotopy types of spaces. Another sequence of such cohomology…

We call two Engel structures isotopic if they are homotopic through Engel structures by a homotopy that fixes the characteristic line field. In the present paper we define an isotopy invariant of Engel structures on oriented circle bundles…

This paper corrects a small mistake in a paper of Dwyer-Kan, and uses this to identify homotopy function complexes in a model category with the nerves of certain categories of zig-zags.

We survey several mathematical developments in the holonomy approach to gauge theory. A cornerstone of this approach is the introduction of group structures on spaces of based loops on a smooth manifold, relying on certain homotopy…

We give an elementary proof of the Eilenberg-Mac Lane trace isomorphism between the third 2-abelian cohomology group and quadratic forms. Our approach yields explicit constructions and we characterize when quadratic forms can be expressed…

On one hand, together with Pelle Steffens, we recently characterized the infinity category of derived manifolds up to equivalence by a universal property. On the other hand, it is shown in recent work of Behrend-Liao-Xu that the category of…