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.
    • CommentAuthorFosco
    • CommentTimeMay 6th 2014

    I was undecided whether to post my question here on the nforum or rather turn it into a private email. As I’m looking forward to test the reaction of a possible audience, I finally decided to put it here. I need a long introduction to give you the background. Be patient! And thank you for reading.

    During the last months I extensively worked with factorization systems. The reason is a resemblance between “classical” t-structures in homological algebra, defined on a triangulated category A\mathbf{A}, and suitable factorization systems defined on the base category of the t-structure. This resemblance, albeit known (see for example Rosicki and Tholen paper “Factorization, Fibration and Torsion”, and the previous work by Cassidy, Hebert and Kelly “Reflexive subcategories, localisations and factorisation systems” which suggest -without telling it explicitly- that t-structures happen to be torsion theories in triangulated categories), seems utterly neglected in the literature, even if factorization systems happen to be one of the most ancient notions in CT (and even if several authors build the link between the two notions without explicitly mentioning it, again).

    I would like to extend this result to the realm of stable \infty-categories, using the classical characterization plus (and this is fundamental) the fact that in a stable \infty-category suspensions (loops) are true colimits (limits).

    Far from being vacuous, this point of view sheds some light on parts of Lurie’s HA1 in which, for example, t-structures on a stable \infty-category 𝒞\mathcal{C} are defined as t-structures on the homotopy category of 𝒞\mathcal{C}, rather than as genuinely-higher-categorical obejcts. I think I’m able to prove by simple \infty-categorical means that the heart D D \mathbf{D}_\ge\cap \mathbf{D}_\le of any \infty-categorical t-structure is “\infty-abelian” (read as: its homotopy cat is abelian), exploiting only universal constructions.

    (Sorry for this long introduction! I simply wanted to make clear what I’m doing, and clearly present my aims.)

    Now, the next step goes as follows: people working in Algebraic Geometry call a “t-stability” something which should somehow correspond to a k-fold FS in a stable infinity category: in AG you say that a “t-stability” is a way to factor any terminal morphism X0X \to 0 into a finite sequence of arrows, XE 1E n0X\to E_1\to\dots \to E_n\to 0 whose (homotopy) fibers have “definite phase”, i.e. each of them lie in a distinguished subcategory of “objects of type α\alpha” for α\alpha the element of a poset. These decompositions are called Harder-Narashiman filtrations, and this is the first step to construct stability conditions on triangulated categories a la Bridgeland.

    Now, Stigler’s law entails that Harder-Narashiman filtrations are no more than Postnikov towers in a triangulated category! If α\alpha is a natural number nn, then the distinguished categories correspond to shifts of the heart of the canonical t-structure in the stable category of spectra (this heart is nothing more than the category Ab\mathbf{Ab}), and “having definite phase” corresponds to “being a EM space”. Add to this that Postnikov decompositions are deduced in the \infty-setting from a multiple factorization system on that category, and you’ll obtain the main reason I began investigating this problem from that point of view.

    Finally, my questions: I’m converging to some results, but I’m stuck in a series of annoying problems I’m not able to solve alone: exactly the point where I need the feedback of the community.

    1. Why does this point of view seem to be so neglected?
    2. To what extent all this material is known to somebody-out-there?
    3. There’s the famous joke about the student proving several high-sounding theorems about “\mathcal{L}-groups”, until he discovers that the class of \mathcal{L}-groups contains only and 0\mathbb Z0. This is why I asked the question on MO about FS in a triangulated category: given that the “obvious” FS which rely on monics tend to be extremely trivial in a triangulated/stable context, how can I be sure that I’m working in a nontrivial setting?
    4. Having to work with kk-fold factorization systems, to understand Postnikov decompositions, I want to better understand the nnLab page which defines them. In the case of k=3k=3 it’s a matter of computations to obtain a factorization of type (L 1,L 2R 1,R 2)(L_1, L_2\cap R_1, R_2); what about the general case? Drawing a couple of diagrams I can make a guess that every arrow factors as (L 1,R 1L 3,L 3R 2,R 2L 3,R 3)(L_1, R_1\cap L_3 , L_3\cap R_2, R_2\cap L_3, R_3), but for the moment I’m not 100% sure about this.

    To obtain this factorization I simply reproduced the argument of the ternary case, applied to the FS (L i,R i),(L j,R j)(L_i, R_i), (L_j, R_j) for iji \lneq j, and then recursively applying orthogonality and cancellation properties of the various classes.

    • CommentRowNumber2.
    • CommentAuthorMike Shulman
    • CommentTimeMay 6th 2014

    Re #4, I think in the quaternary case it should be (L 1,L 2R 1,L 3R 2,R 3)(L_1, L_2 \cap R_1, L_3 \cap R_2, R_3), and in general (L 1,L 2R 1,,L nR n1,R n)(L_1, L_2 \cap R_1, \dots, L_n \cap R_{n-1}, R_n).

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeMay 7th 2014

    Fosco, quick general comment on a rushed day: this story looks really interesting, I wasn’t aware of it this way.

    • CommentRowNumber4.
    • CommentAuthorFosco
    • CommentTimeMay 7th 2014
    • (edited May 7th 2014)

    Urs: nobody seems to be, and I begin wondering why. I am extremely happy to have your positive feedback! The proof of the abelianity of the heart (which is, to be honest, due to Domenico, like almost all the other insights in the above exposition) is one of the most clear. And yet nobody seemed to worry about making in explicit.

    Mr. Shulman, about #4: thanks! Can you give (a sketch of) a proof? Or maybe I can post mine… Are you aware of a reference which exposes the basic theory of multiple OFS? Is the nLab page the only one?