Related papers: On the homotopy hypothesis in dimension 3

In this paper, we present a generalization of Grothendieck pretopologies -- suited for semicartesian categories with equalizers $C$ -- leading to a closed monoidal category of sheaves, instead of closed cartesian category. This is proved…

Steenrod homotopy theory is a framework for doing algebraic topology on general spaces in terms of algebraic topology of polyhedra; from another viewpoint, it studies the topology of the lim^1 functor (for inverse sequences of groups). This…

We prove a sheaf-theoretic derived-category generalization of Greenlees-May duality (a far-reaching generalization of Grothendieck's local duality theorem): for a quasi-compact separated scheme X and a "proregular" subscheme Z---for…

Recall that Tamarkin's construction arXiv:math/9803025, arXiv:math/0003052 gives us a map from the set of Drinfeld associators to the set of homotopy classes of L-infinity quasi-isomorphisms for Hochschild cochains of a polynomial algebra.…

In a recent paper, the second author and Joana Cirici proved a theorem that says that given appropriate hypotheses, $n$-formality of a differential graded algebraic structure is equivalent to the existence of a chain-level lift of a…

The main theorem shows that if M is an irreducible compact connected orientable 3-manifold with non-empty boundary, then the classifying space BDiff(M rel dM) of the space of diffeomorphisms of M which restrict to the identity map on…

We prove that every dualizable Grothendieck category whose dual is again a Grothendieck category satisfies Grothendieck's conditions Ab6 and Ab4*, by taking a module-theoretic approach based on the Gabriel-Popescu embedding. Combining this…

In this paper, we introduce the notions of a $3$-$Lie_\infty$-algebra and a 3-Lie 2-algebra. The former is a model for a 3-Lie algebra that satisfy the fundamental identity up to all higher homotopies, and the latter is the categorification…

We develop a homotopy theory for additive categories endowed with endofunctors, analogous to the concept of a model structure. We use it to construct the homotopy theory of a Hovey triple (which consists of two compatible complete cotorsion…

In this paper we study the finiteness of global Gorenstein AC-homological dimensions for rings, and answer the questions posed by Becerril, Mendoza, P\'{e}rez and Santiago. As an application, we show that any left (or right) coherent and…

Homotopical localizations with respect to (possibly proper) classes of maps are known to exist assuming the validity of a large-cardinal axiom from set theory called Vop\v{e}nka's principle. In this article, we prove that each of the…

We show that the category of N-complexes has a Str\om model structure, meaning the weak equivalences are the chain homotopy equivalences. This generalizes the analogous result for the category of chain complexes (N = 2). The trivial objects…

We study two classes of torsion classes which generalize functorially finite torsion classes, that is, semistable torsion classes and morphism torsion classes. Semistable torsion classes are parametrized by the elements in the real…

Let $\g_1$ and $\g_2$ be two dg Lie algebras, then it is well-known that the $L_\infty$ morphisms from $\g_1$ to $\g_2$ are in 1-1 correspondence to the solutions of the Maurer-Cartan equation in some dg Lie algebra $\Bbbk(\g_1,\g_2)$. Then…

Let $G$ be a group and $R,S,T$ its normal subgroups. There is a natural extension of the concept of commutator subgroup for the case of three subgroups $\|R,S,T\|$ as well as the natural extension of the symmetric product $\|\bf r,\bf s,\bf…

The Popescu-Gabriel theorem states that each Grothendieck abelian category is a localization of a module category. In this paper, we prove an analogue where Grothendieck abelian categories are replaced by triangulated categories which are…

We explain how the notion of homotopy colimits gives rise to that of mapping spaces, even in categories which are not simplicial. We apply the technique of model approximations and use elementary properties of the category of spaces to be…

We prove that the category of trees $\Omega$ is a test category in the sense of Grothendieck. This implies that the category of dendroidal sets is endowed with the structure of a model category Quillen-equivalent to spaces. We show that…

Any action of a group $\Gamma$ on $\mathbb H^3$ by isometries yields a class in degree three bounded cohomology by pulling back the volume cocycle to $\Gamma$. We prove that the bounded cohomology of finitely generated Kleinian groups…

Homotopy connectedness theorems for complex submanifolds of homogeneous spaces (sometimes referred to as theorems of Barth-Lefshetz type) have been established by a number of authors. Morse Theory on the space of paths lead to an elegant…