Related papers: Homotopy colimits in stable representation theory
We present a development of the theory of higher groups, including infinity groups and connective spectra, in homotopy type theory. An infinity group is simply the loops in a pointed, connected type, where the group structure comes from the…
Solitons in two-dimensional quantum field theory exhibit patterns of degeneracies and associated selection rules on scattering amplitudes. We develop a representation theory that captures these intriguing features of solitons. This…
In this paper we continue the development of Quantum Holonomy Theory, which is a candidate for a fundamental theory, by constructing separable strongly continuous representations of its algebraic foundation, the quantum…
The aim of homotopy theory in topology is to simplify, after continuous deformation, continuous maps between topological spaces. What prevents this from happening are homotopy invariants. This raises quantitative questions: $\bullet$ Is the…
The homotopy category of a model structure on a weakly idempotent complete additive category is proved to be equivalent to the additive quotient of the category of cofibrant-fibrant objects with respect to the subcategory of…
The purpose of this paper is to describe a method for computing homotopy groups of the space of $\alpha$-stable representations of a quiver with fixed dimension vector and stability parameter $\alpha$. The main result is that the homotopy…
Let $A$ be a unital simple separable exact C$^*$-algebra which is approximately divisible and of real rank zero. We prove that the set of positive elements in $A$ with a fixed non-compact Cuntz class has vanishing homotopy groups. Combined…
We prove general adjoint functor theorems for weakly (co)complete $n$-categories. This class of $n$-categories includes the homotopy $n$-categories of (co)complete $\infty$-categories, so these $n$-categories do not admit all small…
In this paper we propose to use a relative variant of the notion of the \'{e}tale homotopy type of an algebraic variety in order to study the existence of rational points on it. In particular, we use an appropriate notion of homotopy fixed…
We prove a general representation stability result for polynomial coefficient systems which lets us prove representation stability and secondary homological stability for many families of groups with polynomial coefficients. This gives two…
We give a new solution of the "homotopy periods" problem, as highlighted by Sullivan, which places explicit geometrically meaningful formulae first dating back to Whitehead in the context of Quillen's formalism for rational homotopy theory…
Digital topology is part of the ongoing endeavour to understand and analyze digitized images. With a view to supporting this endeavour, many notions from algebraic topology have been introduced into the setting of digital topology. But some…
Higher homotopies are nowadays playing a prominent role in mathematics as well as in certain branches of theoretical physics. We recall some of the connections between the past and the present developments. Higher homotopies were isolated…
This paper is an expository account of the theory of stable infinity categories. We prove that the homotopy category of a stable infinity category is triangulated, and that the collection of stable infinity categories is closed under a…
We describe a construction of the modular class associated to a representation up to homotopy of a Lie groupoid. In the case of the adjoint representation up to homotopy, this class is the obstruction to the existence of a volume form, in…
In the last year of his life, Bob Thomason reworked the notion of a model category, used to adapt homotopy theory to algebra, and used homotopy ends to affirmatively solve a problem raised by Grothendieck: find a notion of model structure…
Quillen showed how to describe the homotopy theory of simply-connected rational spaces in terms of differential graded Lie algebras. Here we survey a generalization of Quillen's results that describes the $v_n$-periodic localizations of…
Cofibration categories are a formalization of homotopy theory useful for dealing with homotopy colimits that exist on the level of models as colimits of cofibrant diagrams. In this paper, we deal with their enriched version. Our main result…
Non-wellfounded material sets have been modelled in Martin-L\"of type theory by Lindstr\"om using setoids. In this paper we construct models of non-wellfounded material sets in Homotopy Type Theory (HoTT) where equality is interpreted as…
Given a topological group G, its orbit category Orb_G has the transitive G-spaces G/H as objects and the G-equivariant maps between them as morphisms. A well known theorem of Elmendorf then states that the category of G-spaces and the…