Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorDmitri Pavlov
    • CommentTimeNov 3rd 2015
    Suppose C is a combinatorial stable model category equipped with an accessible t-structure.

    It seems to me that in this context an accessible t-structure
    can be defined simply as a pair of accessible full subcategories (C_{≥0}, C_{<0})
    such that X∈C_{≥0} if and only if RHom(X,Y) is contractible for any Y∈C_{<0}
    and vice versa, Y∈C_{<0} if and only if RHom(X,Y) is contractible for any X∈C_{≥0}.

    This implies that C_{≥0} is closed under homotopy colimits,
    in particular, under suspensions, so this renders unnecessary one of the conditions in the definition
    of a t-structure.

    The other condition concerns the existence of a homotopy exact sequence X_{≥0}→X→X_{<0}.
    By passing to the underlying quasicategory one can invoke Lurie's results in Higher Algebra, 1.4.4, to construct
    the corresponding exact sequence in a quasicategory,
    and then lift it to the level of model categories, possibly after (co)fibrantly replacing X.

    On the level of quasicategories these factorizations are functorial, but what about model categories?

    It seems to me that one could try to construct a truncation functor τ_{≥0}: C→C_{≥0}
    by taking all cofibrations S between cofibrant λ-small objects with cofiber in C_{≥0}
    and apply the small object argument to the resulting set (which is a set by combinatoriality and accessibility).
    (Here λ is such that the model category is λ-combinatorial.)

    The small object argument will produce a functorial factorization such that
    when we apply it to ∅→X we get ∅→A→X,
    where ∅→A is a transfinite composition of cobase changes of cofibrations between cofibrant objects,
    and because such cobase changes and transfinite compositions are also homotopy cobase changes
    and homotopy transfinite compositions, the morphism ∅→A has a connective homotopy cofiber,
    so A∈C_{≥0}.

    The small object argument guarantees that the other morphism, A→X, has a right lifting property
    with respect to all morphisms in the generating set S used in the small object argument.
    It seems to me that this should imply that A→X has a homotopy cofiber in C_{<0}:
    indeed, from the quasicategorical version we know that it suffices to have the homotopy right
    lifting property with respect to the homotopy generators of C_{≥0}, for which we can take the (co)domains of S.

    Assuming that X is fibrant, any morphism in the underlying quasicategory
    from a cofibrant object to X can be presented by a morphism in the model category,
    so the homotopy right lifting property follows from the ordinary (strict) right lifting property.

    If we perform a _bifibrant_ replacement of X, then it seems to me like
    the other truncation functor, τ_{<0} can then be constructed by taking
    the “cone” of A→X (recall that A and X are cofibrant, even though A→X need not be a cofibration),
    using a functorial simplicial framing, e.g., a simplicial enrichment.

    All of this feels very much like reinventing the wheel, so I'm wondering whether
    anything like this has appeared in the literature before.