14 votos

Localización de Verdier para la estabilidad $\infty$ -categorías

La localización de Verdier es una de las formas más intuitivas de localizar una categoría triangulada, "matando" una clase adecuada de objetos a través de un functor que es universal con respecto a esta propiedad.

Me gustaría saber si es posible reproducir la construcción de $\mathcal{T}/\mathcal C$ en un $\infty$ -Ajuste estable. Parece un folclore bien establecido que la categoría de (un modelo para) estable $\infty$ -categorías es estable (!) bajo este tipo de operación, pero no puedo encontrar una referencia en Lurie HA1.

En el modelo DG, hay un construcción de Drinfeld que parece hacer el trabajo, pero en su lugar me gustaría reproducir la construcción bastante general de Neeman ( Categorías trianguladas ), Cap. 2. ¿Alguien hizo esto ingenuo construcción? ¿O más bien hay un enfoque más conceptual?

Presentando un establo $\infty$ -a través de una categoría modelo estable, es Bousfield (que es, según tengo entendido, sólo una particular caso de Verdier) localización suficiente para cubrir "todos" los casos interesantes?

13voto

Hiro Lee Tanaka Puntos 2421

Una buena fuente es Blumberg-Gepner-Tabuada, "A Universal Characterization of Higher Algebraic K-Theory".

Véase la definición 5.4, que define el cociente de Verdier como la cofibra (en la oo-categoría de oo-categorías estables presentables) del functor totalmente fiel $\mathcal{C} \to \mathcal{T}$ .

La proposición 5.6 muestra que se puede caracterizar como una localización de Bousfield, localizando en los morfismos cuyas cofibras están en la imagen de $\mathcal{C}$ .

La proposición 5.9 aborda el comentario de Adeel: Muestra $Ho(\mathcal{T})/Ho(\mathcal{C}) \simeq Ho(\mathcal{T}/\mathcal{C})$ .

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X