MathOverflow Asked by Tim Campion on November 9, 2020
I’m interested in instances of the following data:
$C$ is a (possibly higher) category;
$(L,M)$ is a weak factorization system (wfs) on $C$;
$(M,R)$ is a unique factorization system (fs) on $C$.
Definition: I’ll call such data $(L,M,R)$ interlocking factorization systems on $C$ because the right half of the wfs coincides with the left half of the fs.
Examples:
On the 1-category $Set$ we have the $(Mono,Epi)$ wfs and the $(Epi,Mono)$ fs.
On the $infty$-category $Spaces$ we have (as discussed here) the $((n+1)text{-skel_r}, ntext{-conn})$ wfs and the $(ntext{-conn},ntext{-trunc})$ fs [1], for any $n in mathbb Z_{geq -2}$.
On the 1-category $Ch_{geq 0}(Rtext{-Mod})$, we have the $(text{acyclic mono with projective cokernel}, text{epi})$ wfs and the $(text{epi}, text{mono})$ fs, for any ring $R$.
Question 1: What are some other examples of the above data of "interlocking factorization systems"?
Observations:
If $(L,M,R)$ forms interlocking factorization systems on $C$, then $(M,R)$ is a modality (i.e. a fs with basechange-stable left class). Moreover, $M$ is closed under co-transfinite-composition. In fact, we might think of $(L,M,R)$ as being fundamentally a fs $(M,R)$ where $M$ satsifies some further closure conditions like these (though it’s not clear that there’s actually an equivalent formulation along these lines).
Dually, we might think of an interlocking factorization system $(L,M,R)$ on $C$ as being fundamentally a wfs $(L,M)$ where $M$ satisfies some further closure conditions (namely, cobase-change and colimits in the arrow category). If $C$ is locally presentable, then modulo checking that $M$ is accessibly embedded, this is actually an equivalent formulation.
Question 2: Given a class of morphisms $M$ in a ($infty$-)category $C$ (perhaps assumed to be locally presentable),
does knowing that $M$ is the left half of a fs $(M,R)$ in any way "simplify" the task of checking whether $M$ is the right half of a wfs $(L,M)$?
dually, does knowing that $M$ is the right half of a wfs $(L,M)$ imply anything interesting about whether $M$ is also the left half of a fs $(M,R)$?
Question 3: Are interlocking factorization systems just a curiosity, or is there anything special you can do with them? For instance, do they lead to some kind of obstruction theory?
[1] Here,
2 Asked on November 3, 2021
1 Asked on November 3, 2021 by alex-gavrilov
0 Asked on November 3, 2021 by mohammad-golshani
2 Asked on November 3, 2021 by bryanjaeho
1 Asked on November 3, 2021 by diverietti
ag algebraic geometry complex geometry cv complex variables homogeneous spaces symmetric spaces
2 Asked on November 3, 2021 by bananeen
ag algebraic geometry analytic geometry complex geometry cv complex variables
1 Asked on November 3, 2021
0 Asked on November 3, 2021 by guy-crouchback
0 Asked on November 3, 2021 by mikhail-bondarko
ag algebraic geometry birational geometry chow groups motives reference request
7 Asked on November 3, 2021
at algebraic topology gn general topology graph theory gt geometric topology reference request
1 Asked on November 3, 2021
1 Asked on November 3, 2021 by jecl
algebraic number theory analytic number theory nt number theory
2 Asked on November 3, 2021
1 Asked on November 3, 2021
co combinatorics homological algebra rt representation theory
2 Asked on November 3, 2021
ag algebraic geometry at algebraic topology complex geometry reference request
2 Asked on November 3, 2021 by rohil-prasad
dg differential geometry differential topology gt geometric topology mg metric geometry
2 Asked on November 3, 2021
mp mathematical physics pr probability quantum field theory schwartz distributions
3 Asked on November 3, 2021
higher category theory morita equivalence morita theory noncommutative algebra noncommutative rings
1 Asked on November 3, 2021 by rajesh-d
Get help from others!
Recent Questions
Recent Answers
© 2022 AnswerBun.com. All rights reserved. Sites we Love: PCI Database, MenuIva, UKBizDB, Menu Kuliner, Sharing RPP, SolveDir