相关论文: Symmetric powers in abstract homotopy categories

Matchbox manifolds are foliated spaces with totally disconnected transversals. Two matchbox manifolds which are homeomorphic have return equivalent dynamics, so that invariants of return equivalence can be applied to distinguish…

In this paper we explore the isotropic stable motivic homotopy category constructed from the usual stable motivic homotopy category, following the work of Vishik on isotropic motives (see [29]), by killing anisotropic varieties. In…

We prove that any category of props in a symmetric monoidal model category inherits a model structure. We devote an appendix, about half the size of the paper, to the proof of the model category axioms in a general setting. We need the…

Scaling-invariant functions preserve the order of points when the points are scaled by the same positive scalar (with respect to a unique reference point). Composites of strictly monotonic functions with positively homogeneous functions are…

We consider symmetry-protected topological (SPT) phases in 2D protected by linear subsystem symmetries, i.e. those that act along rigid lines. There is a distinction between a "strong" subsystem SPT phase, and a "weak" one, which is…

We show that the monoidal product on the stable homotopy category of spectra is essentially unique. This strengthens work of this author with Schwede on the uniqueness of models of the stable homotopy theory of spectra. As an application we…

We classify products of symmetric powers of a Severi-Brauer variety, up-to stable birational equivalence. The description also includes Grassmannians and moduli spaces of genus 0 stable maps.

We study the relation of two frameworks for multiplicative homotopy theories: Presentably symmetric monoidal $\infty$-categories and combinatorial symmetric monoidal model categories. Our main theorem establishes an equivalence of their…

Thomason's Homotopy Colimit Theorem has been extended to bicategories and this extension can be adapted, through the delooping principle, to a corresponding theorem for diagrams of monoidal categories. In this version, we show that the…

We introduce the continuous version of the (unstable) smashing spectrum functor. In the stable case, it assigns to each dualizably symmetric monoidal stable presentable $\infty$-category a stably compact space whose open subsets correspond…

In this note we study symmetric monoidal functors from a symmetric monoidal 1-category to a cartesian symmetric monoidal $\infty$-category, which are in addition hypersheaves for a certain topology. We prove a symmetric monoidal version of…

Stable homotopy theory is governed by the principle that after inverting loop spaces, homotopy types become the representing objects for homology theories. We show that this principle extends to higher category theory: inverting…

In this article, we construct a cofibrantly generated model structure on the category of spaces stratified over a fixed poset, and show that it is Quillen-equivalent to a category of diagrams of simplicial sets. Then, considering all those…

A stable model category is a setting for homotopy theory where the suspension functor is invertible. The prototypical examples are the category of spectra in the sense of stable homotopy theory and the category of unbounded chain complexes…

Symbolic dynamics is partly the study of walks in a directed graph. By a walk, here we mean a morphism to the graph from the Cayley graph of the monoid of non-negative integers. Sets of these walks are also important in other areas, such as…

A symmetric monoidal category is a category equipped with an associative and commutative (binary) product and an object which is the unit for the product. In fact, those properties only hold up to natural isomorphisms which satisfy some…

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…

This note extends Quillen's Theorem A to a large class of categories internal to topological spaces. This allows us to show that under a mild condition a fully faithful and essentially surjective functor between such topological categories…

The topological classification of gapped band structures depends on the particular definition of topological equivalence. For translation-invariant systems, stable equivalence is defined by a lack of restrictions on the numbers of occupied…

The purpose of this paper is to show that various convolution products are fully homotopical, meaning that they preserve weak equivalences in both variables without any cofibrancy hypothesis. We establish this property for diagrams of…