Related papers: The higher structure of unstable homotopy groups
The moduli space of stable vector bundles on a Riemann surface is smooth when the rank and degree are coprime, and is diffeomorphic to the space of unitary connections of central constant curvature. A classic result of Newstead and…
In this note we describe a family of arguments that link the homotopy-type of a) the diffeomorphism group of the disc $D^n$, b) the space of co-dimension one embedded spheres in a sphere and c) the homotopy-type of the space of co-dimension…
In this article, we give a construction of the (un-)stable motivic homotopy category of an algebraic stack in the spirit of Morel-Voevodsky. We prove that this new construction agrees with the stable motivic homotopy category defined by…
Centers of categories capture the natural operations on their objects. Homotopy coherent centers are introduced here as an extension of this notion to categories with an associated homotopy theory. These centers can also be interpreted as…
We construct a "diagonal" cofibrantly generated model structre on the category of simplicial objects in the category of topological categories sCat_{Top}, which is the category of diagrams [\Delta^{op}, Cat_{Top}]. Moreover, we prove that…
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…
In this paper, we set up a rational homotopy theory for operads in simplicial sets whose term of arity one is not necessarily reduced to an operadic unit, extending results obtained by the author in the book "Homotopy of operads and…
We show that the symmetric track group, which is an extension of the symmetric group associated to the second Stiefel- Withney class, acts as a crossed module on the secondary homotopy group of a pointed space. An application is given to…
We show that every rank two $p$-group acts freely and smoothly on a product of two spheres. This follows from a more general construction: given a smooth action of a finite group $G$ on a manifold $M$, we construct a smooth free action on…
This paper studies the existence of model category structures on algebras and modules over operads in monoidal model categories.
We prove that, for p an odd prime, every finite p-group of rank 3 acts freely on a finite complex X homotopy equivalent to a product of three spheres.
The goal of this thesis is to prove that $\pi_4(S^3) \simeq \mathbb{Z}/2\mathbb{Z}$ in homotopy type theory. In particular it is a constructive and purely homotopy-theoretic proof. We first recall the basic concepts of homotopy type theory,…
We study smooth higher symmetry groups and moduli $\infty$-stacks of generic higher geometric structures on manifolds. Symmetries are automorphisms which cover non-trivial diffeomorphisms of the base manifold. We construct the smooth higher…
We examine configurations of finite subsets of manifolds within the homotopy-theoretic context of $\infty$-categories by way of stratified spaces. Through these higher categorical means, we identify the homotopy types of such configuration…
We introduce and study a notion of cylinder coherator similar to the notion of Grothendieck coherator which define more flexible notion of weak infinity groupoids. We show that each such cylinder coherator produces a combinatorial…
The James fibrations give rise to the geometric EHP sequences of homotopy groups of spheres. Using techniques from the Lambda algebra, \cite{BCKQRS66} shows that there are similar long exact sequences of Ext groups defining the $E_{2}-$page…
We prove homological stability for a twisted version of the Houghton groups and their multidimensional analogues. Based on this, we can describe the homology of the Houghton groups and that of their multidimensional analogues over constant…
In this article, we define a family of regular bipartite graphs and show that the homotopy type of the independence complexes of this family is the wedge sum of spheres of certain dimensions.
We construct a model category (in the sense of Quillen) for set theory, starting from two arbitrary, but natural, conventions. It is the simplest category satisfying our conventions and modelling the notions of finiteness, countability and…
The positive cohomology groups of a finite group acting on a ring vanish when the ring has a norm-one element. In this note we give explicit homotopies on the level of cochains when the group is cyclic, which allows us to express any…